Repository navigation

Map independent audit coverage of #4100's obligations (navigation; no new κ) - #4311

Merged

Mister-Meeseeks merged 12 commits into

CrocSwap:mainfrom

pinterbanget:pr4100-audit-coverage-map

Oct 21, 2026

Merged

Map independent audit coverage of #4100's obligations (navigation; no new κ)#4311
Mister-Meeseeks merged 12 commits into
CrocSwap:mainfrom
pinterbanget:pr4100-audit-coverage-map

Commits on Oct 21, 2026
- Map independent audit coverage of #4100's obligations
  
  Ryanson Jonathan
  and
  claude
  committed
  1b2e75d
- Point the PROOF.md rows at #4320 and correct the snapshot times
  
  Ryanson Jonathan
  and
  claude
  committed
  708b8c4
- Correct rows the map wrongly listed as unaudited
  
  Ryanson Jonathan
  and
  claude
  committed
  c0915ae
- Add #4321 and #4325 to the #4100 coverage map
  
  Ryanson Jonathan
  and
  claude
  committed
  ed86962
- Add #4327 (union-schedule head travel) to the #4100 coverage map
  
  Ryanson Jonathan
  and
  claude
  committed
  af89a95
- Add #4328 (CRT sparse repair tariff) to the #4100 coverage map
  
  Ryanson Jonathan
  and
  claude
  committed
  561a059
- Record #4328's exact two-target density check in the #4100 map
  
  Ryanson Jonathan
  and
  claude
  committed
  66c3b46
- Add #4329 (guard premise under mod-K coloring) to the #4100 map
  
  Ryanson Jonathan
  and
  claude
  committed
  384bbea
- Record #4329's width-pattern census in the #4100 map
  
  Ryanson Jonathan
  and
  claude
  committed
  f1eda09
- Add #4330 (certified BIT moments) to the #4100 map
  
  Ryanson Jonathan
  and
  claude
  committed
  d7c8ddc
- Record #4330's selected-supplier binding in the #4100 map
  
  Ryanson Jonathan
  and
  claude
  committed
  5eed373
- Add #4319 and #4336 to the #4100 coverage map
  
  Ryanson Jonathan
  and
  claude
  committed
  36dbf9c