Computational Evidence

This directory stores Route-D computational scripts and certificates that support boundary analysis but are not part of the default theorem-node read set.

• scripts/: reproducible finite-check scripts.
• certificates/: generated reports and certificates from those scripts.