Report rendering

This module dispatches reflected applications to their operation-specific reports and preserves a symbolic account when concrete dimensions are not available.

def TorchLean.Tensor.Internal.Report.renderApplication (expression : Lean.Expr) : Lean.MetaM String

Render the checked types, obligations, lowering stages, execution strategy, static work estimates, and correctness theorem for a recognized operation.