v4 debt paydown: §A1 dissolve landed-T-25-core formatter refinement gates (69 sites). Per docs/audit/v4-deferral-audit-2026-05-29.md §A1, replace annotated Int/String fields with Refined<Int>/Refined<String> + Validation predicates against the landed src/v4/std/refinement.dag (PR #3354). Breakdown: - #3914