Repository navigation

feat(v3): R3 gate #46 loop iteration independence emits parallel - #2529

Merged

briansrls merged 10 commits into

mainfrom

session/calm-otter-369

May 10, 2026

Commits on May 10, 2026
- feat(v3): R3 second-batch staged lane2 witness (gates #46–#48)
  
  briansrls
  and
  cursoragent
  committed
  6db9b77
- WIP: R3 gate #46: auto loop parallelism provable independence emits parallel
  briansrls
  committed
  196496f
- fix(v3): align second-batch auto-loop fixture comments with staged harness
  
  briansrls
  and
  cursoragent
  committed
  08847e2
- fix(v3): restore structural fold in gate #48 free-consequences fixture
  
  briansrls
  and
  cursoragent
  committed
  cd5f891
- test(v3): assert gate #48 fold lowers to Behavior::Loop
  
  briansrls
  and
  cursoragent
  committed
  b24163d
- WIP: R3 gate #46: auto loop parallelism provable independence emits parallel
  briansrls
  committed
  7fd563d
- WIP: R3 gate #46: auto loop parallelism provable independence emits parallel
  briansrls
  committed
  7f1c552
- fix(v3): repair CI fmt + lane2 witness test premise
  
  briansrls
  and
  cursoragent
  committed
  218a0e5
- Merge remote-tracking branch 'origin/main' into session/calm-otter-369
  briansrls
  committed
  65cc8da
- Merge remote-tracking branch 'origin/main' into session/calm-otter-369
  briansrls
  committed
  c23364c