# MathGraph

> Evidence you can inspect. Results you can reuse.

Human agent guide: https://mathgraph.org/agents/
About: https://mathgraph.org/about/
Contact and public issue route: https://mathgraph.org/contact/
Discovery manifest: https://mathgraph.org/.well-known/mathgraph.json
Frozen V3 discovery snapshot: https://mathgraph.org/.well-known/mathgraph-v3.json
Record index: https://mathgraph.org/records/index.json
Discovery schema: https://mathgraph.org/schemas/discovery-v4.schema.json
Historical discovery schema V3: https://mathgraph.org/schemas/discovery-v3.schema.json
Historical discovery schema V2: https://mathgraph.org/schemas/discovery-v2.schema.json
Historical discovery schema: https://mathgraph.org/schemas/discovery-v1.schema.json
Source-check record schema: https://mathgraph.org/schemas/public-consequence-record-v1.schema.json
Record index schema: https://mathgraph.org/schemas/record-index-v2.schema.json
Historical index schema: https://mathgraph.org/schemas/record-index-v1.schema.json
Resolution snapshot schema: https://mathgraph.org/schemas/living-warrant-snapshot-v1.schema.json
Precomputed scenarios schema: https://mathgraph.org/schemas/resolve-scenarios-v1.schema.json
Resolve bundle schema: https://mathgraph.org/schemas/resolve-bundle-v1.schema.json
Resolve trust-policy schema: https://mathgraph.org/schemas/resolve-trust-policy-v1.schema.json
Presentation metadata schema: https://mathgraph.org/schemas/presentation-metadata-v1.schema.json
Proposed Lean profile: https://mathgraph.org/schemas/lean-evidence-profile-draft-1.schema.json

Source catalogue (static source indexing; not proof verification):

