Repository navigation
Conversation
…s stops build-depending on the engine (Refs #5909) Refs #5912 PMAT-Ticket: PMAT-5909 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> PMAT-Batch: BATCH-aprender-n-receipt (cherry picked from commit 413e53b) (cherry picked from commit 733cbcb) (cherry picked from commit 89bb4c8) (cherry picked from commit f3caf02) (cherry picked from commit 0c2cc8a) (cherry picked from commit 47f8cf7) (cherry picked from commit 370cdd3) (cherry picked from commit 19e72f9) (cherry picked from commit 96e36e1) (cherry picked from commit ed9be88)
…core (Refs #5803) Refs #5804 PMAT-Ticket: PMAT-5803 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> PMAT-Batch: BATCH-aprender-n-receipt (cherry picked from commit dad2551) (cherry picked from commit 9ed0876) (cherry picked from commit 2f3c05a) (cherry picked from commit 63a2d8c) (cherry picked from commit 1d4dc37) (cherry picked from commit 24c119c) (cherry picked from commit 1fa5b48) (cherry picked from commit 615369e) (cherry picked from commit daa9be8) (cherry picked from commit 672eba5)
…s a LAB step (Refs #5502) Refs #5514 PMAT-Ticket: PMAT-5502 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> PMAT-Batch: BATCH-aprender-n-receipt (cherry picked from commit 40640c3; the PR-path step moved to guards-nightly) (cherry picked from commit dd2ed0b) (cherry picked from commit e1a32e7) (cherry picked from commit 13e775c) (cherry picked from commit eb77db3) (cherry picked from commit 121cff8) (cherry picked from commit bd7eabf) (cherry picked from commit 04e3e7d) (cherry picked from commit 2e39c26) (cherry picked from commit d1b6a7c)
) Squash of #5830, witness/contracts.nt/README regenerated on main. PMAT-Ticket: PMAT-5557 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> PMAT-Batch: BATCH-aprender-n-receipt-2 (cherry picked from commit 9301645) (cherry picked from commit 32896d9) (cherry picked from commit 8c748b2) (cherry picked from commit 2c75521) (cherry picked from commit 8c2a25b) (cherry picked from commit 89ff411) (cherry picked from commit ab1a493) (cherry picked from commit f297101) (cherry picked from commit ab4a55b) (cherry picked from commit 1a3e098)
Removing the feature from published aprender-compute 0.71.x is semver-breaking. It was already empty, so keeping `ml-tuner = []` costs nothing and removes the break. PMAT-Ticket: PMAT-5803 PMAT-Batch: BATCH-aprender-n-receipt Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> (cherry picked from commit 7db96ae) (cherry picked from commit c4c7357) (cherry picked from commit 73e28fa) (cherry picked from commit 514cbba) (cherry picked from commit 28df6ef) (cherry picked from commit d87153c) (cherry picked from commit 80c9194)
…-op (Refs #5803) PMAT-Ticket: PMAT-5803 PMAT-Batch: BATCH-aprender-n-receipt Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> (cherry picked from commit 89459cd) (cherry picked from commit 620a6a6) (cherry picked from commit cfc4793) (cherry picked from commit bcfddca) (cherry picked from commit a6b687e) (cherry picked from commit cfd38a1) (cherry picked from commit c146cec)
|
§13.11 rung 1 — quorum shadow verdict Shadow mode: this records a verdict and merges nothing. A refusal |
This was referenced Oct 23, 2026
noahgift
commented
Oct 23, 2026
noahgift
left a comment
Member
Author
There was a problem hiding this comment.
Seat 2 (aprender-w5018, claude-sonnet-5-5, non-author): APPROVE at 4fa3228 (#6097, epic n-receipt v21, gate content: guards-nightly.yml, ci/ rows 295/298, publish-order).
- 6 commits, 0 merges, 0 behind main, mergeable_state clean. Versus #6093 @c146cec2b3 the file set is identical and only two blobs differ: guards-nightly.yml (two comment lines reworded) and guards_nightly_manifest.txt (adds the parity row, rewords one comment). All other patches are byte-identical.
- The three v20 quorum findings are fixed: (1) comments no longer claim 296/297 "moved off"; they say the moved tests run from ci/explicit-test-commands.d 295 and 298, which both exist at this sha. (2) The parity ticket step ("A red parity-receipt night...", if: steps.lab_parity_receipts.outcome == failure) sits in the same guards-nightly job as the lab_parity_receipts step (single job). (3) guards_nightly_manifest.txt now lists "Parity-receipt count equals EXPECTED_RECEIPTS (verify mode, #5502, LAB)".
- Run in a scratch worktree at this sha: check_guards_nightly_manifest.sh ok (18 entries, each a step in the workflow); check_guards_are_wired.sh PASS (ratchet did not grow); check_tuner_test_move.sh --self-test 23 passed, 0 failed.
- C324: both new guards (parity verify, tuner test-move) run only in guards-nightly with a one-ticket LAB step each; nothing is added to the PR/MQ/release path. Not compiled locally; CI is the build evidence.
noahgift
commented
Oct 23, 2026
noahgift
left a comment
Member
Author
There was a problem hiding this comment.
Seat 2 (w5382, non-author): APPROVE @4fa3228311ad3376a95eb0215d6774d5218f6bde
Member
Author
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
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.
Replaces #6093 (v20 @c146cec2b3, quorum 2/3: 296/297 comments said tests "moved off" files main never had; parity ticket step not in the lab_parity_receipts job; parity step not in guards_nightly_manifest.txt). v21 @4fa3228311 (w5404, 6 commits, one PMAT-Ticket each, linear on main 73b9e63) fixes all three. Replaces #6089 (v19, DIRTY after #6076 landed; w5404 linear rebuild v20 @c146cec2b3 on main b7202f8, conflicts fixed in guards_nightly_manifest.txt and generated files regenerated). Replaces #6060 (v18 @a6b687e879; EMG-7 red from a merge commit: rebuilt linear by w5404, 6 commits on main 6289209, same content). v19 @cfd38a13d5. Replaces #6056 (v17, red on x86-main: check_ci_wait_cancel + guard-cargo, base behind main). v18 = the same six commits cherry-picked onto current main b558ade; check_ci_wait_cancel, check_ci_draft_skip, roadmap checks and check_bashrs_gate pass locally (rc 0). Earlier history follows.
EMG-001 epic n-receipt v20 (non-gate)
Replaces #6055 (v16; seat 2 found
crates/aprender-contracts-keyhad no README.md, FALSIFY-README-CRATE-001). v17 = v16 plus that README in the PMAT-5909 commit. Before that: replaces #6047 (v15). v16 is a linear rebuild on main ff20d93, 6 commits, one PMAT-Ticket each, no merge, no force. The SEC010 fix is folded into the PMAT-5803 commit that addsscripts/check_tuner_test_move.sh:( cd "$r" && cargo …)became( env -C "$r" cargo …), and the@file:read usesawk 1instead ofcat.scripts/check_bashrs_gate.shpasses locally (592 files, 0 SEC/DET/IDEM); guard self-test 23/23; real guard run passes. CI not run by the author. Earlier history: #6043 (v14) and #6035 were split from the gate-class affected-set READERS change (PMAT-6042 / #6042).env_keymoves to the new crateaprender-contracts-key; build.rs stops build-depending on the engine.parity_receipt_denominator.sh verifyruns in guards-nightly as a LAB step.ml-tuner = []stays in aprender-compute as a deprecated no-op feature, so the change is not a semver break; book page says so.New published crate:
aprender-contracts-key. Its first publish claims the crates.io name, so it must be in tier 1 of the publish order.Version: the tree is 0.71.3 (Cargo.toml on main); crates.io already has 0.71.4, so the release must bump past that.
Files in the diff: see the Files tab (list carried from #6047).
Refs #5502 #5809 #5803 #5909 #5557 (these 5 tickets were reopened at 00:3xZ per the cop, so this PR must not close them)
keep-open: #5502 #5809 #5803 #5909 #5557 were reopened on purpose and stay open; their follow-ups continue after this epic lands.
ont-delta: none no new type, shape or reason; epic fold of existing tickets
🤖 Generated with Claude Code
keep-open: #6060 is closed by wsweep as superseded.
keep-open: #6089 is closed by wsweep as superseded.
keep-open: #6093 is closed by wsweep as superseded.
Quorum checklist (author: w5404; all from git diff origin/main..HEAD)