You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Spec: docs/specifications/PP-066-release-spec.md (PR #2872, ticket PMAT-966). Driver: docs/audits/pp-066-driver-prompt.md.
Decisions D-1..D-11 apply at their §0 defaults unless overridden in a comment here. Track P (provable contracts) lives under #2870 → #2556, not here.
One sub-issue per §5 card; S0 first. Release criterion: spec §4 C0–C13; C0 first.
Existing blockers (linked as sub-issues or blocks relations, not duplicated): #2817#2815#2850#2849#2846#2830#2826#2844#2822#2828#2856.
Related: #2869#2696#2841#2870#2556.
Proposed 0.66 row G-5 — for #2482 (Five failures surfaced by compiling 10 dark aprender-serve test target…), #2500 (aprender-test-lib fails strict clippy under its own non-default featur…), #2655 (bump-version.sh enumerates ONE excluded workspace by name instead of d…), #2674 (PARITY-007: the only apr-vs-llama.cpp bench in the tree is dark on thr…), #2751 (clippy reaches lib targets only: 1,782 tests/examples/benches/bins acr…), #2784 (driver_cuda_gguf.rs has 10 compile errors from struct changes: nothing…), #2808 (Five make targets advertise CI and no workflow invokes them — `coverag…)
A (acceptance command): scripts/check_target_universe.sh exit 0: for every workspace member (cargo metadata, root ∪ crates/facades) and every cargo target (lib, bins, tests, examples, benches) under the feature sets that compile it, the set of targets CI builds/lints/runs is derived from the workflows and compared against cargo metadata — any omission FAILs; cargo clippy --workspace --all-targets runs in reporting mode with a frozen per-crate shrink-only baseline; a Makefile target whose help says CI and that no workflow invokes FAILs
mutation → RED: drop one named --test from ci.yml l.408 while it exists in cargo metadata → RED; add # CI only to a make target no workflow calls → RED; restore the query_pre_attn_scalar omission in driver_cuda_gguf.rs → the cuda lane RED
expiry basis: anchored on master row 1's cuda-nightly.yml edit (2026-09-19) and C0's required-check work (S0-23) — the same files are opened
Proposed 0.66 row I-24 — for #2735 (parity_block.py: a zero COMPARATOR band median is an unhandled traceba…)
A (acceptance command): python3 scripts/lib/parity_block.py --work … → rc=1 with 'band 8 comparator: non-positive rate is not a measurement' (named refusal); control fixture rc=0; zero-SUBJECT fixture keeps its existing named refusal (discrimination)
mutation → RED: restore the bare statistics.median(band["comparator"][metric]) division at scripts/lib/parity_block.py:571/652/680/720 → ZeroDivisionError traceback → RED
expiry basis: anchored on master row 15 (gx10 shakedown, derived) — the gx10 comparator is the lane that produced zero bands
why in 0.66 scope (§2) with no existing row: C4's post-publish parity attempt on four hosts runs this producer; an unhandled traceback on a zero comparator band is neither a refusal nor a verdict and leaves the C4 receipt without its block. No §5 card covers the producer's refusal polarity on the comparator side
Proposed 0.66 row I-25 — for #2756 (--workload is a free-text label decoupled from the prompts sent: a 1-p…)
A (acceptance command): cargo test -p apr-cli --test workload_corpus_binding — the receipt's workload is accepted only when corpus_sha256 in the receipt equals the sha256 of the prompts-w1.jsonl actually loaded and its _meta.corpus equals the label; apr test llm band --workload W1 --profile short is refused with one line
mutation → RED: restore the free-text Workload::from_str acceptance (label written without the digest) → RED
expiry basis: anchored on master row 15 (gx10 shakedown, derived) — the first CONFORMANT receipt must not carry an unfalsifiable label
why in 0.66 scope (§2) with no existing row: C1 requires a CONFORMANT W1 row; PP-22's join key includes the workload; today the label is a free string decoupled from the prompts sent (no corpus digest reaches the receipt: git grep corpus_sha256 origin/main -- crates/apr-cli/src → only apr-corpus-ingest.rs). No §5 card binds the label
Proposed 0.66 row G-6 — for paiml/paiml-mcp-agent-toolkit#1292 (pmat work add re-serialises all of docs/roadmaps/roadmap.yaml (2,531 u…)
A (acceptance command): scripts/check_roadmap_diff_additive.sh exit 0: the roadmap.yaml diff of a PR consists only of added entries (id set grows, no existing entry's lines change) — the driver's STEP 1b rule ('roadmap.yaml carries only the PMAT-966 hunk') as a guard wired beside check_roadmap_completion_is_cited.sh
mutation → RED: commit a pmat work add output un-trimmed (the 2,531-line re-serialisation of 6d9ba27) → RED; a trimmed 17-line hunk → GREEN
expiry basis: anchored on STEP 5 of the driver (every DAG row is minted with pmat work add) — before the first batch of PP-066 tickets is filed
Proposed 0.66 row G-7 — for #2775 (nextest reports a vanished test binary as a test failure, and cargo_cl…), #2822 (CI jobs fail with cargo exit 101: target/debug/deps files vanish MID-B…), #2828 (workspace-test and guard-runner-labels share one cargo target dir conc…), #2812 (Merge-queue runs are cancelled by their own concurrency key, and deque…), #2646 (Shim-check siting: required check depends on unversioned per-runner $H…)
A (acceptance command): scripts/cargo_classify.sh applied to the workspace-test job's captured log in ci.yml: an ENV verdict (double-spawn ENOENT, vanished .rlib/.o, ENOSPC, dep-info ENOENT) fails the job with ENV: in the check-run annotation and names no test; a CODE verdict names the test; bash scripts/cargo_classify.sh --self-test runs scripts/lib/cargo_failure_cases/*
mutation → RED: feed log_env_dep_info_contention.txt through the wired step → ENV, exit 1, no test named; feed log_code_test_failure.txt → CODE with the test name; swap the classifier for true → self-test RED
Activity
docs(PP-066): 0.66 release spec v1.5 + driver prompt (PMAT-966, epic #…
noahgift commentedon Sep 5, 2026
Proposed 0.66 row
G-5— for #2482 (Five failures surfaced by compiling 10 dark aprender-serve test target…), #2500 (aprender-test-lib fails strict clippy under its own non-default featur…), #2655 (bump-version.sh enumerates ONE excluded workspace by name instead of d…), #2674 (PARITY-007: the only apr-vs-llama.cpp bench in the tree is dark on thr…), #2751 (clippy reaches lib targets only: 1,782 tests/examples/benches/bins acr…), #2784 (driver_cuda_gguf.rs has 10 compile errors from struct changes: nothing…), #2808 (Five make targets advertise CI and no workflow invokes them — `coverag…)cargo clippy --workspace --all-targetsruns in reporting mode with a frozen per-crate shrink-only baseline; a Makefile target whose help says CI and that no workflow invokes FAILs--testfrom ci.yml l.408 while it exists in cargo metadata → RED; add# CI onlyto a make target no workflow calls → RED; restore the query_pre_attn_scalar omission in driver_cuda_gguf.rs → the cuda lane REDcoverage-fullsays "CI only" #2808 bump-version.sh enumerates ONE excluded workspace by name instead of deriving the exclude list #2655; class parent filed by this triage): what is not on a written list is never built, linted or run, and R-0's own cuda-feature tests will land into the enumerated cuda laneNo ticket created — the epic session owns
pp-066-dag.yamlandpmat work add.PP-066 triage 2026-09-05 (issue #2873); ledger
docs/audits/pp-066-triage-2026-09-05.md.noahgift commentedon Sep 5, 2026
Proposed 0.66 row
I-24— for #2735 (parity_block.py: a zero COMPARATOR band median is an unhandled traceba…)statistics.median(band["comparator"][metric])division at scripts/lib/parity_block.py:571/652/680/720 → ZeroDivisionError traceback → REDNo ticket created — the epic session owns
pp-066-dag.yamlandpmat work add.PP-066 triage 2026-09-05 (issue #2873); ledger
docs/audits/pp-066-triage-2026-09-05.md.noahgift commentedon Sep 5, 2026
Proposed 0.66 row
I-25— for #2756 (--workload is a free-text label decoupled from the prompts sent: a 1-p…)workloadis accepted only whencorpus_sha256in the receipt equals the sha256 of the prompts-w1.jsonl actually loaded and its _meta.corpus equals the label;apr test llm band --workload W1 --profile shortis refused with one lineWorkload::from_stracceptance (label written without the digest) → REDNo ticket created — the epic session owns
pp-066-dag.yamlandpmat work add.PP-066 triage 2026-09-05 (issue #2873); ledger
docs/audits/pp-066-triage-2026-09-05.md.noahgift commentedon Sep 5, 2026
Proposed 0.66 row
G-6— for paiml/paiml-mcp-agent-toolkit#1292 (pmat work add re-serialises all of docs/roadmaps/roadmap.yaml (2,531 u…)pmat work addoutput un-trimmed (the 2,531-line re-serialisation of 6d9ba27) → RED; a trimmed 17-line hunk → GREENNo ticket created — the epic session owns
pp-066-dag.yamlandpmat work add.PP-066 triage 2026-09-05 (issue #2873); ledger
docs/audits/pp-066-triage-2026-09-05.md.noahgift commentedon Sep 5, 2026
Proposed 0.66 row
G-7— for #2775 (nextest reports a vanished test binary as a test failure, and cargo_cl…), #2822 (CI jobs fail with cargo exit 101: target/debug/deps files vanish MID-B…), #2828 (workspace-test and guard-runner-labels share one cargo target dir conc…), #2812 (Merge-queue runs are cancelled by their own concurrency key, and deque…), #2646 (Shim-check siting: required check depends on unversioned per-runner $H…)ENV:in the check-run annotation and names no test; a CODE verdict names the test;bash scripts/cargo_classify.sh --self-testruns scripts/lib/cargo_failure_cases/*true→ self-test REDNo ticket created — the epic session owns
pp-066-dag.yamlandpmat work add.PP-066 triage 2026-09-05 (issue #2873); ledger
docs/audits/pp-066-triage-2026-09-05.md.apr run: 7 defects incl.--streamemitting empty text and--trace-outputalways writing an empty event list #2378232 remaining items
docs(PP-066): 0.66 release spec v1.5 + driver prompt (PMAT-966, epic p…
docs(audits): PP-066 S0 discovery ledger — 23 premises measured (epic p…
docs(audits): impl receipt for PMAT-742 — PARTIAL(andon) at K=150, ru…
docs(PP-066): obligation DAG (87 rows, filed paiml#2882-paiml#2980), …
docs(PP-066): session 2026-09-06 — SPEC-2.0 (v2.0, 18-row scope, clai…
apr run: 7 defects incl.--streamemitting empty text and--trace-outputalways writing an empty event list #2378