PMAT-3427: PP-QUANT-001 slice M is 0.69.0 must-carry — measured tables, fix-diff Pareto, the queue - #3447
PMAT-3427: PP-QUANT-001 slice M is 0.69.0 must-carry — measured tables, fix-diff Pareto, the queue#3447noahgift wants to merge 4 commits into
Conversation
…s, fix-diff Pareto, the queue The five crashes cited in #3418 are two classes, read from their fix diffs: 3 are MoE placeholder tensors (byte_size 0, qtype 0 = F32) reaching dense consumers, 2 are incomplete qtype lists. #3091 reproduces on the published v0.68.0 asset with a 338 MB public model. Three ggml enums exist across core/compute/serve (12/15/16 ids) against 35 live upstream. - 06x-release-schedule.md §1.1a: the must-carry rule (T-0 waits; 72 h andon) and the 0.69.0 row, standing in for APR-RELEASE-001 §1.5 which is not on main - roadmap.yaml: PMAT-3427 plus the 18 minted tickets (additive; validate exit 0) - receipt: Tables G and S, the Pareto, the milestone hygiene count, HRQ rows No edits under crates/, contracts/ or .github/workflows/. Refs PMAT-3427 Refs #3418 Pmat-Ticket: PMAT-3427 Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
|
§13.11 rung 1 — quorum shadow verdict Shadow mode: this records a verdict and merges nothing. A refusal |
…d without a path; run-2 tables Two defects in this branch's first push, both mine: - pmat work add writes the monolith; guard-tree requires each entry as docs/roadmaps/entries/<ID>.yaml. Re-made through roadmap_fragments.py adopt + aggregate. The five retype tickets closed into #3423 are not mirrored. - 06x-release-schedule.md §1.1a cited a contract file that does not exist yet as a backticked path; readme_contract rejects that. Reworded. Receipt gains Tables T, E, B and a file:line Table G (231 sites, 28 files), the T∩B overlap (41 % of serve rows), the verbatim kind-gate / model-gate refusal, and both hand-written active-ticket paths. Verdict: STOPPED(rail). Refs PMAT-3427 Refs #3418 Pmat-Ticket: PMAT-3427 Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
…same sha is 36 Found by the PMAT-3430 session, verified against ggml-common.h static_assert. The type_size column is gguf-py for every row and is not re-checked against C here; that belongs to #3430 Phase 2. Refs PMAT-3427 Pmat-Ticket: PMAT-3427 Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
|
No activity since 2026-09-17 13:41Z; 2 release trains have been cut since (v0.68.2, v0.68.1). Age is the only input to this sweep — it is not a judgement on the work, and a train label such as What happens next: if one more train passes while this is still labelled To clear it: push, rebase, or say on the thread what it is waiting for. Any of the three removes the label at the next sweep. If it is blocked on something external, name that here — a blocker with an owner is not sprawl, and it stops the clock. |
|
Triage disposition (2026-09-20 sweep of DIRTY PRs): This PR is DIRTY on On the On the Not superseded, not stale, not mine to resolve. Refs #3430, #3581, #3621. |
|
closed by 0.70 batch triage: no quorum receipt and no live owner; branch kept, reopen with an owner Authority: per operator order (quoted) "yes, clearn up. no sovereign repo can have triage, ticket, branche issues and arbiter shoudl be doing this! tell that agent to get to work" + cop (aprender-cf) ruling on the close criteria (a draft, or >7d old with no live owner, and no quorum receipt). The operator did not select this PR individually. |
Docs-only plan PR for the PP-QUANT-001 research run. No edits under
crates/,contracts/or.github/workflows/.Closes #3427
What lands
docs/specifications/06x-release-schedule.md§1.1a — the must-carry rule (T-0 waits; more than 72 h past the previous tag raises an andon naming the ticket) and the 0.69.0 row: PP-QUANT-001 slice M + PP-TENSOR-001 T1–T2. It stands in for APR-RELEASE-001 §1.5, which is not onmain.docs/roadmaps/roadmap.yaml— PMAT-3427 plus 13 tickets minted by the run, each as adocs/roadmaps/entries/<ID>.yamlfragment with the aggregate regenerated (the five per-directory retype tickets were closed into the dedicated-cycle epic and are not mirrored);pmat work validateexit 0.docs/audits/impl-PMAT-3427-receipt.md— every number with its mark and command: the five-defect Pareto read from fix diffs, Table G (27 files), Table S (43 ggml ids), the two-sided reconciliation against the dispatch-site list in the PP-QUANT-001 spec PR, the 0.69.0 hygiene count, HRQ rows.Findings
byte_size: 0,qtype: 0= F32) reaching dense consumers — every fix a guard, the placeholder still built onmain— and 2 incomplete qtype lists.tensor_byte_size, type ids 16 and 23. That function has 11 arms and lacks Q3_K and Q5_1, which the crate defines.Not done
No quorum reviewed this: the harness rail refuses
kind=docs(owned refusal, exit 3), and the brief's design reference was not on disk. Verdict in the receipt isSTOPPED(rail):kind-gateexit 3 andmodel-gateexit 2 on this ticket, verbatim in the receipt. This PR stays draft until a quorum has reviewed the design positions.Verification
cargo fmt --all -- --checkexit 0 ·cargo test -p aprender-contracts --lib1538 passed, 0 failed ·cargo deny check advisoriesok · pre-commit gates passed.ont-delta: none — schedule text, roadmap rows and an audit receipt; no ontology row changes.
no-close: #3418 #3421 #3420 #3091 #3428 #3429 #3430 #3431 #3432 #3433 #3434 #3445 #3446 #3204 #2753 #3422 #3423 — cited as plan, evidence or queue; this PR implements none of them.
🤖 Generated with Claude Code