AILang

T

Brummel 97c1ed1f63 spec: loop-recur — standalone strict iteration construct

Brainstorm milestone spec for first-class additive Term::Loop /
Term::Recur (Approach A). De-bundled from the reverted
Iteration-discipline milestone: no structural-guardedness checker,
no Diverge effect — the half-enforced-dichotomy failure that sank
the original bundle is explicitly out of scope. recur has no
non-tail spelling (structural jump, by-construction stack safety).
verify_tail_positions left byte-unchanged; new private
verify_loop_body pass owns recur-tail-position checking. Feature
acceptance: all 3 clauses pass. Grounding-check Step 7.5: PASS,
9 ratified load-bearing assumptions. User-approved.

2026-05-17 22:15:55 +02:00

.claude

iter boss: /boss skill — autonomous-mode discipline gated to user invocation

2026-05-12 10:14:33 +02:00

bench

iter effect-doc-honesty: make the effect-system documentation true

2026-05-16 13:25:49 +02:00

crates

docs: correct stale mono.rs module header — pass is implemented, not a skeleton

2026-05-17 15:02:30 +02:00

docs

spec: loop-recur — standalone strict iteration construct