lattice_op
Exact integer algebra on UUM-8D lattices - eight decimal lanes and a homology z, written x0,x1,x2,x3,x4,x5,x6,x7|z. op selects the law: verify (is A a well-formed lattice), shear (the J_Z shear of A against B through K), add, sub, mul (lane-wise), distance and locking_distance (integer lattice distances A to B), lane_mask (which lanes of A are non-zero), park (fold A by the 0-255 homology mask), permute_p1 and permute_p2 (the two Jordan permutations), is_zero. An empty op returns the list of ops. Every lane is a decimal integer string. Refusals are status REFUSED with the reason under proven: REFUSED_NO_PAIR when an operand is missing or has the wrong lane count, AFFINE_JZ_PARSE when a lane is not a decimal integer (a float lane lands here) - measured 2026-09-02. Same law as verify_jordan_bond, exposed one operation at a time so a caller can inspect intermediate values.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| A | No | first lattice: x0,x1,x2,x3,x4,x5,x6,x7|z, decimal strings, negatives allowed. e.g. 1,1,1,1,1,1,1,1|1 | |
| B | No | second lattice for shear, add, sub, mul, distance, locking_distance; same shape as A. e.g. 1,1,1,1,1,1,1,1|1 | |
| K | No | the distance (kernel) lattice for shear; same shape as A. e.g. 3,-2,5,1,7,1,4,2|1 | |
| op | No | the operation; empty lists the ops | |
| mask | No | park only: decimal 0-255 homology mask. e.g. 255 |