Activated verifier-run registry is frozen.
This page preserves records collected against a superseded checker status. New activated-status records are not accepted, and the registry is not current theorem-status evidence.
mathematicalTheoremEstablished = false publicTheoremEmissionAllowed = false publicTheoremStatement = null finalTheoremReady = false rootLeanTheoremPresent = false rootLeanTheoremAxiomAuditPassed = false projectSpecificAxiomsRemaining = true
No new activated-status run submissions
The former GitHub issue intake and automated registry-update workflow are disabled. The old schema asserted theorem-emission fields that no longer match the authoritative status, so importing new records under it would be misleading.
public/pnp-one-command-upload.json publishes the machine-readable freeze notice.
Historical site-CI seed record
pnplabs-ci-pr16-2026-07-06 is preserved exactly as evidence of what the old site CI reported at that time. Its nested activated fields are historical data and do not override public/pnp-status.json.
Legacy JavaScript checker acceptance verifies assertion-bearing records under implemented predicates. It is not a formal proof of the named mathematical propositions.
No current green matrix badge
The comparison matrix and summary remain available only so the earlier record can be audited. The summary now has badge.state = "historical", badge.tone = "neutral", and currentStatusBadge = false.
Use the formal-reconstruction commands
node pcc-formal-reconstruction-status0.mjs --json
node pcc-formal-public-surface0.mjs --json
npm run pnp:verify
lake build PNPThese commands expose the unfinished state. They do not establish P = NP unless the concrete root theorem exists, builds, and passes its axiom audit.