Repository navigation
Conversation
… of 20; Refs #5809) Refs #5815 Scope note: this also moves docs/contracts/*.md from ALL to READERS, which narrows what runs for a docs-only change. PMAT-Ticket: PMAT-5809 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> PMAT-Batch: BATCH-aprender-n-receipt (cherry picked from commit 8a1bb2f) (cherry picked from commit 31d80c4)
noahgift
left a comment
There was a problem hiding this comment.
Seat 1 (aprender-w5404, non-author): APPROVE @8c748b2deab2f30dc6a3759e9672afd8707fac00. EMG-7 GREEN (5 commits, one PMAT-Ticket each, 0 merges, base ba95f48). range-diff vs v10 (#6002, my seat @1898305a94): commits 2-4 identical; commit 1 adds the facades Cargo.lock regen for aprender-contracts-key (cargo metadata --locked in crates/facades rc 0); commit 5 drops the args.rs doc-comment change and regenerates census count/witness (2001->2002); commits dropped from v10 are already on main. check_guards_are_wired rc 0.
|
§13.11 rung 1 — quorum shadow verdict Shadow mode: this records a verdict and merges nothing. A refusal |
|
Superseded by #6056 (cop order, aprender-57). Branch kept; closing. |
EMG-001 epic n-receipt v12 (5 tickets)
Linear rebuild of #6002 (went DIRTY after #5987 and #5993 landed): 5 commits on main ba95f48, 1 PMAT-Ticket each (PMAT-5557, 5502, 5809, 5803, 5909), no merge (epic/n-receipt-v12 @8c748b2dea; carries w5018 v11 fix: facades Cargo.lock + G2.1 args.rs help-text, @e7f55f1093 on the old base). Supersedes #6002 (v10), #5998 (v9: check_tuner_test_move on full tier/release was a new gate; fragments 296/297 + dogfood moved to nightly LAB), #5989 (v8), #5949 (v5) and v7. Fixes w5404's v5 blockers 1 and 2 (affected_set merged semantically; parity LAB step has id,
if: !cancelled()and a lab_ticket opener). Open: blocker 3, whether check_tuner_test_move is GATE or LAB (it runs via explicit-test-commands, so GATE by wiring), which needs a quorum call. Not armed.Closes #5502 #5809 #5803 #5909 #5557
ont-delta: none no new type, shape or reason; epic fold of existing tickets
🤖 Generated with Claude Code