Commit d9e7172
docs: reconcile stale "#255 blocker" refs — loop-codegen defect is fixed
Issue #255 (for-in/while loop bodies never execute in compiled wasm) was
fixed in PR #257 (commit 85488d7, an ~8-line array-offset correction) and
the issue was closed 2026-05-19. Verified on current main: freshly compiled
loops execute their bodies (while->55, for->15, the #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. Reconciled 7 references across:
- docs/ECOSYSTEM.adoc (satellite registry + INT-08/INT-11 rows)
- docs/bindings-roadmap.adoc (DOM row #7)
- docs/TECH-DEBT.adoc (INT-08 row)
Reconciliation is honest: 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 here). Docs-only.
Verified (dune 3.24.0): dune build exit 0, doc-truthing intact, soundness
ledger all-5-properties hold.
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>1 parent e794955 commit d9e7172
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