contextual-equivalence

Arithmetic beyond equal values — a finite mathematical framework for distinguishing and classifying different realizations with the same sum and product under shared prime context, with critical-support synthesis, constructive future separators, a sharp {5,7,11} classifier, and executable verification — Shunyaya Arithmetic Origin Resolution.

Mathematics that can be rebuilt — a finite mathematical framework for reconstructing theorem systems under failures, with a universal continuation classification by canonical normal forms, constructive distinguishing continuations, bounded-width algorithms, and reproducible verification — Shunyaya Theorem Reproducibility Framework.