E2 CONTRACT · Assumptions: the displayed surfaces are embeddings over the declared finite E47 kernel. Falsifier: an independent implementation with the same inputs fails to reproduce the displayed invariants or violates the stated kernel identities.