Clock, collar, and Einstein non-identifications

This elementary counterexample is independent of a field-theoretic source construction. It is the same logical separation emphasized in Oai282-A and Oai282-B CheungOai282A (Proposition prop:einstein), CheungOai282B (Proposition prop:einstein). The symbol ${\mathsf{Ein}}_0$ remains the five-check matching packet of def:matching.

A rounded length is not an incidence clock. A rate parameter is not a face boost. An abstract location is not a stress tensor, mass assignment, or developed trajectory. Retained implementation history is not a source measurement record. A token promise is not an operational test.