Transform reports #
This module reports concrete rearrange, repeat, and reduce certificates.
def
TorchLean.Tensor.Internal.Report.Impl.concreteTransformReport
(operation : String)
(checked inputScalarType outputScalarType : Lean.Expr)
(supplementaryTypeEntries : List (String × String))
(nativeExecution correctnessTheorem denotation : String)
(nonemptyReduction foldReduction : Bool := false)
:
Decode a concrete rearrange, repeat, or reduce certificate into its normalized axes, verified logical stages, and native execution strategy.