Reflective Mathematics and Source-Lift Formalism: A Status Discipline for Tier-1 Image Mathematics
Jeremy Rodgers · Zenodo (CERN European Organization for Nuclear Research) · 2026
This paper is the second support paper in the Shadow Theory sequence. Building on the Tier-1 source-readout non-identity theorem, it develops a formal discipline for classifying when ordinary Tier-1 mathematical claims remain image-level claims and when, under explicit conditions, they may be promoted to closure-side or source-side claims. The paper treats ordinary Tier-1 mathematics as mathematics over admitted readout structure. This does not invalidate ordinary mathematics; rather, it assigns it a precise default status. A mathematical claim made over Tier-1 readout is valid at the image level unless additional structure justifies a stronger source-side interpretation. The central machinery consists of the fiber family over each admitted readout, the non-injective register inherited from source-readout non-identity, and a class of typed, predicate-sensitive lift certificates. The paper distinguishes projection trace from genuine certification: merely tracing a readout back to some preimage is not enough to promote a claim. A claim may be promoted only by whole-fiber invariance or by a valid lift certificate, and certificate-based promotion is only relative to the certified subfiber unless the certificate covers the entire fiber. The paper introduces a grounded status classifier for mathematical claims, including image-valid, image-invalid, source-valid by invariance, source-invalid, lift-relative valid, lift-certificate invalid, overextended, and unresolved. It proves the classifier total, non-circular, and well-defined under the stated typed claim grammar, while routing unknown or insufficiently certified cases to unresolved rather than falsely promoting them. A finite-resolution detector example illustrates the discipline. It shows how exact source-side claims can be overextended when inferred from coarse readout alone, and how explicit certificates can support only the level of validity they actually certify. This paper does not claim to recover the full source-side closure or to provide universal lifts for all mathematical objects. Its purpose is to supply the formal source-lift discipline that any such recovery must satisfy. It prepares the transition to the next support paper, where the same status discipline is applied to physics as Tier-1 readout law.