An entanglement witness, not a separable decomposition

This is a genuine finite construction theorem under its exact input and support promises. It does not construct the external $Z$, prove its promise, or execute the search. Algebraic rather than rational input requires a declared exact algebraic-number representation and comparison procedure.