Skip to content

docs(rfc): qualify packaged C1 source delivery and its cost gap - #7665

Merged
huangruiteng merged 1 commit into
mainfrom
codex/c1-packaged-comparison-ledger
Oct 29, 2026
Merged

huangruiteng merged 1 commit into
mainfrom
codex/c1-packaged-comparison-ledger

Conversation

@loopx-agent

Copy link
Copy Markdown
Collaborator

Goal And Delivered Outcome

The C1 proposal needs a source-backed original-quota comparison before cutover. This documentation slice adds a bilingual packaged File/SQLite checkpoint and links the controller RFC, roadmap and generated index. It records source fidelity and the remaining cost/integrity gaps rather than inferring a net benefit from smaller deltas.

  • Source: controller/executor RFC §§9 and 11 at 3344f540f6f4992d95de1c04d50ba586d64deddd; related WIP: converge governed work inputs and packaged heartbeat consumers #7430, target main.
  • Observable result: at pinned runtimes b201da8b and 3afc2d547, C1 retains original numbers, recovery and once-only settlement, while cold and cumulative observer bytes grow. Both emitted saved-file deltas reconstruct correctly. Standalone numeric hash integrity remains open; the historical 25,862 > 13,000 failure is unchanged.

Author Declaration

  • Written by: model_agent — OpenAI Codex, GPT-6 family.
  • Specification: docs/architecture/rfcs/controller-executor-unified-contract-v0.md at 3344f540f6f4992d95de1c04d50ba586d64deddd.
Criterion Disposition Path Evidence
§9 distinguish packaged source/recovery and benefit qualification implemented New paired 2026-10-29-packaged-source-comparison ledger Pinned wheels, real File/SQLite CLI and emitted delta/refusal/replay checks; explicit cost and integrity limits
§11 independently useful delivery with original acceptance retained implemented RFC, roadmap and generated index pairs Docs-only proposal; existing C1 ownership and open requirements retained
Remaining C1 cutover, numeric commitment and model/outcome/full-cost comparison deferred Existing #7430 This checkpoint does not complete or promote the runtime
  • Self-check: reviewed both translations, matched table values to saved results, checked retained work links and unverified states, and ran the documentation checks below. No thresholds, execution authority or runtime code change.

Scope And Continuation

Complete within this documentation slice. The existing C1 owner retains caller/hash qualification, writer and historical-reader retirement and the original-quota outcome/full-cost comparison. Reuse the independently proposed source repairs #7661/#7657; no duplicate task or policy is introduced.

Validation

  • Documentation revision: 565082cd57c55390e9ef1442a182c66b5a97da00.
  • Runtime comparison: b201da8bab305d053866aa0d4516b97ba4a4499e / 3afc2d547f6f9ca41368fd4f3f34d8f8dae9edcf.
  • Run state: finished. Input classes: synthetic.
Check kind Result Evidence / limitation
static passed Docs governance, generated RFC index, exact-head bilingual diff and eight-file public-boundary scan
static passed Standard committed-head premerge: four direct checks, 17 selected checks, no failures/holds
real_entrypoint / real_backend passed Separately built source-matched wheels; real isolated File/SQLite CLI; C1 source, original-capture refusal/recovery and once-only settlement
regression_parity passed Baseline numeric loss is reproduced on both backends; C1 preserves it. Actual warm deltas reconstruct, lost/damaged deltas recover full source; numeric-only byte corruption is refused

Coverage limits: three preliminary author probes remain failed; baseline exact-number predicates fail, and C1's standalone semantic hash still accepts a normalized-equivalent numeric mutation. Synthetic lifecycle events and the deterministic full-read observer do not qualify installed App behavior, model retention/decisions, accepted outcomes or complete model/human cost. The ledger retains versions, negative results and measured cost growth. Remote CI was not queried or manually triggered; no self-merge is performed.

Frontend / Visual Evidence

  • UI impact: none. RFC text and ledger links only; no documentation chrome or first-viewport layout change.

Type of Change

  • Documentation update

LoopX Area

  • Public docs or presentation surface

Shared-authority RFC fixture impact

N/A: no authority-store, routing or compatibility behavior changes. Existing File/SQLite providers are used only for isolated engineering evidence.

Boundary Checklist

  • Public-safe summaries only; no private state, credentials, raw traces, internal links or local paths.
  • No duplicate maintainer-owned benchmark work; no model/paid/managed benchmark jobs.
  • Scoped to the existing controller RFC; all affected English/Chinese pairs change together.
  • Visual impact is none.
  • Commit has a 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

负责 C1 切换的维护者,需要判断来源保真、恢复和成本证据各自支持哪一阶段。以前只看暖态 delta 变小,容易忽略冷态读取、恢复和来源数值变化;现在同一份双语检查点并列记录原 quota 与固定 C1 候选的保真结果、成本增加和未闭合边界。已独立核对四组各 38 次调用的原始 stdout、两份 wheel 的固定源码、24 条原始要求和原结算回执,并用对应打包 reader/codec 复现保真、delta 恢复与数值 hash 负例。此文档 PR 不切换运行时、不关闭 C1,不把字节数当 token、费用、模型采用或验收成果,也不重写历史 13,000 字节实验的失败。完整 C1 的数值承诺、caller/writer 切换、历史 reader 退出及原 quota 的成果/完整成本对照仍由既有 #7430 主线继续验收。