- Manifest: https://mathgraph.org/catalogues/mathlib/v4.34.1/manifest.json
- Manifest SHA-256: 5974ac4d68b1e090d511964cd61237565b80d39b5e47e9966171d4d8bcd2fe68
- Search index: https://mathgraph.org/catalogues/mathlib/v4.34.1/search.json
- Search SHA-256: af346a9d68adfaacddf4103004d97976e6ebc106e2b8b0bc199fb0a5fabeb60b
- Independent consumer: https://mathgraph.org/artifacts/conformance/source_catalogue_v1/consumer.py
- Consumer SHA-256: 583dcfca46854f56469cdda865b5da62b1068e985bdce411dac9c587e556ca5d
- Trust policy: https://mathgraph.org/artifacts/conformance/source_catalogue_v1/trust-policy.json
- Policy SHA-256: c3cdec2b2c784728621bb8c25a055a1e73d67d3c1c922b7ab62b09003399e1c9
- Replay instructions: https://mathgraph.org/artifacts/conformance/source_catalogue_v1/README.md
- README SHA-256: 787f1dd6cf9c7b24c1adc7f8d2c31bd44d637c77574f091fc19414761ca1f323
- Exact retrieval snapshot: 8e8f5f529b44852815627206dc5b45062f0c96d6
- Public bundle publication commit: 7519de6a51e524caf70df51d37389ff42d430d43
- Public policy qualification wrapper: eb3149b70f0cdf39109c775898b19a26574c27e6
- Public policy qualification run: https://github.com/metalogiclabs/mathgraph/actions/runs/38242539984
- Later catalogue-only regeneration: 8e8f5f529b44852815627206dc5b45062f0c96d6 (https://github.com/metalogiclabs/mathgraph/actions/runs/38246586898); it used a run-specific policy and did not replay the public trust-policy bytes.
- Result: source status SOURCE_INDEXED; independent verification NOT_CHECKED; current applicability NOT_CHECKED; freshness PINNED_HISTORICAL_SOURCE; authority NONE; authorization NONE.
- Relations DECLARES, IMPORTS_MODULE, and TYPE_REFERENCES are source-backed structural relations, not logical implication or semantic equivalence.
- Shards are admitted only through the exact manifest inventory and digests. Unsupported versions, critical extensions, forged status, and missing endpoints are declined.

Published immutable records:

1. mg-l4yaml-source-check-20261010 (SOURCE_CHECK)
- Record schema: mathgraph.public-consequence-record.v1
- Permanent page: https://mathgraph.org/records/mg-l4yaml-source-check-20261010/v1/
- Record JSON: https://mathgraph.org/evidence/mg-l4yaml-source-check-20261010/record.json
- Canonical content SHA-256: f0d092974d5d710fe9e17fb6759a894f2c28f2d3f5456439c071bd0a71c8d3cb
- Transport SHA-256: 7b59ee76a39995f35a0feb0f4d91a3c6ab1234393143480c4f3e361a79fee703

2. mg-living-warrant-openai-jpl-20261010 (RESOLUTION_SNAPSHOT)
- Record schema: mathgraph.living-warrant-snapshot.v1
- Permanent 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
- Canonical content SHA-256: b95297a081d513fb0ec145a776cc997eaed18109d6b2af39fa8e61f6d637af41
- Transport SHA-256: 0a850b112cce200f2fa97f0d861db712f3752712a6326e62f4c0d56996a95d87
- Scenarios schema: mathgraph.resolve-scenarios.v1
- Precomputed scenarios: https://mathgraph.org/evidence/mg-living-warrant-openai-jpl-20261010/scenarios.json
- Scenarios transport SHA-256: ed458ccbee85e3aa3f49d9d38e7ad5380515d00d707bac09c584cc4955b88181
- Offline Python consumer: https://mathgraph.org/evidence/mg-living-warrant-openai-jpl-20261010/offline/consumer.py
- Offline consumer SHA-256: 27a9be606040cc94a47c9b903dfc1cb24a86cbbc4e05ce71040c6c3d6e8d527b
- Offline bundle: https://mathgraph.org/evidence/mg-living-warrant-openai-jpl-20261010/offline/bundle.json
- Offline bundle SHA-256: 957080db79555f982fd3a314c263cf5177ef506969229e856897f0b19ccc1d62
- Separately pinned trust policy: https://mathgraph.org/evidence/mg-living-warrant-openai-jpl-20261010/offline/trust-policy.json
- Trust policy SHA-256: 09e8d5ba97bca126a81dfe0fcbd5d57f3915ffe71402a497ece4d5e6117f2b4a
- Deterministic replay output SHA-256: 8c7b30e1eb2a24d2960e170d36652ca95aa71b41075f673abe394e154ae66668
- TypeScript HTTP reference consumer: https://mathgraph.org/examples/resolve-consumer-v1.ts · media type: text/plain; charset=utf-8
- TypeScript consumer SHA-256: e7360df24b2fd0900c8ea88ccb1689163cec73a6c2e2347e4ab2b23b4d01bc2e

Local modular contracts (static publication; hosted services NOT_DEPLOYED):

- Discover: https://mathgraph.org/discover/
  Maturity: IMPLEMENTED_LOCAL_ADVISORY. Local CLI only.
  Exact request: https://mathgraph.org/artifacts/conformance/discover_v1/fixtures/request.json
  Request SHA-256: 23d6d59eef4fd6ba7bdddd673d01b8f2e61e71412b1d7bc66d3fce68b728c25a
  Exact result: https://mathgraph.org/artifacts/conformance/discover_v1/fixtures/result.json
  Result SHA-256: 6d9a24c7ffebe2288561e976a774f9d184f47b21e40572046e003b917cc939a5
  Example result: PARTIAL; advisory_only: true; can_promote_truth: false; verification_status: NOT_CHECKED.
  Attention: ALLOCATION_NOT_TRUTH_CONFIDENCE. Attention is allocation, not truth confidence.
  FULL_REPLAY_UNAVAILABLE: the SQLite ledger required for full replay is missing. Reported historical metrics are not new verification results.
- Develop: https://mathgraph.org/develop/
  Exact profile: mathgraph.finite-representation-refinement.v1; qualification: QUALIFIED_BOUNDED.
  Exactly eight ordered 3-bit states; same-owner implementation-independent replay, not external adoption, universal invention, or autonomous improvement.
  Capability Family Compiler: NOT_IMPLEMENTED. VDN / Lean: EXPERIMENTAL and unqualified.
  General descriptor evaluation remains UNKNOWN. Qualification requires the separate finite-profile consumer and independently trusted policy.
- Capabilities: https://mathgraph.org/capabilities/
  Static registry: https://mathgraph.org/capabilities/index-v1.json
  Registry SHA-256: 7ae45ef09ce492856234872c12adc6999667b14899a008baddc19687934b1358
  Qualified entries: 1; separate experimental candidates: 1.
  Contract: https://mathgraph.org/artifacts/conformance/capability_v1/fixtures/capability-contract.json
  Contract SHA-256: 24e639b9181af313100504e0aa525536197d868810e6ffdb5093fd13501577a8
  Evaluation: https://mathgraph.org/artifacts/conformance/capability_v1/evaluation.json
  Evaluation SHA-256: c1cf195917694f4402e6b3e41a174985d52fb57c5f0de99bd96a28ebf91d4312
  Receipt: https://mathgraph.org/artifacts/conformance/capability_v1/receipt.json
  Receipt SHA-256: 2f07b700dfd2b75236ee399f77f4f288953b045af0eae55f4099a558278cb009
  Trust policy: https://mathgraph.org/artifacts/conformance/capability_v1/trust-policy.json
  Policy SHA-256: 7069c764579d933679f6bfd9b922a724ad9bcb250e4060c660cb4fd099c60e89
  Current applicability: UNKNOWN; freshness: NOT_CHECKED; revocation: NOT_CHECKED; supersession: NOT_CHECKED; action authorization: NONE.
- External interoperability: unsigned correspondence only. in-toto statement: https://mathgraph.org/artifacts/conformance/interoperability_v1/statement.json
  Statement SHA-256: 01cf99a1a37a370e453c5978914625c63602938420591c1dd2cfeef1ad86b5e6
  Signature: UNSIGNED; authenticity, signer policy, transparency and freshness: NOT_CHECKED; qualification and current applicability: UNKNOWN; action authorization: NONE.
  A wrapper imports no qualification. Sigstore, SCITT and RATS remain deferred.

Modular schemas:
- 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

Usage boundary:
- For record 001, match the exact record ID, version, source pin, suite pin, and supported goal.
- For record 002, replay the pinned bundle against the separately trusted policy; do not accept producer-reported states as resolution authority.
- Any mismatch, unsupported claim, unknown type, or unsupported transport is UNKNOWN or an explicit error; never borrow a nearby warrant.
- A digest establishes integrity and byte identity, not host authenticity or semantic truth.
- Resolve transport schemas describe structure; they do not authenticate records or replace the separately pinned trust policy and semantic replay.
- Treat generated_at as publication time. Set fetched_at when the record index is received and re-fetch before max_age_seconds elapse.
- Qualified record evidence bytes remain immutable; lifecycle and presentation metadata may be updated separately with history.
- Record 002 current applicability is UNKNOWN and freshness is NOT_CHECKED in the offline replay.
- Browser recognition and knowledge-map exports are presentation projections with authority NONE; they are not evidence or independent replay results.
- Public resolver: NOT_DEPLOYED. MCP: NOT_DEPLOYED. Discover and Develop hosted services are NOT_DEPLOYED. Local CLI contracts and static artifact downloads are not execution endpoints.
- Modules are independently usable. The conceptual Discover / Check / Resolve / Develop loop is not compulsory and provides no autonomous loop.
- Capability qualification adds no mathematical terminal form. Accepted claims still require exactly one VERIFIED_PROOF, FINITE_COUNTERMODEL, or NAMED_OBSTRUCTION.