Repository navigation

Dev - #11

Merged

a9lim merged 10 commits into

mainfrom

Aug 14, 2026

Merged

Dev#11
a9lim merged 10 commits into
mainfrom
dev

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