Spec core

Umbrella import for TorchLean's core specification layer: scalar contexts, shape-indexed tensors, runtime/list bridges, reductions, and gradient utilities.

These modules are intentionally pure. Runtime backends and verifier pipelines reuse the same definitions instead of maintaining parallel meanings for tensor operations.