docs: mark smolmachines-specific PRDs + research as superseded

Add a "Superseded (2026-07-11)" banner and flip Status: Active →
Superseded on the 8 smolmachines-specific docs (7 PRDs + the VM-backend
research). Bodies are left intact as a historical record; the banner
points at the removal commit and the landscape doc so a reader isn't
misled into thinking the backend still exists.

Incidental mentions in other PRDs (git-gate, cred-proxy, print-parity,
etc.) are left as-is.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01WBMWTEtQdJ4W5UrWuLHCck

docs/prds/0023-smolmachines-backend.md

@@ -1,6 +1,8 @@
 # PRD 0023: smolmachines bottle backend
 
-- **Status:** Active
+> **Superseded (2026-07-11).** The smolmachines backend was removed — Linux now uses the Firecracker backend, macOS uses macos-container. Kept as a historical record; see the removal commit `c07ebca` and `docs/research/landscape-containerized-claude.md`.
+
+- **Status:** Superseded (2026-07-11) — was Active
 - **Author:** didericis
 - **Created:** 2026-05-26
 

docs/prds/0032-smolmachines-launch-decomposition.md

@@ -1,6 +1,8 @@
 # PRD 0032: Decompose smolmachines launch and harden bringup sequencing
 
-- **Status:** Active
+> **Superseded (2026-07-11).** The smolmachines backend was removed — Linux now uses the Firecracker backend, macOS uses macos-container. Kept as a historical record; see the removal commit `c07ebca` and `docs/research/landscape-containerized-claude.md`.
+
+- **Status:** Superseded (2026-07-11) — was Active
 - **Author:** didericis-claude
 - **Created:** 2026-06-02
 - **Issue:** #122

docs/prds/0038-smolmachines-env-contract.md

@@ -1,6 +1,8 @@
 # PRD 0038: smolmachines Env Contract and Secret-Safe Injection
 
-- **Status:** Active
+> **Superseded (2026-07-11).** The smolmachines backend was removed — Linux now uses the Firecracker backend, macOS uses macos-container. Kept as a historical record; see the removal commit `c07ebca` and `docs/research/landscape-containerized-claude.md`.
+
+- **Status:** Superseded (2026-07-11) — was Active
 - **Author:** didericis-codex
 - **Created:** 2026-06-02
 - **Issue:** #135

docs/prds/0039-smolmachines-capability-remediation.md

@@ -1,6 +1,8 @@
 # PRD 0039: smolmachines Capability-Block Remediation
 
-- **Status:** Active
+> **Superseded (2026-07-11).** The smolmachines backend was removed — Linux now uses the Firecracker backend, macOS uses macos-container. Kept as a historical record; see the removal commit `c07ebca` and `docs/research/landscape-containerized-claude.md`.
+
+- **Status:** Superseded (2026-07-11) — was Active
 - **Author:** didericis-codex
 - **Created:** 2026-06-02
 - **Issue:** #136

docs/prds/0042-smolmachines-parity-tests.md

@@ -1,6 +1,8 @@
 # PRD 0042: smolmachines Cross-Backend Parity Tests
 
-- **Status:** Active
+> **Superseded (2026-07-11).** The smolmachines backend was removed — Linux now uses the Firecracker backend, macOS uses macos-container. Kept as a historical record; see the removal commit `c07ebca` and `docs/research/landscape-containerized-claude.md`.
+
+- **Status:** Superseded (2026-07-11) — was Active
 - **Author:** didericis-codex
 - **Created:** 2026-06-02
 - **Issue:** #139

docs/prds/0057-smolmachines-default.md

@@ -1,6 +1,8 @@
 # PRD 0057: Promote smolmachines to default backend; convert Docker to example-only
 
-- **Status:** Active
+> **Superseded (2026-07-11).** The smolmachines backend was removed — Linux now uses the Firecracker backend, macOS uses macos-container. Kept as a historical record; see the removal commit `c07ebca` and `docs/research/landscape-containerized-claude.md`.
+
+- **Status:** Superseded (2026-07-11) — was Active
 - **Author:** didericis
 - **Created:** 2026-06-06
 - **Issue:** #206

docs/prds/0068-smolmachines-linux.md

@@ -1,6 +1,8 @@
 # PRD 0068: smolmachines backend on Linux
 
-- **Status:** Active
+> **Superseded (2026-07-11).** The smolmachines backend was removed — Linux now uses the Firecracker backend, macOS uses macos-container. Kept as a historical record; see the removal commit `c07ebca` and `docs/research/landscape-containerized-claude.md`.
+
+- **Status:** Superseded (2026-07-11) — was Active
 - **Author:** Claude
 - **Created:** 2026-06-25
 - **Issue:** #283

docs/research/smolmachines-as-vm-backend.md

@@ -1,5 +1,7 @@
 # smolmachines as a VM backend for bot-bottle
 
+> **Superseded (2026-07-11).** The smolmachines backend was removed — Linux now uses the Firecracker backend, macOS uses macos-container. Kept as a historical record; see the removal commit `c07ebca` and `docs/research/landscape-containerized-claude.md`.
+
 Evaluation of whether [smolmachines](https://smolmachines.com/) would
 simplify the macOS agent-VM-isolation work spelled out in
 [`agent-vm-isolation.md`](agent-vm-isolation.md).