Repository navigation

Book B.7: D-gauge classification from GR §3.3; GR §3.3 brought into agreement - #921

Merged

amaybaum merged 6 commits into

mainfrom

draft/book-dgauge-migration

Oct 25, 2026

Merged

Book B.7: D-gauge classification from GR §3.3; GR §3.3 brought into agreement#921
amaybaum merged 6 commits into
mainfrom
draft/book-dgauge-migration

Commits on Oct 25, 2026
- Book B.7: migrate the D-gauge classification from GR §3.3
  claude
  committed
  5c4f641
- Book B.7: review nits on the C4 sentence and the census guard
  claude
  committed
  839534c
- GR §3.3: agree with book B.7 at three points; repair the F8 conditionality lint
  claude
  committed
  41844e9
- GR and book PDFs rebuilt from 41844e9b
  claude
  committed
  0707ddb
- Merge main c37700ad (#920) into the D-gauge migration
  claude
  committed
  65a8b40
- GR and book PDFs rebuilt from the merge 65a8b409
  claude
  committed
  7a12fdb