Lean Diagnostic Campaign Admissibility

ID: nhm2.formal.diagnostic_campaign_admissible

Lean verifies diagnostic campaign admissibility from the emitted certificate for the current 0p7000 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.