Local File V4 与条件产物终态门：从本机三层权威复核到 Carrier 终态封口

Local File V4 与条件产物终态门：从本机三层权威复核到 Carrier 终态封口 由 Archify 生成的工作流图。 01 / 本机文件权威执行、条件产物重建与 Carrier 终态封口主链 EX / 证据不满足或未读产物 Fail-Closed 阻断链 Main 本机三层复核与 CAS 回执 6 表关联不可变证据重建 Carrier 终态封口裁决 requireActive(dev+ino) → terminalizeRequested → readConditionalArtifactCompletionInTx 严禁凭空列表或模型终稿文本谎报完成 1 收到 LF 请求 · relativePath · 本机文件权威执行、条件产物重建与 Carrier 终态封口主链 › requireActive(dev+ino) → terminalizeRequested → readConditionalArtifactCompletionInTx › Main 本机三层复核与 CAS 回执 · Path-Free 1 收到 LF 请求 relativePath Path-Free 2 Main 三重复核 · dev+ino / 指纹 · 本机文件权威执行、条件产物重建与 Carrier 终态封口主链 › requireActive(dev+ino) → terminalizeRequested → readConditionalArtifactCompletionInTx › Main 本机三层复核与 CAS 回执 2 Main 三重复核 dev+ino / 指纹 3 加密落盘执行 · SecureEnvelope · 本机文件权威执行、条件产物重建与 Carrier 终态封口主链 › requireActive(dev+ino) → terminalizeRequested → readConditionalArtifactCompletionInTx › Main 本机三层复核与 CAS 回执 3 加密落盘执行 SecureEnvelope 4 CAS 落账回执 · local_file_ops · 本机文件权威执行、条件产物重建与 Carrier 终态封口主链 › requireActive(dev+ino) → terminalizeRequested → readConditionalArtifactCompletionInTx › 6 表关联不可变证据重建 4 CAS 落账回执 local_file_ops 5 条件产物核验 · 6表Join+读证明 · 本机文件权威执行、条件产物重建与 Carrier 终态封口主链 › requireActive(dev+ino) → terminalizeRequested → readConditionalArtifactCompletionInTx › 6 表关联不可变证据重建 · Owner 重建 5 条件产物核验 6表Join+读证明 Owner 重建 6 终态封口完成 · status=completed · 本机文件权威执行、条件产物重建与 Carrier 终态封口主链 › requireActive(dev+ino) → terminalizeRequested → readConditionalArtifactCompletionInTx › Carrier 终态封口裁决 · 队列推进 6 终态封口完成 status=completed 队列推进 回执或越界拒绝 · AUTHORIZED_REVOKED · 证据不满足或未读产物 Fail-Closed 阻断链 › 严禁凭空列表或模型终稿文本谎报完成 › 6 表关联不可变证据重建 回执或越界拒绝 AUTHORIZED_REVOKED 阻断虚假完成 · ARTIFACT_UNSATISFIED · 证据不满足或未读产物 Fail-Closed 阻断链 › 严禁凭空列表或模型终稿文本谎报完成 › Carrier 终态封口裁决 阻断虚假完成 ARTIFACT_UNSATISFIED executeDelivery withinRoot requestDigest finishCarrierInTx satisfied=true 撤销或越界 未读或未决 图例 用户界面 Agent 逻辑 策略 上下文 / 追踪

Agent 账本 ≠ 本机磁盘事实

  • • localProjection 仅为附加时历史快照，不作当前授权判定
  • • Main 每次执行必核 requireActive(dev+ino) 与 resolveWithinRoot
  • • write-state-v4 存于账号作用域加密信封 LocalSecureEnvelope

6 表关联重建条件产物

  • • continuation ⋈ pending_interactions ⋈ runs ⋈ invocations ⋈ receipts ⋈ messages
  • • 校验 assertWorkPluginSource 与 assertSettlementFact 摘要一致
  • • not_applicable 且零产物可放行；有产物必须完成 artifactReadsComplete

Finish 门禁防模型幻觉结案

  • • finishRuntimeWorkCarrierInTx 在 claim fence 下复核条件产物
  • • 校验 finalMessageId 确系 accepted_response_ref 或封存路由事实
  • • 不满足直接抛 RUNTIME_WORK_CONDITIONAL_ARTIFACT_UNSATISFIED