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)
…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)
…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)
) 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)
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)
…-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)
|
§13.11 rung 1 — quorum shadow verdict Shadow mode: this records a verdict and merges nothing. A refusal |
This was referenced Oct 23, 2026
Member
Author
This was referenced Oct 23, 2026
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 #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 v19 (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.