[jamespud]

内容与范围

CAS-9 C1-A 提出 DomainProfile、PersonaSpec、ContextManifest 的机器字段、身份、版本、签发、冻结和撤销契约，配套封闭 JSON Schema、五份结构样本及复用 C0/domain/validation 的独立检查器。样本含合成引用，不能作为可发布工件或人格行为通过证据。

本轮根据独立设计审阅，仅收敛 D-01～D-04，追加设计修订提交。PR 保留 Draft；未启动 C1-B/C1-C/C2，未注册真实 ReadSet 类型，未改 Rev4、PR #32/C0 契约、生产 FSM/编排/RAG/MySQL/授权/发送流程。

Base / Head

• Base / 远端 main：e35aac6755d17604591e31d568692103205435ea
• 当前 Head：6a3f0286ed3288d5e79f1bbca198b29f567e1959
• 修订前 Head：861458fe4ef2a54d4f9b0ac8c07b9b9e2eeeb794
• Branch：codex/c1-input-contracts
• 本轮增量：契约、Schema、检查器三个文件；保留原提交，不重写历史。
• Related：[ROADMAP] MAGI Final Architecture — implementation and acceptance #2、[EPIC] Multi-candidate decision, agenda and sealed ballots #3、[EPIC] Persona, typed evidence, governed experience and ContextManifest #4、[EPIC] Authenticated authority, delegation, owner consent and human decisions #5、[EPIC] Budgets, model checking, fault injection and registered acceptance #8；Linear CAS-9。不关闭 Issues、不更新 Linear 状态。

规范映射与设计收敛

决议	本轮明确的设计	规范映射及后续边界
D-01 身份	选定独立 read_set_snapshot / rset_；§6.4 补 C0 注册、独立 Golden/Adopt、旧 API/身份回归、反向依赖及先消费者后生产者的迁移计划	C0 §3–5、Rev4 §6/MEM-01；当前 API 仍拒绝未注册类型，不改 magi-cj/1 或 SHA-256；仍阻塞 C1-C
D-02 动态读取	选定不可变 Manifest + Journal + Snapshot；§6.5 补每轮唯一绑定、QUIESCING 栅栏、三份可信同包交付回执、候选外置确认及原子证据关闭提交点/恢复图	Rev4 §6.1–6.3、§18.3；回执及登记必须先于关闭，新鲜性在提交时重验；只写包 ID 不算交付。事务和故障测试未实现
D-02 显式引用	后续独立版本化修订：Charter 显式 Domain ID，Candidate 显式 case/round/Manifest、共享包及三回执引用；反向绑定候选的确认/closure 外置	PR #32 §2–4/§6；本轮不暗改既有契约或补默认升级旧数据；仍阻塞候选/票据集成
D-03 信任	§2.7 明确先存治理根、外部批准、保守 context epoch，以及 C1/C1-C/C2/C3 的验证与提交责任	Rev4 §2/§8/§12–14；根初始化/轮换、主体资格、逐跳授权及撤销与 SEND_COMMITTED 共同顺序仍由 C2/#5、C3/#6 冻结；仍阻塞权威发布
D-04 资源政策	§2.6 区分跨域协议、Persona v1、ROLLOUT-LAB、暂定工程上限。通用 Budget/Windows 的四处 maximum 改为 C0 安全整数并注明组合语义；Persona v1 的 6/6000 常量保留	Rev4 §17.1–4、§18.5；修正本轮 P2 混用。实际运行取适用最严格上限，不能以通用结构接受扩大人格/参考域预算

原有三工件正文、required/optional/nullable、UTC 毫秒和精确量纲详见契约 §2–5；R0–R3 不可降级门槛、人格最低调查/弃权/纠错、依赖撤销及 legacy 边界均保留。正文先派生身份再取得外部批准；Manifest 不引用未来候选/ReadSet，Candidate 不反引自身确认/closure，完整性记录不反引未来 ReadSet，避免摘要循环。

§9 增加 READ-03 细化不变量与九项定向未来场景，未来矩阵共 30 项，全部 NOT RUN。静态设计和时序图不证明实际分布式协议成立。

本轮真实验证

• GOCACHE=/tmp/magi-c1-go-build go run ../scripts/check-input-artifact-contract.go（backend）：原有 5 结构正例、46 结构/C0 反例、5 身份/Adopt/版本变更检查通过；域分离、未注册 ReadSet 拒绝、非 canonical 存储拒绝仍成立。新增 14 项 D-04 结构检查通过：通用预算/窗口可超过参考值，三人格 v1 上限保持，零/负数拒绝。
• 定向 RED→GREEN：在临时目录使用修订前 Schema 与当前检查器，按预期于通用 role_tool_calls=12 失败；当前 Schema 同项通过。这只复现/修复结构限制，不是组合预算或授权行为验证。
• GOCACHE=/tmp/magi-c1-go-build go vet ../scripts/check-input-artifact-contract.go：通过。
• 静态审计：35 个定义、116 个本地引用可解析，28 个对象关闭未知字段；Schema 增量恰为四个通用 maximum 及注释，Persona 常量未改。
• 新增章节、本地链接/fence、30 项未来用例条目、gofmt、diff whitespace 检查通过；三份权威文档、C0 生产代码未改。

修订前 861458f 的五个相关 Go 包与 C0 Python 跨语言 Golden 已通过，本轮未重跑；旧 Head 的 6/6 远端 CI 已由 GitHub API 核实成功。新 Head CI 以当前 checks 为准，不能继承旧 Head 成功。 未运行完整 backend/MySQL/生产服务或新协议并发/撤销/恢复测试。

Findings / 放行与未完成边界

本轮修正 P2 通用预算混用；D-01/D-02 方向收敛，D-03 明确责任，未声称三项 P1 集成阻塞解除。设计自审覆盖摘要循环、候选交付记录、角色回执槽位、三终票共同 closure、独立高水位与 authority cutoff、提交恢复和 epoch/generation 竞争，详见 §10。

保留 Draft，供针对 D-01～D-04 的复核，不转 Ready、不合并。 如需改变 Rev4 门槛须另行 Design Change，本轮不推定批准。C1-B 可规划已批准的离线类型/验证器；独立 C1 Golden、组合预算语义、C1-C 实际注入/封存/依赖传播、版本化决策契约、C2 信任协议、C3/C4 出口与跨模块验收、人格/统计/SLA 均未交付。CAS-9 尚不满足完整契约冻结、相关决议接受与实施验收。

用户通过连接器独立确认 CAS-9 In Progress、CAS-10 Backlog；作者未取得认证读取，不将用户复核冒称为作者验证。本轮未提交 GitHub Review、修改 Issues/Linear 或启动其他实现分支。