Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
briansrls merged 20 commits into from
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

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

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading