Explore knowledge

Every object keeps its source.

Inspect declared connections, exact identities and separate status axes. This display adds no verification authority.

No declared alternative support route exists in this historical graph. The clearly synthetic alternative-support conformance simulation is separate from the published record.

Historical records · Explore

Declared objects and relations

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

Lanes and proximity organize this display only. Arrows repeat exact source declarations; they do not establish proof, route sufficiency, equivalence or independent support.

14 of 14 objects · 7 of 7 relations · omitted: 0 objects, 0 relations · truncated: false

Counts retain the original selected adapter scope. Display filters and limits count as omissions. Initial projection limits: 100 nodes / 200 edges; initially omitted: 0 nodes / 0 edges. Nothing is fetched beyond this bounded projection.

Declared object list

SOURCE_CHECKmg-l4yaml-source-check-20261010
RESOLVE_CLAIMjpl.l4yaml.finite_parser_acceptance
RESOLVE_RECEIPTmathgraph.l4yaml.48-case-qualification
RESOLUTION_SNAPSHOTmg-living-warrant-openai-jpl-20261010
RESOLVE_RECEIPTopenai.original_publication_receipt.1
RESOLVE_RECEIPTopenai.original_publication_receipt.2
RESOLVE_RECEIPTopenai.original_publication_receipt.3
RESOLVE_CLAIMopenai.original_support.1
RESOLVE_CLAIMopenai.original_support.2
RESOLVE_CLAIMopenai.original_support.3
RESOLVE_CLAIMopenai.theorem.1
RESOLVE_CLAIMopenai.theorem.2
RESOLVE_CLAIMopenai.theorem.3
FINITE_CAPABILITYurn:mathgraph:capability:finite-developmental-growth

Select an object to inspect its exact source fields.

Display-only traversal

Follow declared incoming or outgoing arrows in the currently displayed map. This is not verification or support closure.

No traversal requested.

Declared relation list

