plan: it.1 loop/recur additive — 8 tasks, stub-then-fill mirroring mut.1

Browse Source

Boss-resolved design decisions baked in (DD-1 loop_stack in synth like
mut.2's mut_scope_stack + RecurNotInTailPosition in verify_tail_positions;
DD-2 LoopBinder derives = MutVar's, no PartialEq; DD-3 stub-then-fill
sequencing). Recon-enumerated walker-arm site list incl. the test-side
exhaustive match (codegen_import_map_fallback_pin.rs:62) mut.1's plan
missed. it.2/it.3 explicitly out of scope.

...

This commit is contained in:

Brummel

2026-05-15 13:49:53 +02:00

parent fda9b78e9f

commit 7381a4233b

1 changed files with 1055 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

docs/plans/2026-05-15-iter-it.1.md

+1055

File diff suppressed because it is too large Load Diff