test: batch fold 5573-5576 (core, serve, train, orchestrate coverage) by noahgift · Pull Request #5581 · paiml/aprender

noahgift · 2026-10-18T17:17:23Z

Batch fold of four branch-only test tickets (one PR per hour, cherry-picked with -x; no source changes outside test seams):

test(cov): top coverage-gap fn in aprender-core (≤200 lines, w5018) #5573 core: per_layer_merge coverage (cbec508)
test(cov): top coverage-gap fn in aprender-serve (≤200 lines, w5032) #5574 serve: compute_q4_q8_dots_8blocks_avx512 coverage + findings line (fba3629, c1e48d5; Refs EPIC 20 merged/h: five-step rollout (supply, arm, flakes, cap, runners) #5510)
test(cov): top coverage-gap fn in aprender-train (≤200 lines, w5382) #5575 train: ruchy SessionMetrics semantics + contract (90db57b)
test(cov): top coverage-gap fn in aprender-orchestrate/cgp (≤200 lines, wsweep) #5576 orchestrate: Language::from_str + FALSIFY-BIN-APRENDER-ORCHESTRATE-006 (bb52833)

contracts.nt re-extracted with the main-built pv: no diff vs the folded tree.

Refs #5573 #5574 #5575 #5576

🤖 Generated with Claude Code

keep-open: test-coverage tickets stay open until their owners confirm
ont-delta: none test-only fold, no ontology delta

Eight behaviour tests: LayerMergeReport accounting (incl. saturating total_defaulted), wildcard/escaped-dot pattern matching, parse_kv, unquote, parse_float_list, flush_* section gating, and every validate_merge_config rejection by field name. Mutants (wrapping_sub in total_defaulted; parse-or-zero in parse_float_list) turn the tests RED. FALSIFY-PAGE-EXAMPLES_PER_LAYER_MERGE-002 added; findings line logged. Agent: aprender-w5018 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> (cherry picked from commit cbec508)

…5510) Exact scalar parity, lo/hi nibble -> block routing and i8::MIN extremes for compute_q4_q8_dots_8blocks_avx512 and compute_q8_sums_avx512; FALSIFY-QDOT-006 extended to name them. Agent: aprender-w5032 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> (cherry picked from commit fba3629)

…rage file (FND-20261018-cov-gaps-no-coverage-file) Agent: aprender-w5032 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> (cherry picked from commit c1e48d5)

…chy-sessions) Adds C-RUCHY-SESSION-METRICS with two falsifiers; best_loss min->max mutation turns 2 tests RED. Finding logged: module is dark without the ruchy-sessions feature. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> (cherry picked from commit 90db57b)

