D05-R55 · REAL FIXTURE INSTALL · 4-LANE READBACK · ATOMIC ROLLBACK

安装必须真的发生，读回必须独立，回滚必须能把 current 原子切回前序

R55 在一用即毁的 POSIX 根内真实安装八个 Controller 候选对象，执行十六阶段安装、一次原子晋级、四路独立内容读回和十二步逆序回滚。候选被移除、前序保持不变、沙箱零残留；真实专用目标与一次性授权仍为 0/1，所以生产安装保持 0/16。

PROGRAM TRUTH · 2026-07-29隔离安装资格与生产安装事实严格分轨

D05_R55_FIXTURE_INSTALL_EXECUTED_FOUR_READBACKS_PASS_ROLLBACK_QUALIFIED_PRODUCTION_HELD

正式业务验收4/36

固定工程计划55/60

Fixture 安装16/16

生产安装0/16

架构裁决：绿色只表示隔离安装器、独立读回器与逆向回滚合同合格。Portal 没有接触生产目标、没有消费授权、没有写生产文件，也没有启动 Controller 或监听 8110。

FIXED R51–R60 BACKLOG

十刀分母固定为 60，本刀推进 R55

R51–R54 已完成，R55 当前完成，R56–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 交接

R55 ARCHITECTURE PREVIEW

安装、四路读回、逆向回滚和生产锁定在一张图里完成对齐

视觉总图与机器平面采用相同计数：Fixture 安装 16/16、独立读回 4/4、生产安装 0/16、生产副作用为零。

INSTALLATION TRANSACTION COCKPIT

六段事务链把真实执行、独立读回、回滚资格和生产缺口放在同一视口

每段同时显示环境、数量、执行结果和边界，避免用一张笼统的绿色状态掩盖生产缺口。

01DISPOSABLE POSIX ROOT1/1

一次性安装根

创建后完成安装、读回、回滚与销毁，路径不进入产物。

DESTROYED

02INSTALLED OBJECTS8/8

候选对象集

入口、配置、unit、清单、SBOM、迁移、回滚与 Release。

DIGEST + MODE MATCH

03ATOMIC CURRENT1/1

原子晋级

current.next 通过同文件系统 rename 原子切至候选。

R54 → R55

04INDEPENDENT READBACK4/4

四路读回

供应链、平台、数据可靠性、恢复各走一条逻辑路径。

16/16 CHECKS

05ATOMIC ROLLBACK12/12

逆序回滚

current 切回 R54，前序保持，候选移除，零残留。

QUALIFIED FIXTURE

06PRODUCTION EXECUTION0/16

生产安装舱

目标、生产预演回执和一次性授权均不存在。

FAIL CLOSED

REAL DISPOSABLE POSIX INSTALLATION ROOT

不是安装计划稿：八个候选对象真的写入、校验 mode、读回摘要并被回滚移除

生成器创建前序 R54、current 符号链接和候选 R55 目录树，逐对象安装后原子切换 current；完成四路读回后再原子切回前序，移除候选并销毁整个 Fixture 根。

BASELINER54前序 Release

INSTALL8候选对象

SWITCH1current → R55

READBACK4独立路径

ROLLBACKR54原子切回

EIGHT INSTALLED OBJECTS

八对象安装账本同时显示用途、权限、期望摘要和真实读回

所有路径均相对 Fixture Release 根，productionEvidenceRef 保持空值；mode 与内容摘要必须双重匹配。

对象用途Mode裁决

bin/controller.mjsOBJ-01

Controller argv-only 入口0750MATCH · FIXTURE

config/controller.jsonOBJ-02

引用型配置0640MATCH · FIXTURE

systemd/reits-controller.serviceOBJ-03

不可启动 unit 候选0640MATCH · FIXTURE

manifests/install.jsonOBJ-04

安装清单0640MATCH · FIXTURE

manifests/sbom.jsonOBJ-05

