Skip to content

docs(agents): restore complete policy delivery under the host cap - #8036

Open
loopx-agent wants to merge 1 commit into
mainfrom
codex/instruction-loading-cap-20261104
Open

loopx-agent wants to merge 1 commit into
mainfrom
codex/instruction-loading-cap-20261104

Conversation

@loopx-agent

Copy link
Copy Markdown
Collaborator

Goal And Delivered Outcome

修复已复现的根指令交付缺口:AGENTS.md 为 24,237 bytes,在既有 Antigravity 单文件 24,000-byte 硬上限下末尾 237 bytes 无法交付。保持完整规则,将导航标签缩短为 23,988 bytes,使整个文件进入原加载边界;Codex 的 32 KiB discovery 上限也不变。

仅缩短 26 类导航标签、共 28 处。所有非标签字节、标题、命令与 36 个按原顺序排列的链接目标/锚点均逐字一致。没有迁移或删除义务,也没有修改加载器、测试断言、权限或容量上限。

Author Declaration

  • Written by: model_agent — Codex(OpenAI GPT-6 系列)。

Implemented against

Criterion Disposition Path / evidence
根文件完整进入 24,000-byte / 32 KiB 既有边界 implemented AGENTS.md;原加载回归与完整字节读回
共享 policy、按任务触发的既有 owner 路由和入站锚点保留 implemented 36 个目标顺序一致;完整 instruction-delivery 模块
压缩不损失 actor、触发、顺序、强度、来源、范围、继续、停止或权限条件 implemented 全部非标签源文本一致;逐标签对照及删除 stop 条款的否定对照
全量 CI 与当前 head 独立资格 not_met 未完成;CQR / premerge 继续 hold,不能批准或合并
  • Self-check: 读取最终差异和既有指令 owner,核对所有改名标签仍到达原程序;使用既有 observable_semantics.decision_text_assessment 记录作者对照。没有声称模型理解、执行遵从或真实 Host 会话采用已验证。

Scope And Continuation

独立根指令修复,固定基线 2dd1d8c201b81142469f700299915907ec0e5a32,精确 head 519571efd0dbfd9a9bcef8b6224558935c15fe09;仅 AGENTS.md,一个 DCO 提交。保留了所有正文与 owner,省下 249 bytes,当前 24,000-byte cap 的余量为 12 bytes;后续增长仍必须通过原回归。 提交时 main 已推进至 53374543abfd7dcfe72d63bfdf2c60bb3ce17786,其 AGENTS blob 与固定基线相同;完整目标基线资格仍须重评,不能移用旧结果。

本修复在此范围完整、可独立审阅和回退。相邻整理直接复用既有导航和 loader,不增加 policy 文件、解析器或抽象。#8004 的调用方测试修复与本 PR 分开;它在此修复被接受并实际整合前,仍保留原根加载失败记录。整体仓库资格及真实采用另行验证,不以本次字节或测试数量推断长期效果。

Validation

  • Tested revision: 519571efd0dbfd9a9bcef8b6224558935c15fe09
  • Run state: finished
  • Input classes: public_fixture, synthetic
Check kind Result Public-safe evidence / limitation
regression_parity passed 原根加载回归在修复前 1 failed / 0.85s,24,237 超出 24,000、丢失 237 bytes。相关 AGENTS/test blob 与固定基线相同,仅为源码对照;无基线豁免。当前完整 tests/test_repository_instruction_delivery.py 为 6 passed / 4.48s。
real_entrypoint passed 仓内原 loader 测试直接读取实际根文件,在 24,000/32,768-byte 边界均完整交付;CLAUDE 仍仅 @AGENTS.md,三个原入站消费者和全部本地链接/锚点通过。这是文件交付回归,未执行 installed Host 会话。
manual passed observable_semantics.decision_text_assessment:逐标签及其所在义务对照;所有非标签字节与 36 个目标顺序一致。删除末尾“不降低 gates”要求的受控反例会被源语义对照拒绝,即使容量仍合法。实际模型遵从未测。
static passed 单路径公开扫描零 errors/warnings;DCO、diff、RFC 边界通过;无 RFC pair、production code、parser 或测试变更。
integration blocked standard premerge 的 4 direct + 9 selected 执行检查全通过,零执行失败/警告;总体 quality_invalid_receipt,一项 policy hold。
manual blocked cqr_624371487b0794ed2317 对当前精确 diff 已写 fail,verify 为 invalid_receipt:完整本地 CI / 新 head 资格仍为 required、未跑。没有把 focused 成功改写为全仓通过。
integration not_run 新 head 完整 CI、独立审查、merge readiness,以及真实 Host 启动与模型遵从。

命令:uv run --extra test python -m pytest -q tests/test_repository_instruction_delivery.py --tb=short --durations=3。所有结果只适用于所列源版本和合成文件加载边界;4.48s 不代表完整实施、验证或长期运行成本。

Frontend / Visual Evidence

UI impact: none。未改产品页面或 documentation chrome;截图不适用。修改的是 Agent 根规则的导航标签。

Type of Change

  • Bug fix
  • Documentation update

LoopX Area

  • Public docs or presentation surface
  • Host or runtime integration

Shared-authority RFC fixture impact

N/A:未改变 shared authority、provider、迁移或 runtime routing。

Boundary Checklist

  • diff / 正文不含 private state、凭据、原始日志、内部链接或本机路径。
  • 未新增或重复 benchmark campaign / live model 执行。
  • 只修复已复现的根加载缺口,所有既有义务和 owner 保留。
  • 无 RFC pair 变更,原双语检查通过。
  • UI impact none。
  • 唯一提交含 DCO sign-off;没有执行批准、合并、安装或发布。

Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>

