verify_jordan_bond
Decide the UUM-8D Jordan bond J_Z: does (AK + A_p1K) - (KB + KB_p2) equal the zero lattice 0^8? A, B and K are eight decimal lanes and a homology z, x0,x1,x2,x3,x4,x5,x6,x7|z. Returns proven AFFINE_JZ_SHEAR_ZERO with the shear lattice (all zeros) when the bond holds, AFFINE_JZ_SHEAR with the non-zero shear when it does not, and admitted=false with quarantine_mask when the lattice is not matched against the sealed corpus (the quarantine is the surface declining to seal something it has not matched - not an error). Optional q_hex or object instead of lattices runs the Q-only Affine expose (a secp256k1 point, no private face) and returns patoshi_expose, shors_qmt_witness and topological_shear. Exact integers only; a float lane is REFUSED_FLOAT. Use lattice_op to inspect one operation of the same law.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| A | No | x0,x1,x2,x3,x4,x5,x6,x7|z decimal lattice (the source). e.g. 1,1,1,1,1,1,1,1|1 | |
| B | No | x0,x1,x2,x3,x4,x5,x6,x7|z decimal lattice (the target). e.g. 1,1,1,1,1,1,1,1|1 | |
| K | No | x0,x1,x2,x3,x4,x5,x6,x7|z distance lattice (the kernel the shear runs through). e.g. 3,-2,5,1,7,1,4,2|1 | |
| q_hex | No | optional: a secp256k1 point (130-hex 04... or 66-hex compressed) for the Q-only Affine expose instead of lattices. e.g. 0279be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798 | |
| object | No | alias of q_hex. e.g. 0279be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798 | |
| source_creator_hash | No | legacy table limb, 32 hex; only for callers that do not present lattices. e.g. 0123456789abcdef0123456789abcdef | |
| target_creator_hash | No | legacy table limb, 32 hex; only for callers that do not present lattices. e.g. 0123456789abcdef0123456789abcdef |