90f1a6e7

By: ValentinHirschi <valentin.hirschi@gmail.com>

Preserve validated tensor interfaces through gamma algebra and domain mapping

Carry validation facts with symbolic tensor roots and alias definitions.
Trusted gamma identities retain the established interface, and generated trace
sums use the existing fast structure reader on one representative term.
Propagate the source normalization proof instead of rescanning every trace sum.
Keep callback, unresolved-port, typed-zero and alias-registry boundaries checked.

Regression coverage checks zero inference/scope-validation calls, encoded AUTO
publication, foreign traces, callback rank loss and retained alias definitions.
809 Idenso tests and 78 Spenso tests pass, with 22 Idenso tests skipped. The
existing exhaustive gamma5-position test passes with a local 20-minute timeout.
Strict Clippy, formatting, Typst builds and benchmark exact-output checks pass.

The matched warm benchmark improves ordinary trace4 length 12 by 7.36x, tracen
length 10 by 8.00x, and 64 alias domains by 2.12x. Keep the driver and raw timing
records with the documented trust boundary and measurement scope.

Total

1s

Timeline