toph/beloch

Fork 0

feat: def/apply/export/step — reusable folding sequences, instances, panels #35

Merged

toph merged 22 commits from feat/step-defs into main

2026-07-03 00:39:22 +00:00

toph commented

2026-07-03 00:29:15 +00:00

Owner

Implements the revised step/macro design (docs/superpowers/specs/2026-07-02-step-macros-design.md): def never runs, apply is the only execution form and yields a retained instance, export reads without re-running, step is a display-only panel marker. Binding separator is now =; _-prefixed temps rebind and stay invisible in FOLD; duplicate binding is an error everywhere. Qualified access .[$i m] / --[$i m] gives collision-free FOLD names (i.m).

Breaking: : bindings no longer parse — all examples, tests and the spec (§5a, since v0.16-dev) are migrated.

Resolves #29, resolves #24.

Implements the revised step/macro design (docs/superpowers/specs/2026-07-02-step-macros-design.md): `def` never runs, `apply` is the only execution form and yields a retained instance, `export` reads without re-running, `step` is a display-only panel marker. Binding separator is now `=`; `_`-prefixed temps rebind and stay invisible in FOLD; duplicate binding is an error everywhere. Qualified access `.[$i m]` / `--[$i m]` gives collision-free FOLD names (`i.m`). Breaking: `:` bindings no longer parse — all examples, tests and the spec (§5a, since v0.16-dev) are migrated. Resolves #29, resolves #24.

cube-root-cp.png

20 KiB

cube-root-folded.png

22 KiB

def-diagonals-cp.png

16 KiB

toph added 22 commits

2026-07-03 00:29:16 +00:00

test: add test_num_close_roots_distinct for #23 9ab016737b

fix(num): select_root decides zero via isolating intervals (#23 ) 191dca5345

perf(num): continued-fraction rational-root search, drop trial division (#23 ) 30ead45f61

perf(poly): Descartes/VCA root isolation replaces Sturm bisection (#23 ) eab94a0315

test(num): epsilon-ladder regression for close-root isolation (#23 ) 7d43ce839e

perf(num): drop exact-compare sort of already-ascending real_roots (#23 ) 43b3c8b162

test(num)+docs: final-review follow-ups — nudge loop, boundary-root test, breadcrumbs (#23 ) 1ae7cac3d4

feat(syntax): change binding separator from :' to =' ba4ed37030

feat(syntax): allow .(l1 l2) and --(p1 p2) as shorthand binding RHS 1f197313e5

Desugar .(l1 l2) to Cross and --(p1 p2) to Through in parser actions;
no new AST node types added.

refactor(eval): replace flat hashtbls with scope-stack context 8313467107

Add scope/ctx types with innermost-first scope stack; thread ctx through
lookup_point, lookup_crease, bind_point, bind_crease helpers. Extract
eval_stmt as a named function. No behavior change — single-scope path is
identical to the old flat-hashtbl path. Adds test_scope_basic_lookup as
regression baseline.

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

feat(ast): tokens and AST types for def/apply/export/step 50945bcf26

feat(parser): parse def with sigil-typed params and restricted body 3422fe8540

feat(parser): parse apply and qualified member operands 0ed1501998

feat(parser): parse export entries and step panel markers 8f3ab48c91

feat(eval): error on silent rebinding; _-temps rebind and stay unnamed (#24 ) 62cda7c9fb

feat(eval): def table and apply with closed scope and retained instances c45f818fa9

feat(eval): qualified member access on instances a188d94c0f

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

feat(eval): export instance members with shadow and rename validation 11349ab7b6

feat(eval): step panel markers tagged into crease provenance and FOLD 75e7514b7d

feat(examples): cube-root with panels and temps; def demo; spec corpus 642d4eca1c

docs: sync README and language spec with def/apply/export/step f3278256aa

fix(eval)+docs: temp instances stay unnamed in FOLD; spec appendix matches real grammar a02fed0392

toph commented

2026-07-03 00:29:44 +00:00

Author

Owner

Screenshots of the examples this PR touches — cube-root.bel restructured with step panels + _-temps (folded state unchanged, render byte-identical to the reference), def-diagonals.bel new def/apply demo. Note the qualified crease names d1.d / d2.d in the second diagram — collision-free FOLD naming from repeated apply.

cube-root.bel — crease pattern / folded

def-diagonals.bel — crease pattern

Screenshots of the examples this PR touches — `cube-root.bel` restructured with `step` panels + `_`-temps (folded state unchanged, render byte-identical to the reference), `def-diagonals.bel` new def/apply demo. Note the qualified crease names `d1.d` / `d2.d` in the second diagram — collision-free FOLD naming from repeated `apply`. **cube-root.bel — crease pattern / folded** ![](https://git.toph.so/attachments/afff9294-f95f-4a6d-8720-a0f48055aff4) ![](https://git.toph.so/attachments/87d9c853-2ef8-45d3-a55f-f0c760c5557f) **def-diagonals.bel — crease pattern** ![](https://git.toph.so/attachments/4ab212d1-9510-483f-9749-701e361dc0e1)

toph merged commit 7d353f24ca into main

2026-07-03 00:39:22 +00:00

toph deleted branch feat/step-defs

2026-07-03 00:39:23 +00:00

toph referenced this pull request from a commit

2026-07-03 00:39:23 +00:00

feat: def/apply/export/step — reusable folding sequences, instances, panels (#35)

toph referenced this pull request

2026-07-03 00:40:41 +00:00

Anchor read_example to the source root #37

toph referenced this pull request

2026-07-03 00:40:57 +00:00