pub fn link(
g: &TensorGraph,
k: usize,
prelude: &Prelude,
form: Form,
numerics: NumericsPolicy,
target: &SpatialTarget,
) -> Result<Vec<SpatialProgram>, SpatialReject>Expand description
Op k of g as the template sections it composes from — one per program the composer chains. Every op is one
section except the carried-state blocks, whose read half and write half are separate sections precisely so the order
between them is a checkable barrier rather than an assumption (from_qwen_ops::from_gated_delta).
★ A LINKING COMPUTES ONLY IN DATATYPES ITS CHIP HAS: every section passes check_datatypes, or the op is refused.