Glossary

The vocabulary of Constraint-Surface Dynamics. Every term three ways: plainly, in the role it plays here, and formally. Each one has a machine-checked theorem behind it.

• Fubini-Study measureThere is exactly one way to measure the space of quantum states without secretly favouring a direction. The Born rule is what that measure says.