Application Proof Audit

This appendix collects the representative application theorem cards that were moved out of the Applications overview. The overview is for choosing a learning track; this page is for checking the current finite proved seeds across those tracks.

Application theorem cards certify finite models, wrappers, or contract facts only at their stated scope. The cards are not proof artifacts, not performance claims, and not model-quality claims; they do not prove physics realism, global optimality, runtime improvement, or real-world performance.

Data, Compute, Rendering, Layout, And Sampling

AI Seeds And Contracts

Where To Go Next

• AI Contract Suite for the compact proof-carrying AI entry point.
• AI Contract Ladder Proof Audit for the focused AI theorem trail.
• Theorem Index for the generated complete theorem registry.

Back: Applications Next: Classical Bridges