Repository navigation

v1.4.2: fail closed on optimizer evidence quality - #13

Merged

ipeterpetrus merged 26 commits into

mainfrom

fix/v1.4.2-optimizer-evidence-integrity

Sep 22, 2026

Merged

v1.4.2: fail closed on optimizer evidence quality#13
ipeterpetrus merged 26 commits into
mainfrom
fix/v1.4.2-optimizer-evidence-integrity

Commits on Sep 21, 2026
- test: freeze the v1.4.2 counterexample matrix, RED on current main
  
  ipeterpetrus
  and
  claude
  committed
  bcf0fd8
- fix: one legacy evidence-quality law, an eligibility-first anchor, one emission gate
  
  ipeterpetrus
  and
  claude
  committed
  1c97208
- test: a mutant per repaired invariant, and CI runs the new suite
  
  ipeterpetrus
  and
  claude
  committed
  3386780
- fix: four more ways evidence could claim more than it showed
  
  ipeterpetrus
  and
  claude
  committed
  f2a4394
- docs: record the cases added after the matrix was frozen
  
  ipeterpetrus
  and
  claude
  committed
  13d2cde
- fix: four HIGHs a second reviewer family found, all of them "evidence nobody checked"
  
  ipeterpetrus
  and
  claude
  committed
  909d105
- fix: narrow container damage to lines that were lost, not lines that were foreign
  
  ipeterpetrus
  and
  claude
  committed
  588de91
- test: pin what the scope fallback can and cannot do
  
  ipeterpetrus
  and
  claude
  committed
  486004e
- style: keep the counter vocabulary and the dedup floor in their own blocks
  
  ipeterpetrus
  and
  claude
  committed
  42a98f0
- fix: three HIGHs and a MEDIUM from the confirmation round
  
  ipeterpetrus
  and
  claude
  committed
  ef0c749
Commits on Sep 22, 2026
- docs: the confirmation round's cases, in the same post-freeze section
  
  ipeterpetrus
  and
  claude
  committed
  5cfcf7e
- fix: round-4 findings — one selection per run, one impossibility rule, no half files
  
  ipeterpetrus
  and
  claude
  committed
  fe78cbc
- test: freeze the B1 epoch matrix, RED on this branch's current head
  
  ipeterpetrus
  and
  claude
  committed
  aadebfb
- fix: a loss cuts the history at its position instead of poisoning the file
  
  ipeterpetrus
  and
  claude
  committed
  a3067dc
- report: name the epoch in the human report too
  
  ipeterpetrus
  and
  claude
  committed
  9596b9e
- test: both line orders for a run_id that spans a loss, and three copies inside one epoch
  
  ipeterpetrus
  and
  claude
  committed
  302b20a
- fix: two ways the epoch repair still consulted the wrong population
  
  ipeterpetrus
  and
  claude
  committed
  056e138
- docs: the two findings the cross-family lane made in the epoch repair
  
  ipeterpetrus
  and
  claude
  committed
  e6c1f4f
- docs(v1.4.2): freeze the trusted damage-boundary matrix before implementing it
  
  ipeterpetrus
  and
  claude
  committed
  443abaf
- test(v1.4.2): RED — TUTF/TSCOPE/VD/MSG cases for the trusted damage boundary
  
  ipeterpetrus
  and
  claude
  committed
  24c81d4
- fix(optimizer): a rejected line is never an authority for its own scope
  
  ipeterpetrus
  and
  claude
  committed
  7f37713
- fix(optimizer): one boundary per logical run, and a foreign record_type is not our loss
  
  ipeterpetrus
  and
  claude
  committed
  189db57
- fix(optimizer): scope_id is an attribution authority, so it is checked before acceptance
  
  ipeterpetrus
  and
  claude
  committed
  71016ee
- docs(v1.4.2): freeze the run-id conflict matrix before implementing it
  
  ipeterpetrus
  and
  claude
  committed
  c0749e8
- test(v1.4.2): RED — RID_01..RID_15, the run-id conflict matrix
  
  ipeterpetrus
  and
  claude
  committed
  b0624a7
- fix(optimizer): a run_id is an identity claim, not proof of semantic equality
  
  ipeterpetrus
  and
  claude
  committed
  6ef9988

Commits

Commits on Sep 21, 2026

Commits on Sep 22, 2026