tools: fold2svg — render FOLD to SVG/PNG via Rabbit Ear #4

Merged

toph merged 3 commits from tooling/fold2svg into main 2026-06-29 10:07:57 +00:00

Conversation 1 Commits 3 Files changed 7 +837

toph commented 2026-06-29 09:57:49 +00:00

Owner

Copy link

A small dev tool: tools/fold2svg.mjs renders Beloch's FOLD output to SVG (or PNG) via Rabbit Ear — the downstream consumer named in decisions/0009. It also doubles as a check that our FOLD is RE-loadable.

bun install
dune exec beloch -- fold examples/bisect-a.bel | bun tools/fold2svg.mjs - bisect-a.png

Adds bun to the Nix devshell; node_modules is gitignored (deps reproduced from bun.lock). Pure tooling — no language or library change. Sample renders are on #3.

A small dev tool: `tools/fold2svg.mjs` renders Beloch's FOLD output to SVG (or PNG) via [Rabbit Ear](https://rabbitear.org) — the downstream consumer named in `decisions/0009`. It also doubles as a check that our FOLD is RE-loadable. ```sh bun install dune exec beloch -- fold examples/bisect-a.bel | bun tools/fold2svg.mjs - bisect-a.png ``` Adds `bun` to the Nix devshell; `node_modules` is gitignored (deps reproduced from `bun.lock`). Pure tooling — no language or library change. Sample renders are on #3.

diagonals.png

6.9 KiB

perp.png

6.9 KiB

diagonals-v2.png

15 KiB

perp-v2.png

12 KiB

toph added 2 commits 2026-06-29 09:57:49 +00:00

docs(plan): v0.4 axiom 5 implementation plan (Q->Num migration + bisect) 452202856f

tools: fold2svg — render FOLD to SVG/PNG via Rabbit Ear; bun in devshell e5e79e0d6b

toph commented 2026-06-29 09:58:07 +00:00

Author

Owner

Copy link

The tool on two existing examples — diagonals.bel (axiom 1) and perp.bel (axioms 1 + 3):

The tool on two existing examples — `diagonals.bel` (axiom 1) and `perp.bel` (axioms 1 + 3):  

toph added 1 commit 2026-06-29 10:02:38 +00:00

tools(fold2svg): thin strokes, padding, corner + per-axiom labels & legend bfe40959eb

toph merged commit 9d012abe70 into main 2026-06-29 10:07:57 +00:00

toph referenced this pull request from a commit 2026-06-29 10:07:59 +00:00

tools: fold2svg — render FOLD to SVG/PNG via Rabbit Ear (#4)

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!4

No description provided.