docs: fold velma R5 verdict (C1 typed-ops scope, C2 checkpoint-lease gate, seat-grade identity)

docs/plans/2026-08-30_containerization.md

@@ -48,6 +48,11 @@ Tiered deployment, additive to the existing architecture:
 - Acceptance: the five-point NORTH-STAR bar measured live.
 
 ### Phase B — component completion
+- Interface assumption (velma verdict A1, P5-RM-005/006): in-stack
+  dogfood agents inherit SEAT-GRADE identity — credential-slot
+  isolation, wrapper-first enforcement, no privileged coordination
+  identity, evidence by references that resolve outside the container
+  lifetime.
 - Decompose JIT from A5's catalogue. Known candidates: agent runtime
   bits (brain/tool access paths in-container), repo credentials for the
   dogfood agent, watch/comms surfaces inside the deployment.
@@ -59,8 +64,19 @@ Tiered deployment, additive to the existing architecture:
   deployment.
 
 ### Phase D — coordinator integration (GATED)
-- Blocked until the guides-proposed control-plane refactor lands; then
-  wire `mosaic coord` service lifecycle per that design.
+- Gate (velma verdict C2): blocked until the checkpoint-and-lease child
+  of the guides-proposed control-plane refactor — core + WU-P1-CHECKPOINT
+  (schema, freshness, incarnation, clean-replacement resume; D57-D60
+  lineage) — carries an independent target-bound PASS. Wiring restarts
+  against the core alone re-creates the stale-incarnation failure class
+  D57-D60 closed. Transitive: inherits the T108 gates (P0 exit + Jason
+  P1 authorization).
+- Scope (velma verdict C1): lifecycle actions (start/stop/restart/
+  health/recovery) executed by the SHIPPED coord client over the one
+  typed coordination contract (request id, actor identity, epoch,
+  revision, lease, correlation; typed stale rejection; worker role
+  boundary). No second coordination interface gets designed here —
+  containerization consumes the coordination contract, never defines it.
 
 ### Phase E — enterprise tier
 - k8s manifests/Helm for the same set; phase-gated on Phase A holding.