gap6LookalikeReceiptStatus
plain-language theorem explainer
Status record for the Gap-6 lookalike-falsify residual: receipt closed, frozen V1 schema and deficit-sum branch shut, ledger terminal shut, and the Gap-6 Lorentzian-action flag set true after the V2 continuation close. Gravity-campaign auditors cite it for ledger bookkeeping after F3 succession. It is a pure structure literal assigning five Booleans; no proof work.
Claim. The Gap-6 lookalike receipt status is the record with lookalike-falsify receipt closed ($\mathrm{true}$), Wick-action schema open flag $\mathrm{false}$, deficit-sum branch open flag $\mathrm{false}$, Wick-action ledger-terminal open flag $\mathrm{false}$, and Gap-6 Lorentzian-action flag $\mathrm{true}$.
background
Module setting is Wave C4 residual R0: typed lookalike decoys that might be mistaken for a Gap-6 close must be separated from the real closer. Each banked lookalike is a positive theorem plus a post-close witness that it does not discharge the 4D Wick-action continuation (domain mismatch, V1 action-field kill, or distinct closer co-assertion).
F3 succession (2026-07-23) closed Gap-6 via the V2 Wick-action continuation; obsolete "gap6 stays false" conjuncts were replaced by post-close-compatible separation. The status structure packages five ledger Booleans: receipt closed, three "open" flags held false (schema, deficit-sum branch, terminal), and the Lorentzian-action flag flipped true.
Upstream holographic closed predicates (plaquette even parity; domino both faces balanced) are ambient ledger language, not arguments of this literal. The RS-native Status inductive is the broader measurement taxonomy; this def is a campaign-local Bool bundle, not that inductive.
proof idea
Definitional structure construction, not a proof. Instantiates the five fields of the Gap-6 lookalike receipt status record by Boolean literals: receipt closed true; schema, deficit-sum branch, and terminal open flags false; Gap-6 Lorentzian-action flag true. No lemmas, tactics, or computation.
why it matters
Bookkeeping anchor after Gap-6 closed via the V2 Lorentzian Wick-action continuation. Downstream status theorem unpacks the five equalities (receipt closed; three opens false; Lorentzian-action true) so campaign ledgers can assert R0 lookalike separation retained while Gap-6 is closed.
Sits in the Seven Gaps gravity stack beside separation certificates (3D Lorentzian continuation is not 4D action; 4D kinematical continuation is not action-level; hinge data and $C_{m4}$ sign are not action-level). Those certificates feed the typed residual that decoys fail; this status only records the post-close flag state. Binding detail named in the module is the V2 close status tying the Lorentzian-action bound to V2. No new physics constant or forcing-chain step (T0–T8); pure residual hygiene for the gravity ledger.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.