Repository navigation

fix(ci): align phase1 nat_semiring rung gate to §2.1 parse-only + §2.4 SKIP - #4015

Merged

briansrls merged 4 commits into

mainfrom

session/wise-seal-69

May 30, 2026

Merged

fix(ci): align phase1 nat_semiring rung gate to §2.1 parse-only + §2.4 SKIP#4015
briansrls merged 4 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