continuumPromotionEarned_eq

Campaign G4/G5 studies continuum promotion of the order-sensitive residual in 4D gravity analysis. The finite residual sits outside the metric edge image; the module replaces bare Boolean non-membership by a normalized-separation trichotomy under a shape-regular refinement family: survive (positive liminf distance to the metric image), metric collapse (normalized distance to 0 while the response norm does not), or lattice washout (response norm to 0).

Continuum survival, collapse, and washout for the certificate pair are recorded as open residual propositions. The geometric mesh Tendsto baseline is required before any terminal is claimed. The status flag continuumPromotionEarned is the honest Boolean recording that continuum promotion has not been earned from the finite theorem alone.

Module honesty is explicit: the finite outside-image result is a theorem; inhabiting any continuum terminal remains open; promoting the finite Boolean to continuum novelty is forbidden.

One-line term proof by reflexivity. The flag is defined as the Boolean constant false, so equality to false is definitional (rfl). No lemmas are applied.

This is the methodological wall of the continuum-promotion campaign. Downstream, finite_exclusion_does_not_earn_promotion uses it to show that finite non-membership in the metric edge image never flips the flag. In the coefficient-forcing layer, coefficientForcingLicensed_eq unfolds licensing to this same false flag, and no_forced_coefficient_while_unearned is the wall theorem: while promotion is unearned, no forced coefficient exists.

In Recognition gravity analysis the point is discipline, not a new dynamical law. Finite residual novelty on the discrete side must not be silently upgraded to continuum claims or coefficient forcing. The open work remains inhabiting a continuum terminal (survive / collapse / washout) once the mesh Tendsto baseline is in place; until then the flag stays false by design.