Repository navigation
docs: roadmap status and changelog cleanup - #253
Conversation
…sim CI changelog bullet
🤖 Gemini Code ReviewLooks good to me. The duplicate Automated review by Gemini · gemini-4-argon · custom prompt |
🤖 Claude Code ReviewReview: 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.mdGood: This removes the duplicated 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:
ROADMAP.mdSame 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:
Line ~31, wording: "fixes ethrex's 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 VerdictApprove once the hardcoded "19" is dropped or deduplicated. The remaining points are optional polish. Automated review by Claude · claude-opus-5-5 · custom prompt |
🤖 Grok Code ReviewDocumentation-only PR. No runtime, concurrency, or lifecycle changes to review. Stale count. Both Changelog cleanup looks fine. Dropping the shorter duplicate No correctness or memory-safety issues in this diff. Automated review by Grok (xAI) · grok-4.7 · custom prompt |
🤖 DeepSeek Code ReviewLGTM — 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:
No other concerns from this diff. Automated review by DeepSeek · deepseek-v4-pro · custom prompt |
🤖 Kimi Code ReviewNo blocking issues found. The changes are documentation-only, so there are no runtime or concurrency concerns. Removing the duplicate Minor maintainability — Automated review by Kimi (Moonshot AI) · kimi-k3.1-pro · custom prompt |
🤖 Codex Code ReviewNo findings. This PR only updates Tests were not run because the changes are documentation-only. Automated review by OpenAI Codex · gpt-6.1-sol · custom prompt |
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).
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
simCI bullet from CHANGELOG Unreleased and notes that the merge queue runs all 19 required checks.