docs: Gate 5 closeout - AAR, harvest, design doc done

The design doc closes with its AAR (planned/actual/why/learnings, the
six acceptance criteria checked off 6/6, the session's shakiest calls
named) and moves to docs/design/done/ with status done. Harvest: a
stolpersteine wiki page distilled from the AAR (hex is not a git SHA,
TZ on the git process, python floor, anonymous Gitea negatives,
negative tests, directory links), and the neckbeard feedback list
becomes issue 0040 - a deliberate separate act, per the design's
non-goals. Operational follow-up is issues 0041 (refine imported
wartegrund) and 0042 (go-live: push, first mirror run, CI schedule,
milestone for gitops#61). Final chain green: validate 0/0 over 36 open
issues, gen_status --check current, drift 0, prosa 0.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

docs/issues/0042-migration-in-betrieb-nehmen-push-spiegel-schedule.md

@@ -0,0 +1,28 @@
+---
+type: issue
+id: "0042"
+status: open
+created: 2026-08-11
+milestone: M2
+priority: high
+related:
+  - "docs/design/done/2026-08-11-neckbeard-migration.md"
+---
+
+# Migration in Betrieb nehmen: Push, erster Spiegel-Lauf, CI-Schedule
+
+> Die Schritte, die nur sorb ausführt (Nicht-Ziele der Migration:
+> kein Push, kein API-Write durch die Session).
+
+1. Branch `Neckbeard-v0.1.1-migration-1` sichten und nach `main`
+   bringen; Push über git.lab (Mirror zieht nach).
+2. Ersten Spiegel-Lauf ausführen: `python3 scripts/spiegel_issues.py
+   --ausfuehren` (legt 0033–0042 auf GitLab an); danach die vergebenen
+   iids als `gitlab_iid` nachtragen — ab dann meldet
+   `gruppenpruefung.py` die Hinweise nicht mehr.
+3. CI-Schedule für den Job `gruppenpruefung` anlegen (wie
+   Stillstandsprüfung; Gruppen-Token mit `read_api` liegt als maskierte
+   Variable bereits vor, siehe management#31).
+4. gitops#61 einen Meilenstein geben (M1 oder M5 an der
+   ADR-0010-Trennlinie) — der rote Befund der Gruppenprüfung ist die
+   Erinnerung.