=== ROUTER STEP FACTS CONTRACT VALIDATION === step=STEP_045D_REBALANCER_APPLY_CONTRACT_DESIGN decision=PASS all_ok=True structure_ok=True success_ok=True expected_absence_ok=True blockers_ok=True success_checks_count=47 expected_absence_count=15 warnings: - STEP_045D is design-only: it defines future --apply invariants and transaction contract but does not apply them. - Current rebalancer --apply remains intentionally refused. - Job insert is specified as payload_json-based but the exact insert column contract is deferred to implementation after schema confirmation.