Physical Claim Promotion — constitution hall, bronze seal. Mini AI Labs visual system.

<aside> ◼

VISUAL SYSTEM · MINI AI LABS

Near-black laboratory. Cyan live · bronze Λ-ghost · mint lock. No type on stills.

Record: CITY-LABS-VISUAL-SYSTEM-20260915.

</aside>

<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