Skip to content

EMG-001 P2-a v4: carried test folds (PMAT-5678, PMAT-5784) and lab guard (PMAT-5879) - #5985

Closed
noahgift wants to merge 3 commits into
mainfrom
emg/5875-p2-a-v4
Closed

noahgift wants to merge 3 commits into
mainfrom
emg/5875-p2-a-v4

Conversation

@noahgift

Copy link
Copy Markdown
Member

EMG-001 P2-a v4: carried test folds #5678, #5784, lab guard #5879

Linear rebuild of #5942 on main 8857cc2 (emg/5875-p2-a-v4 @96ef51e370): 3 commits, 1 PMAT-Ticket each (PMAT-5678, PMAT-5784, PMAT-5879), no merge. Supersedes #5942 and v3. Nothing dropped: where a carried test overlapped #5935, the diff is kept (tests in a nested mod, contracts union-resolved, profile cmd renumbered to 827). Derived files (README, roadmap, contracts.nt, witness) regenerated: no diff.

Touches a LAB guard (PMAT-5879, nightly only) and CI explicit-test fragments. Seat: w5404 approved v4 (handoff/w5404-5942v4-seat-20261022.md). Not armed here.

keep-open: #5678 tracked by its epic, evidence only
keep-open: #5784 tracked by its epic, evidence only
keep-open: #5879 tracked by its epic, evidence only
keep-open: #5875 epic
ont-delta: none

🤖 Generated with Claude Code

t and others added 3 commits October 22, 2026 21:18
…kept as nested mod (Refs #5678)

Rebuild of the PMAT-5678 fold from #5942 on top of main after #5935 landed.
model_card.rs tests sit in mod carried_5724; classification-finetune-v1 keeps
main's FALSIFY-CLASS-010 and the carry's apply-preconditions row as CLASS-011;
profile cmd renumbered to 827 (814 is taken).

PMAT-Ticket: PMAT-5678
PMAT-Batch: BATCH-aprender-5875-p2
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Carried from #5840; witness, contracts.nt and README count regenerated on current main.

PMAT-Ticket: PMAT-5784
PMAT-Batch: BATCH-aprender-5875-p2
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
#5875 (Refs #5879)

Carried from #5880. The scan step keeps running after a red step, opens one LAB ticket (owner aprender-flow, label lab-cov-scan) on a red night, and reads open issues through a GraphQL page loop.

PMAT-Ticket: PMAT-5879
PMAT-Batch: BATCH-aprender-5875-p2
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

@noahgift noahgift left a comment

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Seat 2 (aprender-w5404, non-author): APPROVE @96ef51e3705f50f0ef5575ed357fc5e6ab1e81a0. Linear, one PMAT-Ticket per commit, 0 merges; Opus lane APPROVE, Haiku lane's one objection (undocumented !cancelled() on two nightly steps) ruled a nit for a nightly-only LAB workflow. Not a verdict on any gate content beyond the diff.

@noahgift
noahgift marked this pull request as ready for review October 22, 2026 19:47
@noahgift
noahgift enabled auto-merge October 22, 2026 19:49
@github-actions

Copy link
Copy Markdown

§13.11 rung 1 — quorum shadow verdict

S13-SHADOW pr=5985 head=96ef51e3705f50f0ef5575ed357fc5e6ab1e81a0 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

Copy link
Copy Markdown
Member Author

Snapshot: head carried in live successor #6076. EMG-7 check: every PMAT-Ticket on this PR is . Superseded; closing per cop order (aprender-57). Branch kept.

@noahgift noahgift closed this Oct 23, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant