Repository navigation
docs(agents): restore complete policy delivery under the host cap - #8036
loopx-agent wants to merge 1 commit into
Conversation
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
loopx-agent
left a comment
There was a problem hiding this comment.
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.
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
Implemented against
AGENTS.md的根文件双 Host 限制;Agent Instruction Loading And Maintenance;同版本 testing-and-quality 的预算决策与 decision-text 语义对照要求。AGENTS.md;原加载回归与完整字节读回observable_semantics.decision_text_assessment记录作者对照。没有声称模型理解、执行遵从或真实 Host 会话采用已验证。Scope And Continuation
独立根指令修复,固定基线
2dd1d8c201b81142469f700299915907ec0e5a32,精确 head519571efd0dbfd9a9bcef8b6224558935c15fe09;仅AGENTS.md,一个 DCO 提交。保留了所有正文与 owner,省下 249 bytes,当前 24,000-byte cap 的余量为 12 bytes;后续增长仍必须通过原回归。 提交时 main 已推进至53374543abfd7dcfe72d63bfdf2c60bb3ce17786,其 AGENTS blob 与固定基线相同;完整目标基线资格仍须重评,不能移用旧结果。本修复在此范围完整、可独立审阅和回退。相邻整理直接复用既有导航和 loader,不增加 policy 文件、解析器或抽象。#8004 的调用方测试修复与本 PR 分开;它在此修复被接受并实际整合前,仍保留原根加载失败记录。整体仓库资格及真实采用另行验证,不以本次字节或测试数量推断长期效果。
Validation
519571efd0dbfd9a9bcef8b6224558935c15fe09tests/test_repository_instruction_delivery.py为 6 passed / 4.48s。@AGENTS.md,三个原入站消费者和全部本地链接/锚点通过。这是文件交付回归,未执行 installed Host 会话。observable_semantics.decision_text_assessment:逐标签及其所在义务对照;所有非标签字节与 36 个目标顺序一致。删除末尾“不降低 gates”要求的受控反例会被源语义对照拒绝,即使容量仍合法。实际模型遵从未测。quality_invalid_receipt,一项 policy hold。cqr_624371487b0794ed2317对当前精确 diff 已写 fail,verify 为invalid_receipt:完整本地 CI / 新 head 资格仍为 required、未跑。没有把 focused 成功改写为全仓通过。命令:
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
LoopX Area
Shared-authority RFC fixture impact
N/A:未改变 shared authority、provider、迁移或 runtime routing。
Boundary Checklist