openai.original_publication_receipt.1 → EVIDENCE_FOR → openai.original_support.1
Exact relation and provenance
Relation ID
mg-living-warrant-openai-jpl-20261010@1:/derivation/routes/0/evidence/0
From
mg-living-warrant-openai-jpl-20261010@1#openai.original_publication_receipt.1
To
mg-living-warrant-openai-jpl-20261010@1#openai.original_support.1
Direction / authority
directed: true · authority NONE
Source pointer
/derivation/routes/0/evidence/0
Source pin
{ "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" }
openai.original_publication_receipt.2 → EVIDENCE_FOR → openai.original_support.2
Exact relation and provenance
Relation ID
mg-living-warrant-openai-jpl-20261010@1:/derivation/routes/1/evidence/0
From
mg-living-warrant-openai-jpl-20261010@1#openai.original_publication_receipt.2
To
mg-living-warrant-openai-jpl-20261010@1#openai.original_support.2
Direction / authority
directed: true · authority NONE
Source pointer
/derivation/routes/1/evidence/0
Source pin
{ "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" }
openai.original_publication_receipt.3 → EVIDENCE_FOR → openai.original_support.3
Exact relation and provenance
Relation ID
mg-living-warrant-openai-jpl-20261010@1:/derivation/routes/2/evidence/0
From
mg-living-warrant-openai-jpl-20261010@1#openai.original_publication_receipt.3
To
mg-living-warrant-openai-jpl-20261010@1#openai.original_support.3
Direction / authority
directed: true · authority NONE
Source pointer
/derivation/routes/2/evidence/0
Source pin
{ "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.l4yaml.48-case-qualification → EVIDENCE_FOR → jpl.l4yaml.finite_parser_acceptance
Exact relation and provenance
Relation ID
mg-living-warrant-openai-jpl-20261010@1:/derivation/routes/3/evidence/0
From
mg-living-warrant-openai-jpl-20261010@1#mathgraph.l4yaml.48-case-qualification
To
mg-living-warrant-openai-jpl-20261010@1#jpl.l4yaml.finite_parser_acceptance
Direction / authority
directed: true · authority NONE
Source pointer
/derivation/routes/3/evidence/0
Source pin
{ "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" }
mg-living-warrant-openai-jpl-20261010 → WITHDRAWS → openai.original_publication_receipt.1
Exact relation and provenance
Relation ID
mg-living-warrant-openai-jpl-20261010@1:/derivation/withdrawn_evidence/0
From
mg-living-warrant-openai-jpl-20261010@1#mg-living-warrant-openai-jpl-20261010
To
mg-living-warrant-openai-jpl-20261010@1#openai.original_publication_receipt.1
Direction / authority
directed: true · authority NONE
Source pointer
/derivation/withdrawn_evidence/0
Source pin
{ "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" }
mg-living-warrant-openai-jpl-20261010 → WITHDRAWS → openai.original_publication_receipt.2
Exact relation and provenance
Relation ID
mg-living-warrant-openai-jpl-20261010@1:/derivation/withdrawn_evidence/1
From
mg-living-warrant-openai-jpl-20261010@1#mg-living-warrant-openai-jpl-20261010
To
mg-living-warrant-openai-jpl-20261010@1#openai.original_publication_receipt.2
Direction / authority
directed: true · authority NONE
Source pointer
/derivation/withdrawn_evidence/1
Source pin
{ "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" }
mg-living-warrant-openai-jpl-20261010 → WITHDRAWS → openai.original_publication_receipt.3
Exact relation and provenance
Relation ID
mg-living-warrant-openai-jpl-20261010@1:/derivation/withdrawn_evidence/2
From
mg-living-warrant-openai-jpl-20261010@1#mg-living-warrant-openai-jpl-20261010
To
mg-living-warrant-openai-jpl-20261010@1#openai.original_publication_receipt.3
Direction / authority
directed: true · authority NONE
Source pointer
/derivation/withdrawn_evidence/2
Source pin
{ "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" }

Visual projection

The diagram may scroll horizontally. The semantic list and object details above and below remain usable at any width.

Download displayed subgraph

Export kind PRESENTATION_PROJECTION · authority NONE. This download is accepted only by the separate read-only knowledge-map reader; it is not an evidence import.

SOURCE_CHECK

L4YAML parser acceptance — pinned source check

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

Canonical identity: mg-l4yaml-source-check-20261010@1#mg-l4yaml-source-check-20261010
Type: SOURCE_CHECK
Source identity: mg-l4yaml-source-check-20261010
Source pointer: "" (document root)

Six independent status axes

historical_result: WARRANTED_BOUNDED
lifecycle: CURRENT
research_maturity: UNKNOWN
current_applicability: UNKNOWN
freshness: NOT_CHECKED_AFTER_SNAPSHOT
action_authorization: NONE

Source pins

mg-l4yaml-source-check-20261010 · version 1

Contract, locator and digests

{
  "id": "mg-l4yaml-source-check-20261010",
  "contract": "mathgraph.public-consequence-record.v1",
  "version": "1",
  "locator": "https://mathgraph.org/evidence/mg-l4yaml-source-check-20261010/record.json",
  "content_sha256": "f0d092974d5d710fe9e17fb6759a894f2c28f2d3f5456439c071bd0a71c8d3cb",
  "transport_sha256": "7b59ee76a39995f35a0feb0f4d91a3c6ab1234393143480c4f3e361a79fee703"
}

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: { "automatic_api_warrant_promotion": false, "mathematical_theorem_badge_issued": false, "source_archive_hashes_replayed": true, "source_fidelity_certified": false, "status": "WARRANTED_ON_PINNED_BOUNDED_CASES" }
Scope: { "match": "EXACT", "source_commit": "62bf7077910e888a0bc8adfc8e08a5f500ff3ca3", "external_suite_commit": "da267a5c4782e7361e82889e76c0dc7df0e1e870", "supported_goals": [ "finite_parser_acceptance" ], "mismatch_status": "UNKNOWN" }
Verifier authority: LEAN_GUARDS_AND_COMPILED_TRYPARSE
ORIGINAL_JPL_LEAN_PROOF_OBJECTS
Assumptions: Pinned YAML-suite examples after specified source decoding
Named executable factorization and scoped anchor-event lemmas only
Replay boundary: 62bf7077910e888a0bc8adfc8e08a5f500ff3ca3
da267a5c4782e7361e82889e76c0dc7df0e1e870
leanprover/lean4:v4.34.0
Unknowns: whole_language_correctness
statement_fidelity
generalization
current_requalification
Unsupported semantics: whole_language_correctness
statement_fidelity
generalization
current_requalification

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-l4yaml-source-check-20261010 · version 1 · pointer "" (document root). This locator declares no chronology, supersession or equivalence.

All projected source fields

{
  "axes": {
    "current_requalification": {
      "status": "NOT_CHECKED_AFTER_SNAPSHOT"
    },
    "finite_executable": {
      "authority": "LEAN_GUARDS_AND_COMPILED_TRYPARSE",
      "case_scope": "Pinned YAML-suite examples after specified source decoding",
      "expected_accept": 31,
      "expected_reject": 17,
      "extra_controls": 4,
      "matched_external_labels": 48,
      "source_cases": 48,
      "status": "PINNED_CASES_CHECKED",
      "total_lean_guards": 52
    },
    "formal_verification": {
      "authority": "ORIGINAL_JPL_LEAN_PROOF_OBJECTS",
      "scope": "Named executable factorization and scoped anchor-event lemmas only",
      "status": "PINNED_SOURCE_THEOREMS_REPLAYED",
      "universal_yaml_correctness": "UNKNOWN"
    },
    "generalization": {
      "status": "UNKNOWN",
      "truth_promoting": false
    },
    "global_truth_promotion": false,
    "human_digestion": {
      "status": "UNKNOWN",
      "truth_promoting": false
    },
    "statement_fidelity": {
      "status": "UNKNOWN",
      "truth_promoting": false
    }
  },
  "admission": {
    "automatic_api_warrant_promotion": false,
    "mathematical_theorem_badge_issued": false,
    "source_archive_hashes_replayed": true,
    "source_fidelity_certified": false,
    "status": "WARRANTED_ON_PINNED_BOUNDED_CASES"
  },
  "source": {
    "branch_at_pin": "fix-a-grammar-completeness",
    "commit": "62bf7077910e888a0bc8adfc8e08a5f500ff3ca3",
    "external_suite_commit": "da267a5c4782e7361e82889e76c0dc7df0e1e870",
    "external_suite_repo": "yaml/yaml-test-suite",
    "lean_toolchain": "leanprover/lean4:v4.34.0",
    "repo": "nasa-jpl/L4YAML"
  },
  "scope": {
    "match": "EXACT",
    "source_commit": "62bf7077910e888a0bc8adfc8e08a5f500ff3ca3",
    "external_suite_commit": "da267a5c4782e7361e82889e76c0dc7df0e1e870",
    "supported_goals": [
      "finite_parser_acceptance"
    ],
    "mismatch_status": "UNKNOWN"
  }
}

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

The route slug is a presentation locator only. Use the full canonical identity above.

RESOLVE_CLAIM

jpl.l4yaml.finite_parser_acceptance

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

Canonical identity: mg-living-warrant-openai-jpl-20261010@1#jpl.l4yaml.finite_parser_acceptance
Type: RESOLVE_CLAIM
Source identity: jpl.l4yaml.finite_parser_acceptance
Source pointer: /derivation/claims/6

Six independent status axes

historical_result: WARRANTED_BOUNDED
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: nasa-jpl/L4YAML@62bf7077910e888a0bc8adfc8e08a5f500ff3ca3:yaml/yaml-test-suite@da267a5c4782e7361e82889e76c0dc7df0e1e870:48-cases
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

mathgraph.l4yaml.48-case-qualification → EVIDENCE_FOR → jpl.l4yaml.finite_parser_acceptance
Exact relation and provenance
Relation ID
mg-living-warrant-openai-jpl-20261010@1:/derivation/routes/3/evidence/0
From
mg-living-warrant-openai-jpl-20261010@1#mathgraph.l4yaml.48-case-qualification
To
mg-living-warrant-openai-jpl-20261010@1#jpl.l4yaml.finite_parser_acceptance
Direction / authority
directed: true · authority NONE
Source pointer
/derivation/routes/3/evidence/0
Source pin
{ "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" }

Outgoing relations

No declared outgoing relations in this displayed projection.

Lineage

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

All projected source fields

{
  "id": "jpl.l4yaml.finite_parser_acceptance",
  "kind": "formal",
  "scope": "nasa-jpl/L4YAML@62bf7077910e888a0bc8adfc8e08a5f500ff3ca3:yaml/yaml-test-suite@da267a5c4782e7361e82889e76c0dc7df0e1e870:48-cases",
  "resolution": {
    "after": "WARRANTED_BOUNDED",
    "before": "WARRANTED_BOUNDED",
    "changed": false
  }
}

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

The route slug is a presentation locator only. Use the full canonical identity above.

RESOLVE_RECEIPT

mathgraph.l4yaml.48-case-qualification

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

Canonical identity: mg-living-warrant-openai-jpl-20261010@1#mathgraph.l4yaml.48-case-qualification
Type: RESOLVE_RECEIPT
Source identity: mathgraph.l4yaml.48-case-qualification
Source pointer: /derivation/receipts/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: nasa-jpl/L4YAML@62bf7077910e888a0bc8adfc8e08a5f500ff3ca3:yaml/yaml-test-suite@da267a5c4782e7361e82889e76c0dc7df0e1e870:48-cases
Verifier authority: exact pinned JPL finite parser receipt
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

mathgraph.l4yaml.48-case-qualification → EVIDENCE_FOR → jpl.l4yaml.finite_parser_acceptance
Exact relation and provenance
Relation ID
mg-living-warrant-openai-jpl-20261010@1:/derivation/routes/3/evidence/0
From
mg-living-warrant-openai-jpl-20261010@1#mathgraph.l4yaml.48-case-qualification
To
mg-living-warrant-openai-jpl-20261010@1#jpl.l4yaml.finite_parser_acceptance
Direction / authority
directed: true · authority NONE
Source pointer
/derivation/routes/3/evidence/0
Source pin
{ "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" }

Lineage

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

All projected source fields

{
  "id": "mathgraph.l4yaml.48-case-qualification",
  "kind": "formal",
  "scope": "nasa-jpl/L4YAML@62bf7077910e888a0bc8adfc8e08a5f500ff3ca3:yaml/yaml-test-suite@da267a5c4782e7361e82889e76c0dc7df0e1e870:48-cases"
}

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

The route slug is a presentation locator only. Use the full canonical identity above.

RESOLUTION_SNAPSHOT

mg-living-warrant-openai-jpl-20261010

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

Canonical identity: mg-living-warrant-openai-jpl-20261010@1#mg-living-warrant-openai-jpl-20261010
Type: RESOLUTION_SNAPSHOT
Source identity: mg-living-warrant-openai-jpl-20261010
Source pointer: "" (document root)

Six independent status axes

historical_result: SCOPED_MIXED
lifecycle: CURRENT
research_maturity: BOUNDED_QUALIFIED
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: UNKNOWN
Verifier authority: exact pinned OpenAI history notice
exact pinned JPL finite parser receipt
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

mg-living-warrant-openai-jpl-20261010 → WITHDRAWS → openai.original_publication_receipt.1
Exact relation and provenance
Relation ID
mg-living-warrant-openai-jpl-20261010@1:/derivation/withdrawn_evidence/0
From
mg-living-warrant-openai-jpl-20261010@1#mg-living-warrant-openai-jpl-20261010
To
mg-living-warrant-openai-jpl-20261010@1#openai.original_publication_receipt.1
Direction / authority
directed: true · authority NONE
Source pointer
/derivation/withdrawn_evidence/0
Source pin
{ "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" }
mg-living-warrant-openai-jpl-20261010 → WITHDRAWS → openai.original_publication_receipt.2
Exact relation and provenance
Relation ID
mg-living-warrant-openai-jpl-20261010@1:/derivation/withdrawn_evidence/1
From
mg-living-warrant-openai-jpl-20261010@1#mg-living-warrant-openai-jpl-20261010
To
mg-living-warrant-openai-jpl-20261010@1#openai.original_publication_receipt.2
Direction / authority
directed: true · authority NONE
Source pointer
/derivation/withdrawn_evidence/1
Source pin
{ "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" }
mg-living-warrant-openai-jpl-20261010 → WITHDRAWS → openai.original_publication_receipt.3
Exact relation and provenance
Relation ID
mg-living-warrant-openai-jpl-20261010@1:/derivation/withdrawn_evidence/2
From
mg-living-warrant-openai-jpl-20261010@1#mg-living-warrant-openai-jpl-20261010
To
mg-living-warrant-openai-jpl-20261010@1#openai.original_publication_receipt.3
Direction / authority
directed: true · authority NONE
Source pointer
/derivation/withdrawn_evidence/2
Source pin
{ "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" }

Lineage

Source mg-living-warrant-openai-jpl-20261010 · version 1 · pointer "" (document root). This locator declares no chronology, supersession or equivalence.

All projected source fields

{
  "interpretation": {
    "after": "The publisher withdrew three original arguments. Their prior documentary support paths are stale; mathematical truth remains UNKNOWN.",
    "runtime_status": "IMMUTABLE_HISTORICAL_SNAPSHOT_NOT_CONTINUOUSLY_MONITORED",
    "simulated_before": "Documentary original-support routes were modeled as active before publisher withdrawal; this does not prove their correctness.",
    "source_contract": "Publication history is a source notice, not a formal theorem verifier.",
    "unaffected": "An independently qualified JPL 48-case record survives without new verification or false promotion."
  },
  "sources": {
    "jpl_record_id": "mg-l4yaml-source-check-20261010",
    "jpl_record_sha256": "f0d092974d5d710fe9e17fb6759a894f2c28f2d3f5456439c071bd0a71c8d3cb",
    "openai": {
      "byte_sha256": "41c2a2d470014b3628695c7aabf5fd0c93f6f687621fca172062f22b59ed6a1e",
      "commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
      "git_blob_sha1": "693874f398905b1bc59e01b898b223ae9956bfc2",
      "notice_date": "2026-10-07",
      "path": "history.md",
      "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/history.md"
    }
  },
  "publisher_notice": {
    "cause_as_reported": "sign_error_in_original_argument",
    "documents": [
      {
        "editorial_status": "WITHDRAWN_BY_PUBLISHER",
        "mathematical_truth": "UNKNOWN",
        "name": "Algebraicity of Weil classes on split abelian eightfolds",
        "original_support_claim": "openai.original_support.1"
      },
      {
        "editorial_status": "WITHDRAWN_BY_PUBLISHER",
        "mathematical_truth": "UNKNOWN",
        "name": "Algebraicity of Kuga–Satake Correspondences for K3 Surfaces",
        "original_support_claim": "openai.original_support.2"
      },
      {
        "editorial_status": "WITHDRAWN_BY_PUBLISHER",
        "mathematical_truth": "UNKNOWN",
        "name": "The rational Hodge conjecture for products of K3 surfaces",
        "original_support_claim": "openai.original_support.3"
      }
    ],
    "does_not_imply": "mathematical_theorem_refuted",
    "kind": "PUBLICATION_WITHDRAWAL"
  }
}

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

The route slug is a presentation locator only. Use the full canonical identity above.

RESOLVE_RECEIPT

openai.original_publication_receipt.1

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

Canonical identity: mg-living-warrant-openai-jpl-20261010@1#openai.original_publication_receipt.1
Type: RESOLVE_RECEIPT
Source identity: openai.original_publication_receipt.1
Source pointer: /derivation/receipts/0

Six independent status axes

historical_result: UNKNOWN
lifecycle: WITHDRAWN
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 Weil classes on split abelian eightfolds:original-withdrawn-edition
Verifier authority: exact pinned OpenAI history notice
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

mg-living-warrant-openai-jpl-20261010 → WITHDRAWS → openai.original_publication_receipt.1
Exact relation and provenance
Relation ID
mg-living-warrant-openai-jpl-20261010@1:/derivation/withdrawn_evidence/0
From
mg-living-warrant-openai-jpl-20261010@1#mg-living-warrant-openai-jpl-20261010
To
mg-living-warrant-openai-jpl-20261010@1#openai.original_publication_receipt.1
Direction / authority
directed: true · authority NONE
Source pointer
/derivation/withdrawn_evidence/0
Source pin
{ "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" }

Outgoing relations

openai.original_publication_receipt.1 → EVIDENCE_FOR → openai.original_support.1
Exact relation and provenance
Relation ID
mg-living-warrant-openai-jpl-20261010@1:/derivation/routes/0/evidence/0
From
mg-living-warrant-openai-jpl-20261010@1#openai.original_publication_receipt.1
To
mg-living-warrant-openai-jpl-20261010@1#openai.original_support.1
Direction / authority
directed: true · authority NONE
Source pointer
/derivation/routes/0/evidence/0
Source pin
{ "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" }

Lineage

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

All projected source fields

{
  "id": "openai.original_publication_receipt.1",
  "kind": "documentary",
  "scope": "openai/math:Algebraicity of Weil classes on split abelian eightfolds:original-withdrawn-edition"
}

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

The route slug is a presentation locator only. Use the full canonical identity above.

RESOLVE_RECEIPT

openai.original_publication_receipt.2

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

Canonical identity: mg-living-warrant-openai-jpl-20261010@1#openai.original_publication_receipt.2
Type: RESOLVE_RECEIPT
Source identity: openai.original_publication_receipt.2
Source pointer: /derivation/receipts/1

Six independent status axes

historical_result: UNKNOWN
lifecycle: WITHDRAWN
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: exact pinned OpenAI history notice
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

mg-living-warrant-openai-jpl-20261010 → WITHDRAWS → openai.original_publication_receipt.2
Exact relation and provenance
Relation ID
mg-living-warrant-openai-jpl-20261010@1:/derivation/withdrawn_evidence/1
From
mg-living-warrant-openai-jpl-20261010@1#mg-living-warrant-openai-jpl-20261010
To
mg-living-warrant-openai-jpl-20261010@1#openai.original_publication_receipt.2
Direction / authority
directed: true · authority NONE
Source pointer
/derivation/withdrawn_evidence/1
Source pin
{ "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" }

Outgoing relations

openai.original_publication_receipt.2 → EVIDENCE_FOR → openai.original_support.2
Exact relation and provenance
Relation ID
mg-living-warrant-openai-jpl-20261010@1:/derivation/routes/1/evidence/0
From
mg-living-warrant-openai-jpl-20261010@1#openai.original_publication_receipt.2
To
mg-living-warrant-openai-jpl-20261010@1#openai.original_support.2
Direction / authority
directed: true · authority NONE
Source pointer
/derivation/routes/1/evidence/0
Source pin
{ "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" }

Lineage

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

All projected source fields

{
  "id": "openai.original_publication_receipt.2",
  "kind": "documentary",
  "scope": "openai/math:Algebraicity of Kuga–Satake Correspondences for K3 Surfaces:original-withdrawn-edition"
}

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

The route slug is a presentation locator only. Use the full canonical identity above.

RESOLVE_RECEIPT

openai.original_publication_receipt.3

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

Canonical identity: mg-living-warrant-openai-jpl-20261010@1#openai.original_publication_receipt.3
Type: RESOLVE_RECEIPT
Source identity: openai.original_publication_receipt.3
Source pointer: /derivation/receipts/2

Six independent status axes

historical_result: UNKNOWN
lifecycle: WITHDRAWN
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:The rational Hodge conjecture for products of K3 surfaces:original-withdrawn-edition
Verifier authority: exact pinned OpenAI history notice
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

mg-living-warrant-openai-jpl-20261010 → WITHDRAWS → openai.original_publication_receipt.3
Exact relation and provenance
Relation ID
mg-living-warrant-openai-jpl-20261010@1:/derivation/withdrawn_evidence/2
From
mg-living-warrant-openai-jpl-20261010@1#mg-living-warrant-openai-jpl-20261010
To
mg-living-warrant-openai-jpl-20261010@1#openai.original_publication_receipt.3
Direction / authority
directed: true · authority NONE
Source pointer
/derivation/withdrawn_evidence/2
Source pin
{ "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" }

Outgoing relations

openai.original_publication_receipt.3 → EVIDENCE_FOR → openai.original_support.3
Exact relation and provenance
Relation ID
mg-living-warrant-openai-jpl-20261010@1:/derivation/routes/2/evidence/0
From
mg-living-warrant-openai-jpl-20261010@1#openai.original_publication_receipt.3
To
mg-living-warrant-openai-jpl-20261010@1#openai.original_support.3
Direction / authority
directed: true · authority NONE
Source pointer
/derivation/routes/2/evidence/0
Source pin
{ "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" }

Lineage

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

All projected source fields

{
  "id": "openai.original_publication_receipt.3",
  "kind": "documentary",
  "scope": "openai/math:The rational Hodge conjecture for products of K3 surfaces:original-withdrawn-edition"
}

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

The route slug is a presentation locator only. Use the full canonical identity above.

RESOLVE_CLAIM

openai.original_support.1

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

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

Six independent status axes

historical_result: STALE
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 Weil classes on split abelian eightfolds: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

openai.original_publication_receipt.1 → EVIDENCE_FOR → openai.original_support.1
Exact relation and provenance
Relation ID
mg-living-warrant-openai-jpl-20261010@1:/derivation/routes/0/evidence/0
From
mg-living-warrant-openai-jpl-20261010@1#openai.original_publication_receipt.1
To
mg-living-warrant-openai-jpl-20261010@1#openai.original_support.1
Direction / authority
directed: true · authority NONE
Source pointer
/derivation/routes/0/evidence/0
Source pin
{ "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" }

Outgoing relations

No declared outgoing relations in this displayed projection.

Lineage

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

All projected source fields

{
  "id": "openai.original_support.1",
  "kind": "documentary",
  "scope": "openai/math:Algebraicity of Weil classes on split abelian eightfolds:original-withdrawn-edition",
  "resolution": {
    "after": "STALE",
    "before": "SOURCE_DOCUMENTED",
    "changed": true
  }
}

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

The route slug is a presentation locator only. Use the full canonical identity above.

RESOLVE_CLAIM

openai.original_support.2

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

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

Six independent status axes

historical_result: STALE
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

openai.original_publication_receipt.2 → EVIDENCE_FOR → openai.original_support.2
Exact relation and provenance
Relation ID
mg-living-warrant-openai-jpl-20261010@1:/derivation/routes/1/evidence/0
From
mg-living-warrant-openai-jpl-20261010@1#openai.original_publication_receipt.2
To
mg-living-warrant-openai-jpl-20261010@1#openai.original_support.2
Direction / authority
directed: true · authority NONE
Source pointer
/derivation/routes/1/evidence/0
Source pin
{ "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" }

Outgoing relations

No declared outgoing relations in this displayed projection.

Lineage

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

All projected source fields

{
  "id": "openai.original_support.2",
  "kind": "documentary",
  "scope": "openai/math:Algebraicity of Kuga–Satake Correspondences for K3 Surfaces:original-withdrawn-edition",
  "resolution": {
    "after": "STALE",
    "before": "SOURCE_DOCUMENTED",
    "changed": true
  }
}

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

The route slug is a presentation locator only. Use the full canonical identity above.

RESOLVE_CLAIM

openai.original_support.3

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

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

Six independent status axes

historical_result: STALE
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:The rational Hodge conjecture for products of 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

openai.original_publication_receipt.3 → EVIDENCE_FOR → openai.original_support.3
Exact relation and provenance
Relation ID
mg-living-warrant-openai-jpl-20261010@1:/derivation/routes/2/evidence/0
From
mg-living-warrant-openai-jpl-20261010@1#openai.original_publication_receipt.3
To
mg-living-warrant-openai-jpl-20261010@1#openai.original_support.3
Direction / authority
directed: true · authority NONE
Source pointer
/derivation/routes/2/evidence/0
Source pin
{ "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" }

Outgoing relations

No declared outgoing relations in this displayed projection.

Lineage

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

All projected source fields

{
  "id": "openai.original_support.3",
  "kind": "documentary",
  "scope": "openai/math:The rational Hodge conjecture for products of K3 surfaces:original-withdrawn-edition",
  "resolution": {
    "after": "STALE",
    "before": "SOURCE_DOCUMENTED",
    "changed": true
  }
}

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

The route slug is a presentation locator only. Use the full canonical identity above.

RESOLVE_CLAIM

openai.theorem.1

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

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

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 Weil classes on split abelian eightfolds: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/1. This locator declares no chronology, supersession or equivalence.

All projected source fields

{
  "id": "openai.theorem.1",
  "kind": "formal",
  "scope": "openai/math:Algebraicity of Weil classes on split abelian eightfolds:original-withdrawn-edition",
  "resolution": {
    "after": "UNKNOWN",
    "before": "UNKNOWN",
    "changed": false
  }
}

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

The route slug is a presentation locator only. Use the full canonical identity above.

RESOLVE_CLAIM

openai.theorem.2

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

The route slug is a presentation locator only. Use the full canonical identity above.

RESOLVE_CLAIM

openai.theorem.3

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

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

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:The rational Hodge conjecture for products of 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/5. This locator declares no chronology, supersession or equivalence.

All projected source fields

{
  "id": "openai.theorem.3",
  "kind": "formal",
  "scope": "openai/math:The rational Hodge conjecture for products of K3 surfaces:original-withdrawn-edition",
  "resolution": {
    "after": "UNKNOWN",
    "before": "UNKNOWN",
    "changed": false
  }
}

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

The route slug is a presentation locator only. Use the full canonical identity above.

FINITE_CAPABILITY

urn:mathgraph:capability:finite-developmental-growth

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

Canonical identity: urn:mathgraph:capability:finite-developmental-growth@1#urn%3Amathgraph%3Acapability%3Afinite-developmental-growth
Type: FINITE_CAPABILITY
Source identity: urn:mathgraph:capability:finite-developmental-growth
Source pointer: "" (document root)

Six independent status axes

historical_result: QUALIFIED_BOUNDED
lifecycle: UNKNOWN
research_maturity: UNKNOWN
current_applicability: UNKNOWN
freshness: NOT_CHECKED
action_authorization: NONE

Source pins

urn:mathgraph:capability:finite-developmental-growth · version 1

Contract, locator and digests

{
  "id": "urn:mathgraph:capability:finite-developmental-growth",
  "locator": "conformance/capability_v1/fixtures/capability-contract.json",
  "transport_sha256": "24e639b9181af313100504e0aa525536197d868810e6ffdb5093fd13501577a8",
  "contract": "mathgraph.capability-contract.v1",
  "version": "1"
}

urn:mathgraph:evaluation:finite-refinement:v1 · version 1

Contract, locator and digests

{
  "id": "urn:mathgraph:evaluation:finite-refinement:v1",
  "locator": "conformance/capability_v1/evaluation.json",
  "transport_sha256": "c1cf195917694f4402e6b3e41a174985d52fb57c5f0de99bd96a28ebf91d4312",
  "contract": "mathgraph.capability-evaluation.v1",
  "version": "1"
}

urn:mathgraph:policy:finite-refinement:v1 · version 1

Contract, locator and digests

{
  "id": "urn:mathgraph:policy:finite-refinement:v1",
  "locator": "conformance/capability_v1/trust-policy.json",
  "transport_sha256": "7069c764579d933679f6bfd9b922a724ad9bcb250e4060c660cb4fd099c60e89",
  "contract": "mathgraph.finite-trust-policy.v1",
  "version": "1"
}

urn:mathgraph:receipt:finite-refinement:v1 · version 1

Contract, locator and digests

{
  "id": "urn:mathgraph:receipt:finite-refinement:v1",
  "locator": "conformance/capability_v1/receipt.json",
  "transport_sha256": "2f07b700dfd2b75236ee399f77f4f288953b045af0eae55f4099a558278cb009",
  "contract": "mathgraph.finite-qualification-receipt.v1",
  "version": "1"
}

Attribution: UNKNOWN
Evidence: [ { "id": "urn:mathgraph:source:finite-developmental-boolean-audit", "locator": "experiments/developmental_capability_growth_v1/audit_all_boolean_refinements.py", "sha256": "e4354d8c5ad2c07c5494907f0909f522f33a9c861f8f79586da395bc7535a0f3", "size_bytes": 4486, "media_type": "text/x-python" } ]
Scope: Exactly the eight ordered 3-bit states; deterministic Boolean policies on observational cells; the fixed five named refinements and all 256 Boolean one-bit refinements; discovery bit0 AND parity and reuse bit0 OR parity.
Verifier authority: urn:mathgraph:verifier:finite-refinement-independent:v1
same-owner implementation-independent qualification
Assumptions: The carrier is exactly the ordered 3-bit Boolean cube.
Policies are total deterministic Boolean functions of the declared observations.
Source-distinct reuse means two different target functions in the same owned source; it is not external adoption.
Replay boundary: 62d74bd64163edd83c82414b344c7fd3c16e4983bbf480c165cf9e8218a86c60
d70a1a13d15ca6d7331c84e49d81c3f96e484f919f351b88dc66d7c9fc26870f
Unknowns: current_applicability
freshness
revocation
supersession
Unsupported semantics: Finite scope only; no universal invention theorem or autonomous improvement claim.
Same-owner implementation-independent qualification, not external adoption or independent organizational trust.
Named-family uniqueness is not global feature uniqueness; no historical preregistration is claimed.
No freshness, revocation, supersession, present applicability, or action authorization is established.

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 urn:mathgraph:capability:finite-developmental-growth · version 1 · pointer "" (document root). This locator declares no chronology, supersession or equivalence.

All projected source fields

{
  "claim": {
    "id": "urn:mathgraph:claim:finite-representation-refinement:v1",
    "kind": "bounded-finite-representation-refinement",
    "scope": "Exactly the eight ordered 3-bit states; deterministic Boolean policies on observational cells; the fixed five named refinements and all 256 Boolean one-bit refinements; discovery bit0 AND parity and reuse bit0 OR parity."
  },
  "preconditions": [
    "All eight states, complete truth vectors, and the entire declared mask ranges are supplied."
  ],
  "guarantees": [
    "Exact old exclusion and obstruction, unique named-family repair, sham failure, ablation, full old-closure retention, and distinct reuse.",
    "All 256 Boolean one-bit refinements are checked: 32 succeed in eight induced partition classes."
  ],
  "limitations": [
    "Finite scope only; no universal invention theorem or autonomous improvement claim.",
    "Same-owner implementation-independent qualification, not external adoption or independent organizational trust.",
    "Named-family uniqueness is not global feature uniqueness; no historical preregistration is claimed.",
    "No freshness, revocation, supersession, present applicability, or action authorization is established."
  ],
  "inputs": [
    {
      "type_id": "mathgraph.finite-representation-refinement.v1",
      "schema": {
        "id": "urn:mathgraph:schema:finite-profile-input:v1",
        "locator": "conformance/capability_v1/fixtures/finite-profile.schema.json",
        "sha256": "9f2ebe1b56ef3ab8048f9d5669d5306b8807c589912eca2c32ebabe862478c75",
        "size_bytes": 5793,
        "media_type": "application/json"
      }
    }
  ],
  "outputs": [
    {
      "type_id": "mathgraph.capability-evaluation.v1",
      "schema": {
        "id": "urn:mathgraph:schema:capability-evaluation:v1",
        "locator": "protocol/schemas/capability-evaluation-v1.schema.json",
        "sha256": "df3db4e8ba7d1d34d45594e72fdeb1e525982e3a2b792043faf2bdf12038d779",
        "size_bytes": 5612,
        "media_type": "application/json"
      }
    }
  ],
  "boundary": {
    "id": "urn:mathgraph:boundary:finite-refinement:v1",
    "locator": "conformance/capability_v1/fixtures/finite-representation-refinement-v1.json",
    "sha256": "62d74bd64163edd83c82414b344c7fd3c16e4983bbf480c165cf9e8218a86c60",
    "size_bytes": 2524,
    "media_type": "application/json"
  },
  "implementation": {
    "id": "urn:mathgraph:source:finite-developmental-run",
    "locator": "experiments/developmental_capability_growth_v1/run.py",
    "sha256": "4a76cae749b75e1461948854bf91fbcff5c5385591ec1f21967d44ba9738d588",
    "size_bytes": 13753,
    "media_type": "text/x-python"
  },
  "evidence": [
    {
      "id": "urn:mathgraph:source:finite-developmental-boolean-audit",
      "locator": "experiments/developmental_capability_growth_v1/audit_all_boolean_refinements.py",
      "sha256": "e4354d8c5ad2c07c5494907f0909f522f33a9c861f8f79586da395bc7535a0f3",
      "size_bytes": 4486,
      "media_type": "text/x-python"
    }
  ],
  "evaluation": {
    "action_authorization": "NONE",
    "contract": {
      "id": "urn:mathgraph:capability:finite-developmental-growth",
      "profile": "mathgraph.finite-representation-refinement.v1",
      "version": "1"
    },
    "contract_sha256": "24e639b9181af313100504e0aa525536197d868810e6ffdb5093fd13501577a8",
    "contract_size_bytes": 3533,
    "current_applicability": "UNKNOWN",
    "freshness": "NOT_CHECKED",
    "qualification": "QUALIFIED_BOUNDED",
    "qualification_receipt": {
      "id": "urn:mathgraph:receipt:finite-refinement:v1",
      "locator": "conformance/capability_v1/receipt.json",
      "media_type": "application/json",
      "sha256": "2f07b700dfd2b75236ee399f77f4f288953b045af0eae55f4099a558278cb009",
      "size_bytes": 5260
    },
    "reason_codes": [
      "EXACT_FINITE_REPLAY_PASSED",
      "SAME_OWNER_INDEPENDENT_IMPLEMENTATION"
    ],
    "revocation": "NOT_CHECKED",
    "schema_version": "mathgraph.capability-evaluation.v1",
    "supersession": "NOT_CHECKED",
    "trust_policy": {
      "id": "urn:mathgraph:policy:finite-refinement:v1",
      "locator": "conformance/capability_v1/trust-policy.json",
      "media_type": "application/json",
      "sha256": "7069c764579d933679f6bfd9b922a724ad9bcb250e4060c660cb4fd099c60e89",
      "size_bytes": 1199
    },
    "validation": "VALID"
  }
}

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

The route slug is a presentation locator only. Use the full canonical identity above.