pattern 10: lt

parameterized by F.

abstract:   lt(a, b) → 0 if a < b under F's canonical ordering, else 1
canonical:  0 if v_a < v_b else 1

cost: 64. multi-row pattern emitting one row per bit of the 64-bit canonical Goldilocks representative. each row exposes (a_k, b_k); block-level constraints bind sum 2^k * a_k = a, sum 2^k * b_b = b, and a first-differing-bit gadget computes the result. see specs/trace.md §pattern 10. in F₂, lt is trivial (1 constraint).

note: operands must be Field-type atoms. TypeError is returned for Word atoms or pairs.