feat(axiom3): Perpendicular through a point (`perp --l through .p`) #1

Merged

toph merged 8 commits from v0.2-axiom3 into main

2026-06-29 07:07:47 +00:00

toph commented

2026-06-29 06:55:14 +00:00

Owner

Adds classic Huzita-Justin axiom 3 — the fold through a point, perpendicular to a line — as perp --l through .p. Exact ℚ throughout (the perpendicular to a rational line through a rational point stays rational), wired through lexer → parser → evaluator with axiom3 provenance, plus an example and an end-to-end faces test. Version → 0.2.0-dev.

Also corrects a numbering mislabel found during design: classic axiom 3 is the perpendicular-through-a-point (Hull's O5), not the angle bisector. The bisector is axiom 5 (Hull's O4) and is the first axiom to leave ℚ, so decisions/0008 stands unchanged. Recorded in antipatterns.md and spec/SPECIFICATION.md §1, grounded in [justin1986] §8.1.

34 tests green.

Adds classic Huzita-Justin axiom 3 — the fold through a point, perpendicular to a line — as `perp --l through .p`. Exact ℚ throughout (the perpendicular to a rational line through a rational point stays rational), wired through lexer → parser → evaluator with `axiom3` provenance, plus an example and an end-to-end faces test. Version → `0.2.0-dev`. Also corrects a numbering mislabel found during design: classic axiom 3 is the perpendicular-through-a-point (Hull's O5), **not** the angle bisector. The bisector is axiom 5 (Hull's O4) and is the first axiom to leave ℚ, so `decisions/0008` stands unchanged. Recorded in `antipatterns.md` and `spec/SPECIFICATION.md` §1, grounded in `[justin1986]` §8.1. 34 tests green.

toph added 8 commits

2026-06-29 06:55:14 +00:00

docs(plan): v0.2 axiom 4 design; record axiom-3-breaks-ℚ finding 1d78bc7895

docs(plan): v0.2 axiom 3 (perp through point); correct axiom-numbering mislabel 009aa7ddcf

feat(geom): perpendicular_through — line through a point, perpendicular to a line 1ac0afc0e4

feat(axiom3): perp .p --l — perpendicular through a point 565ca4c445

feat(axiom3): example + e2e; bump to 0.2.0-dev 992a3bc3de

docs(axiom3): spec section, numbering correction, journal c05c57c5e6

test(axiom3): look up perp crease by provenance, not list index 8fd496649a

refactor(axiom3): line-first syntax perp --l through .p 9194c68ae9

toph merged commit 62c606e0f8 into main

2026-06-29 07:07:47 +00:00