docs: §13.2 wizard leg COMPLETE (offered/enrolled/formatted via operator UI + GO; pipeline-level teardown, boxes as found) + Day-0 manifest vouched 0.87.0; cross-ref the two controller bugs the leg surfaced (0.126.3/0.126.4)

CONTEXT.md

@@ -16,8 +16,10 @@
   conservatism (any unresolvable slave → ok=false → unchanged all-system path); signature test
   `TestSystemDisks_WalkTopologies` (root-backing disk ALWAYS system — never weaken). §3 spike
   transcripts: drill (legacy) dm-1→sda3→sda; felhom-pve (EFI+LVM) ESP+walk agree on sda →
-  byte-identical regression. OPEN at ship time: §13.2 wizard live leg (hot-added scratch disk,
-  Viktor session + GO before format) + Day-0 manifest bump to 0.87.0 (operator UI).
+  byte-identical regression. §13.2 wizard leg COMPLETE (offered → enrolled → formatted →
+  torn down, boxes as found) + Day-0 manifest vouched to 0.87.0 (operator). The leg also
+  surfaced two CONTROLLER bugs (fixed same-day: v0.126.3 claimed-box wizard CSRF, v0.126.4
+  502-through-CF + native-alert ban).
 
 - **v0.83.0** (2026-07-11, LIVE on felhom-pve; NOT published — Peti stays 0.81.0) — **observability
   pass** (pairs with controller v0.116.1 + hub v0.46.0). `applog.New` → `(logger, *Ring)`: slog