mathgraph.l4yaml.48-case-qualification

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.

Canonical object