Dev - #11

Merged

a9lim merged 10 commits into

mainfrom

Aug 14, 2026

Commits on Aug 13, 2026

docs: add research directions to roadmap

a9lim
and
claude
committed
ffb78d0
docs: refresh code documentation
a9lim
committed
5fecc42
docs: strengthen Gold-Arf prior art
a9lim
committed
a5d7dc8

Commits on Aug 14, 2026

forms: close integral invariant spine
a9lim
committed
7588cd9
forms: join discriminant and Heisenberg Weil models
a9lim
committed
a7e1196
forms: cross-check genus and Hasse invariants
a9lim
committed
b897113
forms: connect Witt and Brauer functoriality
a9lim
committed
c57df04
Add certified game realization APIs
a9lim
committed
5627c9f
Add Python bindings for certified game APIs
a9lim
committed
09a0753
Merge branch 'main' into dev
a9lim
authored
cf6ec1f