The Ezekiel Integrity Lock is the performative binding between the mathematical specification and Ezekiel’s Wheels: A Diagrammatic Hermeneutic. Its central formula is that A fulfills B: the engine specification supplies an operative structure corresponding to the prior hermeneutic.
The declaration is asymmetric by design. The hermeneutic does not become a prediction authored in antiquity, and the engine does not replace the source text. Instead, the later construction enters into a declared relation with the earlier reading.
The lock is performative because the relation becomes part of the archive through the act of naming, depositing, and cross-referencing it. Readers can retrieve the components, examine the asserted correspondences, and judge whether the specification supplies what the hermeneutic describes.
Within the Ezekiel tetrad, the hermeneutic supplies the reading, the Engine supplies the mathematical object, the Integrity Lock supplies the binding, and The Argument supplies the account of semantic-object reality and verifiability.