By: ValentinHirschi <valentin.hirschi@gmail.com>
consolidate symbolic tensor algebra and production callers Reuse Idenso SymbolicTensor for composition, contraction, index substitution, interface bookkeeping, aliases and tensor rules. Remove parallel tensor and network-Schoonschip paths, and migrate Rust, Python, Typst and production numerator callers to the shared owners and explicit materialization boundaries. Preserve logical ports, typed zeros, callback-sensitive interfaces and dummy scopes. Report incomplete contraction instead of certifying exhausted budgets. Correct basis-selector admission for the registered delta tensor. Keep exact component oracles and the reviewed symmetric-metric, ghost-order and transposed trace expectations; nonsymmetric cooking retains argument and port order. Validation includes 127 native binding unit tests and ten integration tests, 79 focused contraction regressions, 49 HEP tests, four targeted trace checks, 39 ghost crossings and 15 linearity probes, 110 selected GammaLoop/Vakint checks, a rebuilt GL000 production smoke, 21 actual Wasm runtime checks, and a 16-case FORM/HEP replay. Relevant strict Clippy, formatting, generated stubs and docs pass. The checkpoint report distinguishes earlier broad runs from final successor checks and records the retained upstream Graphica tadpole failure. The HEP notebook checkpoint is published in alphal00p/symbolica-community at 3da847a9c8f9453ead70c2328860cf5e68a74298. Additional performance work is deferred at the user's requested stopping point. This is a development checkpoint; NixCI remains disabled and no final-review readiness is claimed.