diff --git a/docs/audits/impl-PMAT-3477-receipt.md b/docs/audits/impl-PMAT-3477-receipt.md index ffeaffa45c..d0a61896d7 100644 --- a/docs/audits/impl-PMAT-3477-receipt.md +++ b/docs/audits/impl-PMAT-3477-receipt.md @@ -14,7 +14,7 @@ | 3 | #3413 C: F2 guard judges the resolved prefill path | same | subagent:opus worker D | — | | 4 | #3432: one GGML type table; `apr qa` admits qwen35 on CPU; qa certifies CPU-only arch | same | subagent:opus workers C, F | — | | 5 | #3091: IQ2_XXS/IQ4_XS CPU dequant, real files | same | subagent:opus worker E | — | -| 6 | #3090 disposition | — | direct (issue comment) | — | +| 6 | #3090 disposition | — | direct (issue comment 2026-09-18: dated non-goal) — SUPERSEDED 2026-09-19: Noah selected "GPU required — build #3090 now"; the GDN CUDA path is built on `PMAT-3477-gdn-gpu` and 0.68.2 waits for it | operator decision 2026-09-19 | | 7 | pre-PR review quorum; two-host ladder receipts | `route=agy-quorum w=1.00 basis=absent effort=1[U]` | delegate (agy, width 3) | Phase-4 review | | 8 | train T-0…T-4 publish | route=self | pending | — | @@ -68,7 +68,7 @@ Gate stages measured by `pmat verify` (format, complexity, clippy): ok. not_meas - `present` / `pr-review-quorum` (Arm 4 signed receipt at `evidence/pr-review/3484`): not produced — review backlog class, not a required check. - IQ2_XXS grid table: `iq2_grid_bytes_are_only_the_three_magnitudes` cannot catch a transposed entry (review quorum finding); covered only by the one-block fixture and the coherent real-file output. Follow-up test owed. - pv contract in the same PR: contracts co-evolution rides in via #3480's merged head (qk-norm-v1 FALSIFY-QKN-006, parity qa_gate, qwen3-e2e); `pv validate` not re-run by me (`pv_lane=NotRun`). -- #3090 GDN GPU: dated non-goal (issue comment 2026-09-18). +- #3090 GDN GPU: was a dated non-goal (issue comment 2026-09-18). Superseded 2026-09-19 — Noah selected "GPU required — build #3090 now". Open until the Gated DeltaNet CUDA path passes `apr qa` Golden Output GPU on both ladder hosts (lambda sm_89, gx10 sm_121) and the qwen35-0.8b-q4km rung of `contracts/model-capability-ladder-v1.yaml` is green for cuda (QHF-GPU-008 / QE2E-DEV-008, #3502). The bump PR #3498 is disarmed until then, and its CHANGELOG `[0.68.2]` paragraph (which still says "#3090 … is a dated non-goal carried to 0.69.0") must be rewritten before it re-arms. ## Estimates - K̂ = 8 (`estimate.sh aprender 8`, basis=first-run[U], ROWS=1 EXCLUDED=43 UNMEASURED=4), K = 16. Actual: unmeasurable per ticket (session predates it) `[U]`; ~8 h wall-clock, 7 dispatches. diff --git a/docs/audits/quorum-PMAT-3090-pr3503.json b/docs/audits/quorum-PMAT-3090-pr3503.json new file mode 100644 index 0000000000..d9976a6e07 --- /dev/null +++ b/docs/audits/quorum-PMAT-3090-pr3503.json @@ -0,0 +1,135 @@ +{ + "ticket": "PMAT-3090", + "base": "main", + "base_resolved": "origin/main", + "base_note": "local main differs from origin/main by 97 commit(s); judged against origin/main", + "head": "30eb3bce6249ad32810dba7937aa35460646aecc", + "diff_sha256": "dcade14efd5f1a803989db0c212bd152320a5a6b82e36ae8ef0cb2a9eefefe3f", + "width": 3, + "executor": "agy", + "prompt_mode": "inline", + "prompt_bytes": 4023, + "author": { + "model": "claude-fable-5-1", + "family": "claude", + "source": "flag" + }, + "agreed": true, + "lanes": [ + { + "lane": 1, + "status": "SUCCESS", + "verdict": "PASS", + "summary": "The diff correctly implements all requirements specified in PMAT-3090. It modifies row 6 and the Gaps entry of `docs/audits/impl-PMAT-3477-receipt.md` to document the operator decision of 2026-09-19, adds the required proofs regarding the `apr qa` Golden Output on lambda/gx10 and PR #3502 (QHF-GPU-008/QE2E-DEV-008), and explicitly notes that PR #3498 is disarmed and requires a CHANGELOG update before re-arming. The diff strictly modifies only this one Markdown file, respecting the 'no code' constraint.", + "findings": [ + { + "claim": "Updates row 6 to document the operator decision superseding the dated non-goal", + "file": "docs/audits/impl-PMAT-3477-receipt.md", + "grounding": "cited", + "line": 17 + }, + { + "claim": "Updates the Gaps entry to state the proof and note PR #3498 is disarmed", + "file": "docs/audits/impl-PMAT-3477-receipt.md", + "grounding": "cited", + "line": 71 + } + ], + "raw_bytes": 2958, + "err_bytes": 0, + "envelope_status": "SUCCESS", + "verdict_source": "structured_output", + "grounding_check": "parity", + "model": "gemini-3.1-pro-high", + "model_measured": "gemini-3.1-pro-high", + "model_source": "measured", + "family": "gemini" + }, + { + "lane": 2, + "status": "SUCCESS", + "verdict": "PASS", + "summary": "Diff satisfies PMAT-3090 completely: docs-only update touching exactly one file (docs/audits/impl-PMAT-3477-receipt.md), updating row 6 and the Gaps section with Noah's 2026-09-19 operator decision ('GPU required — build #3090 now'), recording the proof requirements (apr qa Golden Output GPU on lambda sm_89 and gx10 sm_121, qwen35 cuda ladder rung green, QHF-GPU-008 / QE2E-DEV-008 from PR #3502), and noting that bump PR #3498 is disarmed and its CHANGELOG [0.68.2] paragraph must be rewritten. No code modified, no gates weakened, no unrequested changes.", + "findings": [], + "raw_bytes": 2393, + "err_bytes": 0, + "envelope_status": "SUCCESS", + "verdict_source": "structured_output", + "grounding_check": "parity", + "model": "gemini-3.8-flash-high", + "model_measured": "gemini-3.8-flash-high", + "model_source": "measured", + "family": "gemini" + }, + { + "lane": 3, + "status": "SUCCESS", + "verdict": "PASS", + "summary": "The diff strictly implements the ticket PMAT-3090 requirements: it is docs-only, modifies exactly one file (docs/audits/impl-PMAT-3477-receipt.md), updates row 6 and the Gaps section to supersede the dated non-goal with the operator decision of 2026-09-19, specifies the proof requirements across both ladder hosts and the capability ladder, and notes the disarming of bump PR #3498. No gates were weakened, no code was added, and no unintended modifications were made.", + "findings": [ + { + "claim": "Row 6 of the acceptance table is updated to reflect the 2026-09-19 operator decision superseding the dated non-goal: '| 6 | #3090 disposition | — | direct (issue comment 2026-09-18: dated non-goal) — SUPERSEDED 2026-09-19: Noah selected \"GPU required — build #3090 now\"; the GDN CUDA path is built on `PMAT-3477-gdn-gpu` and 0.68.2 waits for it | operator decision 2026-09-19 |'", + "file": "docs/audits/impl-PMAT-3477-receipt.md", + "grounding": "cited", + "line": 17 + }, + { + "claim": "The Gaps section entry for #3090 GDN GPU is updated with the proof criteria (apr qa Golden Output GPU on lambda sm_89 + gx10 sm_121, qwen35-0.8b-q4km cuda rung green, QHF-GPU-008 / QE2E-DEV-008 from #3502) and disarming status of bump PR #3498 with CHANGELOG [0.68.2] rewrite requirement: '- #3090 GDN GPU: was a dated non-goal (issue comment 2026-09-18). Superseded 2026-09-19 — Noah selected \"GPU required — build #3090 now\". Open until the Gated DeltaNet CUDA path passes `apr qa` Golden Output GPU on both ladder hosts (lambda sm_89, gx10 sm_121) and the qwen35-0.8b-q4km rung of `contracts/model-capability-ladder-v1.yaml` is green for cuda (QHF-GPU-008 / QE2E-DEV-008, #3502). The bump PR #3498 is disarmed until then, and its CHANGELOG `[0.68.2]` paragraph (which still says \"#3090 … is a dated non-goal carried to 0.69.0\") must be rewritten before it re-arms.'", + "file": "docs/audits/impl-PMAT-3477-receipt.md", + "grounding": "cited", + "line": 71 + } + ], + "raw_bytes": 5144, + "err_bytes": 0, + "envelope_status": "SUCCESS", + "verdict_source": "structured_output", + "grounding_check": "parity", + "model": "gemini-3.7-flash-high", + "model_measured": "gemini-3.7-flash-high", + "model_source": "measured", + "family": "gemini" + } + ], + "dissent": [], + "dedup": [ + { + "file": "docs/audits/impl-PMAT-3477-receipt.md", + "line": 17, + "lanes_agreeing": [ + 1, + 3 + ], + "claims": [ + "Row 6 of the acceptance table is updated to reflect the 2026-09-19 operator decision superseding the dated non-goal: '| 6 | #3090 disposition | — | direct (issue comment 2026-09-18: dated non-goal) — SUPERSEDED 2026-09-19: Noah selected \"GPU required — build #3090 now\"; the GDN CUDA path is built on `PMAT-3477-gdn-gpu` and 0.68.2 waits for it | operator decision 2026-09-19 |'", + "Updates row 6 to document the operator decision superseding the dated non-goal" + ] + }, + { + "file": "docs/audits/impl-PMAT-3477-receipt.md", + "line": 71, + "lanes_agreeing": [ + 1, + 3 + ], + "claims": [ + "The Gaps section entry for #3090 GDN GPU is updated with the proof criteria (apr qa Golden Output GPU on lambda sm_89 + gx10 sm_121, qwen35-0.8b-q4km cuda rung green, QHF-GPU-008 / QE2E-DEV-008 from #3502) and disarming status of bump PR #3498 with CHANGELOG [0.68.2] rewrite requirement: '- #3090 GDN GPU: was a dated non-goal (issue comment 2026-09-18). Superseded 2026-09-19 — Noah selected \"GPU required — build #3090 now\". Open until the Gated DeltaNet CUDA path passes `apr qa` Golden Output GPU on both ladder hosts (lambda sm_89, gx10 sm_121) and the qwen35-0.8b-q4km rung of `contracts/model-capability-ladder-v1.yaml` is green for cuda (QHF-GPU-008 / QE2E-DEV-008, #3502). The bump PR #3498 is disarmed until then, and its CHANGELOG `[0.68.2]` paragraph (which still says \"#3090 … is a dated non-goal carried to 0.69.0\") must be rewritten before it re-arms.'", + "Updates the Gaps entry to state the proof and note PR #3498 is disarmed" + ] + } + ], + "uncovered": [], + "coverage_source": "lanes", + "partial": false, + "partial_reasons": [], + "auto_merge": { + "checked": true, + "was_armed": false, + "disarmed": false, + "note": "auto-merge not armed" + }, + "lint": { + "ok": true, + "output": "receipt complete: kind=artifact lanes=3 author=claude-fable-5-1/claude" + } +}