WickActionInteriorHingeStatus
plain-language theorem explainer
Status record for the gap-6 Wick-action interior-hinge campaign: seven Booleans tracking ledger flag, schema freeze, N1+N2 closure, and open bits for N3 confinement, N4 cut boundary, Schläfli variation, and terminal inhabitation. Gravity auditors cite it to read campaign progress at a glance. Pure structure definition; no proof content.
Claim. A seven-field Boolean status bundle for the interior-hinge Wick continuation: whether the gap-6 Lorentzian-action ledger flag is still unflipped; whether the frozen schema (continuation certificate plus terminal proposition) has landed; whether foundation lemmas N1--N2 are closed; and whether N3 half-plane confinement / Moebius path equality, N4 Lorentzian boundary through the cut, Schläfli / Euclidean $\alpha$-variation inhabitation, and terminal inhabitation / flag flip remain open.
background
Module Wave C4 R2 freezes the wick_action_continuation_4d target and the complex arccos lift. Arc convention is binding: $t=0$ Lorentzian, $t=1$ Euclidean. On the three-pent object the shared hinge is the same-slice all-spacelike triangle, so the dihedral sum collapses to $3\cdot\theta(t)$ and hinge area squared is the constant real $3/16$ along the arc.
Complex angle uses $\mathrm{carccos},w:=-I\log(w+I\sqrt{1-w^2})$ with the repo half-power square root, applied only to $1-w^2$. The frozen certificate at fixed CDT ratio $\alpha$ carries causal-range and chart-agreement fields and explicitly refuses AND-shell deficit-sum and real-endpoint decoys.
N1 (slit-plane / continuity of carccos) and N2 (agreement with real arccos on $(-1,1)$) are the foundation layer this status reports as closed. N3, N4, Schläfli, and terminal inhabitation are later sessions.
proof idea
No proof: this is a structure declaration whose fields are plain Bools with doc-comments fixing the intended meaning of each flag. Downstream code inhabits it by assigning concrete true/false values; the structure itself only names the campaign checklist.
why it matters
Gives the Seven Gaps gravity campaign a single typed dashboard for gap 6 (Lorentzian Wick action on the interior hinge). The sole downstream use is the concrete inhabitant wickActionInteriorHingeStatus, which currently marks schema frozen and N1+N2 closed, N3 and N4 closed at the Open-bit level, and leaves Schläfli and terminal inhabitation open while keeping the ledger flag unflipped.
That matches the module contract: land frozen schema plus carccos foundations, do not flip gap6_lorentzian_action, do not inhabit the terminal Prop. In the broader RS gravity stack this sits under the CDT / Regge hinge analysis feeding Lorentzian action continuity; closing the remaining open bits is what would eventually authorize the ledger flip.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.