Math Registry Reference
The oracle database and the math notes are linked through docs/math/registry.json.
Each entry maps a published (op, family) pair to:
- a note file under
docs/math/ - a stable anchor inside that note
This keeps the JSON oracle database machine-readable while letting the math notes evolve as normal Markdown documents.
The intended contract is:
- the math notes are the mathematical source of truth
- the oracle DB is the machine-readable test artifact
- the registry is the stable bridge from DB families to note anchors
As long as a note keeps its published anchor, prose and derivation detail can be expanded without changing the DB schema.
Published raw registry artifact:
For the note corpus entrypoint, see Math Notes.