{
  "kind": "PNPOneCommandVerifierUpload0",
  "version": 2,
  "status": "historical-activated-run-upload-frozen",
  "historical": true,
  "intakeFrozen": true,
  "automaticUploadEnabled": false,
  "sourceRepository": "https://github.com/aisknab/pnp",
  "currentVerificationCommands": [
    "node pcc-formal-reconstruction-status0.mjs --json",
    "node pcc-formal-public-surface0.mjs --json",
    "npm run pnp:verify",
    "lake build PNP"
  ],
  "currentClaimBoundary": {
    "status": "formal-reconstruction-in-progress",
    "mathematicalTheoremEstablished": false,
    "publicTheoremEmissionAllowed": false,
    "publicTheoremStatement": null,
    "publicTheoremConclusion": null,
    "finalTheoremReady": false,
    "rootLeanTheoremPresent": false,
    "rootLeanTheoremBuilt": false,
    "rootLeanTheoremAxiomAuditPassed": false,
    "projectSpecificAxiomsRemaining": true
  },
  "historicalUploadFlow": {
    "status": "preserved-for-audit-only",
    "formerPrimaryCommand": [
      "git clone https://github.com/aisknab/pnp.git",
      "cd pnp",
      "npm ci",
      "npm run verify"
    ],
    "formerInteractivePrompt": "Upload verification run to PNP Labs? [y/N]",
    "formerSubmittedRecordKind": "PNPActivatedVerificationRunRecord0",
    "formerTargetRegistry": "public/pnp-verification-runs.json",
    "formerIssueTemplate": ".github/ISSUE_TEMPLATE/pnp-verification-run.yml",
    "formerIssueIngestWorkflow": ".github/workflows/pnp-verification-run-issue-ingest.yml"
  },
  "issueIngestWorkflow": {
    "kind": "PNPVerificationRunIssueIngestWorkflow0",
    "status": "disabled-and-frozen",
    "acceptsNewRecords": false,
    "opensRegistryUpdatePullRequest": false,
    "regeneratesComparisonMatrix": false,
    "regeneratesMatrixSummary": false
  },
  "freezeReason": "The activated theorem-emission status was superseded by formal reconstruction. New records using the old activated schema would misrepresent the current theorem boundary.",
  "nonClaims": [
    "The repository does not currently establish P = NP.",
    "This payload does not offer or authorize activated-status run submission.",
    "Historical submitted records and comparison artifacts are not current theorem-status evidence.",
    "Legacy JavaScript checker acceptance is assertion-record evidence only, not mathematical proof.",
    "External review is optional audit evidence and is not a mathematical premise or release blocker."
  ]
}