pub fn objective_wire(objective: &str) -> &strExpand description
The phase-kernel wire the optimizer reads for objective: the bare name
itself, or the synthesized OBJECTIVE_WIRE for an inline expression.
Pairs with synthesize_phase_scope_bindings, which emits the
__objective binding for the expression case — the two agree by sharing
objective_is_bare_wire.