{
  "kind": "PNPVerifierRunComparisonMatrix0",
  "version": 0,
  "status": "historical-verifier-run-comparison-matrix-frozen",
  "historical": true,
  "intakeFrozen": true,
  "sourceRegistry": "public/pnp-verification-runs.json",
  "comparisonPolicyPayload": "public/pnp-verifier-run-digest-comparison.json",
  "generatedBy": "tools/generate-pnp-verifier-run-matrix.mjs",
  "generatedFromRegistryStatus": "historical-activated-verification-run-registry-frozen",
  "registryRunCount": 1,
  "pairCount": 1,
  "acceptedPairCount": 1,
  "rejectedPairCount": 0,
  "requiredMismatchPairCount": 0,
  "requiredDigestKeys": [
    "verdictNormalizedSha256",
    "activatedStatusNormalizedSha256",
    "proofScriptOutputsNormalizedSha256"
  ],
  "allRequiredPairsAccept": true,
  "allRequiredPairsMatch": true,
  "diagonalAccepts": true,
  "recordIds": [
    "pnplabs-ci-pr16-2026-07-06"
  ],
  "records": [
    {
      "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",
      "publicTheoremEmissionAllowed": true,
      "publicTheoremStatement": "P = NP",
      "remainingBlockers": [],
      "hasNormalizedDigests": true
    }
  ],
  "rows": [
    {
      "recordId": "pnplabs-ci-pr16-2026-07-06",
      "cells": [
        {
          "leftIndex": 0,
          "rightIndex": 0,
          "leftRecordId": "pnplabs-ci-pr16-2026-07-06",
          "rightRecordId": "pnplabs-ci-pr16-2026-07-06",
          "tag": "accept",
          "requiredMismatches": [],
          "allDigestKeysMatch": true,
          "statusPayloadDigestMatch": true,
          "pnpCommitMatch": true,
          "comparisonSha256": "1e6d8ae31371ec250d0dc74f833d720e7c132f3f5f3ddf1c8dad3949435cf1da",
          "digestMatches": {
            "runRecordNormalizedSha256": true,
            "verdictNormalizedSha256": true,
            "activatedStatusNormalizedSha256": true,
            "proofScriptOutputsNormalizedSha256": true,
            "artifactsOrLogsNormalizedSha256": true
          }
        }
      ]
    }
  ],
  "currentBoundary": {
    "mathematicalTheoremEstablished": false,
    "publicTheoremEmissionAllowed": false,
    "publicTheoremStatement": null,
    "finalTheoremReady": false,
    "projectSpecificAxiomsRemaining": true
  },
  "nonClaims": [
    "The repository does not currently establish P = NP.",
    "This frozen matrix compares historical records from a superseded activated checker status.",
    "An accept cell is historical reproducibility metadata, not current theorem-status evidence, mathematical proof, external consensus, or peer-review acceptance.",
    "No current green status badge may be derived from this matrix."
  ],
  "matrixSha256": "b485c42c0df8bfd9472f7fae0009fd2e9aa1666e1a1d8f3cf3bc3309ba823874"
}