feat(emit): Crease names in FOLD output + diagram labels #5

Merged
toph merged 6 commits from feat/crease-names into main 2026-06-29 11:17:53 +00:00
Owner

Adds each named crease's bound name to the FOLD output and labels it on the rendered diagram. beloch:edges crease entries gain a "name" key — the bound name (e.g. "d1"), or null for an anonymous crease — alongside the existing axiom / sources / span. tools/fold2svg.mjs draws each named crease's --name on the line, with a white halo so it stays legible and never collides with the corner labels.

Additive metadata only — no existing field changes and no version bump (the in-flight axiom-5 PR #3 carries its own bump). Built on main; #3 rebases on top after this merges. 45 tests green.

Adds each **named** crease's bound name to the FOLD output and labels it on the rendered diagram. `beloch:edges` crease entries gain a `"name"` key — the bound name (e.g. `"d1"`), or `null` for an anonymous crease — alongside the existing `axiom` / `sources` / `span`. `tools/fold2svg.mjs` draws each named crease's `--name` on the line, with a white halo so it stays legible and never collides with the corner labels. Additive metadata only — no existing field changes and **no version bump** (the in-flight axiom-5 PR #3 carries its own bump). Built on `main`; #3 rebases on top after this merges. 45 tests green.
Author
Owner

Named creases now labelled on the diagram (--name, on the line, white halo):

x-midpoint.bel--d1 / --d2 (the two named diagonals):
x-midpoint

perp.bel--diag (the anonymous perp crease gets no label):
perp

Named creases now labelled on the diagram (`--name`, on the line, white halo): `x-midpoint.bel` — `--d1` / `--d2` (the two named diagonals): ![x-midpoint](https://git.toph.so/attachments/85fe7b30-f3f4-4ab5-96be-26a94c06f133) `perp.bel` — `--diag` (the anonymous `perp` crease gets no label): ![perp](https://git.toph.so/attachments/775708dc-df1e-4e18-8bde-2b796efc198b)
toph merged commit 4fdae95711 into main 2026-06-29 11:17:53 +00:00
toph deleted branch feat/crease-names 2026-06-29 11:17:55 +00:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
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!5
No description provided.