{
  "kind": "PNPVerifierRunDigestComparison0",
  "version": 0,
  "status": "historical-verifier-run-digest-comparison-frozen",
  "historical": true,
  "intakeFrozen": true,
  "sourceRegistry": "public/pnp-verification-runs.json",
  "page": "verifier-run-digests.html",
  "tool": "tools/compare-pnp-verifier-runs.mjs",
  "command": "npm run pnp:compare-runs -- --json <left-run.json> <right-run.json>",
  "defaultRequiredDigestKeys": [
    "verdictNormalizedSha256",
    "activatedStatusNormalizedSha256",
    "proofScriptOutputsNormalizedSha256"
  ],
  "allDigestKeys": [
    "runRecordNormalizedSha256",
    "verdictNormalizedSha256",
    "activatedStatusNormalizedSha256",
    "proofScriptOutputsNormalizedSha256",
    "artifactsOrLogsNormalizedSha256"
  ],
  "historicalClaimBoundaryRequiredValues": {
    "publicTheoremEmissionAllowed": true,
    "publicTheoremStatement": "P = NP",
    "publicTheoremConclusion": "P = NP",
    "finalTheoremReady": true,
    "unrestrictedFinalSoundnessDischarged": true,
    "remainingBlockers": [],
    "externalReviewIsMathematicalPremise": false
  },
  "currentClaimBoundary": {
    "mathematicalTheoremEstablished": false,
    "publicTheoremEmissionAllowed": false,
    "publicTheoremStatement": null,
    "publicTheoremConclusion": null,
    "finalTheoremReady": false,
    "projectSpecificAxiomsRemaining": true,
    "externalReviewIsMathematicalPremise": false
  },
  "comparisonSemantics": {
    "verdictNormalizedSha256": "Historical activated-status verdict fields match after normalization.",
    "activatedStatusNormalizedSha256": "Historical activated-status coordinates and premise flags match after normalization.",
    "proofScriptOutputsNormalizedSha256": "Historical focused checker-script outputs match after normalization.",
    "artifactsOrLogsNormalizedSha256": "Log-like evidence matches after timestamp, ANSI, line-ending, blank-line, and trailing-whitespace normalization.",
    "runRecordNormalizedSha256": "The full normalized run record matches, including runner metadata and evidence references."
  },
  "nonClaims": [
    "The repository does not currently establish P = NP.",
    "Digest comparison is historical reproducibility metadata for records created under a superseded activated checker status.",
    "A digest match is not current theorem-status evidence, mathematical proof, external consensus, or peer-review acceptance.",
    "A digest mismatch is a triage signal; it does not by itself refute the source/checker proof stack.",
    "No current theorem-status badge may be derived from this frozen policy or its records."
  ]
}