D05-R54 · EXECUTABLE FIXTURE · DIFF ADJUDICATION · ONE-TIME AUTH
预演必须真的执行,但只能在一用即毁的隔离沙箱里执行
R54 把 R53 的静态预演合同推进为真实可重复的 Fixture 文件系统事务:十八阶段全部执行、二十四项期望与观察快照完成差异裁决、四席完成确定性 Fixture 复核、三十二字段回执封存并验证沙箱零残留。真实专用目标仍为 0/1,因此生产预演保持 0/18,一次性授权保持 0/1。
D05_R54_FIXTURE_REHEARSAL_EXECUTED_DIFF_ADJUDICATED_PRODUCTION_ONE_TIME_AUTHORIZATION_HELD架构裁决:Fixture 的绿色只表示隔离执行器和失败关闭合同合格。它不代表生产目标、生产差异回执或执行授权存在;Portal 主机仍不具备 Controller 目标资格。
FIXED R51–R60 BACKLOG
十刀分母固定为 60,本刀推进 R54
R51–R53 已完成,R54 当前完成,R55–R60 保持计划态;任何 Fixture 成果都不自动计入正式验收。
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 交接
REHEARSAL EXECUTION COCKPIT
八段事务链同时显示 Fixture 结果、生产缺口和首个失败
工作台不把测试通过包装成生产完成;每段都明确当前环境、输入来源、能力边界和下一安全动作。
一次性隔离根
真实创建、写入、读回并销毁,不持久化路径。
EXECUTED_AND_DESTROYED期望快照
供应链、身份、unit、网络、回滚与能力边界全部冻结。
DETERMINISTIC_FIXTURE预演执行轨
argv-only、零网络、零主机、零 Secret、零生产写入。
FIXTURE_PASS观察读回
六份沙箱对象全部内容寻址读回。
READBACK_MATCHED差异裁决
逐字段比较、分级、Owner 指派和稳定决策。
FIXTURE_ONLY四席 Fixture 裁决
确定性断言通过;生产 IdentityRef 与 KeyRef 仍缺失。
PRODUCTION 0/4回执封存
输入、结果、差异、裁决、清理与摘要一次绑定。
FIXTURE_SEALED生产授权保险库
三十字段、单 Claim、不可转移、不可续期、当前不可调用。
NOT_ISSUED不是 Mock 成功:一次真实文件系统事务完成创建、读回和销毁
生成器在系统临时区创建唯一沙箱,写入六份结构化对象,逐份内容摘要读回,最终递归销毁并验证零残留;路径不会进入产物,运行不触网、不启动进程、不读取生产 Secret。
二十四字段双列快照:每一项都可比较、可指派、可裁决
期望值来自确定性 Fixture,观察值来自沙箱真实读回。生产 EvidenceRef 保持空值,防止把本地结果迁移为生产事实。
exactSourceRelease EngineeringreleaseIdShapeRelease EngineeringartifactDigestSupply ChainsbomDigestSupply ChainconfigurationDigestPlatform SREmigrationDigestData ReliabilityserviceUserSecurityserviceGroupSecurityworkingDirectoryPlatform SREunitPathPlatform SRElistenAddressNetworklistenPortNetworkhealthPathReliabilityreadinessPathReliabilityconfigRefSecuritysecretRefSetSecuritylogSinkObservabilitymetricSinkObservabilityfileModePolicySecurityownershipPolicySecurityrollbackRootRecoveryrollbackTimeoutSecondsRecoverycleanupPolicyRecoveryproductionCapabilityArchitecture十八阶段逐项执行,并在每个切点保留稳定失败码
所有阶段都在一次性沙箱内完成;productionExecuted=false 是生产真值,不是尚未刷新 UI。
RX-01创建一次性隔离根目录
SANDBOX_ROOT_CREATE_FAILED
RX-02导入不可调用事务描述符
DESCRIPTOR_IMPORT_FAILED
RX-03验证 exact source 与 Release 形态
RELEASE_IDENTITY_MISMATCH
RX-04验证 artifact 与 SBOM 摘要
SUPPLY_CHAIN_DIGEST_MISMATCH
RX-05验证 config 与 migration 摘要
CONFIG_OR_MIGRATION_MISMATCH
RX-06规范化 argv 数组
ARGV_NORMALIZATION_FAILED
RX-07拒绝 shell 与内联 Secret
SHELL_OR_SECRET_DETECTED
RX-08渲染文件安装清单到沙箱
FILE_MANIFEST_RENDER_FAILED
RX-09渲染 owner 与 mode 清单到沙箱
OWNERSHIP_RENDER_FAILED
RX-10渲染 systemd unit 候选到沙箱
UNIT_RENDER_FAILED
RX-11离线验证端口与依赖图
PORT_DEPENDENCY_CONFLICT
RX-12绑定十二叶回滚根
ROLLBACK_ROOT_BIND_FAILED
RX-13注入逐阶段失败并求值补偿
COMPENSATION_EVALUATION_FAILED
RX-14读取沙箱观察快照
SANDBOX_READBACK_FAILED
RX-15生成二十四项差异账本
DIFF_LEDGER_BUILD_FAILED
RX-16执行四席确定性裁决
ADJUDICATION_INCOMPLETE
RX-17封存三十二字段 Fixture 回执
FIXTURE_RECEIPT_SEAL_FAILED
RX-18销毁沙箱并验证零残留
SANDBOX_CLEANUP_FAILED
差异不是一张 Pass/Fail 表,而是 Owner、级别与决策的有序账本
Fixture 的二十四项均匹配;生产仍需重新观察、重新分级和四席独立签署,不能复用 Fixture verdict。
DIFF-01MATCH_FIXTURE_ONLYexactSource
- Expected
- f4ca48614c24e1f733b2c3fc52a51881c4efcb70
- Observed
- f4ca48614c24e1f733b2c3fc52a51881c4efcb70
DIFF-02MATCH_FIXTURE_ONLYreleaseIdShape
- Expected
- developer-portal@<source12>-<artifact12>
- Observed
- developer-portal@<source12>-<artifact12>
DIFF-03MATCH_FIXTURE_ONLYartifactDigest
- Expected
- sha256:fixture-artifact-tree
- Observed
- sha256:fixture-artifact-tree
DIFF-04MATCH_FIXTURE_ONLYsbomDigest
- Expected
- sha256:fixture-cyclonedx-1.5
- Observed
- sha256:fixture-cyclonedx-1.5
DIFF-05MATCH_FIXTURE_ONLYconfigurationDigest
- Expected
- sha256:fixture-config
- Observed
- sha256:fixture-config
DIFF-06MATCH_FIXTURE_ONLYmigrationDigest
- Expected
- sha256:fixture-migration-set
- Observed
- sha256:fixture-migration-set
DIFF-07MATCH_FIXTURE_ONLYserviceUser
- Expected
- reits-controller
- Observed
- reits-controller
DIFF-08MATCH_FIXTURE_ONLYserviceGroup
- Expected
- reits-controller
- Observed
- reits-controller
DIFF-09MATCH_FIXTURE_ONLYworkingDirectory
- Expected
- /opt/reits-controller/current
- Observed
- /opt/reits-controller/current
DIFF-10MATCH_FIXTURE_ONLYunitPath
- Expected
- /etc/systemd/system/reits-controller.service
- Observed
- /etc/systemd/system/reits-controller.service
DIFF-11MATCH_FIXTURE_ONLYlistenAddress
- Expected
- 127.0.0.1
- Observed
- 127.0.0.1
DIFF-12MATCH_FIXTURE_ONLYlistenPort
- Expected
- 8110
- Observed
- 8110
DIFF-13MATCH_FIXTURE_ONLYhealthPath
- Expected
- /healthz
- Observed
- /healthz
DIFF-14MATCH_FIXTURE_ONLYreadinessPath
- Expected
- /readyz
- Observed
- /readyz
DIFF-15MATCH_FIXTURE_ONLYconfigRef
- Expected
- ssm://reits/controller/config
- Observed
- ssm://reits/controller/config
DIFF-16MATCH_FIXTURE_ONLYsecretRefSet
- Expected
- references-only
- Observed
- references-only
DIFF-17MATCH_FIXTURE_ONLYlogSink
- Expected
- journald:reits-controller
- Observed
- journald:reits-controller
DIFF-18MATCH_FIXTURE_ONLYmetricSink
- Expected
- otel:controller
- Observed
- otel:controller
DIFF-19MATCH_FIXTURE_ONLYfileModePolicy
- Expected
- 0640/0750
- Observed
- 0640/0750
DIFF-20MATCH_FIXTURE_ONLYownershipPolicy
- Expected
- root:reits-controller
- Observed
- root:reits-controller
DIFF-21MATCH_FIXTURE_ONLYrollbackRoot
- Expected
- sha256:fixture-12-leaf-root
- Observed
- sha256:fixture-12-leaf-root
DIFF-22MATCH_FIXTURE_ONLYrollbackTimeoutSeconds
- Expected
- 90
- Observed
- 90
DIFF-23MATCH_FIXTURE_ONLYcleanupPolicy
- Expected
- remove-staging-and-release-lease
- Observed
- remove-staging-and-release-lease
DIFF-24MATCH_FIXTURE_ONLYproductionCapability
- Expected
- NONE
- Observed
- NONE
四席 Fixture 断言通过,生产身份、密钥、会话和读路径仍为零
多数票和代理裁决被禁用。生产裁决必须使用四套独立 IdentityRef、KeyRef、SessionRef 与 ReadbackRef。
A01FIXTURE PASSRelease Engineering Adjudicator
source、release、artifact 与 SBOM
- Fixture verdicts
- 24 / 24
- IdentityRef
- ABSENT
- KeyRef
- ABSENT
- Production sign
- FALSE
A02FIXTURE PASSPlatform SRE Adjudicator
身份、目录、unit、端口、健康与可观测
- Fixture verdicts
- 24 / 24
- IdentityRef
- ABSENT
- KeyRef
- ABSENT
- Production sign
- FALSE
A03FIXTURE PASSSecurity Adjudicator
SecretRef、权限、owner、网络与最小能力
- Fixture verdicts
- 24 / 24
- IdentityRef
- ABSENT
- KeyRef
- ABSENT
- Production sign
- FALSE
A04FIXTURE PASSRecovery Adjudicator
回滚根、超时、补偿、清理与零残留
- Fixture verdicts
- 24 / 24
- IdentityRef
- ABSENT
- KeyRef
- ABSENT
- Production sign
- FALSE
三十二字段把执行、观察、差异、裁决与清理锁成一个回执
Fixture 回执已完整生成,但 productionReceiptDigest 仍为空;它只能证明执行器实现,不具备生产授权能力。
receiptIdBOUND02receiptRevisionBOUND03predecessorDigestBOUND04planDigestBOUND05fixtureRunIdBOUND06sandboxPolicyDigestBOUND07expectedSnapshotDigestBOUND08observedSnapshotDigestBOUND09diffLedgerDigestBOUND10stageResultRootDigestBOUND11sourceRevisionBOUND12releaseIdentityDigestBOUND13artifactDigestBOUND14sbomDigestBOUND15configurationDigestBOUND16migrationDigestBOUND17argvDigestBOUND18fileManifestDigestBOUND19ownershipManifestDigestBOUND20unitCandidateDigestBOUND21portDependencyDigestBOUND22rollbackRootDigestBOUND23compensationDigestBOUND24cleanupDigestBOUND25releaseAdjudicationDigestBOUND26sreAdjudicationDigestBOUND27securityAdjudicationDigestBOUND28recoveryAdjudicationDigestBOUND29productionCapabilityBOUND30fixtureCompletedAtBOUND31receiptDigestBOUND32archiveDigestBOUND同一项检查同时显示 Fixture 通过和生产缺口
PF-01R53 目标最终性回执
PF-02二十八字段目标画像
PF-03十六项独占性证据
PF-044/4 独立最终性
PF-05目标锁 CAS 与独立读回
PF-06不可转移目标租约
PF-07exact source 与 Release Identity
PF-08制品、SBOM、配置与迁移
PF-09argv 与 Secret 防火墙
PF-10二十四项差异全裁决
PF-11十二叶回滚根与双读回
PF-12Fixture 沙箱零残留
十四类中止触发器
AB-01R53 目标最终性回执缺失或漂移REVOKE_REHEARSAL_INPUT
0AB-02目标画像、独占性或锁 revision 漂移FREEZE_TARGET
0AB-03四席身份、KeyRef、会话或读路径碰撞REJECT_FINALITY
0AB-04目标租约过期、转移、续期或重放REVOKE_TARGET_LEASE
0AB-05source、release 或 artifact 漂移ABORT_SUPPLY_CHAIN
0AB-06SBOM、config 或 migration 漂移ABORT_CONFIGURATION_SET
0AB-07argv 含 shell 或明文 SecretQUARANTINE_DESCRIPTOR
0AB-08沙箱越界或残留DESTROY_SANDBOX
0AB-09任一差异未分级或未指派 OwnerHOLD_DIFF_LEDGER
0AB-10四席裁决未全票HOLD_ADJUDICATION
0AB-11Fixture 回执摘要或读回不一致REJECT_FIXTURE_RECEIPT
0AB-12回滚根或补偿图不可读HOLD_ROLLBACK
0AB-13一次性授权被重放、扩权或二次 ClaimREVOKE_AUTHORIZATION
0AB-14任何生产网络、主机、Secret、文件、服务或监听副作用EMERGENCY_ABORT
0十八道生产准入门
R53 FINALITY RECEIPT BOUNDR53_FINALITY_RECEIPT_BOUND
TARGET PROFILE 28 COMPLETETARGET_PROFILE_28_COMPLETE
EXCLUSIVITY 16 COMPLETEEXCLUSIVITY_16_COMPLETE
FOUR OF FOUR FINALITY LIVEFOUR_OF_FOUR_FINALITY_LIVE
TARGET LOCK READBACK MATCHESTARGET_LOCK_READBACK_MATCHES
TARGET LEASE FRESHTARGET_LEASE_FRESH
EXPECTED SNAPSHOT 24 FROZENEXPECTED_SNAPSHOT_24_FROZEN
FIXTURE SANDBOX POLICY BOUNDFIXTURE_SANDBOX_POLICY_BOUND
REHEARSAL 18 STAGES PASSREHEARSAL_18_STAGES_PASS
OBSERVED SNAPSHOT 24 READOBSERVED_SNAPSHOT_24_READ
DIFF LEDGER 24 COMPLETEDIFF_LEDGER_24_COMPLETE
DIFF OWNERS ASSIGNEDDIFF_OWNERS_ASSIGNED
FOUR ADJUDICATORS DISTINCTFOUR_ADJUDICATORS_DISTINCT
FOUR ADJUDICATIONS SIGNEDFOUR_ADJUDICATIONS_SIGNED
FIXTURE RECEIPT 32 COMPLETEFIXTURE_RECEIPT_32_COMPLETE
ROLLBACK ROOT DUAL READBACKROLLBACK_ROOT_DUAL_READBACK
SANDBOX ZERO RESIDUESANDBOX_ZERO_RESIDUE
ONE TIME AUTHORIZATION 30 COMPLETEONE_TIME_AUTHORIZATION_30_COMPLETE
沙箱越界、差异漏判、代理裁决和授权重放都有稳定裁决
所有未知结果先冻结、读回和审计;Portal 不自动补写成功、不复用 Fixture verdict、不签发生产授权。
F01R53 生产目标最终性输入不存在HOLD_PRODUCTION_REHEARSAL
生产 0F02把 Portal 主机作为 Controller 目标REJECT_SHARED_PORTAL_HOST
生产 0F03Fixture 沙箱根不唯一或不可销毁ABORT_SANDBOX
生产 0F04描述符可调用或携带远程句柄QUARANTINE_DESCRIPTOR
生产 0F05source 或 Release Identity 不一致REJECT_RELEASE_INPUT
生产 0F06artifact、SBOM、config 或 migration 不一致REJECT_SUPPLY_CHAIN_SET
生产 0F07argv 不是数组或出现 shellREJECT_ARGV
生产 0F08Secret 值而不是 SecretRef 出现EMERGENCY_QUARANTINE
生产 0F09文件清单越出沙箱ABORT_FILESYSTEM_ESCAPE
生产 0F10owner 或 mode 违反最小权限HOLD_PERMISSION_DIFF
生产 0F11unit 候选可自动启动服务REJECT_UNIT_CANDIDATE
生产 0F12端口或依赖图冲突HOLD_PORT_DEPENDENCY_DIFF
生产 0F13回滚根或补偿图不可用REJECT_ROLLBACK_INPUT
生产 0F14观察快照少于二十四字段REJECT_OBSERVED_SNAPSHOT
生产 0F15差异未分级、未指派 Owner 或未裁决HOLD_DIFF_LEDGER
生产 0F16四席裁决缺席、代理或共享身份REJECT_ADJUDICATION_SET
生产 0F17Fixture 回执不足三十二字段REJECT_FIXTURE_RECEIPT
生产 0F18沙箱清理后仍有文件残留FREEZE_CLEANUP_FAILURE
生产 0F19授权可转移、续期、重放或二次 ClaimREVOKE_AUTHORIZATION
生产 0F20生产预演或安装在授权前执行EMERGENCY_ABORT_AND_AUDIT
生产 0Fixture 已走完清理,生产停在输入等待态
生命周期把“实现已验证”和“生产可执行”分成两条明确轨道。
R53_INPUT_HELD等待真实专用目标最终性输入
FIXTURE_SANDBOX_CREATED创建一次性隔离根
DESCRIPTOR_IMPORTED导入不可调用事务描述符
EXPECTED_SNAPSHOT_FROZEN冻结二十四字段期望快照
STAGES_EXECUTING执行十八阶段 Fixture 预演
OBSERVED_SNAPSHOT_READ读取二十四字段观察快照
DIFF_LEDGER_BUILT生成二十四项差异账本
DIFFS_CLASSIFIED差异完成级别与 Owner 分派
FOUR_SEAT_ADJUDICATED四席确定性 Fixture 裁决完成
FIXTURE_RECEIPT_SEALED三十二字段回执封存
SANDBOX_DESTROYED沙箱清理并验证零残留
PRODUCTION_INPUT_WAITING等待 R53 生产证据
AUTHORIZATION_PREFLIGHT一次性授权生产预检
AUTHORIZATION_ISSUED_OR_HELD签发或保持失败关闭
ARCHIVED_OR_REVOKED归档证据或永久撤销
- 快照合同
- 128
- 预演执行
- 160
- 差异账本
- 160
- 四席裁决
- 96
- 回执封存
- 112
- 一次性授权
- 128
- 预检
- 64
- 中止
- 52
- 失败裁决
- 46
- 生命周期
- 14
R54-UI01双轨进度总览R54-UI02固定 R51–R60 路线R54-UI03R53 生产输入快照R54-UI04R54 预演执行驾驶舱R54-UI05一次性 Fixture 沙箱R54-UI06零网络与零主机防火墙R54-UI07二十四字段期望快照R54-UI08二十四字段观察快照R54-UI09十八阶段执行轨R54-UI10事务描述符导入R54-UI11Release Identity 校验R54-UI12供应链摘要校验R54-UI13argv 规范化R54-UI14Shell 与 Secret 拒绝台R54-UI15文件安装清单渲染R54-UI16owner 与 mode 渲染R54-UI17systemd unit 候选渲染R54-UI18端口与依赖图R54-UI19十二叶回滚根绑定R54-UI20失败注入与补偿图R54-UI21Fixture 独立读回R54-UI22二十四项差异账本R54-UI23差异级别分层R54-UI24差异 Owner 分派R54-UI25Release 裁决席R54-UI26Platform SRE 裁决席R54-UI27Security 裁决席R54-UI28Recovery 裁决席R54-UI29四席裁决矩阵R54-UI30三十二字段 Fixture 回执R54-UI31Fixture 回执摘要R54-UI32沙箱销毁证明R54-UI33十二项双轨预检R54-UI34三十字段一次性授权R54-UI35授权单 Claim 状态机R54-UI36授权过期与撤销R54-UI37十四类中止触发器R54-UI38十八道生产准入门R54-UI39二十类失败裁决R54-UI40十五态生命周期R54-UI41九百六十项确定性验证R54-UI42二十八类生产副作用哨兵R54-UI43R55 交接包R54-UI44多团队并行开发目录R54 已完成;下一刀进入安装执行、独立读回与回滚资格化
只有 R53 真实目标最终性、R54 生产预演回执、二十四项生产差异四席裁决、十二叶回滚根双读回和三十字段一次性授权全部出现,R55 才能执行安装;Fixture 通过不能替代生产授权。