openai.theorem.2

RESOLVE_CLAIM

Presentation projection · authority NONE · not a certificate, proof, or verifier

Canonical identity: mg-living-warrant-openai-jpl-20261010@1#openai.theorem.2
Type: RESOLVE_CLAIM
Source identity: openai.theorem.2
Source pointer: /derivation/claims/3

Six independent status axes

historical_result: UNKNOWN
lifecycle: UNKNOWN
research_maturity: UNKNOWN
current_applicability: UNKNOWN
freshness: NOT_CHECKED
action_authorization: READ_ONLY_NO_AUTOMATIC_AUTHORIZATION

Source pins

mg-living-warrant-openai-jpl-20261010 · version 1

Contract, locator and digests

{
  "id": "mg-living-warrant-openai-jpl-20261010",
  "contract": "mathgraph.living-warrant-snapshot.v1",
  "version": "1",
  "locator": "https://mathgraph.org/evidence/mg-living-warrant-openai-jpl-20261010/record.json",
  "content_sha256": "b95297a081d513fb0ec145a776cc997eaed18109d6b2af39fa8e61f6d637af41",
  "transport_sha256": "0a850b112cce200f2fa97f0d861db712f3752712a6326e62f4c0d56996a95d87"
}

mathgraph.record-index.v2 · version 2

Contract, locator and digests

{
  "id": "mathgraph.record-index.v2",
  "contract": "mathgraph.record-index.v2",
  "version": "2",
  "locator": "https://mathgraph.org/records/index.json",
  "content_sha256": "0447486945b79a84c22c10b250cd71b3ccbb84abedddd2a2d2552e0f7d849c31"
}

Attribution: UNKNOWN
Evidence: UNKNOWN
Scope: openai/math:Algebraicity of Kuga–Satake Correspondences for K3 Surfaces:original-withdrawn-edition
Verifier authority: UNKNOWN
Assumptions: Publication history is a source notice, not a formal theorem verifier.
Replay boundary: b95297a081d513fb0ec145a776cc997eaed18109d6b2af39fa8e61f6d637af41
41c2a2d470014b3628695c7aabf5fd0c93f6f687621fca172062f22b59ed6a1e
f0d092974d5d710fe9e17fb6759a894f2c28f2d3f5456439c071bd0a71c8d3cb
Unknowns: current_applicability
freshness
mathematical_truth_of_withdrawn_arguments
new_jpl_lean_replay
independently_owned_adoption
Unsupported semantics: mathematical_theorem_refuted
IMMUTABLE_HISTORICAL_SNAPSHOT_NOT_CONTINUOUSLY_MONITORED

Every value above is a display of the source object and the listed supporting pins. Missing fields are UNKNOWN. The complete projected fields remain available below.

Incoming relations

No declared incoming relations in this displayed projection.

Outgoing relations

No declared outgoing relations in this displayed projection.

Lineage

Source mg-living-warrant-openai-jpl-20261010 · version 1 · pointer /derivation/claims/3. This locator declares no chronology, supersession or equivalence.

All projected source fields

{
  "id": "openai.theorem.2",
  "kind": "formal",
  "scope": "openai/math:Algebraicity of Kuga–Satake Correspondences for K3 Surfaces:original-withdrawn-edition",
  "resolution": {
    "after": "UNKNOWN",
    "before": "UNKNOWN",
    "changed": false
  }
}

Permanent object view · Source / export JSON · Reproduction instructions and boundaries