SBOM 清单0640MATCH · FIXTURE

migrations/0001-fixture.sqlOBJ-06

迁移描述符0640MATCH · FIXTURE

rollback/rollback.jsonOBJ-07

回滚描述符0640MATCH · FIXTURE

release.jsonOBJ-08

Release 身份0640MATCH · FIXTURE

SIXTEEN-STAGE INSTALLATION RAIL

十六阶段逐项执行，每个切点都有稳定失败码和生产禁区

productionExecuted=false 是机器平面真值；Fixture 阶段不得触网、接触目标、读取生产 Secret、启动服务或打开监听。

IN-01

创建唯一可销毁 POSIX 安装根

FIXTURE_ROOT_CREATE_FAILED

IN-02

写入前序 Release 基线

PREDECESSOR_BASELINE_WRITE_FAILED

IN-03

建立前序 current 符号链接

PREDECESSOR_CURRENT_LINK_FAILED

IN-04

创建候选 Release 目录树

CANDIDATE_DIRECTORY_CREATE_FAILED

IN-05

安装 Controller argv-only 入口

CONTROLLER_ENTRY_INSTALL_FAILED

IN-06

安装引用型配置

CONFIG_REFERENCE_INSTALL_FAILED

IN-07

安装不可启动 systemd unit 候选

UNIT_CANDIDATE_INSTALL_FAILED

IN-08

安装供应链与 SBOM 清单

SUPPLY_CHAIN_MANIFEST_INSTALL_FAILED

IN-09

安装迁移与回滚描述符

MIGRATION_ROLLBACK_INSTALL_FAILED

IN-10

应用最小权限 mode

FILE_MODE_APPLY_FAILED

IN-11

逐对象内容摘要校验

OBJECT_DIGEST_VERIFY_FAILED

IN-12

冻结候选 Release 根摘要

RELEASE_ROOT_DIGEST_FREEZE_FAILED

IN-13

创建 current.next 原子切换指针

ATOMIC_POINTER_PREPARE_FAILED

IN-14

将 current 原子切换至候选

ATOMIC_POINTER_COMMIT_FAILED

IN-15

四路独立读回候选状态

INDEPENDENT_READBACK_FAILED

IN-16

封存安装执行结果

INSTALL_RECEIPT_SEAL_FAILED

FOUR INDEPENDENT READBACK LANES

四路各读四个对象；Fixture 全部匹配，生产身份、会话和读回引用保持为空

生产资格要求四套独立 IdentityRef、SessionRef 与 ReadbackRef。多数票、共享会话和代理读回全部禁用。

RB-01FIXTURE PASS

Supply Chain Reader

FIXTURE_INDEPENDENT_PATH_1

Object checks: 4 / 4
IdentityRef: ABSENT
SessionRef: ABSENT
Production: 0 / 1

bin/controller.mjsmanifests/sbom.jsonmanifests/install.jsonrelease.json

RB-02FIXTURE PASS

Platform Reader

FIXTURE_INDEPENDENT_PATH_2

Object checks: 4 / 4
IdentityRef: ABSENT
SessionRef: ABSENT
Production: 0 / 1

config/controller.jsonsystemd/reits-controller.servicemanifests/install.jsonrelease.json

RB-03FIXTURE PASS

Data Reliability Reader

FIXTURE_INDEPENDENT_PATH_3

Object checks: 4 / 4
IdentityRef: ABSENT
SessionRef: ABSENT
Production: 0 / 1

migrations/0001-fixture.sqlconfig/controller.jsonmanifests/sbom.jsonrelease.json

RB-04FIXTURE PASS

Recovery Reader

FIXTURE_INDEPENDENT_PATH_4

Object checks: 4 / 4
IdentityRef: ABSENT
SessionRef: ABSENT
Production: 0 / 1

rollback/rollback.jsonsystemd/reits-controller.servicemanifests/install.jsonrelease.json

TWELVE-STEP REVERSE ROLLBACK QUALIFICATION

