4. Certified case studies🔗

These examples show the difference between a seed, a clean-block proof, and a complete verified candidate. They also illustrate how ASPBE can evolve a correct unitary completion while preserving the user-visible block.

1. 4.1. Cold-start transfer operator
2. 4.2. Main Case 1 circuits
3. 4.3. Evolved optimal-control completion
4. 4.4. Cubic diagonal operator
5. 4.5. Robin-boundary audit