Lean Campaign Certificate

ID: nhm2.formal.lean_certificate

Runtime artifacts are exported into a Lean-facing certificate for the current 0p7000 diagnostic campaign profile.

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.