Repository navigation

fold(0.70): #4587+#4588 PMAT-4502, #4620 #3715, #4614 #4616, #4640 PMAT-937 (C221 fat_driver fix) - #4655

Merged

noahgift merged 335 commits into

mainfrom

fold/0.70

Oct 2, 2026

Merged

fold(0.70): #4587+#4588 PMAT-4502, #4620 #3715, #4614 #4616, #4640 PMAT-937 (C221 fat_driver fix)#4655
noahgift merged 335 commits into
mainfrom
fold/0.70

This pull request is big! We're only showing the most recent 250 commits

Commits on Sep 28, 2026
Commits on Sep 29, 2026
Commits on Sep 30, 2026
- fix(#4641): Warn re-judged head-vs-release, dangling --base is rc 2, 14-row selftest
  
  noahgift
  and
  claude
  committed
  bb78aab
- evidence(#4641): Q0 quorum AGREED (opus-5-5, gpt-oss-120b, haiku-4-5)
  
  noahgift
  and
  claude
  committed
  9324dea
- fix(serve): keep emit_contract_bindings at base complexity; drop stale unsigned receipt (PMAT-4616)
  
  noahgift
  and
  claude
  committed
  fb6567d
- test(contracts): kill the compute_proof_depth L3/L4 and pair_mismatches target mutants
  
  noahgift
  and
  claude
  committed
  55835bd
- evidence(pr-review): #4587 non-author receipt for 55835bd46b
  
  noahgift
  and
  claude
  committed
  f090675
- chore(review): #4620 receipt re-attested (receipt-only; diff_patch_id unchanged) to start a fresh CI run
  
  noahgift
  and
  claude
  committed
  ddf6a88
- test(mutants): kill the 18 MISSED on #4588's diff (shards 3/4/7/16)
  
  noahgift
  and
  claude
  committed
  1993d30
- evidence(pr-review): non-author receipt for #4588 at 1993d306cf
  
  noahgift
  and
  claude
  committed
  a29f878
- evidence(pr-review): #4614 receipt for fb6567d0dc (PMAT-4616), DEGRADED, unsigned pending CI signer
  
  noahgift
  and
  claude
  committed
  6c56f3a
- fix(ont4b): regen the tracked graph — two verifiedCommand literals were stale
  
  noahgift
  and
  claude
  committed
  0d18132
- test(contracts): kill the 3 MISSED mutants in section glob + summary_path
  
  noahgift
  and
  claude
  committed
  14e1e33
- evidence(pr-review): #4587 non-author receipt for 14e1e3335c
  
  noahgift
  and
  claude
  committed
  3003548
- test(serve): kill generic_matvec.rs:216 (|| -> &&) in generic_multirow_matmul_into
  
  noahgift
  and
  claude
  committed
  53a5961
- test(mutants): C97 — every #4588 MISSED classified; test-location rows run the tests, real misses get tests
  
  noahgift
  and
  claude
  committed
  6beb021
- fix(#4641): rename helper so the guard runner self-tests it, no truncation, regenerate roadmap aggregate
  
  noahgift
  and
  claude
  committed
  dd4ae46
- fix(#4641): stale Warn comment/message, dirty-tree check before measuring, selftest reads baseline
  
  noahgift
  and
  claude
  committed
  cebac95
- evidence(#4641): Q0 degraded same-family quorum at cebac95d47 (opus+haiku PASS; gpt-oss x2 and gemini NO-VERDICT)
  
  noahgift
  and
  claude
  committed
  91ab26c
- evidence(pr-review): non-author receipt for #4588 at 6beb021e4b
  
  noahgift
  and
  claude
  committed
  bc42ffb
- test(#4641): cb200 selftest kills 4 surviving mutants (skip, clean-pass, PMAT_BIN unset, index refresh)
  
  noahgift
  and
  claude
  committed
  88720ee
- test(#4641): cb200 selftest pins numeric tag order (kills sort -V mutant)
  
  noahgift
  and
  claude
  committed
  b47e216
- test(#4641): cb200 selftest keeps an rc tag above the newest final (kills M11/M25)
  
  noahgift
  and
  claude
  committed
  e7cff40
- test(#4588): kill the last lint meet / obligations mentions mutants
  
  noahgift
  and
  claude
  committed
  403a6a4
- evidence(#4640): non-author pr-review receipt for e7cff40986 (opus-5-5 + agy), verdict FINDINGS
  
  noahgift
  and
  claude
  committed
  189b311
- chore(review): #4620 receipt re-attested (receipt-only; diff_patch_id unchanged) to start a new run after the fw16 OOM
  
  noahgift
  and
  claude
  committed
  2f3a42f
- evidence(pr-review): #4614 receipt for 6c56f3a297 (PMAT-4616), DEGRADED, unsigned pending CI signer
  
  noahgift
  and
  claude
  committed
  67a04e4
- evidence(pr-review): non-author receipt for #4588 at 403a6a4d48
  
  noahgift
  and
  claude
  committed
  f8df3cc
- test(#4587): C127 — relocate test-location mutants to cli rows, kill the 7 real lib misses
  
  noahgift
  and
  claude
  committed
  5a716cf
- test(contracts): kill the 38 MISSED release_crux mutants (swarm #4587)
  
  noahgift
  and
  claude
  committed
  4f31986
- test(#4587): kill 27 MISSED mutants in release_evidence (18), extract/mod (5), extract_rdf (4)
  
  noahgift
  and
  claude
  committed
  bb5c773
- test(discharge): find_word fail-fast asserts first so a bad resume offset is caught, not timed out
  
  noahgift
  and
  claude
  committed
  d5992f0
- test(#4587): kill the review's MISSED release_crux + project mutants
  
  noahgift
  and
  claude
  committed
  c6799ec
- test(#4588): kill the review-experiment MISSED mutants (79 in-diff)
  
  noahgift
  and
  claude
  committed
  6801767
- test(#4588): kill ptx-debug run.rs and serve session.rs MISSED mutants
  
  noahgift
  and
  claude
  committed
  c1b9a89
- test(#4587): kill the c6799 shard survivors in the ontology extractors
  
  noahgift
  and
  claude
  committed
  99da330
- test(#4588): kill measured shard survivors — apr-cli cli_main, ptx-debug cli, rag-cli, refines/shapes gates, example, witness
  
  noahgift
  and
  claude
  committed
  625f5e1
- fix(#4587): fence_close slices m bytes, as fence_open does — the fence char is one byte
  
  noahgift
  and
  claude
  committed
  b316b2b
- test(#4588): refines_gate 181/207, claims fence_close + lane-C claims, K2 code.rs tests ported
  
  noahgift
  and
  claude
  committed
  1aec813
- test(#4588): serve quantize — generic_matvec row tile 8/8, iq2_xxs:67 timeout 5/5 caught
  
  noahgift
  and
  claude
  committed
  c8c17a2
Commits on Oct 1, 2026
Commits on Oct 2, 2026

Commits

Commits on Sep 28, 2026

Commits on Sep 29, 2026

Commits on Sep 30, 2026