Proof
Symbolic, numerical, and negative-result evidence for the parts of the framework that hold.
Symbolic Verification
Algebraic checks for power laws, tensor transformations, and corrected bigeometric identities.
GUD Benchmarks
Benchmark suite and practical limits for composite calculus experiments.
Negative Results
Known failures and falsifications, including cosmology and unitarity limits.
Spectral Gap Verification
Numerical verification reports and invariant checks.