Repository navigation

R3 gate #47: auto loop parallelism unproven falls back sequential - #2532

Merged

briansrls merged 13 commits into

mainfrom

session/sharp-wolf-424

May 10, 2026

Commits on May 10, 2026
- feat(v3): wire R3 gate #47 sequential fallback emit witness
  
  briansrls
  and
  cursoragent
  committed
  1c05911
- Merge branch 'origin/main' into session/sharp-wolf-424
  briansrls
  committed
  25b0664
- Merge remote-tracking branch 'origin/main' into session/sharp-wolf-424
  briansrls
  committed
  5a5efb1
- Merge remote-tracking branch 'origin/main' into session/sharp-wolf-424
  briansrls
  committed
  f4f1bb7
- docs(v3): cite ROADMAP DB-20 deferral for R3 #43/#47 emit witnesses
  
  briansrls
  and
  cursoragent
  committed
  2778c9a
- Merge remote-tracking branch 'origin/main' into session/sharp-wolf-424
  briansrls
  committed
  c308b73
- test(v3): two-element map corpus for gate #47 sequential witness
  
  briansrls
  and
  cursoragent
  committed
  c80e0d7
- WIP: R3 gate #47: auto loop parallelism unproven falls back sequential
  briansrls
  committed
  ec43fb3
- Merge branch 'main' into session/sharp-wolf-424
  
  briansrls
  and
  cursoragent
  committed
  aa3c1f2
- Merge remote-tracking branch 'origin/main' into session/sharp-wolf-424
  briansrls
  committed
  e87c872
- test(v3): key second-batch expectations by claim name, not index
  
  briansrls
  and
  cursoragent
  committed
  6a5173e
- Merge remote-tracking branch 'origin/main' into session/sharp-wolf-424
  briansrls
  committed
  8ec48d1
- Merge remote-tracking branch 'origin/main' into session/sharp-wolf-424
  briansrls
  committed
  53f08a6