PROMOTION ADMISSION / NON-CALLABLE DESCRIPTORS ONLY

Factory output promotion is a separate authority boundary.

签名 transaction receipt、construction result receipt 与 output seal 必须逐路同源。晋级对象只允许是不可调用 descriptor；任何 factory object、closure、mutable alias 或 capability 泄漏都会驱逐整个四路集合。

VERIFIER LANES0 / 4FOUR FACTORY TRANSACTION RECEIPT VERIFIER LANES
CONTROLS0 / 8EIGHT SEALED OUTPUT PROMOTION-ADMISSION CONTROLS
PROTOCOL0 / 24TWENTY-FOUR-STAGE TRANSACTION RECEIPT TO PROMOTION PROTOCOL
GATES / RECEIPTS36 / 3136-GATE SEALED OUTPUT PROMOTION LADDER
FIELDS / QA118 / 202202-CASE SEALED OUTPUT PROMOTION LAB
PRODUCTION EFFECTS0ZERO-EFFECT PRODUCTION BOUNDARY
01 · VERIFIER FABRIC

Four-lane transaction receipt binding

0 / 4 VERIFIED
02 · ADMISSION CONTROLS

Eight detached promotion checks

0 / 8 EXECUTED
03 · STATE MACHINE

SEVEN-STATE SEALED OUTPUT PROMOTION MACHINE

NOT_ADMITTED
04 · SEAL ATTESTATION

FOUR FACTORY OUTPUT SEAL ATTESTATIONS

OBJECT REFS 0
05 · PROMOTION PERMITS

FOUR SEALED OUTPUT PROMOTION PERMITS

ISSUED 0
06 · REVERSE PATH

FOUR REVERSE FACTORY OUTPUT EVICTION PROOFS

VERIFIED 0
07 · CONSISTENCY

FOUR-LANE PROMOTION CONSISTENCY ADJUDICATION

AGREEMENT 0 / 4
08 · TERMINAL PROJECTION

118-FIELD OUTPUT PROMOTION TERMINAL PROJECTION

Authority / gate / QA ledger

144 SEALED OUTPUT PROMOTION INVARIANTS
Evidence familyRequiredProductionVerdict
NINETEEN DETACHED OUTPUT PROMOTION AUTHORITIES190BLOCKED
THIRTY-ONE-ENTRY OUTPUT PROMOTION RECEIPT CHAIN310BLOCKED
202 fixtures202TEST ONLYPASS
production adapter factories00SEALED
FIREBREAK AAdapter factory creation

authority closed · factory objects retained 0 · promoted descriptors 0

FIREBREAK BAdapter invocation

authority closed · callable surfaces 0 · calls 0

REVERSE GUARANTEEWhole-set eviction

permit · attestation · escrow · receipt → zeroized