Finite fibers and tensor aggregation

This facade exposes coordinate-fiber geometry, order-independent tensor aggregation, and proved differential and reverse-mode identities for sum, product, mean, and attained-value reductions.