docs(spec): authoritative axiom-numbering table + gitignore learn/ #22

Merged

toph merged 2 commits from docs/axiom-table-and-gitignore into main 2026-07-01 09:39:43 +00:00

Conversation 0 Commits 2 Files changed 2 +36 -22

toph commented 2026-07-01 09:29:43 +00:00

Owner

Copy link

Two small, unrelated changes that were sitting on the layer-ordering branch, split out so that slice stays atomic.

• docs(spec): an authoritative three-scheme axiom-numbering table in SPECIFICATION.md — cross-maps the Huzita–Justin, Hatori/Hushimi, and Beloch numbering so the recurring off-by-one traps stop biting.
• chore: gitignore the learn/ teaching workspace.

Two small, unrelated changes that were sitting on the layer-ordering branch, split out so that slice stays atomic. - `docs(spec)`: an authoritative three-scheme axiom-numbering table in `SPECIFICATION.md` — cross-maps the Huzita–Justin, Hatori/Hushimi, and Beloch numbering so the recurring off-by-one traps stop biting. - `chore`: gitignore the `learn/` teaching workspace.

toph added 6 commits 2026-07-01 09:29:43 +00:00

docs: design for real layer ordering (partial-order model) 81d98a6957

test: split monolithic test file into 5 focused executables ... f804b7721a

2008-line test_beloch.ml → test_num, test_geom, test_parse, test_eval, test_e2e.
Dune builds them in parallel; each executable covers one domain layer.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

docs: implementation plan for real layer ordering 7ac0f615f0

docs: defer taco-tortilla to the pocket slice 62628e51a2

docs(spec): authoritative 3-scheme axiom-numbering table ... b2fbe7291f

Replace the prose numbering note in §1 with a Justin/Beloch ×
Huzita-Hatori × Hull cross-map (+ degree and solution-count columns),
and spell out the three re-conflation traps — chiefly Wikipedia
numbering the cubic Beloch fold as axiom 6 vs Beloch's 7.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

chore: gitignore learn/ teaching workspace ... 8ea59effcd

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

toph force-pushed docs/axiom-table-and-gitignore from 8ea59effcd to 168a25a2bb 2026-07-01 09:38:38 +00:00 Compare

toph merged commit 158c8c7097 into main 2026-07-01 09:39:43 +00:00

toph referenced this pull request from a commit 2026-07-01 09:39:43 +00:00

docs(spec): authoritative axiom-numbering table + gitignore learn/ (#22)

toph deleted branch docs/axiom-table-and-gitignore 2026-07-01 09:39:44 +00:00

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

toph/beloch!22

No description provided.