Repository navigation

docs(planning): rung-4 acceptance spec — phase4/field_patch_monoid - #4039

Merged

briansrls merged 8 commits into

mainfrom

session/wise-seal-69

May 30, 2026

Merged

docs(planning): rung-4 acceptance spec — phase4/field_patch_monoid#4039
briansrls merged 8 commits into
mainfrom
session/wise-seal-69

Commits on May 30, 2026
- WIP: Ladder/Fixture Manager — authority over 9-rung correctness ladder, fixtu
  briansrls
  committed
  bbdb3ad
- fix(ci): drop dead if/else around R2-rust upstream_blocked note
  
  briansrls
  and
  claude
  committed
  c1a6a45
- fix(ci): drop -l from R0-go-parse gofmt, discard formatted stdout
  
  briansrls
  and
  claude
  committed
  1f83fe5
- fix(ci): bound R0 parse probes under per-toolchain timeout
  
  briansrls
  and
  claude
  committed
  43d8d0d
- docs(planning): rung 0-2 fixture spec — phase4/field_patch_monoid (Branch-using)
  
  briansrls
  and
  claude
  committed
  608d3c0
- docs(planning): rung-3 acceptance spec — phase4/field_patch_monoid (W1/W1b inherited)
  
  briansrls
  and
  claude
  committed
  45776c4
- Merge remote-tracking branch 'origin/main' into session/wise-seal-69
  briansrls
  committed
  aa1cd1f
- WIP: Ladder/Fixture Manager — authority over 9-rung correctness ladder, fixtu
  briansrls
  committed
  d293f4c