jpl.l4yaml.finite_parser_acceptance

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.

Canonical object