改动思路 / Approach

复用现有 RFC ledger 保存一次完整的有界对照,RFC 和 roadmap 只增加链接,STATUS 由既有 generator 更新。保持来源值、保存文件重建、独立 hash 和实际模型收益四个不同的判断边界。什么也不记录会丢失重要反证;只写“delta 更小”则会给出错误方向。这个文档切口没有新执行器、状态 owner、hash 策略或推广门槛,也无需为了文档审查再启动一轮模型实验。

具体改动 / Changes

规范依据为 docs/architecture/rfcs/controller-executor-unified-contract-v0.md,不可变版本 3344f540f6f4992d95de1c04d50ba586d64deddd 的 §9 与 §11,先于本次 diff 阅读。SOURCE-EVIDENCE、COST-BOUNDARY 是本评审对 §9 的映射标签:前者在本有界切口内记录真实 CLI/File/SQLite 保真与恢复,后者保留原 quota baseline、读取/恢复成本及失败;均有证据。规范任务 C1 的完整切换与成果/完整成本验收仍为 deferred,由原 #7430 主线继续。

关键内容讲解

完整八文件 diff 为 +226/-2:新增双语来源对照,原 RFC/roadmap 各补入口,派生索引从 2 条更新为 3 条。两种语言的版本、负载、全部表格数值、历史失败与限制一致,没有修改运行时或原验收标准。

对照固定 mainline b201da8bab305d053866aa0d4516b97ba4a4499e 和 C1 3afc2d547f6f9ca41368fd4f3f34d8f8dae9edcf。我独立把两份 wheel 各 1,857 个产品文件对到对应不可变 Git blob,另核各 35 个 bundle 文件摘要;逐一对账四组原始 38-call stdout,以及 24 条原要求的 id、描述、owner、任务关联和全局停止条件。

已核观测 File:quota → C1 SQLite:quota → C1
完整观察器 stdout 482,505 → 494,464 B 483,299 → 495,250 B
冷态保存投影 65,756 → 68,411 B 65,866 → 68,519 B
实际暖态 delta 3,761 → 3,755 B 3,769 → 3,763 B

累计 stdout 增加约 2.48%;暖态少六字节含路径/surface 拼写,不能据此认定编码获益。三个前期作者失败、原 25,862 > 13,000 失败、单样本计时和未测模型/人工成本均保留,没有事后改记通过。

对主干的风险

未发现阻塞问题。PASS:四组原始证据的字节与 receipt 对账;另用各自已验证 wheel 独立执行四组只读 reader/codec 对照,实际 warm delta 精确重建,丢 baseline 或损坏 delta 回到完整当前源。原 quota 的 1.0 → 1 丢失复现,C1 保留 1.0;C1 独立语义 hash 仍接受归一化等价的数值改写,但原字节 SHA-256 拒绝改写副本,恢复原副本后可继续读取。原始 capture 未改,没有重放 guard、writeback 或 spend。

这次审查重新核对并执行只读对照,没有重跑整轮 38-call cohort;其 hook 是合成事件,观察器不是模型。字节、计时和生成记录都不能替代真实模型采用、安装态或完整费用证据。相关源码修复和 C1 adoption 仍须各自 exact-head 审查。文档治理、派生索引、双语 diff、公开边界及 standard premerge 全部 PASS(4 direct +17 selected,零 hold);按 wait_for_ci=false 未查询 CI。

我的整体评价

APPROVE,绑定文档 head 565082cd57c55390e9ef1442a182c66b5a97da00。这是 justified_increment:检查点完整保留来源改善、成本反证和剩余 owner,便于选择下一项实际修复,未将局部资格宣告为 C1 完成。long_horizon 为 preserved,原成果/完整成本门及历史失败保持;未知的模型费用不是零。

user_experience 为 not_applicable:八个变更路径均为 RFC、ledger、索引与 roadmap 文本;没有界面、渲染器或页面布局变更。未重新验收安装态 App、真实模型决策或报告可读性;这些不是本次文档切口的交付声明。现有 ledger 已是较小且可回退的边界,无需平行报告或新兼容层;公开批准与合并执行权分别处理。

English verdict: APPROVE — 565082c accurately records pinned source/recovery gains, increased observer bytes and the remaining C1 hash/outcome/full-cost gaps; documentation checks and independent read-only evidence controls pass.

@huangruiteng
huangruiteng merged commit 5e26851 into main Oct 29, 2026
25 checks passed
@huangruiteng
huangruiteng deleted the codex/c1-packaged-comparison-ledger branch October 29, 2026 12:45
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.

2 participants