Lean Claim Locks Closed

ID: nhm2.formal.claim_locks_closed

Lean carries the claim locks as part of the certificate proof, so diagnostic admissibility keeps physical, route, propulsion, transport, and speed locks closed.

Status: blocked

Uncertainty

• This blocked badge is a theory locator; its claim still needs independent, claim-specific validation.

Sources

No public source reference is attached. Seek independent evidence before using this badge as support.

Claim boundaries

• This badge locates a theory claim; it does not validate a physical effect or engineering application.

Diagnostic context only. Cite independent evidence for claims about the world.