回滚不是“保留旧目录”：必须原子逆切、独立读回、保全前序、移除候选并确认零残留

Fixture 已完整执行十二步；生产回滚资格仍为 0/12，不能沿用本地结果。

RO-01

冻结候选 current 指针

CURRENT_POINTER_FREEZE_FAILED

RO-02

读取前序 Release 身份

PREDECESSOR_IDENTITY_READ_FAILED

RO-03

验证前序 Release 摘要

PREDECESSOR_DIGEST_MISMATCH

RO-04

验证十二叶回滚根绑定

ROLLBACK_ROOT_BINDING_FAILED

RO-05

准备 current.next 前序指针

ROLLBACK_POINTER_PREPARE_FAILED

RO-06

原子提交 current 逆向切换

ROLLBACK_POINTER_COMMIT_FAILED

RO-07

独立读回 current 目标

ROLLBACK_POINTER_READBACK_FAILED

RO-08

验证前序对象未被污染

PREDECESSOR_CONTAMINATED

RO-09

移除候选 Release 目录

CANDIDATE_REMOVE_FAILED

RO-10

验证候选 Release 不可见

CANDIDATE_STILL_VISIBLE

RO-11

验证临时指针零残留

TEMP_POINTER_RESIDUE

RO-12

销毁 Fixture 根并确认零残留

FIXTURE_ROOT_CLEANUP_FAILED

36-FIELD INSTALLATION & ROLLBACK RECEIPT

三十六字段把安装、原子切换、四路读回、逆序回滚和清理锁成一个回执

Fixture 回执完整，productionReceiptDigest 仍为空；它证明实现资格，不产生生产安装授权。

01receiptIdBOUND02receiptRevisionBOUND03predecessorReceiptDigestBOUND04planDigestBOUND05fixtureRootPolicyDigestBOUND06predecessorReleaseDigestBOUND07candidateReleaseDigestBOUND08installStageRootDigestBOUND09installedObjectRootDigestBOUND10binaryDigestBOUND11configDigestBOUND12unitDigestBOUND13installManifestDigestBOUND14sbomDigestBOUND15migrationDigestBOUND16rollbackDescriptorDigestBOUND17releaseIdentityDigestBOUND18fileModeRootDigestBOUND19atomicPointerPrepareDigestBOUND20atomicPointerCommitDigestBOUND21supplyChainReadbackDigestBOUND22platformReadbackDigestBOUND23dataReliabilityReadbackDigestBOUND24recoveryReadbackDigestBOUND25independentReadbackRootDigestBOUND26rollbackQualificationRootDigestBOUND27rollbackPointerDigestBOUND28predecessorPreservationDigestBOUND29candidateRemovalDigestBOUND30fixtureCleanupDigestBOUND31networkEffectsBOUND32targetHostEffectsBOUND33productionFilesystemEffectsBOUND34serviceStartEffectsBOUND35listenerEffectsBOUND36receiptDigestBOUND

30-FIELD ONE-TIME PRODUCTION AUTHORIZATION0 / 1

生产安装授权舱继续保持上锁

缺少 R53 真实目标最终性、R54 生产预演回执、生产差异四席裁决和可消费的一次性授权；R55 不生成 authorizationDigest。

R53_TARGET_FINALITY_R54_PRODUCTION_REHEARSAL_AND_ONE_TIME_AUTHORIZATION_ABSENT

01authorizationIdABSENT02authorizationRevisionABSENT03targetLeaseDigestABSENT04targetLockDigestABSENT05targetFinalityDigestABSENT06rehearsalReceiptDigestABSENT07diffLedgerDigestABSENT08adjudicationSetDigestABSENT09rollbackRootDigestABSENT10sourceRevisionABSENT11releaseIdABSENT12artifactDigestABSENT13sbomDigestABSENT14configurationDigestABSENT15migrationDigestABSENT16targetIdABSENT17targetRevisionABSENT18unitPathDigestABSENT19workingDirectoryDigestABSENT20argvDigestABSENT21notBeforeABSENT22expiresAtABSENT23nonceABSENT24idempotencyKeyABSENT25maximumClaimsABSENT26claimsABSENT27revocationEpochABSENT28authorizationDigestABSENT29independentReadbackDigestABSENT30archiveDigestABSENT

