AILang

Files

T

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

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.

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

journals

fix: mut-local diagnostics doubled the [code] prefix in human stderr (fieldtest F2)

2026-05-15 10:13:50 +02:00

plans

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

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

specs

spec: iteration-discipline milestone — structural recursion + named loop/recur; tail-app retired

2026-05-15 13:37:16 +02:00

DESIGN.md

design: feature-acceptance criterion clause 3 + iteration-discipline roadmap milestone