pub fn validate_bind_points(
templates: &[ParsedOp],
program_for_op: &dyn Fn(&str) -> Arc<PolydatProgram>,
) -> Result<(), String>Expand description
Validate that all bind points in op templates can be resolved.
Called at init time. Warns for each unresolvable {name} reference.
A bind point is resolvable if it matches a Polydat output, input name,
or a known capture declaration from another op. Workload params are
injected into the Polydat source as constant bindings before compilation,
so they resolve as Polydat outputs.
Validate that all bind points in op templates can be resolved.
Returns Err with a descriptive message if any bind point is
unresolvable. Callers should treat this as a fatal error —
unresolved bind points produce broken ops at runtime.