FOURTEEN DUAL-TRACK PREFLIGHTS

同一项检查同时显示 Fixture 通过和生产缺口

14/14 fixture

PF-01R53 专用目标最终性回执

PF-02R54 生产预演回执

PF-03R54 二十四项生产差异四席裁决

PF-04三十字段一次性授权

PF-05授权单 Claim 与新鲜度

PF-06exact source 与 Release Identity

PF-07制品、SBOM、配置与迁移

PF-08目标 stopped-state 独立读回

PF-09argv 与 Secret 防火墙

PF-10八对象安装清单与 mode

PF-11current 原子切换能力

PF-12四路独立读回隔离

PF-13十二步回滚资格

PF-14Fixture 零网络、零服务、零监听、零残留

SIXTEEN ABORT TRIGGERS

十六类中止触发器

AB-01

R53 专用目标最终性缺失或漂移FREEZE_TARGET

AB-02

R54 生产预演回执缺失或漂移HOLD_INSTALL

AB-03

二十四项生产差异未完成四席裁决HOLD_DIFF_ADJUDICATION

AB-04

一次性授权缺失、过期或已 ClaimREVOKE_INSTALL_WINDOW

AB-05

source、release、artifact 或 SBOM 漂移ABORT_SUPPLY_CHAIN

AB-06

配置、迁移或 SecretRef 漂移ABORT_CONFIGURATION_SET

AB-07

目标不是独占 stopped-stateABORT_TARGET_STATE

AB-08

安装路径越出专用 RootABORT_FILESYSTEM_ESCAPE

AB-09

owner 或 mode 违反最小权限ABORT_PERMISSION_SET

AB-10

current.next 不是同文件系统原子切换ABORT_POINTER_TRANSACTION

AB-11

任一安装对象摘要不一致QUARANTINE_CANDIDATE

AB-12

四路读回共享 Identity、Session 或路径REJECT_READBACK_SET

AB-13

任一读回摘要不一致ROLLBACK_IMMEDIATELY

AB-14

前序 Release 不可读或被污染FREEZE_ROLLBACK

AB-15

候选、临时指针或 Fixture 根有残留QUARANTINE_CLEANUP

AB-16

任何未授权网络、主机、Secret、服务或监听副作用EMERGENCY_ABORT

TWENTY PRODUCTION GATES

二十道生产准入门

R53 TARGET FINALITY BOUNDR53_TARGET_FINALITY_BOUND

HELD

R54 PRODUCTION REHEARSAL RECEIPT BOUNDR54_PRODUCTION_REHEARSAL_RECEIPT_BOUND

HELD

R54 PRODUCTION DIFFS 24 ADJUDICATEDR54_PRODUCTION_DIFFS_24_ADJUDICATED

HELD

ONE TIME AUTHORIZATION 30 COMPLETEONE_TIME_AUTHORIZATION_30_COMPLETE

HELD

AUTHORIZATION SINGLE CLAIM FRESHAUTHORIZATION_SINGLE_CLAIM_FRESH

HELD

EXACT SOURCE RELEASE BOUNDEXACT_SOURCE_RELEASE_BOUND

HELD

SUPPLY CHAIN SET BOUNDSUPPLY_CHAIN_SET_BOUND

HELD

TARGET STOPPED STATE INDEPENDENTLY READTARGET_STOPPED_STATE_INDEPENDENTLY_READ

HELD

INSTALL ROOT EXCLUSIVEINSTALL_ROOT_EXCLUSIVE

HELD

