Commit 55037d7
## What
Issue **#255** (`for-in`/`while` loop bodies never execute in compiled
wasm) was fixed in **PR #257** (commit `85488d74`, an ~8-line
array-offset correction) and **closed 2026-05-19**. Verified on current
`main`: freshly compiled loops execute their bodies (`while`→55,
`for`→15, the exact #255 combo fixture→34).
But several roadmap docs still advertised #255 as a **live runtime
blocker**, falsely gating **INT-08** (DOM reconciler #183), **INT-11**
(browser parity), and the DOM bindings row on a resolved bug.
## Fix — 7 references reconciled (docs-only)
- `docs/ECOSYSTEM.adoc` — satellite registry + INT-08/INT-11 rows
- `docs/bindings-roadmap.adoc` — DOM row #7
- `docs/TECH-DEBT.adoc` — INT-08 row
Honest reconciliation: states #255 is fixed (PR #257, closed 2026-05-19)
and marks the DOM/INT-08 **end-to-end runtime as "to be re-verified"**
rather than asserting it runs (not driven end-to-end in this change).
## Why it matters
A false "blocked" on the roadmap misdirects effort — it implies
INT-08/INT-11/DOM need a codegen fix that already shipped. Removing it
clarifies that the next step there is *runtime re-verification*, not a
bug fix.
## Verification (real toolchain — dune 3.24.0)
```
BUILD_EXIT=0
OK: doc-truthing intact — presence invariants + over-claim ratchet (DOC-04/05/08/09).
OK: soundness ledger — all 5 properties hold.
```
🤖 Generated with [Claude Code](https://claude.com/claude-code)
Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
1 parent e794955 commit 55037d7
3 files changed
Lines changed: 17 additions & 12 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
148 | 148 | | |
149 | 149 | | |
150 | 150 | | |
151 | | - | |
152 | | - | |
| 151 | + | |
| 152 | + | |
| 153 | + | |
| 154 | + | |
153 | 155 | | |
154 | 156 | | |
155 | 157 | | |
| |||
168 | 170 | | |
169 | 171 | | |
170 | 172 | | |
171 | | - | |
172 | | - | |
| 173 | + | |
| 174 | + | |
173 | 175 | | |
174 | 176 | | |
175 | 177 | | |
| |||
268 | 270 | | |
269 | 271 | | |
270 | 272 | | |
271 | | - | |
272 | | - | |
| 273 | + | |
| 274 | + | |
| 275 | + | |
273 | 276 | | |
274 | 277 | | |
275 | 278 | | |
276 | 279 | | |
277 | 280 | | |
278 | 281 | | |
279 | | - | |
280 | | - | |
| 282 | + | |
| 283 | + | |
| 284 | + | |
281 | 285 | | |
282 | 286 | | |
283 | 287 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
423 | 423 | | |
424 | 424 | | |
425 | 425 | | |
426 | | - | |
| 426 | + | |
| 427 | + | |
427 | 428 | | |
428 | 429 | | |
429 | 430 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
84 | 84 | | |
85 | 85 | | |
86 | 86 | | |
87 | | - | |
88 | | - | |
| 87 | + | |
| 88 | + | |
89 | 89 | | |
90 | | - | |
| 90 | + | |
91 | 91 | | |
92 | 92 | | |
93 | 93 | | |
| |||
0 commit comments