light/ is its own workspace: igneum-light (no_std core: the object container, the statement offsets of
BlockOutput and FinExt, the MMR history check, the SP1 6.8.1 Groth16 wrap verified with arkworks under the
compiled-in key, the final-at answer), igneum-light-wasm (a C ABI for the tab, no bindings generator) and
igneum-light-cli (vectors, encodings, native timing). The wrap has not landed, so the chain fixture (the
fin-proof lane's proof 81053, public values 504 bytes) is a kind-0 stub; a kind-1 object with generator points
exercises the pairing and is refused. Native on this Mac: the pairing 0.78 ms in arkworks, 155 ms in
sp1-verifier's substrate-bn (kept as the reference check).
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
90271a825e