D05-R57 · ONE CLAIM · ONE SUCCESS · REPLAY DENIED · ZERO PRODUCTION EFFECTS
让 Controller 真的接受一次 Canary,然后证明它绝不会接受第二次
本刀在可销毁回环 Fixture 中真实启动 Controller、消费一次性 Ticket、完成唯一一次成功 POST,并用同一信封发起重放且稳定拒绝;随后经过六窗观察、四路独立见证和十步强制回滚。生产目标、授权、服务与 8110 始终保持为零。
D05_R57_FIXTURE_ONE_TIME_CANARY_ACCEPTED_ONCE_REPLAY_DENIED_SIX_WINDOWS_FOUR_WITNESSES_ROLLED_BACK_PRODUCTION_8110_HELD架构裁决:绿色只证明可销毁 Fixture 的一次性事务实现合格。没有真实专用目标、R56 生产服务准入回执和 36 字段授权时,Portal 不得把本机结果投射为生产资格。
FIXED R51–R60 DELIVERY BACKLOG
总分母固定为 60,本刀推进至 R57
R51–R56 已完成,R57 当前完成,R58–R60 保持计划态;工程进度不覆盖正式验收。
D05-R51已完成首份对象验签结算与停止态安装授权
D05-R52已完成六席回执集合原子结算与目标锁法定人数确认
D05-R53已完成专用目标独立封锁最终化
D05-R54已完成停止态安装事务预演执行、差异裁决与一次性执行授权
D05-R55已完成隔离安装执行、独立读回与回滚资格化
D05-R56已完成Controller 服务准入与监听保持
D05-R57当前刀Controller 启动一次性 Canary
D05-R58待开发D05 十一道门证据闭合
D05-R59待开发四方 Owner 最终验收档案
D05-R60待开发D05 验收收口与 D06 Gate-zero 交接
单票据、单成功、重放拒绝、持续观察、独立见证和强制收尾同屏对齐
图中所有数字来自同一机器平面:1/1 成功、1/1 重放拒绝、6/6 观察、4/4 见证、10/10 回滚、生产副作用 0。

