Repository navigation
docs(release): plan v0.1.619 (core) and v0.1.620 (look-ahead), with its quorum receipt (Refs #2124) - #2168
Merged
Conversation
…epic split, with its quorum receipt (Refs #2124) Nothing has been tagged since v0.1.618 (2026-07-30). The rows of both epic #2124 and epic #2125 landed on main from 2026-09-23 to 2026-09-25. v0.1.619 is the next tag. Its CORE rows: reconcile the ledger, land the nightly schedule (#2167), move the seven non-blocking PR jobs to the night run, repo hygiene (waiting on the owner), release mechanics, and the pre-publish gates on a clean-room binary. v0.1.620's LOOK-AHEAD rows re-verify #2125 on the release, add a nightly binary (#2149), add `xpile update` (#2153), and request promotions. Planted quorum: 4 rounds, 3 lanes (claude-sonnet-5-5 x2, claude-haiku-4-5; degraded: same-family). Every round refused its plant (3,3,3,2 of 3). next_tag PASS 3/3 in every round. The receipt is in docs/audits/. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Plans the next tagged release as one epic split: v0.1.619 (CORE) and v0.1.620 (LOOK-AHEAD). This is docs only:
docs/specifications/sub/release-v0.1.619-plan.mdplus its quorum receipt,docs/audits/quorum-release-v0.1.619-plan.json. No tag is created, moved or deleted.Why now. Nothing has been tagged since
v0.1.618(2026-07-30), and there are 59 commits on main since. Rows of both epic #2124 and epic #2125 merged from 2026-09-23 to 2026-09-25, but their ledger rows still readinprogress.CORE (v0.1.619):
kani,lake-build,docs,wasi,lean-models,shader-validate,license-scan) to the night run. The required set is measured asgate+workspace-test; no blocking check is added or removed.LOOK-AHEAD (v0.1.620): re-verify #2125 on the release, a nightly binary (#2149),
xpile update(#2153), and promotion requests.Quorum. Planted, 4 rounds × 3 lanes (claude-sonnet-5-5 ×2, claude-haiku-4-5; degraded: same-family; author claude-opus-5-5). Each round's plant was refused by 3, 3, 3 and 2 of the 3 lanes.
v0.1.619got PASS 3/3 in every round. The split was revised after each round, and the round-4 wording fixes are applied.Measured on a clean build host at
d7b86815(main): fmt and check clean.cargo test --workspacehas 2 failing targets while CI on the same sha is green:xpile --test rustdoc_published_page_witness: five#[doc(hidden)]proof_seamsitems from 19b9d68 link to privatesuper::items. This reproduces with a freshTMPDIR.xpile-wasm-codegen --test sqrt_num_builtin_witness: it asserts CPython's oldermath domain errortext, and the host's CPython printsexpected a nonnegative input.Neither failure is caused by this PR. On this branch,
-p xpilegives the same single failure, so the new doc reds no witness.Refs #2124 #2125
🤖 Generated with Claude Code