INSTALL OBJECTS 8 COMPLETEINSTALL_OBJECTS_8_COMPLETE

HELD

FILE MODES 8 COMPLETEFILE_MODES_8_COMPLETE

HELD

ATOMIC POINTER PREPAREDATOMIC_POINTER_PREPARED

HELD

ATOMIC POINTER COMMITTEDATOMIC_POINTER_COMMITTED

HELD

READBACK IDENTITIES 4 DISTINCTREADBACK_IDENTITIES_4_DISTINCT

HELD

READBACK SESSIONS 4 DISTINCTREADBACK_SESSIONS_4_DISTINCT

HELD

READBACK PATHS 4 DISTINCTREADBACK_PATHS_4_DISTINCT

HELD

READBACK DIGESTS 16 MATCHREADBACK_DIGESTS_16_MATCH

HELD

ROLLBACK STEPS 12 PASSROLLBACK_STEPS_12_PASS

HELD

PREDECESSOR PRESERVEDPREDECESSOR_PRESERVED

HELD

ZERO PRODUCTION SIDE EFFECTSZERO_PRODUCTION_SIDE_EFFECTS

HELD

TWENTY-TWO FAILURE DECISIONS

路径越界、摘要漂移、读回碰撞、回滚失败与残留都有稳定裁决

未知结果先冻结、回滚、读回和审计；Portal 不补写成功、不复用 Fixture 资格、不触碰生产。

F01

专用生产目标最终性不存在HOLD_PRODUCTION_INSTALL

生产 0

F02

Portal 主机被提议为 Controller 目标REJECT_SHARED_PORTAL_HOST

生产 0

F03

R54 生产预演回执不存在HOLD_PRODUCTION_INSTALL

生产 0

F04

一次性授权未签发或不可读HOLD_AUTHORIZATION

生产 0

F05

一次性授权被重放或二次 ClaimREVOKE_AUTHORIZATION

生产 0

F06

Fixture 根不唯一或不可销毁ABORT_FIXTURE_ROOT

生产 0

F07

前序 Release 身份或摘要不一致FREEZE_PREDECESSOR

生产 0

F08

候选路径越出 Release 根ABORT_PATH_ESCAPE

生产 0

F09

Controller 入口含 shell 或远程句柄QUARANTINE_ENTRY

生产 0

F10

配置包含明文 SecretQUARANTINE_CONFIGURATION

生产 0

F11

unit 候选可自动启动REJECT_UNIT_CANDIDATE

生产 0

F12

安装清单或 SBOM 漂移REJECT_SUPPLY_CHAIN

生产 0

F13

迁移或回滚描述符不可读HOLD_DATA_RECOVERY_SET

生产 0

F14

owner 或 mode 违反策略HOLD_PERMISSION_SET

生产 0

F15

任一对象摘要读回不一致ROLLBACK_CANDIDATE

生产 0

F16

current.next 不支持原子 renameABORT_POINTER_SWITCH

生产 0

F17

current 切换后目标不是候选ROLLBACK_POINTER

生产 0

F18

四路读回身份、会话或路径碰撞REJECT_READBACK_QUORUM

生产 0

F19

四路读回任一摘要不一致ROLLBACK_AND_FREEZE

生产 0

F20

current 未原子切回前序EMERGENCY_RECOVERY

生产 0

F21

候选目录或临时指针残留QUARANTINE_RESIDUE

生产 0

F22

安装前后出现服务、监听或生产副作用EMERGENCY_ABORT_AND_AUDIT

生产 0

SEVENTEEN-STATE LIFECYCLE

Fixture 从创建走到销毁；生产停在输入等待态

十七态明确区分“安装器已验证”和“生产可执行”，避免工程进度覆盖正式验收。

PRODUCTION_INPUT_WAITING

等待真实目标、生产预演和一次性授权

FIXTURE REACHED

FIXTURE_ROOT_CREATED

创建一次性 POSIX 根

FIXTURE REACHED

