[gildesmarais]

What changed

• AGENTS.md adds ## Ship follow-through with the html2rss gem-pickup sequence (release gem workflow check, origin/main branch, bundle update html2rss + make ready in Dev Container, required CI checks, squash-merge only when asked) and the bump-version.yml gate (ask before dispatching, require --ref main, keep the draft GitHub release unpublished unless asked).
• AGENTS.md encodes the explicit execution posture (Time matters. Reduce LOC when possible. No legacy code, no backward compatibility, no shims.) and drops duplicated verification, response-format, and UI prose in favor of single pointers to docs/README.md, CONTEXT.md, and docs/design-system.md (104 → 46 lines).
• CONTEXT.md (56 → 19 lines) and .github/copilot-instructions.md (16 → 8 lines) are compressed into dense domain definitions and canonical file pointers without changing any contract or seam owner.

Why

The gem pin and the app version bump are separate PRs that Mergify does not queue; dispatching bump-version.yml without a user-named bump or before the gem PR lands on main ships the wrong commit. At the same time, repeated rules across AGENTS.md, CONTEXT.md, and .github/copilot-instructions.md consumed context tokens on every load without changing model decisions.

Risk

• low — agent instructions and glossary formatting only; no runtime, test, or OpenAPI contract change.

Review map

Review map: whole PR is small — start at AGENTS.md. No test delta.

Validation

• Dev Container: make ready — RuboCop, Zeitwerk, YARD, frontend lint, and RSpec (357 examples, 0 failures)