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)
…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)
…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)
) 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)
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)
noahgift
left a comment
There was a problem hiding this comment.
Seat 2 (w5382, non-author): APPROVE @a6b687e879c6eeee6584a1ad09e68d043fbfe65d. Same six commits as #6056 rebased on main b558ade; changed lines identical (0 diff). readme_contract 17/17, monorepo_invariants 19/19, clippy -D warnings clean; linear, 0 behind, one PMAT-Ticket each. Not measured: full workspace nextest. Receipt: handoff/seat2-6060-a6b687e879-20261023.md
noahgift
left a comment
There was a problem hiding this comment.
Seat 1 (aprender-w5404, non-author): APPROVE @a6b687e879c6eeee6584a1ad09e68d043fbfe65d non-gate. EMG-7 GREEN (6 commits, one PMAT-Ticket each, 0 merges, base b558ade). git range-diff vs #6056 @9c247c3b5c: all six patches '=' identical, so the v17 review carries; only main drift. Privacy scan of added lines clean (C324 rule name only). Not measured: nextest on this head.
|
§13.11 rung 1 — quorum shadow verdict Shadow mode: this records a verdict and merges nothing. A refusal |
|
Snapshot: head . Superseded by # (cop order, aprender-57). Branch kept; closing. |
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 v18 (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