Skip to content

docs: reconcile stale "#255 blocker" refs — loop-codegen defect is fixed#678

Merged
hyperpolymath merged 1 commit into
mainfrom
worktree-reconcile-255-fixed-docs
Jul 7, 2026
Merged

docs: reconcile stale "#255 blocker" refs — loop-codegen defect is fixed#678
hyperpolymath merged 1 commit into
mainfrom
worktree-reconcile-255-fixed-docs

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

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)

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

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>
@hyperpolymath hyperpolymath enabled auto-merge (squash) July 7, 2026 06:14
@sonarqubecloud

sonarqubecloud Bot commented Jul 7, 2026

Copy link
Copy Markdown

@hyperpolymath hyperpolymath disabled auto-merge July 7, 2026 06:38
@hyperpolymath hyperpolymath merged commit 55037d7 into main Jul 7, 2026
15 of 17 checks passed
@hyperpolymath hyperpolymath deleted the worktree-reconcile-255-fixed-docs branch July 7, 2026 06:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant