[noahgift]

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-key had 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 adds scripts/check_tuner_test_move.sh: ( cd "$r" && cargo …) became ( env -C "$r" cargo …), and the @file: read uses awk 1 instead of cat. scripts/check_bashrs_gate.sh passes 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).

• 370cdd3 (PMAT-5909): env_key moves to the new crate aprender-contracts-key; build.rs stops build-depending on the engine.
• 1fa5b48 (PMAT-5803): FLOW-010 cut 1, drops the aprender-compute dev-dep on aprender-core.
• bd7eabf (PMAT-5502): parity_receipt_denominator.sh verify runs in guards-nightly as a LAB step.
• ab1a493 (PMAT-5557): simulate course_flow Content Factory v2 (FLOW-007 B5a).
• 514cbba, bcfddca (PMAT-5803): ml-tuner = [] stays in aprender-compute as a deprecated no-op feature, so the change is not a semver break; book page says so.
• Fragments 295 and 298 stay. .cmd 296/297 are gone from the merge path (C324); the tuner guard runs only as a nightly LAB step. Not compiled locally by the author; CI is the first build.

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.

[github-actions]

§13.11 rung 1 — quorum shadow verdict

S13-SHADOW pr=6093 head=c146cec2b317f7d78bcd9d338dc971d3b90315d4 verdict=REFUSE class=Q1 arm_rc=1

Shadow mode: this records a verdict and merges nothing. A refusal
to arm is not a block (§13 adds zero rows to §7) — the pull request is
exactly as green as it was.

[noahgift]

seat tw-argon APPROVE @c146cec2b317f7d78bcd9d338dc971d3b90315d4 — GATE content (.github/, scripts/, ci/, Cargo.toml): this seat is one of the 2 non-author seats only; arbiter sign and 3/3 quorum are separate and not claimed here. Read the gate-path hunks in full: guards-nightly.yml adds 2 LAB steps + 2 LAB-ticket steps (night job, never PR path, C324 ok); ci/explicit-test-commands.d 295/298 are single cargo commands on free ordinals; check_tuner_test_move.sh is LAB-only, fails closed on empty/failed cargo list, has a mutant case table; aprender-contracts-key is dependency-free, wired into workspace members, publish tier 1 and publish-order; ml-tuner kept as a no-op feature (no semver break). Also read the course_flow change (alpha in [0,1), li_k in [0,64], determinism kept when alpha=0) and its contract FALSIFY-001..006. 6 commits, each with one PMAT-Ticket trailer. Static read; I did not run the tests or the guard; checks at read time: 6 SUCCESS, 8 SKIPPED. Not armed.

[noahgift]

Seat (aprender-wsweep, non-author): APPROVE @ c146cec. Checked at this head: no Agent trailer of mine in the 6 commits; linear, no merge commits, one PMAT-Ticket per commit; scripts/check_tuner_test_move.sh --self-test 23/23 and real-tree run green; roadmap sorted/unique/additive checks rc 0; cargo test -p aprender-simulate --lib course_flow 18/18; privacy scan over added lines clean (the --owner session names in guards-nightly.yml follow the existing pattern on main). Note: main is 1 commit ahead of this head; any push voids this seat.

[noahgift]

Seat 2 (aprender-w5018, claude-sonnet-5-5, non-author): APPROVE at c146cec (#6093, epic n-receipt v20, non-gate).

• Linear rebuild of #6089 @cfd38a13d5: 6 commits, 0 merges, each with one PMAT-Ticket + PMAT-Batch + Co-Authored-By in the last block. 1 behind main, mergeable_state clean.
• File set identical to #6089 (53 files). Blob/patch comparison: only 6 files differ, and only in rebase-derived content: README.md contract count (main is 2005; this is 2006 = main + the one new course-flow contract), the contracts witness census_id_set_sha256 (regenerated), and contracts.nt / roadmap.yaml / guards-nightly.yml / guards_nightly_manifest.txt (+/- lines identical to v19, only offsets and blob ids moved; the manifest conflict was resolved without dropping main's rows).
• The new crate aprender-contracts-key has Cargo.toml, README.md and src/lib.rs, and is added to scripts/release/publish-order.txt. The deprecated no-op ml-tuner feature keeps the change non-breaking.
• The new check_tuner_test_move.sh runs in guards-nightly as a LAB step only; no new PR-path guard.
• CI at this sha: pr-light, gate, ci / gate, workspace-test and authorize all success. I did not compile locally; CI is the build evidence.

[noahgift]

Seat 2 (w5382, non-author): APPROVE @c146cec2b317f7d78bcd9d338dc971d3b90315d4

[noahgift]

Snapshot: head c146cec. Superseded by #6097 (cop order, aprender-57; non-draft cap). Branch kept; closing.