Repository navigation

CR-150 batch A: L9c + L19o + L19n (integration) - #457

Merged

luisleo526 merged 26 commits into

core/cr150-p00-contractsfrom

core/cr150-batch-a

Oct 20, 2026

Merged

CR-150 batch A: L9c + L19o + L19n (integration)#457
luisleo526 merged 26 commits into
core/cr150-p00-contractsfrom
core/cr150-batch-a

Commits on Oct 19, 2026
- cr150 l19lb: executor result for CR-150 lane l19lb (supervisor commit)
  
  luisleo526
  and
  claude
  committed
  e19d1fc
- cr150 l19lc: executor result for CR-150 lane l19lc (supervisor commit)
  
  luisleo526
  and
  claude
  committed
  9a4089e
- cr150 l9c: executor result for CR-150 lane l9c (supervisor commit)
  
  luisleo526
  and
  claude
  committed
  5706d2b
- cr150 l19l: executor result for CR-150 lane l19l (supervisor commit)
  
  luisleo526
  and
  claude
  committed
  64e8f37
- Merge part B (kernel cohort rosters on disk) into L19l part A
  luisleo526
  committed
  a7f57ca
- Merge part C (PlacementTable auxiliary tables on disk) into L19l parts A and B
  luisleo526
  committed
  dd16af0
- cr150 l9c: portable report sink (named temp file, per-reader offsets), sink canary line, keep-sink switch (fix round 1)
  
  luisleo526
  and
  claude
  committed
  bca0a33
- cr150 l19m: exit-phase store on disk, release empty cohort maps and rosters (executor result)
  
  luisleo526
  and
  claude
  committed
  1b8cd36
- cr150 l19m: merge L19l head dd16af0f53 (one id-tables binding, both throwing declarations kept)
  
  luisleo526
  and
  claude
  committed
  9b17ce6
- cr150 l19n: kernel calendar memo and certified-cycle ring reserve their span buffers once (executor result)
  
  luisleo526
  and
  claude
  committed
  f7ca40f
- Merge integration 30a6e6062 into the lane head
  
  luisleo526
  and
  claude
  committed
  ccbe647
- Merge integration 30a6e6062 into the lane head
  
  luisleo526
  and
  claude
  committed
  cb95997
- Merge integration 30a6e6062 into the lane head
  
  luisleo526
  and
  claude
  committed
  5c3be4c
- cr150 l9c: per-run canary log for full and subset sweeps, canary also checks the E records against the engine receipt (fix round 2)
  
  luisleo526
  and
  claude
  committed
  f704339
- Merge integration 92240958 into the lane head
  
  luisleo526
  and
  claude
  committed
  e61f785
- Merge integration 92240958 into the lane head
  
  luisleo526
  and
  claude
  committed
  25964e7
- cr150 l19l+l19m: round-2 fixes: exit-phase store and kernel roster store removed, coded throws, portable fault injection, comments restored, citations refreshed
  
  luisleo526
  and
  claude
  committed
  0d065c3
- Merge integration 92240958 into the lane head
  
  luisleo526
  and
  claude
  committed
  5300823
Commits on Oct 20, 2026
- Merge integration 5022017c into the lane head
  
  luisleo526
  and
  claude
  committed
  1692cce
- Merge integration 5022017c into the lane head
  
  luisleo526
  and
  claude
  committed
  9d0f01f
- Merge integration 5022017c into the lane head
  
  luisleo526
  and
  claude
  committed
  01d568f
- docs: re-anchor file:line citations after merging integration 5022017c
  
  luisleo526
  and
  claude
  committed
  e203081
- cr150 l19l: reversal cancels exits of every known cohort id again, not only the resident ones (behaviour fix, witness test)
  
  luisleo526
  and
  claude
  committed
  89c7605
- Merge lane l9c into batch-a
  luisleo526
  committed
  c12c220
- Merge lane l19o into batch-a
  luisleo526
  committed
  9c2cb12
- Merge lane l19n into batch-a
  luisleo526
  committed
  d7c6729

Commits

Commits on Oct 19, 2026

Commits on Oct 20, 2026