{
  "$schema": "https://mathgraph.org/schemas/discovery-v4.schema.json",
  "schema": "mathgraph.discovery.v4",
  "canonical_origin": "https://mathgraph.org",
  "generated_at": "2026-10-12T18:53:33Z",
  "authority": "NONE",
  "authorization": "NONE",
  "agent_guide": "https://mathgraph.org/agents/",
  "llms_txt": "https://mathgraph.org/llms.txt",
  "record_index": "https://mathgraph.org/records/index.json",
  "schemas": {
    "discovery_v1": "https://mathgraph.org/schemas/discovery-v1.schema.json",
    "discovery_v2": "https://mathgraph.org/schemas/discovery-v2.schema.json",
    "public_consequence_record_v1": "https://mathgraph.org/schemas/public-consequence-record-v1.schema.json",
    "record_index_v1": "https://mathgraph.org/schemas/record-index-v1.schema.json",
    "record_index_v2": "https://mathgraph.org/schemas/record-index-v2.schema.json",
    "living_warrant_snapshot_v1": "https://mathgraph.org/schemas/living-warrant-snapshot-v1.schema.json",
    "resolve_scenarios_v1": "https://mathgraph.org/schemas/resolve-scenarios-v1.schema.json",
    "resolve_bundle_v1": "https://mathgraph.org/schemas/resolve-bundle-v1.schema.json",
    "resolve_trust_policy_v1": "https://mathgraph.org/schemas/resolve-trust-policy-v1.schema.json",
    "presentation_metadata_v1": "https://mathgraph.org/schemas/presentation-metadata-v1.schema.json",
    "lean_evidence_profile_draft_1": "https://mathgraph.org/schemas/lean-evidence-profile-draft-1.schema.json",
    "discovery_v3": "https://mathgraph.org/schemas/discovery-v3.schema.json",
    "discovery_v4": "https://mathgraph.org/schemas/discovery-v4.schema.json",
    "source_catalogue_manifest_v1": "https://mathgraph.org/schemas/source-catalogue-manifest-v1.schema.json",
    "source_catalogue_shard_v1": "https://mathgraph.org/schemas/source-catalogue-shard-v1.schema.json",
    "discover_request_v1": "https://mathgraph.org/schemas/discover-request-v1.schema.json",
    "discover_result_v1": "https://mathgraph.org/schemas/discover-result-v1.schema.json",
    "capability_contract_v1": "https://mathgraph.org/schemas/capability-contract-v1.schema.json",
    "capability_evaluation_v1": "https://mathgraph.org/schemas/capability-evaluation-v1.schema.json",
    "capability_registry_v1": "https://mathgraph.org/schemas/capability-registry-v1.schema.json",
    "external_binding_v1": "https://mathgraph.org/schemas/external-binding-v1.schema.json"
  },
  "capabilities": {
    "static_records": "IMPLEMENTED",
    "resolve_explorer": "IMPLEMENTED_READ_ONLY",
    "offline_resolve_replay": "BOUNDED_QUALIFIED",
    "public_resolver": "NOT_DEPLOYED",
    "discover_interface": "IMPLEMENTED_LOCAL_ADVISORY",
    "develop_interface": "QUALIFIED_BOUNDED_OFFLINE",
    "capabilities_registry": "STATIC_REGISTRY",
    "source_catalogue": "IMPLEMENTED_STATIC_SOURCE_INDEX",
    "lean_profile": "PROPOSED",
    "mcp": "NOT_DEPLOYED"
  },
  "interfaces": {
    "check": {
      "maturity": "IMPLEMENTED_AT_QUALIFIED_BOUNDARY",
      "mode": "STATIC_RECORD",
      "record_id": "mg-l4yaml-source-check-20261010",
      "record_page": "https://mathgraph.org/records/mg-l4yaml-source-check-20261010/v1/",
      "record_json": "https://mathgraph.org/evidence/mg-l4yaml-source-check-20261010/record.json"
    },
    "resolve": {
      "maturity": "BOUNDED_QUALIFIED",
      "mode": "OFFLINE_REPLAY",
      "record_id": "mg-living-warrant-openai-jpl-20261010",
      "explorer": "https://mathgraph.org/resolve/",
      "record_page": "https://mathgraph.org/records/mg-living-warrant-openai-jpl-20261010/v1/",
      "record_json": "https://mathgraph.org/evidence/mg-living-warrant-openai-jpl-20261010/record.json",
      "scenarios_json": "https://mathgraph.org/evidence/mg-living-warrant-openai-jpl-20261010/scenarios.json",
      "offline_consumer": "https://mathgraph.org/evidence/mg-living-warrant-openai-jpl-20261010/offline/consumer.py",
      "offline_consumer_sha256": "27a9be606040cc94a47c9b903dfc1cb24a86cbbc4e05ce71040c6c3d6e8d527b",
      "offline_bundle": "https://mathgraph.org/evidence/mg-living-warrant-openai-jpl-20261010/offline/bundle.json",
      "offline_bundle_sha256": "957080db79555f982fd3a314c263cf5177ef506969229e856897f0b19ccc1d62",
      "offline_trust_policy": "https://mathgraph.org/evidence/mg-living-warrant-openai-jpl-20261010/offline/trust-policy.json",
      "offline_trust_policy_sha256": "09e8d5ba97bca126a81dfe0fcbd5d57f3915ffe71402a497ece4d5e6117f2b4a",
      "offline_replay_output_sha256": "8c7b30e1eb2a24d2960e170d36652ca95aa71b41075f673abe394e154ae66668",
      "typescript_consumer": "https://mathgraph.org/examples/resolve-consumer-v1.ts",
      "typescript_consumer_sha256": "e7360df24b2fd0900c8ea88ccb1689163cec73a6c2e2347e4ab2b23b4d01bc2e",
      "current_applicability": "UNKNOWN",
      "freshness": "NOT_CHECKED"
    },
    "discover": {
      "maturity": "IMPLEMENTED_LOCAL_ADVISORY",
      "mode": "LOCAL_CLI",
      "public_interface": "NOT_DEPLOYED",
      "page": "https://mathgraph.org/discover/",
      "request": "https://mathgraph.org/artifacts/conformance/discover_v1/fixtures/request.json",
      "request_sha256": "23d6d59eef4fd6ba7bdddd673d01b8f2e61e71412b1d7bc66d3fce68b728c25a",
      "result": "https://mathgraph.org/artifacts/conformance/discover_v1/fixtures/result.json",
      "result_sha256": "6d9a24c7ffebe2288561e976a774f9d184f47b21e40572046e003b917cc939a5",
      "example_status": "PARTIAL",
      "advisory_only": true,
      "can_promote_truth": false,
      "verification_status": "NOT_CHECKED",
      "attention_interpretation": "ALLOCATION_NOT_TRUTH_CONFIDENCE"
    },
    "develop": {
      "maturity": "QUALIFIED_BOUNDED",
      "mode": "OFFLINE_FINITE_REPLAY",
      "public_interface": "NOT_DEPLOYED",
      "page": "https://mathgraph.org/develop/",
      "profile": "mathgraph.finite-representation-refinement.v1",
      "compiler": "NOT_IMPLEMENTED",
      "qualification_basis": "SAME_OWNER_INDEPENDENT_IMPLEMENTATION",
      "current_applicability": "UNKNOWN",
      "freshness": "NOT_CHECKED",
      "revocation": "NOT_CHECKED",
      "supersession": "NOT_CHECKED",
      "action_authorization": "NONE",
      "contract": "https://mathgraph.org/artifacts/conformance/capability_v1/fixtures/capability-contract.json",
      "contract_sha256": "24e639b9181af313100504e0aa525536197d868810e6ffdb5093fd13501577a8",
      "evaluation": "https://mathgraph.org/artifacts/conformance/capability_v1/evaluation.json",
      "evaluation_sha256": "c1cf195917694f4402e6b3e41a174985d52fb57c5f0de99bd96a28ebf91d4312",
      "qualification_receipt": "https://mathgraph.org/artifacts/conformance/capability_v1/receipt.json",
      "qualification_receipt_sha256": "2f07b700dfd2b75236ee399f77f4f288953b045af0eae55f4099a558278cb009",
      "trust_policy": "https://mathgraph.org/artifacts/conformance/capability_v1/trust-policy.json",
      "trust_policy_sha256": "7069c764579d933679f6bfd9b922a724ad9bcb250e4060c660cb4fd099c60e89"
    },
    "capabilities": {
      "maturity": "STATIC_REGISTRY",
      "page": "https://mathgraph.org/capabilities/",
      "registry": "https://mathgraph.org/capabilities/index-v1.json",
      "registry_sha256": "7ae45ef09ce492856234872c12adc6999667b14899a008baddc19687934b1358",
      "qualified_entries": 1,
      "experimental_candidates": 1
    },
    "external_binding": {
      "mode": "LOCAL_UNSIGNED_CORRESPONDENCE",
      "statement": "https://mathgraph.org/artifacts/conformance/interoperability_v1/statement.json",
      "statement_sha256": "01cf99a1a37a370e453c5978914625c63602938420591c1dd2cfeef1ad86b5e6",
      "signature": "UNSIGNED",
      "authenticity": "NOT_CHECKED",
      "signer_policy": "NOT_CHECKED",
      "transparency": "NOT_CHECKED",
      "freshness": "NOT_CHECKED",
      "qualification": "UNKNOWN",
      "current_applicability": "UNKNOWN",
      "action_authorization": "NONE"
    }
  },
  "source_catalogue": {
    "catalogue_id": "mathlib-v4.34.1-foundations-v1",
    "catalogue_version": 1,
    "publication_root": "https://mathgraph.org/catalogues/mathlib/v4.34.1/",
    "source": {
      "repository": "https://github.com/leanprover-community/mathlib4",
      "commit": "d13f23b723b8a846827a245b89c10fc7d3f11612",
      "tree": "efa132418a56d0e38c56cc412a06df22178dac5c",
      "lean_toolchain": "leanprover/lean4:v4.34.1"
    },
    "artifacts": {
      "manifest": {
        "url": "https://mathgraph.org/catalogues/mathlib/v4.34.1/manifest.json",
        "sha256": "5974ac4d68b1e090d511964cd61237565b80d39b5e47e9966171d4d8bcd2fe68",
        "size_bytes": 319664,
        "repository_url": "https://github.com/metalogiclabs/mathgraph/blob/8e8f5f529b44852815627206dc5b45062f0c96d6/website/public/catalogues/mathlib/v4.34.1/manifest.json"
      },
      "search": {
        "url": "https://mathgraph.org/catalogues/mathlib/v4.34.1/search.json",
        "sha256": "af346a9d68adfaacddf4103004d97976e6ebc106e2b8b0bc199fb0a5fabeb60b",
        "size_bytes": 1624539,
        "repository_url": "https://github.com/metalogiclabs/mathgraph/blob/8e8f5f529b44852815627206dc5b45062f0c96d6/website/public/catalogues/mathlib/v4.34.1/search.json"
      },
      "manifest_schema": {
        "url": "https://mathgraph.org/schemas/source-catalogue-manifest-v1.schema.json",
        "sha256": "efd1f70039e8205f8e0cbf861ce9796604fbc56c224fec0b43834135b68f17cc",
        "size_bytes": 14602,
        "repository_url": "https://github.com/metalogiclabs/mathgraph/blob/8e8f5f529b44852815627206dc5b45062f0c96d6/website/public/schemas/source-catalogue-manifest-v1.schema.json"
      },
      "shard_schema": {
        "url": "https://mathgraph.org/schemas/source-catalogue-shard-v1.schema.json",
        "sha256": "363cf2a199f2c60fe026b74ecbab3c78d7e6d3fc0d3422ae6528c89c871f8683",
        "size_bytes": 14816,
        "repository_url": "https://github.com/metalogiclabs/mathgraph/blob/8e8f5f529b44852815627206dc5b45062f0c96d6/website/public/schemas/source-catalogue-shard-v1.schema.json"
      },
      "consumer": {
        "url": "https://mathgraph.org/artifacts/conformance/source_catalogue_v1/consumer.py",
        "sha256": "583dcfca46854f56469cdda865b5da62b1068e985bdce411dac9c587e556ca5d",
        "size_bytes": 34582,
        "repository_url": "https://github.com/metalogiclabs/mathgraph/blob/8e8f5f529b44852815627206dc5b45062f0c96d6/conformance/source_catalogue_v1/consumer.py"
      },
      "trust_policy": {
        "url": "https://mathgraph.org/artifacts/conformance/source_catalogue_v1/trust-policy.json",
        "sha256": "c3cdec2b2c784728621bb8c25a055a1e73d67d3c1c922b7ab62b09003399e1c9",
        "size_bytes": 5751,
        "repository_url": "https://github.com/metalogiclabs/mathgraph/blob/8e8f5f529b44852815627206dc5b45062f0c96d6/conformance/source_catalogue_v1/trust-policy.json"
      },
      "readme": {
        "url": "https://mathgraph.org/artifacts/conformance/source_catalogue_v1/README.md",
        "sha256": "787f1dd6cf9c7b24c1adc7f8d2c31bd44d637c77574f091fc19414761ca1f323",
        "size_bytes": 3345,
        "repository_url": "https://github.com/metalogiclabs/mathgraph/blob/8e8f5f529b44852815627206dc5b45062f0c96d6/conformance/source_catalogue_v1/README.md"
      }
    },
    "relation_types": [
      "DECLARES",
      "IMPORTS_MODULE",
      "TYPE_REFERENCES"
    ],
    "semantics": {
      "logical_implication": false,
      "semantic_equivalence": false
    },
    "result": {
      "source_status": "SOURCE_INDEXED",
      "independent_verification": "NOT_CHECKED",
      "current_applicability": "NOT_CHECKED",
      "freshness": "PINNED_HISTORICAL_SOURCE",
      "authority": "NONE",
      "authorization": "NONE"
    },
    "qualification": {
      "basis": "SAME_OWNER_INDEPENDENT_CONSUMER",
      "public_bundle": {
        "producer_commit": "e6643d8e3d207893713da94041ff3822c1190457",
        "wrapper_commit": "eb3149b70f0cdf39109c775898b19a26574c27e6",
        "run_url": "https://github.com/metalogiclabs/mathgraph/actions/runs/38242539984",
        "trust_policy_sha256": "c3cdec2b2c784728621bb8c25a055a1e73d67d3c1c922b7ab62b09003399e1c9"
      },
      "publication_commit": "7519de6a51e524caf70df51d37389ff42d430d43",
      "later_regeneration": {
        "commit": "8e8f5f529b44852815627206dc5b45062f0c96d6",
        "run_url": "https://github.com/metalogiclabs/mathgraph/actions/runs/38246586898",
        "scope": "CATALOGUE_PUBLICATION_REGENERATED_WITH_RUN_SPECIFIC_TRUST_POLICY",
        "public_trust_policy_replayed": false
      }
    },
    "repository_snapshot_commit": "8e8f5f529b44852815627206dc5b45062f0c96d6",
    "repository_snapshot": "https://github.com/metalogiclabs/mathgraph/tree/8e8f5f529b44852815627206dc5b45062f0c96d6",
    "repository_authentication": "CHOSEN_TRUST_POLICY_NOT_MATHEMATICAL_TRUTH"
  },
  "historical_discovery": {
    "v3_manifest": "https://mathgraph.org/.well-known/mathgraph-v3.json",
    "v3_manifest_sha256": "3bde9969e635a39153f58b7f237979b954302c48878c2266dffe2ab9afd16540",
    "v3_schema": "https://mathgraph.org/schemas/discovery-v3.schema.json"
  },
  "freshness": {
    "basis": "CLIENT_FETCH_TIME",
    "record_index_max_age_seconds": 300,
    "lifecycle_meaning": "generated_at is publication time; set fetched_at when received and re-fetch before max_age_seconds elapse."
  },
  "integrity_notice": "Digests establish integrity and byte identity, not host authenticity or semantic truth.",
  "repository_provenance": {
    "repository": "https://github.com/metalogiclabs/mathgraph",
    "record_catalogue_source": "https://github.com/metalogiclabs/mathgraph/blob/1a38f63f01b08f62854d289e4a64f8669b79e59f/website/src/data/record-index.json",
    "authentication_status": "UNSIGNED_PROVENANCE_ONLY"
  }
}