{
  "kind": "PNPVerifierRunMatrixBadgeSummary0",
  "version": 0,
  "status": "historical-verifier-run-matrix-summary-frozen",
  "historical": true,
  "currentStatusBadge": false,
  "sourceMatrix": "public/pnp-verifier-run-comparison-matrix.json",
  "sourceRegistry": "public/pnp-verification-runs.json",
  "generatedBy": "tools/generate-pnp-verifier-run-summary.mjs",
  "badge": {
    "label": "Historical verifier-run matrix",
    "state": "historical",
    "tone": "neutral",
    "text": "Historical snapshot only; 1 public run; 1 recorded historical comparison",
    "shortText": "historical snapshot"
  },
  "metrics": {
    "registryRunCount": 1,
    "pairCount": 1,
    "acceptedPairCount": 1,
    "rejectedPairCount": 0,
    "requiredMismatchPairCount": 0,
    "allRequiredPairsAccept": true,
    "allRequiredPairsMatch": true,
    "diagonalAccepts": true
  },
  "requiredDigestKeys": [
    "verdictNormalizedSha256",
    "activatedStatusNormalizedSha256",
    "proofScriptOutputsNormalizedSha256"
  ],
  "recordIds": [
    "pnplabs-ci-pr16-2026-07-06"
  ],
  "links": {
    "registry": "public/pnp-verification-runs.json",
    "matrix": "public/pnp-verifier-run-comparison-matrix.json",
    "comparisonPolicy": "public/pnp-verifier-run-digest-comparison.json",
    "page": "verifier-run-digests.html"
  },
  "currentBoundary": {
    "mathematicalTheoremEstablished": false,
    "publicTheoremEmissionAllowed": false,
    "publicTheoremStatement": null,
    "finalTheoremReady": false,
    "projectSpecificAxiomsRemaining": true,
    "externalReviewIsMathematicalPremise": false
  },
  "nonClaims": [
    "The repository does not currently establish P = NP.",
    "This is neutral historical metadata, not a current green status badge.",
    "Historical matrix agreement is not current theorem-status evidence, mathematical proof, external consensus, or peer-review acceptance."
  ],
  "summarySha256": "9461c8f46c4b2a6b9483c9abe5670de2361697090dedaa22189bd8fb4dc78ab6"
}