Skip to content

docs: drop obsolete .dev/checklist-jit-fuel-timeout.md#76

Merged
chaploud merged 1 commit intomainfrom
develop/drop-obsolete-jit-fuel-checklist
Apr 29, 2026
Merged

docs: drop obsolete .dev/checklist-jit-fuel-timeout.md#76
chaploud merged 1 commit intomainfrom
develop/drop-obsolete-jit-fuel-checklist

Conversation

@chaploud
Copy link
Copy Markdown
Contributor

Planning doc for completed work — all items shipped:

  • Phase A1 (JIT fuel back-edge): solved differently in commit `fec8d99` ("suppress JIT when fuel metering is active"); interpreter already calls `consumeInstructionBudget` at branch sites (`vm.zig:975, 4628, 5847`).
  • Phase B1 (`TimeoutExceeded` / `consumeInstructionBudget` / `setDeadlineTimeoutMs`): present in `src/vm.zig`.
  • Phase B2 (`--timeout ` CLI option): `src/cli.zig:174,323`.
  • PR Add timeout trap support #6 ("Add timeout trap support"): MERGED.

No other doc referenced the checklist (verified via repo-wide grep). Removing it stops the file from competing with `.dev/checklist.md` as the open-work source of truth.

Pure deletion. No code paths, build, or test changes.

Test plan

  • `grep -rn checklist-jit-fuel-timeout` returns no remaining references
  • All work items individually verified present in `src/vm.zig` / `src/cli.zig`
  • PR Add timeout trap support #6 verified MERGED via `gh pr view`
  • CI green on this branch

Planning doc for completed work — all items shipped:

- Phase A1 (JIT fuel back-edge): solved differently in
  commit fec8d99 ("suppress JIT when fuel metering is active");
  interpreter already calls `consumeInstructionBudget` at branch
  sites (vm.zig:975, 4628, 5847).
- Phase B1 (TimeoutExceeded / consumeInstructionBudget /
  setDeadlineTimeoutMs): present in src/vm.zig.
- Phase B2 (`--timeout <ms>` CLI option): src/cli.zig:174,323.
- PR #6 ("Add timeout trap support"): MERGED.

No other doc referenced the checklist (verified via grep across
the repo). Removing it stops the file from competing with
.dev/checklist.md as the open-work source of truth.
@chaploud chaploud merged commit 2083573 into main Apr 29, 2026
8 checks passed
@chaploud chaploud deleted the develop/drop-obsolete-jit-fuel-checklist branch April 29, 2026 05:49
chaploud added a commit that referenced this pull request Apr 29, 2026
…fresh (#77)

- CHANGELOG.md [Unreleased]: tag the Plan C-a/b/c/d/e/f and W52
  entries with their PR numbers (#68/#69/#71/#70/#72/#74) so the
  next /release roll-up has authoritative provenance; add D137 to
  the Internal section (cross-platform stripping + per-OS size
  ceilings, recorded post-#73); add one-line entries for the
  doc-alignment sweep (#75) and the obsolete-checklist drop (#76).
- .dev/memo.md ## Current Task: append #74/#75/#76 to the post-
  morning PR list (was "Six new PRs", now "Nine"); replace the
  "in flight: #74" paragraph with #74 in the merged list; bump
  bench-record range to #68..#76. The "Plan B sub-3 / W50 still
  pending" pointer through resume-guide.md remains intact.

No behaviour change. Doc-only.
chaploud added a commit that referenced this pull request Apr 29, 2026
Three independent micro-fixes bundled (each ≤3 lines):

- .dev/memo.md ## Current Task: bumped "Nine" → "Eleven", appended
  #77 / #78 to the merged-PR list; bench-record range #68..#76#68..#78. (N1)
- CHANGELOG.md [Unreleased] Internal: added README front-page
  update entry tagged (#78). The Plan C-* / W52 / D137 / #75 / #76
  entries from the prior PRs are unchanged. (N2)
- .github/workflows/nightly.yml:51: switched the E2E step from
  `bash test/e2e/run_e2e.sh` to `python3 test/e2e/run_e2e.py`,
  matching ci.yml:109 and CLAUDE.md's authoritative form. The .sh
  is just `exec python3 …py`, so behaviour is identical. (N3)

No code, build, or test behaviour changes.
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