…s + FALSIFY-BIN-APRENDER-ORCHESTRATE-006 (Refs #5576) Five tests; dropping the golang arm and to_lowercase() turns 4/5 RED. One finding logged: Other(...) payload is stored lowercased. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> (cherry picked from commit bb52833)

noahgift

seat 2, aprender-pace @baa0459baab92f277ec0abbe0f5cfa939467d2c6

Non-author read of the full diff (0 aprender-pace commits). Tests only: the edits to orchestrate/types.rs and q4_q8_dot_avx512.rs sit inside mod tests, and the AVX512 helpers are cfg(x86_64). No unwrap added. README count 1983→1984 matches the one new contract (ruchy-session-metrics-v1.yaml), and contracts.nt carries its 5 triples. The three added falsification entries each name a test and a mutation. Findings are jsonl, no issues opened. No defect found.

github-actions · 2026-10-18T17:21:06Z

§13.11 rung 1 — quorum shadow verdict

S13-SHADOW pr=5581 head=41896407e77cab6d7dd4e7c2f515983101dc9a29 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 1, w5404 @baa0459baab92f277ec0abbe0f5cfa939467d2c6

Read the full diff (tests, 4 contract falsifiers, contracts.nt, 4 findings lines). Tests only, no production code changed. No unwrap, ignore, todo or .py in added code. avx512 helpers are x86_64-gated. Non-blocking: none.

… byte-identical to its twin (PV-DUP-001) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

…prose back to 1464 (Refs #5581) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

…5581) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

noahgift

seat 2, aprender-pace @605087a62887ddbdbfca9adb0f553ba056d9dce9

Re-seat. Delta since baa0459: 2 formal: lines in ruchy-session-metrics-v1.yaml rewritten with declared symbols (same meaning), the quantized-dot-product-v1 falsification text now at contracts/aprender/ (same added lines as before), and a regenerated ONT witness JSON. No code change. 0 aprender-pace trailers in the delta. Earlier read stands. No defect found.

noahgift

seat 2, aprender-triage-worker @605087a62887ddbdbfca9adb0f553ba056d9dce9 APPROVE

Read: the full diff by file list; test additions (per_layer_merge report/pattern tests, orchestrate Language::from_str, ruchy SessionMetrics, avx512 q4_q8 helpers), the new/extended contracts, and the regenerated README count, contracts.nt, census and witness. Not run: cargo tests, the regen, CI (relying on CI). Own trailers in this PR: 0.

…le test name (verify gate read the suffix as a missing test) (Refs #5576) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

noahgift

seat N, aprender-triage-worker @0db352def1ef2bfa9f0aaddee371226490349186 APPROVE

Re-seat. Delta from my seat @605087a628: one line, bin-aprender-orchestrate contract FALSIFY-BIN-APRENDER-ORCHESTRATE-006 test now names types::tests::test_language_from_str_every_known_alias (contract-name fix). Rest as seated before. Not run: tests, CI. Own trailers: 0.

noahgift

seat 2, aprender-pace @0db352def1ef2bfa9f0aaddee371226490349186

Delta-only re-seat since my @605087a6: one line in contracts/bin-aprender-orchestrate--aprender-orchestrate-v1.yaml, where test: now names the single test types::tests::test_language_from_str_every_known_alias. pv validate is clean. The rest is unchanged from my earlier read.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

noahgift

seat 2, aprender-pace @b4e1acf9ce3212a43f39b5f445ef43bae81577fd

Empty-delta re-seat since my @0db352def1ef2bfa9f0aaddee371226490349186. The git tree at this head is byte-identical to that commit (same tree object), so only the commit changed (ci: refresh event payload). My earlier read stands. 0 aprender-pace trailers.

noahgift

seat 1, aprender-triage-worker @b4e1acf9ce3212a43f39b5f445ef43bae81577fd APPROVE

Re-seat: delta from my previous seat is one empty commit ("ci: refresh event payload for closing-refs guard"), 0 files changed. Own-trailer count 0. Not run: tests (no content change).

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

noahgift

seat 1, aprender-triage-worker @56ae1edeaf9f0761d3e0f9bf0754fb735e7c3d05 APPROVE

Re-seat: delta from my previous seat is one empty commit (0 files changed). Own-trailer count 0. Not run: tests (no content change).

noahgift

seat 1, aprender-pace @56ae1edeaf9f0761d3e0f9bf0754fb735e7c3d05

Empty-delta re-seat: tree of this head is identical to the tree I seated at b4e1acf (checked with git rev-parse ^{tree}); only the commit message marker changed. No code re-read beyond that. 0 aprender-pace trailers.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

noahgift

seat 1, aprender-triage-worker @41896407e77cab6d7dd4e7c2f515983101dc9a29 APPROVE

Re-seat of derived-only push. Read: compare b4e1acf...4189640 (commit list + file count). Delta is main-merge commits (already-merged PRs) plus "merge origin/main - derived files regenerated"; no PR-authored source commit beyond what I seated before. Not run: tests/regen. Trailers: 0.

noahgift

seat 1, aprender-pace @41896407e77cab6d7dd4e7c2f515983101dc9a29

Re-seat of my earlier seat @56ae1edeaf9f. Compared the PR's own diff (merge-base with origin/main, excluding contracts.nt, witness and README) before and after: no differing +/- lines, so this push is a main merge plus regenerated files. I did not re-inspect the regenerated witness/contracts.nt/README content. 0 aprender-pace trailers. CI not read, tests not run.

noahgift and others added 5 commits October 18, 2026 19:16

docs(findings): coverage-gaps query ranks build.rs/.py without a cove…

fdb5188

…rage file (FND-20261018-cov-gaps-no-coverage-file) Agent: aprender-w5032 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> (cherry picked from commit c1e48d5)

noahgift commented Oct 18, 2026

View reviewed changes

noahgift and others added 3 commits October 18, 2026 20:16

fix(contracts): keep contracts/aprender/quantized-dot-product-v1.yaml…

74dcda6

… byte-identical to its twin (PV-DUP-001) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

fix(contracts): RSM formal lines cite declared Sigma symbols, formal_…

dbc3186

…prose back to 1464 (Refs #5581) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

chore(contracts): regenerate ONT witness after RSM formal fix (Refs #…

605087a

…5581) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

noahgift commented Oct 18, 2026

View reviewed changes

noahgift enabled auto-merge October 18, 2026 18:58

fix(contracts): FALSIFY-BIN-APRENDER-ORCHESTRATE-006 cites a resolvab…

0db352d

…le test name (verify gate read the suffix as a missing test) (Refs #5576) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

noahgift commented Oct 18, 2026

View reviewed changes

noahgift disabled auto-merge October 18, 2026 21:19

noahgift enabled auto-merge October 18, 2026 21:19

ci: refresh event payload for closing-refs guard

b4e1acf

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

noahgift commented Oct 18, 2026

View reviewed changes

noahgift disabled auto-merge October 18, 2026 22:19

noahgift enabled auto-merge October 18, 2026 22:19

ci: refresh event payload for closing-refs guard (keep-open marker)

56ae1ed

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

noahgift commented Oct 19, 2026

View reviewed changes

noahgift disabled auto-merge October 19, 2026 00:23

noahgift enabled auto-merge October 19, 2026 00:23

merge origin/main — derived files regenerated, not hand-merged

4189640

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

noahgift commented Oct 19, 2026

View reviewed changes

Conversation

noahgift commented Oct 18, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

noahgift left a comment

Choose a reason for hiding this comment

Uh oh!

github-actions Bot commented Oct 18, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

noahgift left a comment

Choose a reason for hiding this comment

Uh oh!

noahgift left a comment

Choose a reason for hiding this comment

Uh oh!

noahgift left a comment

Choose a reason for hiding this comment

Uh oh!

noahgift left a comment

Choose a reason for hiding this comment

Uh oh!

noahgift left a comment

Choose a reason for hiding this comment

Uh oh!

noahgift left a comment

Choose a reason for hiding this comment

Uh oh!

noahgift left a comment

Choose a reason for hiding this comment

Uh oh!

noahgift left a comment

Choose a reason for hiding this comment

Uh oh!

noahgift left a comment

Choose a reason for hiding this comment

Uh oh!

noahgift left a comment

Choose a reason for hiding this comment

Uh oh!

noahgift left a comment

Choose a reason for hiding this comment

Uh oh!

This branch has not been deployed

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

noahgift commented Oct 18, 2026 •

edited

Loading

github-actions Bot commented Oct 18, 2026 •

edited

Loading