Mathematics

The mathematical derivations are maintained in:

• Topology derivations
• Persistent homology
• Sparse events
• Topological convergence

Every formula should name its implementation surface and claim boundary. A formula in documentation is not evidence that the full system property has been proved for all runtime paths.