{
  "after": "C306",
  "chosen_next_step": "C307: Derive a typed affine normal form for the joint source relations, separating dependent equalities, context conversions and phase actions.",
  "reason": "The available local choices are exhausted; a reduced model can now explain the compatibility boundary without accumulating duplicate numerical witnesses.",
  "next_step_executed_within_this_step": false,
  "effort": "High sufficient",
  "limits": [
    "Alternative source-admitted selectors change a premise even when endpoints are close.",
    "The phase audit does not permit arbitrary seasonal reattachment of the fixed anchors.",
    "No new axis, bridge or annual center is adopted."
  ]
}