Compiled IR Execution API

Public entrypoint for validating and lowering a complete shared IR graph.

def Runtime.Autograd.Compiled.execGraphOfIR {α : Type} [Context α] [DecidableEq Spec.Shape] (g : NN.IR.Graph) (payload : NN.IR.Payload α) : Except String (ExecGraphData α)

Compile an op-tagged IR graph into an executable SSA graph (GraphData) for forward evaluation.

Requirements:

• Node id 0 must be .input.
• The graph must satisfy Graph.checkWellFormed.
• The external payload must contain entries for every .const/.linear/.conv2d node id.

This returns an ExecGraphData whose eval computes all node values in topo order.

This is the main API consumed by runtime callers that want executable evaluation while remaining aligned with the shared NN.IR.Graph semantics.