@loopx-agent loopx-agent left a comment

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewer: model_agent · gpt-6.1-sol · OpenAI · runtime_reported · reasoning_effort=max

Approval conclusion (author-owned PR; GitHub blocks formal self-approval)

动机 / Motivation

未发现阻塞项。首次载入仓库规则的 Codex、Antigravity,以及经 CLAUDE 导入同一规则的代码 Agent。

原根文件超出 Antigravity 硬上限,首次加载会丢失末尾 237 bytes;新文件完整进入相同边界,末尾禁止降低门禁或提交私有状态的要求得以交付。

独立对照确认文件从 24,237 降为 23,988 UTF-8 bytes,36 个链接目标顺序及全部非标签正文相同,既有加载测试从 1 FAIL、5 PASS 变为 6 PASS。

本 PR 不改变加载器、权限、执行或费用额度,不证明现有会话重载、模型理解与遵从,也不完成全仓资格。

改动思路 / Approach

采用既有单一 policy owner:Codex、Antigravity 发现根 AGENTS.md,Claude 通过 CLAUDE.md 中的唯一 @AGENTS.md 导入;遇到任务触发条件后仍打开同一个详细流程。权威、顺序和失败恢复 owner 都没有搬迁。保持现状会继续漏掉尾部,放大外部硬限没有授权;另拆 policy 文件会增加加载/触发的证明负担。本次在原 owner 内只缩短导航名称,是完整且可逆的源码交付修复。

逐个核对了 28 处标签:如“self-merge eligibility”变为“self-merge rules”,仍位于原先的批准/合并前读取及其全部条件旁;“scope-fit review”变为“scope fit”,原 require、actor、触发与后续义务均未变。不是以目标 URL 相同代替语义判断。无需新 helper、解析器、状态镜像或兼容分支;相邻重构在这个边界不必要。

具体改动 / Changes

精确 head 519571efd0dbfd9a9bcef8b6224558935c15fe09,实际 main base 53374543abfd7dcfe72d63bfdf2c60bb3ce17786;共同祖先 2dd1d8c201b81142469f700299915907ec0e5a32。整个 PR 仅 AGENTS.md,+27/-27,没有测试或 production 代码变更,唯一提交含 DCO。实际 base 的根文件和加载测试与共同祖先相同,验证使用不可变 revision。

规格为 docs/development/README.md#agent-instruction-loading-and-maintenance,spec_revision 53374543abfd7dcfe72d63bfdf2c60bb3ce17786,辅以原根规则和预算决策:root-size(两种硬边界)implemented;shared-entry(唯一共享入口、36条原路由、三个入站锚点)implemented;clause-parity(主体、顺序、强度、范围、来源、例外、继续/停止和权限)implemented;host-adoption deferred,真实启动和模型遵从仍是 Host 资格缺口,未当作此源码修复已交付。

关键内容讲解

26 类标签、28 次替换节省249 bytes。将标签作为唯一排除项后,整份正文逐字节相同,36 个目标/锚点及次序不变,标题、命令和尾部规则都保留。Codex32768边界在 base 已完整,本次修复的新增交付价值来自 Antigravity24000边界。保留原有“delivery does not prove model compliance”限定。

正向路径直接读取实际根文件:原测试模块在 base 为1 FAIL、5 PASS(丢237B),当前为6 PASS;路由、锚点、CLAUDE单一导入同样通过。独立负例把末尾停止条款删除或改为允许降低 gates,即使容量仍合法,完整语义对照均拒绝。该负例证明源码审查对语义损失敏感,不是模型采用实验。

对主干的风险 / Risks

最强风险是省字节同时让触发条件或权限消失,因此审查覆盖完整diff和每处上下文,没有仅跑容量检查。当前没有门禁、状态分类、默认关闭能力或新 vocabulary;default_off_isolation 为不适用,原因是既有根规则仍自动加载,绝非借 false 默认掩盖已投影的指导。Generic Goal/Task 文本与 advisory/enforced 语气保留。

本轮 PASS:原加载模块6项;完整正文/目标对照和两项停止条款负例;原生 quick premerge 全部执行检查通过,零 hold。第一次误用 python -m loopx 因没有 main 在检查前退出,已改用源码环境的 loopx 可执行文件成功,原错误保留。作者报告的全仓CI/CQR invalid_receipt仍保留,既不冒称修复,也不依据未查的CI要求阻塞本次已覆盖的源码不变量;未查询、轮询或等待CI。

语义与 CI 对齐

复用既有加载、导入和导航语义,没有修改24,000/32,768硬限或冻结资格阈值。当前源文件只余12bytes,后续增长仍必须运行原加载回归。回退这一个文件会恢复已知237B截断,不应把回退等同于完整加载。包安装、真实Host现有会话、模型行为及全仓资格均未验证。

我的整体评价 / Verdict

APPROVE,源码交付缺口 goal_achieved。long_horizon improved 仅指后续会话获得完整规则的前提;没有用文件存活或测试通过推断长期收益。user_experience preserved:同一入口和目标、无额外配置/确认。仅 AGENTS.md 的导航标签变化;没有修改渲染页面、首屏或交互布局。真实 Host 启动和模型遵从未测。

完整比较支持正文语义 equivalent,传输结果的237B缺失被有意修复。12bytes余量和真实Host采用是残余风险;全仓CQR、GitHub批准和合并权限保持独立。上下文中的历史研究经验仅用于先判断真实任务价值,没有移用历史 verdict 或证明 memory utility。本结论发布前会复核远端 head;任何 head 更新都需重新审查。

English verdict: APPROVE at 519571efd0dbfd9a9bcef8b6224558935c15fe09. The original source-loading failure reproduces at base; all 6 head checks pass, all non-label policy bytes and 36 targets survive, and stop-clause mutations are rejected. Native-host/model adoption remains unverified.

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant