Skip to content

docs: roadmap status and changelog cleanup - #253

Merged
unbalancedparentheses merged 1 commit into
mainfrom
docs/status-nov11
Nov 11, 2026
Merged

unbalancedparentheses merged 1 commit into
mainfrom
docs/status-nov11

Conversation

@unbalancedparentheses

Copy link
Copy Markdown
Contributor

Brings the ROADMAP "Where we are" section up to v0.7.2, v0.7.3 and v0.8 in progress (with the final-review status), the next feature (#245) and the merge-queue and no-default-cost process rules. Removes a duplicated sim CI bullet from CHANGELOG Unreleased and notes that the merge queue runs all 19 required checks.

@unbalancedparentheses
unbalancedparentheses marked this pull request as ready for review November 11, 2026 14:31
@github-actions

Copy link
Copy Markdown

🤖 Gemini Code Review

Looks good to me. The duplicate sim CI entry in CHANGELOG.md is cleaned up and the ROADMAP.md updates are clear and accurate.


Automated review by Gemini · gemini-4-argon · custom prompt

@github-actions

Copy link
Copy Markdown

🤖 Claude Code Review

Review: PR #253 (docs-only: CHANGELOG + ROADMAP)

There are no code changes, so correctness, concurrency, and safety concerns don't apply. The cleanup is good. I have a few maintainability notes.

CHANGELOG.md

Good: This removes the duplicated sim CI entry (old lines 11–13). The longer entry it keeps is a superset of the removed one. It also removes the stray blank line inside the bullet list, so the list stays tight.

Nit (line ~18–20): The hardcoded count, "all 19 required checks", will go stale as soon as a check is added or removed. Nothing in CI enforces this number. Consider one of:

  • "runs all required checks (including sim) on the merged result…", or
  • linking to the branch-protection or ruleset config instead.

ROADMAP.md

Same count issue (line ~43): "19 required checks" repeats the number here, so it now has to be kept in sync in two places. I'd drop it from both, or at least from one.

Volatile status in a roadmap (lines ~36–40): The v0.8 bullet includes point-in-time review findings:

This will be wrong as soon as #240 lands. The PR description, or a tracking issue linked from here, is a better home for it. Suggested wording:

v0.8 (in progress): deferred replies and pipe-to-self (rank 11, PR #239) and OTP exit signals, startup and runtime-drop semantics (ranks 5e, 5f, 5g, PR #240). Remaining pre-release review findings are tracked in #240. Client ports are ready on the clients' spawned-v0.8 branches.

Line ~31, wording: "fixes ethrex's rpc:: stack overflow" reads awkwardly. rpc:: looks like a truncated path. Either name the module or function (e.g. rpc::<handler>), or say "fixes a stack overflow in ethrex's RPC actors".

Line ~35, external claim: "Ethrex and Ethlambda run 0.7.3 in their draft PRs and on canary nodes" is a deployment claim that will drift. If you keep it, consider linking the draft PRs so a reader can verify it.

Line ~44, anchor: Please confirm that [Non-goals](#non-goals) resolves. It requires a ## Non-goals heading (exact text) in ROADMAP.md, and that heading isn't visible in this diff.

Verdict

Approve once the hardcoded "19" is dropped or deduplicated. The remaining points are optional polish.


Automated review by Claude · claude-opus-5-5 · custom prompt

@github-actions

Copy link
Copy Markdown

🤖 Grok Code Review

Documentation-only PR. No runtime, concurrency, or lifecycle changes to review.

Stale count. Both CHANGELOG.md (merge-queue bullet) and ROADMAP.md (Process bullet) hardcode “19 required checks.” That number will drift as jobs are added or renamed, and this diff does not show the workflow files that would confirm it. Prefer “all required checks, including sim” unless the count is generated or clearly tied to a snapshot.

Changelog cleanup looks fine. Dropping the shorter duplicate sim bullet and keeping the fuller description (integration tests, one process per test, timeout, stack_budget compiled out) is the right edit.

No correctness or memory-safety issues in this diff.


Automated review by Grok (xAI) · grok-4.7 · custom prompt

@github-actions

Copy link
Copy Markdown

🤖 DeepSeek Code Review

LGTM — this PR is documentation-only and doesn’t touch any Rust source, so there are no correctness, concurrency, memory-safety, or actor-lifecycle issues to flag.

One small non-blocking note:

  • CHANGELOG.md (modified merge-queue bullet, around line 21): “which runs all 19 required checks” hard-codes the current CI check count. This is fine now, but it will silently become stale if CI checks are added/removed. Consider wording it as “all required checks” or “the full required check suite” instead of “all 19 required checks”.

No other concerns from this diff.


Automated review by DeepSeek · deepseek-v4-pro · custom prompt

@github-actions

Copy link
Copy Markdown

🤖 Kimi Code Review

No blocking issues found. The changes are documentation-only, so there are no runtime or concurrency concerns. Removing the duplicate sim CI entry from the changelog is also appropriate.

Minor maintainability — ROADMAP.md:43-45 and CHANGELOG.md:18-20: The exact count of “19 required checks” is duplicated and can quickly become stale as workflows change. Consider keeping the count only in the historical changelog entry and wording the roadmap as “all required checks, including sim,” optionally linking to the merge-queue or branch-protection configuration.


Automated review by Kimi (Moonshot AI) · kimi-k3.1-pro · custom prompt

@github-actions

Copy link
Copy Markdown

🤖 Codex Code Review

No findings. This PR only updates CHANGELOG.md and ROADMAP.md; it introduces no runtime, concurrency, lifecycle, or memory-safety changes. The documented merge_group triggers and sim job are present in the workflows.

Tests were not run because the changes are documentation-only.


Automated review by OpenAI Codex · gpt-6.1-sol · custom prompt

@unbalancedparentheses
unbalancedparentheses added this pull request to the merge queue Nov 11, 2026
Merged via the queue into main with commit ca0d3ef Nov 11, 2026
51 checks passed
@unbalancedparentheses
unbalancedparentheses deleted the docs/status-nov11 branch November 11, 2026 14:54
unbalancedparentheses added a commit that referenced this pull request Nov 11, 2026
Brings #238, #241-#244, #246, #248, #249, #253 and #254 into the 0.8
stack. Conflicts:
- verification.yml: main's split TLA+ legs and trace-only validation,
  recording this branch's extra trace suites (job, reply, lifecycle).
- CHANGELOG.md, docs/TESTING.md: both sides kept.
- semantics.md: main's "Checked by" coverage entries kept and merged with
  this branch's (death boundary, exit signals); D3 and T4 keep this
  branch's wording (NoProc past the death point, request clocks).
- coverage-model.json.gz: regenerated by trace_coverage.py against the
  merged models (the cache was stale for both sides).
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