Lean Negative Fixtures Fail Closed

ID: nhm2.formal.negative_fixtures_fail_closed

Static Lean examples and runtime fixture tests reject missing tensor components, stale hashes, Eulerian-only observers, scalar-only QEI, target echo, and open claim locks.

Status: diagnostic

Uncertainty

• This diagnostic 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.