Certified tensor-view equations #
The einops_view attribute records equations that expose the tensor view
implemented by an otherwise opaque named function. Consumer compilers use
only these kernel-checked equations; they never inspect or trust an opaque
implementation.
Register a theorem that exposes an opaque tensor-producing function as a coordinate-preserving tensor view.
The theorem should be oriented from the named function application to a
supported rearrange, expand, Rep.pull, or Rep.reindex
expression. The compiler applies only the tagged equality itself; it does not
add the theorem to the global simplifier or inspect the named implementation.