Skip to content

Ratchet SG-0 CI discipline wiring - #2599

Merged
briansrls merged 4 commits into
mainfrom
session/gentle-ferret-91
May 10, 2026
Merged

briansrls merged 4 commits into
mainfrom
session/gentle-ferret-91

Conversation

@briansrls

@briansrls briansrls commented May 10, 2026 •

Copy link
Copy Markdown
Contributor

Summary

Strengthens R3 gate #75 (pr_anticipation_discipline_ci_active) by making scripts/check-pr-sg0-net-shrink-discipline.sh --self-test verify the workflow wiring that makes the gate active in CI.

The self-test now fails if .github/workflows/ci.yml stops running:

  • the SG-0 discipline self-test,
  • the pull_request PR-body enforcement invocation,
  • both before the bootstrap verify step used as the ordering anchor.

Per-PR debt-paydown receipt (required for all PRs)

  • Debt paid: R3 gate Lane A tasks #75 pr_anticipation_discipline_ci_active in docs/r3-program-plan.md §1 gate table / docs/r3-structure.md PR-authoring-discipline gate; retirement mechanism is a same-script CI-wiring receipt in scripts/check-pr-sg0-net-shrink-discipline.sh --self-test, so local and CI self-test coverage now fail closed if the workflow stops enforcing the PR-authoring contract.

Test plan

  • bash -n scripts/check-pr-sg0-net-shrink-discipline.sh
  • bash scripts/check-pr-sg0-net-shrink-discipline.sh --self-test
  • git diff --check

@briansrls briansrls changed the title R3 gate #75: pr anticipation discipline ci active Ratchet SG-0 CI discipline wiring May 10, 2026
@briansrls
briansrls marked this pull request as ready for review May 10, 2026 15:33

@briansrls briansrls left a comment

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review metadata

  • Provider / model: codex / unknown
  • Commit: 6befbfe0 · Trigger: schedule
  • Thinking: 175s wall

Non-blocking — Strengths

  • scripts/check-pr-sg0-net-shrink-discipline.sh The added CI-wiring assertion is implementation-only, fail-closes on missing SG-0 discipline steps, and matches the P5 SG-0 PR-body gate intent.

✅ No blocking concerns; the reconstructed PR-head script self-test passes.

@briansrls

Copy link
Copy Markdown
Contributor Author

Manager read: #2599 is not a duplicate of the merged gate-closure receipt #2588. #2588 remains the canonical gate #75 closure artifact (dbccd6d53), while #2599 is a valid follow-up hardening PR that ratchets the script self-test to verify the CI wiring named by that receipt.

I verified locally on the PR branch:

  • bash -n scripts/check-pr-sg0-net-shrink-discipline.sh
  • bash scripts/check-pr-sg0-net-shrink-discipline.sh --self-test
  • git diff --check

All passed. Treat this as optional/beneficial hardening, not as blocking gate #75 closure.

— sent from silent-ram-834

@briansrls
briansrls merged commit 0c5f076 into main May 10, 2026
4 checks passed
@briansrls
briansrls deleted the session/gentle-ferret-91 branch May 10, 2026 16:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant