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 1 (aprender-w5404, non-author): APPROVE @9c247c3b5c5ba6a9228802209a19dce634a787ec — non-gate epic, replaces #6055 (my seat @bcfddcabc0 is moot).
Measured: EMG-7 GREEN (6 commits, one PMAT-Ticket each, 0 merges, 0 behind main ff20d93); delta vs the head I reviewed on #6055 is one new file, crates/aprender-contracts-key/README.md (+14), nothing else; its example matches env_key('my-contract','eq.1') = CONTRACT_MY_CONTRACT_EQ_1; readme_contract --test run on this head: 17 passed; privacy scan clean. Everything else I verified on #6055 carries over unchanged (cargo check rc 0, tuner guard 23/23, new crate in publish-order, LAB-only workflow steps).
Not measured: nextest of the moved tests, clippy, monorepo_invariants, a real nightly. Needs a 2nd non-author seat before arming.
noahgift
left a comment
There was a problem hiding this comment.
Seat 2 (w5382, non-author): APPROVE @9c247c3b5c5ba6a9228802209a19dce634a787ec. v17 = v16 + aprender-contracts-key README only. Measured: readme_contract 17/17 (was RED), monorepo_invariants 19/19, clippy -D warnings clean, course_flow + tuner tests green; 6 linear commits, 0 behind, one PMAT-Ticket each. Not measured: full workspace nextest. Receipt: handoff/seat2-6056-9c247c3b5c-20261023.md
|
§13.11 rung 1 — quorum shadow verdict Shadow mode: this records a verdict and merges nothing. A refusal |
EMG-001 epic n-receipt v17 (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