diff --git a/_bmad-output/implementation-artifacts/spec-3-6-lease-staleness-recovery-basis-absichern.md b/_bmad-output/implementation-artifacts/spec-3-6-lease-staleness-recovery-basis-absichern.md
index 9e2af1a..27138bc 100644
--- a/_bmad-output/implementation-artifacts/spec-3-6-lease-staleness-recovery-basis-absichern.md
+++ b/_bmad-output/implementation-artifacts/spec-3-6-lease-staleness-recovery-basis-absichern.md
@@ -112,7 +112,40 @@ _Noch leer — wird von step-04 während der Review-Loops befüllt (append-only
 
 ## Suggested Review Order
 
-1. **§5.12-Leasing-Staleness-Sektion** (`schema/compiler.md` §5.12, nach §5.11 vor §6): 7 Punkte — Registrierung & generationenbasiertes TTL (Pkt. 1, Quellen-Präzedenz-Marker/Baum/Startwert), holder_id (Pkt. 2), Verwaist-Klassifikation (Pkt. 3), Merge-Base-Diskrepanz (Pkt. 4), `raw/`-Recovery & git stash (Pkt. 5), Registry-Invariante (Pkt. 6), log.md-Pflicht & Determinismus (Pkt. 7).
-2. **§7/§8-Nachweis** (`schema/compiler.md`): §7-Leasing-Enum-Bullet „Lease-Staleness/Recovery — in §5.12 verankert (Story 3.6)" (Vorbehalt aufgelöst, §5.11-Rückverweis unverändert); §8-Normreferenzen AD-17d/A0-15 „(Lease-Staleness, §5.12)"; §8-Revisionslog **Revision 3.1** mit Abschlussklausel.
-3. **Sandbox-Nachweis** (`_bmad-output/implementation-artifacts/sandbox-3-6/run-sandbox.sh`): STALE-1..STALE-6, harte PASS/Fail-Assertionen, Erhaltungs-Invariante §5.9 Pkt. 5 — re-executierbar `bash run-sandbox.sh` → Exit 0, 12 PASS.
-4. **Story-Protokoll/Defers** (`wiki/log.md` → `done`-Eintrag; `_bmad-output/implementation-artifacts/sprint-status.yaml` → `3-6: done`; `deferred-work.md` → 4 aufgegriffene Story-3.5-Defers + 1 neuer Story-3.6-Defer (Branch-Ref-Schicksal)).
+**§5.12-Leasing-Staleness-Instruktion**
+
+- Einstieg: §5.12-Sektion — Staleness-/Recovery-Dimension, Kern der Story (Registrierung, TTL, Klassifikation).
+  [`compiler.md:322`](../../schema/compiler.md#L322)
+- Registrierung & generationenbasiertes TTL mit gepinnter Quellen-Präzedenz (Marker/Baum/Startwert `gen=0`).
+  [`compiler.md:326`](../../schema/compiler.md#L326)
+- Verwaist-Klassifikation — Übernehmen gg. erneute Merge-Base-Prüfung / Stale-Markieren, nie gelöscht (AD-17e).
+  [`compiler.md:330`](../../schema/compiler.md#L330)
+- baseline_commit-Merge-Base-Diskrepanz-Regel — git-merge-base gewinnt, notierter SHA = Sekundär-Fingerprint.
+  [`compiler.md:335`](../../schema/compiler.md#L335)
+- `raw/`-Recovery-Basis & native `git stash`-Variante — raw/ immutable (AD-3), EC-1-Grenze.
+  [`compiler.md:337`](../../schema/compiler.md#L337)
+- Registry-Invariante & kumulativer Aufbau — Gen-Invariante, wiki/log.md alleiniger Aufzeichnungs-Ort.
+  [`compiler.md:339`](../../schema/compiler.md#L339)
+- log.md-Eintragspflicht & Determinismus-Vertrag — datumsgruppiert, kein Wanduhr-Timestamp steuert.
+  [`compiler.md:341`](../../schema/compiler.md#L341)
+
+**§7/§8-Nachweis**
+
+- §7-Leasing-Enum-Bullet — Staleness/Recovery „in §5.12 verankert (Story 3.6)", §5.11-Rückverweis unverändert.
+  [`compiler.md:397`](../../schema/compiler.md#L397)
+- §8-Revisionslog Revision 3.1 — Verankerung, Abschlussklausel, AD-17d/A0-15 auf §5.12-Anker.
+  [`compiler.md:438`](../../schema/compiler.md#L438)
+
+**Sandbox-Nachweis**
+
+- Sandbox STALE-1..STALE-6 — re-executierbar, harte PASS/Fail, Erhaltungs-Invariante §5.9 Pkt. 5 (Exit 0, 12 PASS).
+  [`run-sandbox.sh:1`](../../_bmad-output/implementation-artifacts/sandbox-3-6/run-sandbox.sh#L1)
+
+**Story-Protokoll/Defers**
+
+- log.md — Story-3.6-`done`-Eintrag (Review-Abschluss-Konvention).
+  [`log.md:4`](../../wiki/log.md#L4)
+- sprint-status.yaml — `3-6-…` → done.
+  [`sprint-status.yaml:59`](../../_bmad-output/implementation-artifacts/sprint-status.yaml#L59)
+- deferred-work.md — 4 aufgegriffene Story-3.5-Defers + 1 neuer Story-3.6-Defer (Branch-Ref-Schicksal).
+  [`deferred-work.md:417`](../../_bmad-output/implementation-artifacts/deferred-work.md#L417)