IR shape inference

#shape_infer_view g compares declared output shapes with shapes inferred from earlier nodes. Malformed graphs are rejected before inference. A declared-shape mismatch is reported while inference continues using the inferred shape; an inference error stops propagation and marks later rows as skipped.

def NN.Widgets.shapeInferHtml (g : IR.Graph) : ProofWidgets.Html

Render a per-node table comparing declared shapes vs inferred shapes for an IR graph.

Command

def NN.Widgets.shapeInferViewCmd : Lean.ParserDescr

def NN.Widgets.«command#shape_infer_view_» : Lean.ParserDescr