tensor.md

tensor tensor decomposition of structured nox traces. prover memory: O(N) → O(√N). prover time: O(N log N) → O(N) streaming. mobile devices become first-class provers. the observation nox traces have structure the prover currently ignores: 1. **pattern repetition**: same pattern type in consecutive…