What ``finite'' means

The background is a continuum. An experiment is finite: it has finitely many active names, finite-dimensional quantum factors, finitely many classical outcomes, and finitely many instructions. Classical geometric parameters may be prescribed real numbers. No assertion is made that arbitrary such numbers have been determined by a finite-bit physical calibration procedure.

The main release chooses the conical branch with unit lapse. A cosmological attachment interface is given in Appendix app:lapse; its input geometry is not silently identified with the conical product.