{
  "kind": "PNPLabsPNPVerificationRunRegistry0",
  "version": 8,
  "status": "historical-activated-verification-run-registry-frozen",
  "historical": true,
  "intakeFrozen": true,
  "sourceRepository": "https://github.com/aisknab/pnp",
  "sourceCommitRef": "main",
  "syncedOn": "2026-07-10",
  "purpose": "Preserve, for auditability, the historical run records that were collected against the superseded activated checker status. Intake is frozen and these records are not current theorem-status evidence.",
  "currentClaimBoundary": {
    "status": "formal-reconstruction-in-progress",
    "mathematicalTheoremEstablished": false,
    "publicTheoremEmissionAllowed": false,
    "publicTheoremStatement": null,
    "publicTheoremConclusion": null,
    "finalTheoremReady": false,
    "internalFinalTheoremReady": false,
    "unrestrictedFinalSoundnessDischarged": false,
    "uniformFinalSoundnessProved": false,
    "rootLeanTheoremPresent": false,
    "rootLeanTheoremBuilt": false,
    "rootLeanTheoremAxiomAuditPassed": false,
    "projectSpecificAxiomsRemaining": true,
    "externalReviewIsMathematicalPremise": false,
    "remainingBlockers": [
      "Formal.ConcreteComplexityModel",
      "Formal.ConcreteSAT",
      "Formal.LockedNANDThreshold",
      "Formal.ResidualBandMinimizer",
      "Formal.ZeroSlack",
      "Formal.PolynomialRuntimeAndCertificateBounds",
      "Formal.RootTheoremAndAxiomAudit"
    ]
  },
  "historicalClaimBoundary": {
    "publicTheoremEmissionAllowed": true,
    "publicTheoremStatement": "P = NP",
    "publicTheoremConclusion": "P = NP",
    "publicTheoremUnderCheckerTrustModel": true,
    "finalTheoremReady": true,
    "internalFinalTheoremReady": true,
    "unrestrictedFinalSoundnessDischarged": true,
    "uniformFinalSoundnessProved": true,
    "externalReviewIsMathematicalPremise": false,
    "remainingBlockers": []
  },
  "historicalStatusPayload": {
    "path": "public/pnp-status.json",
    "kind": "PNPActivatedStatus0",
    "coordinate": "PNP-ACTIVATED-STATUS-2026-07-05-01",
    "publicTheoremActivationCoordinate": "PNP-PUBLIC-THEOREM-ACTIVATION-2026-07-05-01",
    "unrestrictedFinalSoundnessReleaseCoordinate": "PNP-UNRESTRICTED-FINAL-SOUNDNESS-RELEASE-2026-07-05-01"
  },
  "historicalPrimaryCommand": [
    "git clone https://github.com/aisknab/pnp.git",
    "cd pnp",
    "npm ci",
    "npm run pnp:verify"
  ],
  "historicalFocusedActivationCommands": [
    "npm run proof:activated-pnp-status",
    "npm run proof:public-theorem-activation",
    "npm run proof:unrestricted-final-soundness-release",
    "npm run proof:uniform-complexity-conclusion"
  ],
  "submissionPath": {
    "kind": "historical-github-issue-template",
    "status": "closed",
    "acceptsNewRecords": false,
    "repository": "https://github.com/aisknab/pnplabs",
    "template": ".github/ISSUE_TEMPLATE/pnp-verification-run.yml"
  },
  "normalizationWorkflow": {
    "kind": "PNPActivatedRunDigestNormalization0",
    "status": "historical-tooling-only",
    "tool": "tools/normalize-pnp-verifier-run.mjs",
    "command": "npm run pnp:normalize-run -- --json imports/pnp-verifier-runs/<record>.json",
    "writeCommand": "npm run pnp:normalize-run -- --write imports/pnp-verifier-runs/<record>.json",
    "attachedByImportTool": true,
    "normalizesAnsiEscapes": true,
    "normalizesTimestamps": true,
    "normalizesLineEndings": true,
    "normalizesTrailingWhitespace": true,
    "storedDigestFields": [
      "runRecordNormalizedSha256",
      "verdictNormalizedSha256",
      "activatedStatusNormalizedSha256",
      "proofScriptOutputsNormalizedSha256",
      "artifactsOrLogsNormalizedSha256"
    ]
  },
  "comparisonWorkflow": {
    "kind": "PNPVerifierRunDigestComparison0",
    "status": "historical-tooling-only",
    "page": "verifier-run-digests.html",
    "payload": "public/pnp-verifier-run-digest-comparison.json",
    "tool": "tools/compare-pnp-verifier-runs.mjs",
    "command": "npm run pnp:compare-runs -- --json <left-run.json> <right-run.json>",
    "defaultRequiredDigestKeys": [
      "verdictNormalizedSha256",
      "activatedStatusNormalizedSha256",
      "proofScriptOutputsNormalizedSha256"
    ],
    "comparesStatusPayloadDigest": true,
    "comparesPnpCommit": true,
    "externalReviewIsMathematicalPremise": false
  },
  "matrixWorkflow": {
    "kind": "PNPVerifierRunComparisonMatrix0",
    "status": "historical-tooling-only",
    "payload": "public/pnp-verifier-run-comparison-matrix.json",
    "tool": "tools/generate-pnp-verifier-run-matrix.mjs",
    "command": "npm run pnp:run-matrix -- --json public/pnp-verification-runs.json public/pnp-verifier-run-comparison-matrix.json",
    "writeCommand": "npm run pnp:run-matrix -- --write public/pnp-verification-runs.json public/pnp-verifier-run-comparison-matrix.json",
    "usesComparisonWorkflow": true,
    "includesSelfComparisons": true,
    "defaultRequiredDigestKeys": [
      "verdictNormalizedSha256",
      "activatedStatusNormalizedSha256",
      "proofScriptOutputsNormalizedSha256"
    ],
    "externalReviewIsMathematicalPremise": false
  },
  "badgeSummaryWorkflow": {
    "kind": "PNPVerifierRunMatrixBadgeSummary0",
    "status": "historical-no-current-badge",
    "payload": "public/pnp-verifier-run-matrix-summary.json",
    "tool": "tools/generate-pnp-verifier-run-summary.mjs",
    "command": "npm run pnp:run-summary -- --json public/pnp-verifier-run-comparison-matrix.json public/pnp-verifier-run-matrix-summary.json",
    "writeCommand": "npm run pnp:run-summary -- --write public/pnp-verifier-run-comparison-matrix.json public/pnp-verifier-run-matrix-summary.json",
    "sourceMatrix": "public/pnp-verifier-run-comparison-matrix.json",
    "page": "verifier-run-digests.html",
    "exposesStatusBadge": false,
    "externalReviewIsMathematicalPremise": false
  },
  "importWorkflow": {
    "kind": "PNPVerifierRunImportWorkflow0",
    "status": "frozen",
    "intakeFrozen": true,
    "acceptsNewRecords": false,
    "importDirectory": "imports/pnp-verifier-runs/",
    "tool": "tools/import-pnp-verifier-run.mjs",
    "checkCommand": "npm run pnp:import-run -- --check imports/pnp-verifier-runs/<record>.json public/pnp-verification-runs.json",
    "writeCommand": null,
    "ciWorkflow": ".github/workflows/pnp-verifier-run-import.yml",
    "acceptedRecordClasses": [
      "source-checker-verifier-run",
      "external-source-checker-verifier-run",
      "first-party-source-checker-ci"
    ],
    "rejectsDuplicateRecordIds": true,
    "requiresActivatedStatusDigest": true,
    "requiresFocusedProofScriptOutputs": true,
    "attachesNormalizedDigests": true,
    "externalReviewIsMathematicalPremise": false
  },
  "acceptedRunRecordFields": [
    "runnerNameOrHandle",
    "dateUtc",
    "pnpCommit",
    "environment",
    "commandsRun",
    "verdictTag",
    "claimStatus",
    "publicTheoremEmissionAllowed",
    "publicTheoremStatement",
    "publicTheoremConclusion",
    "finalTheoremReady",
    "unrestrictedFinalSoundnessDischarged",
    "remainingBlockers",
    "activatedStatusCoordinate",
    "publicTheoremActivationCoordinate",
    "statusPayloadSha256",
    "proofScriptOutputs",
    "normalizedDigests",
    "artifactsOrLogs"
  ],
  "runRecordSchema": {
    "kind": "PNPActivatedVerificationRunRecord0",
    "requiredFields": [
      "runnerNameOrHandle",
      "dateUtc",
      "pnpCommit",
      "environment",
      "commandsRun",
      "verdict",
      "activatedStatus",
      "artifactsOrLogs"
    ],
    "verdictRequiredValues": {
      "tag": "accept",
      "publicTheoremEmissionAllowed": true,
      "publicTheoremStatement": "P = NP",
      "publicTheoremConclusion": "P = NP",
      "finalTheoremReady": true,
      "unrestrictedFinalSoundnessDischarged": true,
      "remainingBlockers": []
    },
    "activatedStatusRequiredValues": {
      "kind": "PNPActivatedStatus0",
      "coordinate": "PNP-ACTIVATED-STATUS-2026-07-05-01",
      "publicTheoremActivationCoordinate": "PNP-PUBLIC-THEOREM-ACTIVATION-2026-07-05-01",
      "externalReviewIsMathematicalPremise": false
    },
    "proofScriptOutputKeys": [
      "proof:activated-pnp-status",
      "proof:public-theorem-activation",
      "proof:unrestricted-final-soundness-release",
      "proof:uniform-complexity-conclusion"
    ],
    "normalizedDigestFields": [
      "runRecordNormalizedSha256",
      "verdictNormalizedSha256",
      "activatedStatusNormalizedSha256",
      "proofScriptOutputsNormalizedSha256",
      "artifactsOrLogsNormalizedSha256"
    ]
  },
  "runs": [
    {
      "kind": "PNPActivatedVerificationRunRecord0",
      "historical": true,
      "recordId": "pnplabs-ci-pr16-2026-07-06",
      "recordClass": "first-party-site-ci-status-mirror",
      "runnerNameOrHandle": "PNP Labs GitHub Actions",
      "dateUtc": "2026-07-06",
      "pnpCommit": "42f66cce45f5db0cdb48e3d99d2aa2ae3d830ee8",
      "pnplabsCommit": "615cbec06f2cb90408941815c4e2efe53b2a4a49",
      "environment": {
        "runner": "GitHub Actions ubuntu-latest",
        "node": "20",
        "workflowSource": "aisknab/pnplabs PR #16",
        "scope": "site payload, upstream status mirror, activated run-registry schema, and review smoke checks"
      },
      "commandsRun": [
        "npm test",
        "node --test tests/unit/pnp-activated-verification-run-schema.test.mjs",
        "node --test tests/unit/pnp-public-payloads.test.mjs",
        "node --test tests/unit/pnp-activated-overclaim-guard.test.mjs"
      ],
      "verdict": {
        "tag": "accept",
        "claimStatus": "activated-status-site-mirror-ci-accepted",
        "publicTheoremEmissionAllowed": true,
        "publicTheoremStatement": "P = NP",
        "publicTheoremConclusion": "P = NP",
        "finalTheoremReady": true,
        "unrestrictedFinalSoundnessDischarged": true,
        "remainingBlockers": []
      },
      "activatedStatus": {
        "kind": "PNPActivatedStatus0",
        "coordinate": "PNP-ACTIVATED-STATUS-2026-07-05-01",
        "publicTheoremActivationCoordinate": "PNP-PUBLIC-THEOREM-ACTIVATION-2026-07-05-01",
        "unrestrictedFinalSoundnessReleaseCoordinate": "PNP-UNRESTRICTED-FINAL-SOUNDNESS-RELEASE-2026-07-05-01",
        "externalReviewIsMathematicalPremise": false
      },
      "statusPayloadSha256": "recorded-by-site-payload-ci",
      "proofScriptOutputs": {
        "proof:activated-pnp-status": "covered by upstream activated status payload mirror, not re-run inside pnplabs CI",
        "proof:public-theorem-activation": "covered by upstream activated status payload mirror, not re-run inside pnplabs CI",
        "proof:unrestricted-final-soundness-release": "covered by upstream activated status payload mirror, not re-run inside pnplabs CI",
        "proof:uniform-complexity-conclusion": "covered by upstream activated status payload mirror, not re-run inside pnplabs CI"
      },
      "normalizedDigests": {
        "policy": "PNPActivatedRunDigestNormalization0",
        "runRecordNormalizedSha256": "recorded-by-source-checker-run-digest-normalization",
        "verdictNormalizedSha256": "recorded-by-source-checker-run-digest-normalization",
        "activatedStatusNormalizedSha256": "recorded-by-source-checker-run-digest-normalization",
        "proofScriptOutputsNormalizedSha256": "recorded-by-source-checker-run-digest-normalization",
        "artifactsOrLogsNormalizedSha256": "recorded-by-source-checker-run-digest-normalization"
      },
      "artifactsOrLogs": [
        {
          "kind": "github-actions-workflow-run",
          "repository": "https://github.com/aisknab/pnplabs",
          "workflow": "review-smoke",
          "runId": 28772841305,
          "conclusion": "success"
        },
        {
          "kind": "github-actions-workflow-run",
          "repository": "https://github.com/aisknab/pnplabs",
          "workflow": "pnp-public-payloads",
          "runId": 28772841309,
          "conclusion": "success"
        },
        {
          "kind": "github-actions-workflow-run",
          "repository": "https://github.com/aisknab/pnplabs",
          "workflow": "pnp-upstream-status-consistency",
          "runId": 28772841340,
          "conclusion": "success"
        }
      ],
      "nonClaims": [
        "This first-party site CI record validates the public status mirror and run-registry schema.",
        "It is not a clean-room source/checker reproduction of npm run pnp:verify.",
        "It is not an external-consensus claim or peer-review acceptance."
      ]
    }
  ],
  "nonClaims": [
    "The repository does not currently establish P = NP.",
    "These records concern a superseded activated checker status and are preserved only as historical audit records.",
    "A historical run record is not current theorem-status evidence, mathematical proof, external consensus, or peer-review acceptance.",
    "Legacy checker acceptance verifies assertion-bearing records under implemented predicates; it is not a formal proof of the named mathematical propositions.",
    "External review is optional audit evidence and is not a mathematical premise or release blocker.",
    "New records are not accepted into this frozen registry."
  ]
}