context-infra 检查与复盘infra.guiming.net · 全内容自包含呈现 · 生成于 2026-07-20 08:24 UTC

Clean Context 专项状态图

Z2 条目↑ Z1 版块 ↓ Z3 全文

三角色协议 / Attempt 状态机 / 契约面——计数全部构建期从源码解析

Clean Context 是「编排者派发 / worker 干净 context 独立执行 / 独立 verifier 复核」的成文协议(状态:armed——协议成文 + 四张架构图 + 本 run 全程 dogfood,但推广到日常派发的落地面尚待观察,0 条 cron 自动运行)。本页三张图的一切计数在构建期从源码 tools/infra_core/clean_context.py 解析而来,源码演进则数字随之变。

CC-1 三角色 × 信息流 × 接线现状

CC-1 三角色 × 信息流 × 接线现状设计蓝本:r012 D-A(静态结构)/ D-B(时序)Orchestrator协调=确定层 · 判断=语义层;每步 sha256 密封PhaseActivationRoleContextDeclarationContextSpecMaterializationPlan / StageResultDeliveryPackageDispatchIntentClean-Context Worker不继承编排者 transcript · 不读同侪 staging能力(Capability)read_stagedshell_reademit_typed_resultexecute_skillwrite_declared_outputs7 tool actions4 stop conditionsF1 不继承编排者 transcriptF2 不读同侪 stagingF3 不外流执行细节Independent Verifier不读建造者叙事 · worker 自报非权威ObservedActivityPolicyVerdictOutputVerdictfoldpublish_plan_oncegateway commit①派发②产出 接线现状(这是「状态图」区别于「架构图」的关键):谁在消费 Clean Context 协议phase_runtimearmed契约已接,live hook 未验证session_dispatcharmedbounded 验证clean_context_gate.pybuilt预检门已建自动运行(cron)none0 条 cron,无常驻自动运行

左列 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 期解析)

CC-2 Attempt 生命周期状态机设计蓝本:r012 D-C(升级为源码精确版)9 状态 · 11 合法转移(build 期解析自 clean_context.py)READYDISPATCHINGCLOSEDVERIFIEDPUBLISHEDREJECTED_POLICYREJECTED_OUTPUTINCONCLUSIVERECOVERY_REQUIRED· spawn_count ≤ 1 单调· 终态必须持有 close receipt· 每次转移 revision+1 且链上 predecessor_sha256(CAS append-only)RunRecord 三态ACTIVE → RECOVERY_REQUIRED → CLOSEDACTIVE 起,RECOVERY_REQUIRED / CLOSED 收

主脊 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 契约面与验证面

CC-3 契约面与验证面结果契约TypedResultOutputVerdictObservedActivityPolicyVerdict策略契约CleanRunPolicyRolePolicyCapabilityGrantIdentityBinding上下文组装ContextSpecRoleContextDeclarationMaterializationPlanStageResult派发传输DispatchIntentDeliveryPackageTransportEnvelopeSpawnGrant观测与判定AttemptRecordPolicyVerdictOutputVerdictEvidenceRef发布与收口PublicationPlanClosureRefArtifactRefGatewayCommit准入与预检AdmissionKeyPreflightCheckSourceRootSetBackendProfile运行台账RunRecordAttemptRecordCleanStateStore验证码分桶(37 项按前缀机械分桶,不逐项列)4444516POLICY_* 4STAGE_* 4ROLE_ | PROFILE_ | IDENTITY_ 4TRANSPORT_ | DISPATCH_ | SPAWN_ 4OUTPUT_ | SCHEMA_ | EVIDENCE_ | PUBLICATION_ 5其余 1677 个 frozen dataclass 契约 · 37 项验证码 · 5 能力 · 4 停机条件

8 个契约分组盒(结果 / 策略 / 上下文组装 / 派发传输 / 观测与判定 / 发布与收口 / 准入与预检 / 运行台账);验证码不逐项列(37 项列全是文字过载),按前缀机械分桶为 6 组横向堆叠计数条;底部计数条全部为解析值。分组归属是语义判断(策展于 systems_status.mjs 的 CLEANCTX_CONTRACT_GROUPS)。

协议定稿真源(不迁移不转录,指针引用)

r012 定稿的 6 张 mermaid 架构图的语义已被上方 CC-1/CC-2/CC-3 严格超集覆盖(且升级为数据保鲜版)。转录任何一块都会制造第二份会漂移的副本,故只放真源指针,agent 直接读仓:

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