ONE-TIME CANARY TRANSACTION COCKPIT
七舱事务驾驶台:每个绿灯都附带可审计的边界
同一信封的第二次 POST 必须稳定返回冲突;停止、监听消失和零残留是事务的一部分,不是事后清理。
对象装载
Controller、配置、Ticket、回滚策略写入并读回。
MODE + DIGEST MATCH唯一 Claim
Nonce 与幂等键绑定,本次 Ticket 只允许一个成功。
CLAIMED · BURNED真实请求
POST /canary/start 实际进入本机回环 Controller。
ACCEPTED ONCE重放拒绝
同票据、同 Nonce、同幂等键的第二次请求被拒绝。
REPLAY DENIED连续证明
六窗 42 项与四路见证 24 项全部通过。
IDENTITY STABLE强制收尾
冻结、封存、SIGTERM、监听消失与目录销毁。
ZERO RESIDUE生产授权舱
36 字段全部缺失,生产 Canary 不可调用。
FAIL CLOSED不是演示数据:13 次真实回环请求构成完整的一次性事务
进程实际启动并只绑定 127.0.0.1 的非 8110 临时端口。动态 PID、端口、Ticket 和临时路径只参与运行时断言,绝不进入持久平面。
四对象账本让执行入口、配置、授权语义与回滚策略一一可追溯
所有对象真实写入、权限与摘要读回一致;productionEvidenceRef 全部为空。
bin/controller.mjsOBJ-01config/controller.jsonOBJ-02ticket/canary.jsonOBJ-03rollback/policy.jsonOBJ-04二十阶段把前序、单次消费、观察、见证、回滚与销毁锁成不可拆分事务
每个阶段都显示 Fixture 已执行与生产未执行;任何失败直接中止并进入回滚。
CT-01绑定 R56 服务准入与监听保持回执
R56_SERVICE_ADMISSION_BINDING_FAILED
CT-02创建唯一可销毁 Canary Fixture 根
FIXTURE_ROOT_CREATE_FAILED
CT-03写入 Controller、配置、Ticket 与回滚策略
FIXTURE_OBJECT_WRITE_FAILED
CT-04验证四对象摘要与最小权限
FIXTURE_OBJECT_READBACK_FAILED
CT-05绑定单 Claim Canary Ticket
CANARY_TICKET_BINDING_FAILED
CT-06冻结一次成功调用预算
CANARY_BUDGET_FREEZE_FAILED
CT-07argv-only 启动 Fixture Controller
FIXTURE_PROCESS_START_FAILED
CT-08读取启动握手与进程身份
START_HANDSHAKE_FAILED
CT-09验证纯回环临时端口且排除 8110
LOOPBACK_PORT_VERIFY_FAILED
CT-10执行 Canary 前 liveness
PREFLIGHT_HEALTH_FAILED
CT-11构造精确 POST Canary Envelope
CANARY_ENVELOPE_BUILD_FAILED
CT-12原子 Claim 并烧毁一次性 Ticket
CANARY_TICKET_CLAIM_FAILED
CT-13接收唯一一次 Canary 成功响应
CANARY_ACCEPTANCE_FAILED
CT-14执行同 Envelope 重放并确认拒绝
CANARY_REPLAY_DENIAL_FAILED
CT-15完成六个连续观察窗口
CANARY_OBSERVATION_FAILED
CT-16完成四路独立结果见证
INDEPENDENT_WITNESS_FAILED
CT-17冻结后续 Canary Dispatch
DISPATCH_FREEZE_FAILED
CT-18执行强制优雅停止
MANDATORY_SHUTDOWN_FAILED
CT-19独立确认监听已经消失
LISTENER_ABSENCE_FAILED
CT-20销毁 Fixture 根并确认零残留
FIXTURE_CLEANUP_FAILED
一次成功后立即焚毁,不能续期、转让或再次调用
Ticket 摘要进入回执,但原始值不持久化;Nonce、幂等键、Release 和实例摘要共同锁定唯一请求。
ONE_CLAIM_ONE_SUCCESS_NONRENEWABLE_NONTRANSFERABLE第二次请求被稳定拒绝
CANARY_TICKET_REPLAY_DENIEDClaims 1 · Successful Canary 1 · Ticket Burned TRUE · Replay Denied TRUE
六个窗口连续证明唯一成功、Ticket 已焚毁与三类身份稳定
每窗 7 项,共 42/42;数据面只保存归一化摘要。
OW-017 / 7 PASSCANARY_OBSERVATION_1
- canaryPassed
- PASS
- exactlyOneSuccess
- PASS
- ticketBurned
- PASS
- releaseStable
- PASS
- instanceStable
- PASS
- processStable
- PASS
- listenerStable
- PASS
OW-027 / 7 PASSCANARY_OBSERVATION_2
- canaryPassed
- PASS
- exactlyOneSuccess
- PASS
- ticketBurned
- PASS
- releaseStable
- PASS
- instanceStable
- PASS
- processStable
- PASS
- listenerStable
- PASS
OW-037 / 7 PASSCANARY_OBSERVATION_3
- canaryPassed
- PASS
- exactlyOneSuccess
- PASS
- ticketBurned
- PASS
- releaseStable
- PASS
- instanceStable
- PASS
- processStable
- PASS
- listenerStable
- PASS
OW-047 / 7 PASSCANARY_OBSERVATION_4
- canaryPassed
- PASS
- exactlyOneSuccess
- PASS
- ticketBurned
- PASS
- releaseStable
- PASS
- instanceStable
- PASS
- processStable
- PASS
- listenerStable
- PASS
OW-057 / 7 PASSCANARY_OBSERVATION_5
- canaryPassed
- PASS
- exactlyOneSuccess
- PASS
- ticketBurned
- PASS
- releaseStable
- PASS
- instanceStable
- PASS
- processStable
- PASS
- listenerStable
- PASS
OW-067 / 7 PASSCANARY_OBSERVATION_6
- canaryPassed
- PASS
- exactlyOneSuccess
- PASS
- ticketBurned
- PASS
- releaseStable
- PASS
- instanceStable
- PASS
- processStable
- PASS
- listenerStable
- PASS
四个角色各自读回六项事实,不接受多数票、代理见证或共享身份
Fixture 只证明见证机制;生产仍需四套独立 IdentityRef、SessionRef 与 WitnessRef。
WT-016 / 6 PASSSupply Chain Witness
FIXTURE_CANARY_WITNESS_1
- IdentityRef
- ABSENT
- SessionRef
- ABSENT
- WitnessRef
- ABSENT
WT-026 / 6 PASSPlatform Witness
FIXTURE_CANARY_WITNESS_2
- IdentityRef
- ABSENT
- SessionRef
- ABSENT
- WitnessRef
- ABSENT
WT-036 / 6 PASSSRE Witness
FIXTURE_CANARY_WITNESS_3
- IdentityRef
- ABSENT
- SessionRef
- ABSENT
- WitnessRef
- ABSENT
WT-046 / 6 PASSRecovery Witness
FIXTURE_CANARY_WITNESS_4
- IdentityRef
- ABSENT
- SessionRef
- ABSENT
- WitnessRef
- ABSENT
强制回滚是 Canary 提交协议的后半段,缺一步就不算成功
冻结 Claim 与 Dispatch、封存观察和见证、确认 Ticket 焚毁、优雅退出、监听消失、目录销毁。
RB-01停止接收新的 Ticket Claim
CLAIM_FREEZE_FAILED
RB-02冻结 Canary Dispatch 队列
DISPATCH_FREEZE_FAILED
RB-03封存六窗观察根摘要
OBSERVATION_SEAL_FAILED
RB-04封存四路独立见证根摘要
WITNESS_SEAL_FAILED
RB-05确认 Ticket 已烧毁且不可复用
TICKET_BURN_READBACK_FAILED
RB-06向 Fixture Controller 发送 SIGTERM
SIGTERM_DELIVERY_FAILED
RB-07等待 HTTP Server 停止接收
HTTP_SERVER_CLOSE_FAILED
RB-08等待 Controller 零码退出
PROCESS_EXIT_FAILED
RB-09独立确认临时端口不可连接
LISTENER_ABSENCE_VERIFY_FAILED
RB-10销毁 Fixture 根并确认零残留
FIXTURE_ROOT_CLEANUP_FAILED
四十四字段把唯一成功、重放拒绝、六窗、四证人与十步回滚封成一份不可混淆回执
Fixture 回执完整,productionReceiptDigest 为空;它不会签发生产授权。
receiptIdBOUND02receiptRevisionBOUND03predecessorReceiptDigestBOUND04planDigestBOUND05fixtureRootPolicyDigestBOUND06controllerEntryDigestBOUND07fixtureConfigurationDigestBOUND08canaryTicketDigestBOUND09rollbackPolicyDigestBOUND10objectModeRootDigestBOUND11objectReadbackRootDigestBOUND12fixtureReleaseIdBOUND13fixtureInstanceDigestBOUND14argvDigestBOUND15processIdentityObservedDigestBOUND16listenerHandshakeDigestBOUND17bindAddressDigestBOUND18ephemeralPortClassDigestBOUND19preflightHealthDigestBOUND20canaryRequestEnvelopeDigestBOUND21ticketIdentityDigestBOUND22ticketClaimDigestBOUND23ticketBurnDigestBOUND24successfulCanaryResponseDigestBOUND25replayAttemptDigestBOUND26replayDenialDigestBOUND27observationWindow1DigestBOUND28observationWindow2DigestBOUND29observationWindow3DigestBOUND30observationWindow4DigestBOUND31observationWindow5DigestBOUND32observationWindow6DigestBOUND33observationRootDigestBOUND34supplyChainWitnessDigestBOUND35platformWitnessDigestBOUND36sreWitnessDigestBOUND37recoveryWitnessDigestBOUND38independentWitnessRootDigestBOUND39dispatchFreezeDigestBOUND40sigtermDeliveryDigestBOUND41processExitDigestBOUND42listenerAbsenceDigestBOUND43fixtureCleanupDigestBOUND44receiptDigestBOUND18 项双轨预检
PF-01R56 真实生产服务准入回执
PF-02五个生产监听保持窗口
PF-03四路独立生产探针
PF-04生产优雅退出与监听消失资格
PF-05一次性生产 Canary 授权
PF-06授权单 Claim 与新鲜度
PF-07exact source 与 Release Identity
PF-08制品、SBOM、配置与迁移
PF-09专用目标与独占锁
PF-10服务用户、工作目录与 unit
PF-11argv-only 与 SecretRef 防火墙
PF-12回环地址与 8110 独占租约
PF-13精确 POST Path 与 Body
PF-14一次成功调用预算
PF-15六窗观察策略
PF-16四路独立结果见证
PF-17强制回滚与 Dispatch Freeze
PF-18零生产副作用与审计连续性
20 类中止触发器
AB-01R56 真实生产服务准入回执缺失HOLD_CANARY
0AB-02五窗生产监听保持证据不完整HOLD_CANARY
0AB-03四路生产探针不独立HOLD_CANARY
0AB-04生产优雅退出资格不完整HOLD_CANARY
0AB-05生产 Canary 授权缺失、过期或已 ClaimREVOKE_WINDOW
0AB-06source、release、artifact 或 SBOM 漂移ABORT_SUPPLY_CHAIN
0AB-07目标、锁、unit 或监听租约漂移FREEZE_TARGET
0AB-08Canary Method、Path 或 Body 超出合同REJECT_ENVELOPE
0AB-09Ticket 可续期、可转移或最大 Claim 大于一REJECT_TICKET
0AB-10Fixture 入口通过 shell 启动ABORT_EXECUTION_MODE
0AB-11Fixture 地址不是纯回环或端口为 8110EMERGENCY_ABORT
0AB-12Canary 前健康检查失败TERMINATE_FIXTURE
0AB-13第一次 Canary 返回非 202MANDATORY_ROLLBACK
0AB-14成功调用计数不等于一MANDATORY_ROLLBACK
0AB-15同 Envelope 重放未返回 409QUARANTINE_TICKET
0AB-16任一观察窗口发生身份或状态漂移FREEZE_AND_ROLLBACK
0AB-17四路结果见证共享身份或引用REJECT_WITNESS_SET
0AB-18窗口结束后仍允许 DispatchEMERGENCY_FREEZE
0AB-19SIGTERM 后进程或监听未消失FORCE_KILL_AND_AUDIT
0AB-20出现目标主机、生产服务、8110 或账本副作用EMERGENCY_ABORT_AND_AUDIT
024 道生产准入门
R56 PRODUCTION SERVICE ADMISSION RECEIPT BOUNDR56_PRODUCTION_SERVICE_ADMISSION_RECEIPT_BOUND
R56 PRODUCTION HOLD WINDOWS 5 BOUNDR56_PRODUCTION_HOLD_WINDOWS_5_BOUND
R56 PRODUCTION PROBES 4 BOUNDR56_PRODUCTION_PROBES_4_BOUND
R56 PRODUCTION SHUTDOWN QUALIFIEDR56_PRODUCTION_SHUTDOWN_QUALIFIED
ONE TIME CANARY AUTHORIZATION 36 COMPLETEONE_TIME_CANARY_AUTHORIZATION_36_COMPLETE
AUTHORIZATION SINGLE CLAIM FRESHAUTHORIZATION_SINGLE_CLAIM_FRESH
EXACT SOURCE RELEASE BOUNDEXACT_SOURCE_RELEASE_BOUND
SUPPLY CHAIN SET BOUNDSUPPLY_CHAIN_SET_BOUND
DEDICATED TARGET LOCK BOUNDDEDICATED_TARGET_LOCK_BOUND
SERVICE IDENTITY AND UNIT BOUNDSERVICE_IDENTITY_AND_UNIT_BOUND
ARGV ONLY SECRETREF BOUNDARGV_ONLY_SECRETREF_BOUND
LOOPBACK 8110 LEASE BOUNDLOOPBACK_8110_LEASE_BOUND
CANARY POST METHOD BOUNDCANARY_POST_METHOD_BOUND
CANARY PATH BOUNDCANARY_PATH_BOUND
CANARY BODY DIGEST BOUNDCANARY_BODY_DIGEST_BOUND
MAXIMUM ONE SUCCESS BOUNDMAXIMUM_ONE_SUCCESS_BOUND
TICKET REPLAY CAS BOUNDTICKET_REPLAY_CAS_BOUND
OBSERVATION WINDOWS 6 BOUNDOBSERVATION_WINDOWS_6_BOUND
WITNESS IDENTITIES 4 DISTINCTWITNESS_IDENTITIES_4_DISTINCT
WITNESS SESSIONS 4 DISTINCTWITNESS_SESSIONS_4_DISTINCT
DISPATCH FREEZE BOUNDDISPATCH_FREEZE_BOUND
MANDATORY ROLLBACK BOUNDMANDATORY_ROLLBACK_BOUND
AUDIT CONTINUITY BOUNDAUDIT_CONTINUITY_BOUND
ZERO PRODUCTION SIDE EFFECTSZERO_PRODUCTION_SIDE_EFFECTS
26 类失败裁决
F01R56 生产服务准入、保持、探针或退出证据不存在HOLD_PRODUCTION_CANARY
PROD 0F02Portal 主机被提议为 Controller 目标REJECT_SHARED_PORTAL_HOST
PROD 0F03一次性生产 Canary 授权不存在HOLD_PRODUCTION_CANARY
PROD 0F04授权或 Ticket 被重放REVOKE_AND_QUARANTINE
PROD 0F05Fixture 根不唯一或不可销毁ABORT_FIXTURE_ROOT
PROD 0F06四个 Fixture 对象摘要或 mode 不一致QUARANTINE_OBJECTS
PROD 0F07配置允许外部网络或公共入口REJECT_CONFIGURATION
PROD 0F08Ticket 最大 Claim 或成功次数大于一REJECT_TICKET
PROD 0F09Ticket 可续期或可转移REJECT_TICKET
PROD 0F10入口通过 shell 或拼接命令启动ABORT_EXECUTION_MODE
PROD 0F11启动握手超时或身份漂移TERMINATE_FIXTURE
PROD 0F12绑定地址不是纯回环EMERGENCY_ABORT
PROD 0F13Fixture 端口意外等于 8110EMERGENCY_ABORT
PROD 0F14Canary 前 liveness 失败TERMINATE_FIXTURE
PROD 0F15请求 Method、Path、Ticket 或 Body 漂移DENY_ENVELOPE
PROD 0F16首次 Canary 未返回 202MANDATORY_ROLLBACK
PROD 0F17成功 Canary 数不是一MANDATORY_ROLLBACK
PROD 0F18重放未返回稳定 409 失败码QUARANTINE_REPLAY_GUARD
PROD 0F19六窗观察状态或身份漂移FREEZE_AND_ROLLBACK
PROD 0F20四路见证身份、会话或结果不独立REJECT_WITNESS_SET
PROD 0F21Dispatch 未在观察后冻结EMERGENCY_FREEZE
PROD 0F22Ticket Burn 读回不一致QUARANTINE_TICKET_LEDGER
PROD 0F23SIGTERM 后未在时限内退出FORCE_KILL_AND_AUDIT
PROD 0F24退出后端口仍可连接QUARANTINE_LISTENER_RESIDUE
PROD 0F25Fixture 根或动态身份被持久化QUARANTINE_RESIDUE
PROD 0F26出现生产目标、服务、8110、审计或计划副作用EMERGENCY_ABORT_AND_AUDIT
PROD 0Fixture 完成二十态闭环,生产停在输入等待态
每个状态都区分 Fixture reached 与 Production reached。
PRODUCTION_INPUT_WAITING等待 R56 生产回执和一次性 Canary 授权
FIXTURE_ROOT_CREATED创建一次性 Canary Fixture 根
FOUR_OBJECTS_WRITTEN写入 Controller、配置、Ticket 与回滚策略
OBJECTS_VERIFIED验证摘要与最小权限
TICKET_BOUND绑定不可续期单 Claim Ticket
CANARY_BUDGET_FROZEN冻结一次成功调用预算
PROCESS_SPAWNEDargv-only 启动 Fixture Controller
LISTENER_READY确认回环临时监听且非 8110
PREFLIGHT_HEALTH_READYCanary 前健康检查通过
ENVELOPE_SEALED封存精确 POST Envelope
TICKET_CLAIMED原子 Claim 并烧毁 Ticket
CANARY_ACCEPTED_ONCE唯一一次 Canary 成功
REPLAY_DENIED相同 Envelope 重放被拒绝
OBSERVATION_1_3_PASS前三个观察窗口稳定
OBSERVATION_4_6_PASS后三个观察窗口稳定
FOUR_WITNESSES_PASS四路独立结果见证完成
DISPATCH_FROZEN后续 Canary Dispatch 永久冻结
GRACEFUL_EXIT_COMPLETEDController 零码退出
LISTENER_ABSENCE_VERIFIED临时端口独立确认不可连接
FIXTURE_ROOT_DESTROYEDFixture 根销毁并确认零残留
36 类生产副作用逐项保持为零
目标访问、Secret、文件、服务、8110、生产请求、账本与正式验收均未发生。
external-object-received002production-target-profile-read003production-target-contacted004production-service-admission-receipt-read005production-hold-window-receipt-read006production-probe-receipt-read007production-shutdown-receipt-read008production-canary-authorization-issued009production-canary-authorization-claimed010production-canary-ticket-issued011production-canary-ticket-claimed012production-canary-ticket-burned013production-service-user-created014production-working-directory-created015production-unit-written016production-unit-enabled017production-unit-started018production-controller-process-started019production-listener-8110-started020production-canary-request-sent021production-canary-success022production-canary-replay-attempted023production-observation-started024production-witness-started025production-dispatch-frozen026production-rollback-started027production-listener-absence-read028production-secret-read029production-network-opened030controller-identity-created031audit-ledger-written032paid-resource-created033program-ledger-advanced034d05-gate-advanced035d06-startup-authorized036formal-acceptance-advanced0- canaryTransactionCases
- 180
- ticketClaimCases
- 140
- replayDefenseCases
- 120
- observationCases
- 160
- witnessCases
- 160
- rollbackCases
- 140
- receiptCases
- 120
- authorizationCases
- 100
- preflightCases
- 80
- abortCases
- 60
- failureDecisionCases
- 60
- expectedCases
- 1320
- passedCases
- 1320
- failedCases
- 0
R57-UI01双轨进度总览R57-UI02固定 R51–R60 路线R57-UI03R56 生产输入缺口R57-UI04R57 Canary 事务驾驶舱R57-UI05可销毁 Canary Fixture 根R57-UI06Controller Canary 最小入口R57-UI07回环临时监听配置R57-UI08一次性 Canary TicketR57-UI09强制回滚策略R57-UI10四对象摘要与 modeR57-UI11二十阶段 Canary 事务轨R57-UI12argv-only 进程启动台R57-UI13启动握手读回R57-UI14进程与 Release 身份稳定性R57-UI15127.0.0.1 地址约束R57-UI16非 8110 临时端口约束R57-UI17Canary 前 livenessR57-UI18精确 POST EnvelopeR57-UI19Ticket 原子 ClaimR57-UI20Ticket Burn 读回R57-UI21唯一成功 Canary 响应R57-UI22重放尝试台R57-UI23重放拒绝回执R57-UI24观察窗口一R57-UI25观察窗口二R57-UI26观察窗口三R57-UI27观察窗口四R57-UI28观察窗口五R57-UI29观察窗口六R57-UI30四十二项观察结果矩阵R57-UI31Supply Chain 独立见证R57-UI32Platform 独立见证R57-UI33SRE 独立见证R57-UI34Recovery 独立见证R57-UI35二十四项见证结果矩阵R57-UI36Dispatch FreezeR57-UI37十步强制回滚轨R57-UI38Controller 零码退出R57-UI39监听消失独立读回R57-UI40Fixture 根销毁证明R57-UI41四十四字段 Canary 回执R57-UI42三十六字段生产授权保险库R57-UI43十八项双轨预检R57-UI44二十类中止触发器R57-UI45二十四道生产准入门R57-UI46二十六类失败裁决R57-UI47二十态生命周期R57-UI48一千三百二十项确定性验证R57-UI49三十六类生产副作用哨兵R57-UI50R58 证据闭合交接包R57 已完成;下一刀进入 D05 十一道门证据闭合
只有 R57 真实专用生产目标的一次性 Canary 授权、单次成功回执、重放拒绝、六窗观察、四路独立见证、强制回滚、监听消失与零副作用证据全部出现,R58 才能评审 D05 十一道门闭合;Fixture Canary 不能替代生产证据。