MathGraph Verify

Inspect what a record actually supports.

A local file, one exact evidence boundary, and explicit unknowns through every step. Read Check’s verification axes and current limits.

Local import workbench

Carry the evidence boundary with the record.

Import → Interpret → Check → Resolve → Explore → Export. This browser recognizes an exact local record and displays its existing qualified boundary. Its authority is NONE.

JSON local files only, at most 65,536 bytes. The one supported artifact is the unchanged L4YAML V1 record: 4,321 bytes. Changed, unsupported, or non-JSON bytes remain UNKNOWN.

Download the exact supported record.json, then select that local file below. There is no upload or URL input.

No proof, kernel, or source-suite execution takes place here. Exact byte recognition supplies integrity, not authenticity or warrant authority. Input contents are never parsed or executed; only a digest match unlocks the committed display data.

1. Import a local record

UNKNOWN — no local record has been recognized. Current applicability and freshness remain UNKNOWN.

JavaScript is off. Local recognition remains UNKNOWN and controls stay disabled. The supported artifact, permanent evidence record, and offline import command remain available.

Record-bound handoff route

Resolve selects the already qualified record-bound outcome only. An unsupported route remains UNKNOWN. The browser adds no resolution semantics.

Select a supported local file to begin. No imported evidence is shown yet.

The portable export is a read-only mathgraph.browser-recognition.v1 presentation, not an independent import result, proof, certificate, or input to the Python importer.

Supported local-record import paths and independent replay command

The browser supports only the exact downloaded record.json. The importer is available on main, while independent historical replay deliberately detaches at exact implementation commit 1204a1d267b6217c45c9b17f093cc3587450cf78. Run that pinned consumer only after reviewing the separate trust policy and its digest:

git clone https://github.com/metalogiclabs/mathgraph.git mathgraph-import-v1
cd mathgraph-import-v1
git checkout --detach 1204a1d267b6217c45c9b17f093cc3587450cf78

python3 -I -S scripts/mathgraph_import_v1.py \
  --record conformance/import_v1/fixtures/record.json \
  --policy conformance/import_v1/fixtures/trust-policy.json \
  --policy-sha256 944231afaf9d89e6f7dc77d9efbe80dcbd3fc76f8e8f260b32637a0f261faf65 \
  --goal finite_parser_acceptance

You may replace --record with the local path to that unchanged supported artifact. Keep the reviewed policy separate. This offline command does not execute the original proof, kernel, or source suite, check current applicability, or authorize actions.

Inspect the pinned independent consumer · Inspect the separately reviewed pinned policy · Independent result contract · Permanent supported record

The same record at every step