[frostyard-machines]

Summary

Sets ADR-0013 (Proposed) to Superseded by core ADR-0055, never accepted, and adds a short note. Docs only; no code change.

Why supersede, not narrow and accept

• ADR-0013's decision is to add a Frostyard production path inside Repogen. That path is Debian-only: Debian input, explicit codename, signed reconcile, shared-pool handling, read-back. reconcile-production is fixed to trixie.
• Core ADR-0055 (Accepted 2026-10-02) makes frostyard/apt-publisher the only Debian writer. It rejects "Repogen as the single writer" outright. So the decision that ADR-0013 records will not be carried out in Repogen.
• If 0013 were narrowed to Repogen's generic role, only today's behaviour would be left: generate keeps every format and unsigned output, and its output is not a production artifact. That needs no new decision. Accepting it would only add an ADR to maintain.
• The sysext role is not affected. ADR-0055 keeps Repogen publishing sysexts (core ADR-0008) through the generic publish-to-r2, not through the ADR-0013 path.

Changes

• docs/adr/0013-…md: Status → Superseded by core ADR-0055 (never accepted), plus a dated note that says what still holds. The original text stays unchanged as the record.
• docs/README.md: the index line for ADR-0013 now says it is superseded.
• docs/design/overview.md: the "Planned Frostyard Production Boundary" paragraph no longer calls ADR-0013 "proposed". It says that Plan 0001 is superseded for Debian publication, which docs/plans/0001 already states.

Not in this PR (follow-up, Brian's call)

The R2–R10 production code stays in the tree and stays tested: validate-production, reconcile-production (CLI and composite action), internal/production, the Debian production transaction, and internal/objectstore/r2. It no longer has a Frostyard caller. Removing it is a separate decision and a separate PR. Accepted ADR-0014 and docs/specs/production-r2-reconciliation.md still link to ADR-0013; the links resolve, and the ADR now explains its status.

Checks

• node scripts/check-docs.mjs: pass (23 docs, 232 links, 9 symlinks).
• No test reads these files (grep over *_test.go).

Risk

Tier 1: documentation and ADR status only, with no behaviour change. Rollback: revert.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!