diff --git a/.gitignore b/.gitignore index 5b014fd..4c5bf6b 100644 --- a/.gitignore +++ b/.gitignore @@ -7,3 +7,4 @@ *.db-shm *.db-wal __pycache__/ +AGENTS.md diff --git a/AGENTS.md b/AGENTS.md deleted file mode 100644 index d5b6b22..0000000 --- a/AGENTS.md +++ /dev/null @@ -1,27 +0,0 @@ -# Aster VM 工作约定 - -## 项目边界 - -- 用中文沟通与编写交接文档。内核只负责 VM、堆和对象语义;数据库、网络、浏览器能力属于宿主。 -- 不实现词法、语法、渲染器、完整元类体系或默认 Python 兼容性。计划与已实现功能须分清。 -- `aster-core` 保持零依赖。类对象及描述在堆中,实例引用类;根类 Object 唯一且没有父类。 -- 句柄通过 VM 检查归属及对象种类,不暴露原始指针,不允许宿主构造堆索引。 -- 默认持久化 SQLite;显式 PostgreSQL 配置失败必须报错,不静默降级。存储不代表 VM 堆快照。 -- 用户明确禁止本地测试:不在本地运行测试或冒烟脚本,不为本地测试安装/下载 SQLite 或其他依赖。检查脚本保留供用户未来指定的 CI/部署环境使用;静态文件检查与 Git 配置检查可执行。未执行的验证须如实说明。 -- 已指定 ces-control 为远端 CI/部署环境;CI 必须验证 SQLite 与真实 PostgreSQL,正式持久部署选择 PostgreSQL。禁止改动其他项目或共享 Runner,特别是 autodl-gpu-runner-controller。 -- 已按用户提供的准确 URL 配置 origin;不创建远程仓库、不猜测 URL。未经用户明确授权,不 commit、不 push。 - -## Gitea Entroia 身份 - -- 对远程 host 为 `gitea.entroia.com` 的仓库,只使用专用账户 `codex-bot`;不得使用 `Zayden-Jung` 身份或其 SSH 密钥、凭据。 -- 提交前在仓库范围设置 author:`Codex Bot` / `codex-bot@gitea.entroia.local`,不影响其他仓库。 -- SSH 必须隔离现有配置和身份:`ssh -F /dev/null -o IdentitiesOnly=yes -i /Users/zzyang/.codex/credentials/gitea-entroia/codex_entroia_ed25519 -p 22222`。在仓库范围设置 `core.sshCommand` 为该命令。 -- 远程格式:`ssh://git@gitea.entroia.com:22222//.git`。SSH 用户为 `git`,由专用密钥识别为 `codex-bot`。owner 与认证身份分开,即使 owner 是 `Zayden-Jung` 也不切换凭据。 -- Gitea API/HTTPS 认证只能在进程内从 macOS Keychain 读取 service `gitea.entroia.com`、account `codex-bot` 的密码。禁止打印、记录、提交、写入仓库或指令文件;禁止将密码或 Authorization 头放入命令行参数或磁盘。 -- bot 权限不足时完成能做的本地工作,再请用户为 bot 授权,不借用其他账户。 - -## Git 操作后报告 - -- 每次 commit 或 push 后,中文最终报告须覆盖本次所有文件,包括新增、删除和重命名;说明各文件的功能部分、具体变化及目的。可按共同目的分组,无需粘贴源码、行号或逐行 diff。 -- 同时简报 commit 标识、push 是否成功、测试或检查结果;未执行或失败如实说明。 -- 这些是面向用户的结果报告要求,不写入 commit message;commit message 只清晰描述实际变更。