Euclidean cone convergence and microscopic compatibility

Thus the corrected geometric requirements C1 and C2 are theorems. The condition involving event grids intersected with every compact set in CONE is too strong: a singleton absent from a given grid cannot be approximated by that grid's intersection with the singleton.