Published evidence record
L4YAML parser acceptance — pinned source check
A read-only projection of exact pinned parser, source, test-suite, and Lean replay receipts. No project endorsement implied.
Public evidence ledger
Records
Explore canonical objects and typed relations →
Each record is an immutable historic snapshot. Requalification, supersession, and revocation are separate states; the original evidence is never silently rewritten.
2 published records · ordered by snapshot date
Local catalogue view
Filter displayed entries
Display controls only · catalogue authority unchanged
2 of 2 displayed.
The current static catalogue has no matching displayed entries.
Resolution snapshot
MathGraph Resolve — When Mathematical Evidence Changes
Three documentary support paths become stale, three propositions remain unknown, and one unrelated bounded observation keeps its exact warrant.
No synthetic examples. This index lists only evidence that has a corresponding qualified boundary and durable machine-readable record.