PREDECESSOR_BASELINE_WRITTEN

写入并绑定前序 Release

FIXTURE REACHED

PREDECESSOR_CURRENT_LINKED

current 指向前序

FIXTURE REACHED

CANDIDATE_TREE_CREATED

创建候选目录树

FIXTURE REACHED

CANDIDATE_OBJECTS_INSTALLED

安装八个候选对象

FIXTURE REACHED

MODES_APPLIED

应用最小权限 mode

FIXTURE REACHED

OBJECT_DIGESTS_VERIFIED

逐对象内容摘要验证

FIXTURE REACHED

CANDIDATE_ROOT_FROZEN

冻结候选 Release 根

FIXTURE REACHED

ATOMIC_POINTER_PREPARED

准备 current.next

FIXTURE REACHED

ATOMIC_POINTER_COMMITTED

current 原子切至候选

FIXTURE REACHED

FOUR_READBACKS_COMPLETED

四路读回独立完成

FIXTURE REACHED

ROLLBACK_POINTER_COMMITTED

current 原子切回前序

FIXTURE REACHED

PREDECESSOR_PRESERVED

前序对象验证未污染

FIXTURE REACHED

CANDIDATE_REMOVED

候选 Release 已移除

FIXTURE REACHED

INSTALL_RECEIPT_SEALED

三十六字段回执封存

FIXTURE REACHED

FIXTURE_ROOT_DESTROYED

Fixture 根销毁并确认零残留

FIXTURE REACHED

DETERMINISTIC QUALIFICATION1080 / 10801,080 项安装、读回、回滚与失败关闭断言全部通过

安装执行: 176
独立读回: 160
回滚资格: 144
回执封存: 120
生产授权: 112
双轨预检: 96
中止触发: 64
失败裁决: 54
生命周期: 34
基线与边界: 120

R55-UI01双轨进度总览R55-UI02固定 R51–R60 路线R55-UI03R54 生产输入缺口R55-UI04R55 安装事务驾驶舱R55-UI05可销毁 POSIX Fixture 根R55-UI06前序 Release 基线R55-UI07current 前序指针R55-UI08候选 Release 目录树R55-UI09十六阶段安装轨R55-UI10八对象安装清单R55-UI11Controller argv-only 入口R55-UI12引用型配置R55-UI13不可启动 unit 候选R55-UI14供应链与 SBOM 清单R55-UI15迁移描述符R55-UI16回滚描述符R55-UI17最小权限 mode 矩阵R55-UI18逐对象内容摘要R55-UI19候选 Release 根R55-UI20current.next 准备台R55-UI21current 原子提交台R55-UI22原子指针读回R55-UI23Supply Chain 读回席R55-UI24Platform 读回席R55-UI25Data Reliability 读回席R55-UI26Recovery 读回席R55-UI27四路独立性矩阵R55-UI28十六项读回摘要矩阵R55-UI29十二步逆序回滚R55-UI30回滚原子提交R55-UI31前序 Release 保全R55-UI32候选 Release 清理R55-UI33临时指针零残留R55-UI34Fixture 根销毁证明R55-UI35三十六字段安装回执R55-UI36生产一次性授权保险库R55-UI37十四项双轨预检R55-UI38十六类中止触发器R55-UI39二十道生产准入门R55-UI40二十二类失败裁决R55-UI41十七态生命周期R55-UI42一千零八十项确定性验证R55-UI43三十类生产副作用哨兵R55-UI44R56 交接包R55-UI45多团队并行开发目录R55-UI46中文架构与 QA 说明书

NEXT KNIFE · D05-R56

R55 已完成；下一刀进入 Controller 服务准入与监听保持

只有 R55 真实专用生产目标安装回执、四路独立生产读回、十二步生产回滚资格、一次性授权消费回执与零副作用证明全部出现，R56 才能评审 Controller 服务准入和监听保持；Fixture 资格不能替代生产证据。