Skip to content

docs(specs): drop retired instruction-floor-guard.yml from DOC-62's gate list - #4689

Merged
bobmatnyc merged 1 commit into
mainfrom
fix/4677-doc62-stale-gate-ref
Aug 3, 2026
Merged

docs(specs): drop retired instruction-floor-guard.yml from DOC-62's gate list#4689
bobmatnyc merged 1 commit into
mainfrom
fix/4677-doc62-stale-gate-ref

Conversation

@bobmatnyc

Copy link
Copy Markdown
Owner

Summary

Test plan

  • bash scripts/check_sld.sh — passes (54 spec docs, 0 errors/warnings)
  • bash scripts/check_doc_numbers.sh — passes (96 docs, 0 violations)
  • Verified every .github/workflows/*.yml name remaining in the gate list still exists on disk
  • Verified CLAUDE.md:493 and the ../../CLAUDE.md relative link both resolve to the correct delivery-chain content

Docs-only change (rung 1 on the Rust Test Ladder) — no Cargo gates required.

🤖🤖🤖 Generated with trusty-mpm — https://github.com/bobmatnyc/trusty-tools

…ate list

The workflow was deleted by #4665 (framework-floor retirement), so listing it
alongside currently-enforced gates overstated it as live. This is a
pre-existing defect the PR's status bump to Accepted gives more apparent
authority to; fixing here rather than filing a follow-up.

The other two citations the review flagged (lines 163, 805 — the delivery-
chain source) already point at CLAUDE.md, not the retired
.trusty-mpm/INSTRUCTIONS.md: commit 2e8a36b (#4676), already an ancestor of
this branch, fixed both before this review ran. Verified by grep — no
remaining .trusty-mpm/INSTRUCTIONS.md or other stale-mechanism references in
either DOC-62 or DOC-63.

Addresses the HIGH finding on PR #4677:
#4677 (comment)

🤖🤖🤖 Generated with trusty-mpm — https://github.com/bobmatnyc/trusty-tools
@bobmatnyc
bobmatnyc merged commit a0fbb1c into main Aug 3, 2026
26 checks passed
@bobmatnyc
bobmatnyc deleted the fix/4677-doc62-stale-gate-ref branch August 3, 2026 19:18
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