Symbolic reports #
This module describes checked plans whose dimensions remain symbolic in the local context without inventing concrete values.
def
TorchLean.Tensor.Internal.Report.Impl.symbolicReport
(operation : String)
(typeEntries : List (String × String))
(obligations logicalStages workEstimate : List String)
(nativeExecution correctnessTheorem denotation : String)
:
Describe a symbolic checked plan without pretending that its local dimensions are concrete.