Skip to content

perf(ci): FLOW-010 cut 1 — drop aprender-compute dev-dep on aprender-core (Refs #5803) - #6166

Closed
noahgift wants to merge 2 commits into
mainfrom
fix/5803-tuner-move-w6148
Closed

noahgift wants to merge 2 commits into
mainfrom
fix/5803-tuner-move-w6148

Conversation

@noahgift

Copy link
Copy Markdown
Member

Rebuild of #6148 (DIRTY after main moved; guards-nightly step + manifest row now sit beside the affected-set ones), linear off current main. Supersedes #6127 and #6148: same single move commit with the seat-2 findings folded in, still one commit and one ticket.

  1. ml-tuner documented as a deprecated no-op (Cargo.toml still declares ml-tuner = []).
  2. check_tuner_test_move.sh reads CI fragments 295 and 298 (mutants S16, S17 turn it red); the false L6 label is gone.
  3. The unproven "proved in the PR body" claim is replaced by what is true: compared at move time, digests pin the bodies now.
  4. grep rc>=2 fails closed (mutant S18 isolates it: red with the guard, green without).

--self-test: 26 passed, 0 failed; live check green.

🤖 Generated with Claude Code

…core (Refs #5803)

Rebuilt linear off main (supersedes #6148); the guards-nightly step and manifest row sit beside the affected-set ones.

PMAT-Ticket: PMAT-5803
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@github-actions

github-actions Bot commented Oct 23, 2026 •

Copy link
Copy Markdown

§13.11 rung 1 — quorum shadow verdict

S13-SHADOW pr=6166 head=9c3069d5d69d04f2309cc0f0a989330c6d7551dd 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.

… (Refs #5803)

PMAT-Ticket: PMAT-5803
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@noahgift

Copy link
Copy Markdown
Member Author

superseded by #6168 (squashed to one commit, no operator ticket id)

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