{
  "id": "2026-02-14-openai-first-proof",
  "slug": "openai-first-proof",
  "recordState": "queued",
  "canonicalUrl": "https://stateofproof.org/dockets/openai-first-proof",
  "url": "https://stateofproof.org/dockets/openai-first-proof",
  "field": "Proof evaluation",
  "claim": "Ten independent First Proof attempts form a calibration corpus; attempt 2 is the first blinded examination target",
  "notice": "Queued calibration record · five gates mapped · no examination route has run",
  "summary": "This case is not one theorem and will not receive a corpus-wide pass or fail. The locked packet contains ten independent proposed solutions. Attempt 2 is the first blinded negative-control target; OpenAI's public assessment is held out until the lab's status and evidence are frozen.",
  "scope": "The protocol locks and compares the original and revised packets, segments all ten attempts, examines attempt 2 under label withholding, applies a common evidence rubric, and compares frozen dispositions with external labels only after unblinding.",
  "evidencePacketUrl": null,
  "evidenceRelease": null,
  "publicMeaning": {
    "plainEnglish": "This is a test case for evaluating mathematical proofs rather than a single theorem claim. It treats ten proposed solutions as separate items and begins with one attempt whose outside assessment is withheld during the initial review.",
    "ifHolds": "If the protocol works as designed, it could provide a carefully blinded comparison between a documented examination process and an already-known external assessment. It would not make a corpus-wide judgment about all ten attempts.",
    "potentialConcerns": "The review must keep the outside assessment concealed until its own evidence and status are fixed, while also tracking changes between source versions. The selected attempt requires specialist review in its underlying mathematical field.",
    "ifNot": "If the blinding or version-control procedure cannot be maintained, this calibration exercise would not support a clean comparison. That would not itself decide whether any individual proposed solution is correct."
  },
  "sourcePreservation": {
    "state": "public-archive-found-not-hash-verified",
    "summary": "The record preserves source lineage, retrieval metadata, and hashes. A public Wayback snapshot was found, but it has not been hash-compared with the locked docket file.",
    "url": "https://web.archive.org/web/20260605224539/https://cdn.openai.com/pdf/26177a73-3b75-4828-8c91-e8f1cf27aaa0/oai_first_proof.pdf",
    "label": "Wayback snapshot from 2026-06-05 (not hash-compared)",
    "sha256": null,
    "checkedAt": "2026-08-27",
    "lockedSource": {
      "url": "https://cdn.openai.com/pdf/26177a73-3b75-4828-8c91-e8f1cf27aaa0/oai_first_proof.pdf",
      "label": "OpenAI First Proof attempt packet",
      "version": "revised packet",
      "sha256": "27e97e4f61610cb31120c68bc8845b7a7b65bb2bfd044ffc4bb6f3b4d17f8102",
      "locked": "2026-08-26",
      "retrieved": "2026-08-26T20:09:53Z"
    },
    "formalArtifact": null
  },
  "authorContact": {
    "state": "no-contact-recorded",
    "summary": "No author outreach, correspondence, response, or author approval is recorded for this docket.",
    "lastUpdated": "2026-08-27",
    "responsePublished": false,
    "response": null,
    "contactUrl": "mailto:team@materialshift.com?subject=State%20of%20Proof",
    "note": "No author response is currently published; the record steward can receive a response or correction request."
  },
  "recordProvenance": {
    "maintainedBy": "Material Shift",
    "recordType": "queued calibration intake",
    "summary": "The record is a Material Shift protocol artifact. External labels are held-out comparator data, not State of Proof findings.",
    "lastUpdated": "2026-08-27",
    "docketId": "2026-02-14-openai-first-proof",
    "canonicalUrl": "https://stateofproof.org/dockets/openai-first-proof",
    "steward": "Material Shift",
    "lastMaterialChange": "2026-08-27",
    "sourceLock": {
      "sha256": "27e97e4f61610cb31120c68bc8845b7a7b65bb2bfd044ffc4bb6f3b4d17f8102",
      "locked": "2026-08-26",
      "retrieved": "2026-08-26T20:09:53Z"
    }
  },
  "routeProvenance": [
    {
      "route": "computational",
      "state": "queued",
      "lastUpdated": "2026-08-26",
      "methodAndProvenance": "Planned Material Shift route derived from the locked source and calibration protocol; no run is recorded.",
      "inputs": [
        "locked source",
        "published claim map"
      ],
      "performedBy": "Not yet run",
      "machineAssistance": "AI-assisted claim mapping and route preparation",
      "independentSpecialistReview": "None recorded",
      "artifact": null,
      "logPublished": false,
      "publicArtifactUrl": null,
      "note": "Planned: deterministic extraction and structured diff of the 67-page original and 90-page revised packets."
    },
    {
      "route": "literature",
      "state": "queued",
      "lastUpdated": "2026-08-26",
      "methodAndProvenance": "Planned blinded source route; no literature conclusion is recorded.",
      "inputs": [
        "locked source",
        "published claim map"
      ],
      "performedBy": "Not yet run",
      "machineAssistance": "AI-assisted claim mapping and route preparation",
      "independentSpecialistReview": "None recorded",
      "artifact": null,
      "logPublished": false,
      "publicArtifactUrl": null,
      "note": "Planned: pre-approved source set for the blinded attempt-2 dependency examination."
    },
    {
      "route": "expert",
      "state": "queued",
      "lastUpdated": "2026-08-26",
      "methodAndProvenance": "No specialist report, sign-off, or external review is recorded.",
      "inputs": [
        "locked source",
        "published claim map"
      ],
      "performedBy": "Not yet run",
      "machineAssistance": "AI-assisted claim mapping and route preparation",
      "independentSpecialistReview": "None recorded",
      "artifact": null,
      "logPublished": false,
      "publicArtifactUrl": null,
      "note": "Planned: independent specialist review with prior-exposure disclosure and no access to held-out labels."
    }
  ],
  "dependencies": [
    {
      "node": "G1",
      "label": "Source-version lineage for the original and revised packets",
      "deps": "two locked packet hashes",
      "status": "claim-mapped"
    },
    {
      "node": "G2",
      "label": "Ten-way claim segmentation",
      "deps": "G1",
      "status": "claim-mapped"
    },
    {
      "node": "G3",
      "label": "Blinded mathematical examination of attempt 2",
      "deps": "sealed comparator sources",
      "status": "claim-mapped"
    },
    {
      "node": "G4",
      "label": "Common scoped rubric across reviewed attempts",
      "deps": "frozen attempt maps",
      "status": "claim-mapped"
    },
    {
      "node": "G5",
      "label": "Comparator unblinding and calibration",
      "deps": "frozen lab outputs",
      "status": "claim-mapped"
    }
  ],
  "findings": [
    "No examination route has run and no mathematical finding has been issued.",
    "The public external label for attempt 2 is comparator data only. It cannot be copied into the lab's result."
  ],
  "openSteps": [
    {
      "field": "Automorphic forms and examination methodology",
      "question": "Does attempt 2's compact/Howe-vector construction satisfy its equivariance, support, central-character, and nonvanishing requirements?",
      "why": "It tests whether the protocol can reach an attempt-level result without contaminating the examination with a known external label.",
      "evidence": [
        {
          "route": "expert",
          "note": "blinded source-grounded review planned"
        }
      ],
      "scope": "examination not started",
      "docket": "2026-02-14-openai-first-proof"
    }
  ],
  "materialHistory": [
    {
      "date": "2026-08-27",
      "type": "record-provenance",
      "docket": "Record classified as queued; source preservation, route provenance, and author-contact state published"
    },
    {
      "date": "2026-08-26",
      "type": "new-docket",
      "docket": "Original and revised packets locked; five calibration gates mapped; no gate run"
    }
  ],
  "stewardship": "Selected and maintained by Material Shift as protocol research. No external sponsor or author involvement is recorded for this case."
}