<aside> ⚛️

Canonical policy: Mathematical validation is not categorically blocked from physical-claim status. When a physical proposition is a deductive consequence of an explicitly declared physical model and the bridge from the formalism to the physical quantities is itself established, the claim is promoted immediately to theorem/corollary status within that physical model.

</aside>

Promotion rule

A physical claim is eligible for immediate promotion when all applicable obligations are satisfied:

1. Declared physical model: the state space, operators/fields, assumptions, domain, boundary conditions, and governing equations are explicit.
2. Typed bridge: the map from the validated mathematical objects to the claimed physical quantities is explicit, dimensionally/unit consistent where applicable, and preserves the required structure.
3. Deduction closes: the target physical proposition follows by proof from the declared assumptions and bridge, with no missing inference step.
4. Executable witness when needed: any computational step is independently reconstructible with source, precision, tolerance, residuals, and provenance.
5. Claim scope is exact: the promoted statement says precisely whether it is unconditional mathematics, a theorem within a declared physical model, a simulation result, an empirical measurement, or a hardware result.

Immediate status rule

• If the promotion test passes, classify the result as [T] theorem or [C] corollary with the annotation Physical scope: proved within the declared model. Preserve its E0/E1/E2 evidence credentials as applicable.
• Do not route a claim to the Observatory merely because it uses physical language or because no experiment has yet been performed.
• Do not downgrade an exact model-internal physical theorem to interpretation/speculation solely for lack of E3/E4/H0 evidence.
• E3/E4/H0 are required only for propositions that actually assert an external empirical fact: that nature realizes the model, that a measured numerical value has been observed, that a material/device has a stated performance, or that hardware physically implements the construction.

Existing-record re-audit

All existing records marked physical interpretation open, no physical claim promoted, physical claim held, or routed to an Observatory solely because they are physical are subject to immediate re-audit under the promotion rule above. Eligible claims are promoted in place; ineligible claims retain a narrow statement of the exact missing bridge, premise, measurement, or hardware witness.

Evidence-transfer rule

Evidence still attaches to the claim. There is no automatic transfer from E0 mathematics to an unrelated empirical statement. The change is that a proven physical-model consequence is itself a valid physical claim and must not be blocked by category alone.

Governance

This protocol supersedes earlier blanket language such as no physical claim was promoted, keep physical claims outside, or unconditional routing of every physical lift to an Observatory. Historical records may preserve that wording as provenance, but current routing and publication decisions use this protocol.