Repository navigation

Ladder/Fixture Manager — authority over 9-rung correctness ladder, fixture set, rung gate shape (acceptance predicates per rung), 'no rustc-clean as headline' enforcement per PR #3938 §11.1. First artifact: nat_semiring × rungs 0-2 acceptance predicate spec; ratify nat_semiring as Phase 1 fixture; d - #3946

Merged

briansrls merged 20 commits into

mainfrom

session/keen-crab-361

May 30, 2026

Merged

Ladder/Fixture Manager — authority over 9-rung correctness ladder, fixture set, rung gate shape (acceptance predicates per rung), 'no rustc-clean as headline' enforcement per PR #3938 §11.1. First artifact: nat_semiring × rungs 0-2 acceptance predicate spec; ratify nat_semiring as Phase 1 fixture; d#3946
briansrls merged 20 commits into
mainfrom
session/keen-crab-361

Commits on May 30, 2026
- docs(ladder): ratify phase1 nat_semiring fixture and rungs 0-2 predicates
  
  briansrls
  and
  cursoragent
  committed
  1cbe27c
- docs(ladder): rename to v4-ladder-rung-specs; add templates and spot-checks
  
  briansrls
  and
  cursoragent
  committed
  612a160
- docs(ladder): ratify spec after PR #3938 merge (Phase 1 unblocked)
  
  briansrls
  and
  cursoragent
  committed
  60c3cb5
- docs(ladder): fix R2-python-compile pass condition wording
  
  briansrls
  and
  cursoragent
  committed
  397630d
- docs(ladder): fix live-tree citations and TestClaim shape guidance
  
  briansrls
  and
  cursoragent
  committed
  fd8a6eb
- merge main: include v4-correctness-ladder-2026-05-30.md (#3938) alongside rung spec
  briansrls
  committed
  aa61d3b
- docs(ladder): point parent ladder doc at origin/main after merge
  
  briansrls
  and
  cursoragent
  committed
  711fb20
- docs(ladder): file §6 executable baseline from #3955 gate matrix
  
  briansrls
  and
  cursoragent
  committed
  1f1e425
- Merge remote-tracking branch 'origin/main' into session/keen-crab-361
  briansrls
  committed
  c771426
- Merge remote-tracking branch 'origin/main' into session/keen-crab-361
  briansrls
  committed
  d367217
- docs(ladder): separate R0 parse receipts from compile/typecheck (openai-pro)
  
  briansrls
  and
  cursoragent
  committed
  86484b0
- docs(ladder): drop undefined PARTIAL; use §2.4 PASS/FAIL/SKIP only
  
  briansrls
  and
  cursoragent
  committed
  1b26bcb
- docs(ladder): §2.5 — roster module landed on main (#3953), not net-new
  
  briansrls
  and
  cursoragent
  committed
  2bad8de
- docs(ladder): §2.5 host script landed on main (#3953), align not recreate
  
  briansrls
  and
  cursoragent
  committed
  4598aea
- docs(ladder): R0-rust-parse — forbid metadata emit; parse-only receipts
  
  briansrls
  and
  cursoragent
  committed
  2f3a363
- docs(ladder): tighten R0 rust/go receipts; split §7 #3955 pending
  
  briansrls
  and
  cursoragent
  committed
  70e9fc7
- docs(ladder): reconcile R1 prerequisite with §2.4 SKIP semantics
  
  briansrls
  and
  cursoragent
  committed
  a4433f4
- docs(ladder): §6 blocking_receipt uses upstream_blocked when R0 SKIP
  
  briansrls
  and
  cursoragent
  committed
  50296bb
- docs(ladder): R2 go/python prerequisites — R0 PASS before R2 execute
  
  briansrls
  and
  cursoragent
  committed
  cc28199
- docs(ladder): unify rung-row PASS/FAIL vs per-cell SKIP vocabulary
  
  briansrls
  and
  cursoragent
  committed
  2e0c5ca

Commits

Commits on May 30, 2026