Dynamo prefix metrics implementation plan
Goal: Make #95 authority, amplification, and migration state observable with finite, identity-free Prometheus series.
- Add RED recorder tests for physical request work, hostile identity strings, authority gauge transitions, and migration outcomes.
- Add a private
lake-metatelemetry module and the workspacemetricsdependency; keep every label value compile-time bounded. - Instrument every v1 Scan and v2 Query request at the AWS response boundary, including errors and Dynamo evaluated/returned counts.
- Instrument authority refresh and durable barrier observation without changing protocol control flow; keep one-shot migration outcomes in JSON.
- Document rollout PromQL, run lane-1 lifecycle, LocalStack integration, strict clippy, full gate, docs, and independent review.