Clean Context 专项状态图
Z2 条目↑ Z1 版块 ↓ Z3 全文
三角色协议 / Attempt 状态机 / 契约面——计数全部构建期从源码解析
Clean Context 是「编排者派发 / worker 干净 context 独立执行 / 独立 verifier 复核」的成文协议(状态:armed——协议成文 + 四张架构图 + 本 run 全程 dogfood,但推广到日常派发的落地面尚待观察,0 条 cron 自动运行)。本页三张图的一切计数在构建期从源码 tools/infra_core/clean_context.py 解析而来,源码演进则数字随之变。
CC-1 三角色 × 信息流 × 接线现状
左列 Orchestrator(派发卡编译链 6 盒,每步 sha256 密封)→ 中列 Worker(context 墙隔离,三条禁边 F1/F2/F3)→ 右列 Verifier(不读建造者叙事,worker 自报非权威)。底部接线现状条是「状态图」区别于「架构图」的关键:4 个消费者中仅 phase_runtime / session_dispatch 达 armed,自动运行 0 条 cron。设计蓝本 r012 D-A/D-B。
CC-2 Attempt 生命周期状态机 (9 状态 / 11 转移,build 期解析)
主脊 READY → DISPATCHING → CLOSED → VERIFIED → PUBLISHED;CLOSED 下三终态 REJECTED_POLICY / REJECTED_OUTPUT / INCONCLUSIVE;底部 RECOVERY_REQUIRED sink 从多态入。全部转移边由解析的 transitions 数据驱动渲染,非手排。spawn_count ≤ 1 单调、终态持 close receipt、每次转移 revision+1 且链上 predecessor_sha256(CAS append-only)。设计蓝本 r012 D-C(升级为源码精确版)。
CC-3 契约面与验证面
8 个契约分组盒(结果 / 策略 / 上下文组装 / 派发传输 / 观测与判定 / 发布与收口 / 准入与预检 / 运行台账);验证码不逐项列(37 项列全是文字过载),按前缀机械分桶为 6 组横向堆叠计数条;底部计数条全部为解析值。分组归属是语义判断(策展于 systems_status.mjs 的 CLEANCTX_CONTRACT_GROUPS)。
协议定稿真源(不迁移不转录,指针引用)
r012 定稿的 6 张 mermaid 架构图的语义已被上方 CC-1/CC-2/CC-3 严格超集覆盖(且升级为数据保鲜版)。转录任何一块都会制造第二份会漂移的副本,故只放真源指针,agent 直接读仓:
adhoc_jobs/context_infra_migration_20260709/runs/r012_20260716_injection_v3_orchestrator_isolation/diagrams/CLEANCTX_ARCH_DIAGRAMS.md
D-A 静态结构 / D-B 动态时序 / D-C context 生命周期状态机 / D-D 隔离边界(r012 定稿,mermaid --strict 0 fail)adhoc_jobs/context_infra_migration_20260709/runs/r012_20260716_injection_v3_orchestrator_isolation/diagrams/R012_OPS_DIAGRAMS.md
D-E / D-F 运维图(r012 定稿)
provenance:tools/infra_core/clean_context.py adhoc_jobs/context_infra_migration_20260709/runs/r012_20260716_injection_v3_orchestrator_isolation/diagrams/CLEANCTX_ARCH_DIAGRAMS.md