Lean Certificate Hashes Pinned

ID: nhm2.formal.certificate_hashes_pinned

The Lean certificate JSON records the campaign artifact paths and SHA-256 hashes used to produce the generated Lean module.

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.