binary-jets.md

binary jets — F₂/Binius prover acceleration eight jets for the Bt binary prover. the base operations (XOR, AND, NOT, SHL) are already 1 constraint each in F₂ — they don't need jets. jets target composite operations that appear millions of times in quantized inference and tri-kernel SpMV. the core…