wickActionInteriorHingeStatus
plain-language theorem explainer
Status ledger for the 4D interior-hinge Wick action campaign (gap 6). It records that the Lorentzian action bit is flipped, the frozen schema is landed, N1–N4 and Schläfli are closed, and the V2 terminal is inhabited. Gravity auditors cite it when checking campaign closure. The body is a pure structure literal of Bool flags.
Claim. The interior-hinge Wick-action status bundle sets the gap-6 Lorentzian action flag to true, marks the continuation schema as frozen, marks foundation steps N1–N2 as closed, and marks N3 half-plane confinement, N4 cut-boundary, Schläfli identity, and terminal inhabitation as no longer open.
background
Module Wave C4 R2 freezes the 4D Wick-action continuation target and the complex arccos lift. Repo arc convention: $t=0$ is Lorentzian and $t=1$ is Euclidean. On the three-pent object the shared hinge is the same-slice all-spacelike triangle, so the dihedral cosine paths collapse to one chart pair and the 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, never applied to cofactor products. The status structure packages campaign Bools: gap-6 Lorentzian action, schema freeze, N1–N2 closed, and open-bits for N3 confinement, N4 boundary, Schläfli, and terminal inhabitation. Upstream closer named in the ledger is the V2 4D Wick-action continuation certificate; spatial dimension $D=3$ is the forced RS value from the forcing chain.
proof idea
Definitional structure literal, not a proof. Each field of WickActionInteriorHingeStatus is assigned a concrete Bool: gap-6 action true, schema frozen true, N1–N2 closed true, and the four open-bits (N3, N4, Schläfli, terminal) all false. No tactics or lemmas are invoked; the values encode the campaign state claimed by the surrounding module and by the V2 continuation closer.
why it matters
This is the single source of truth for whether gap 6 (Lorentzian action on the interior hinge) is flipped in the Seven Gaps gravity ledger. Downstream, the status-flags theorem unpacks the bundle into an explicit conjunction of equalities, so packaging and CI can assert closure without re-reading the campaign narrative.
Doc-comment records the flip date and names the closer as the V2 4D Wick-action continuation certificate; the frozen V1 schema is left unchanged. Framework link: Wick rotation of the Regge-style hinge action in $D=3$ spatial dimensions, feeding the Lorentzian sector of the recognition gravity stack. Explicit residual: the 3D Lorentzian-sector action bit stays open because 3D never received an action-level closer.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.