code wiki / bit
topic: bit
4 modules sharing the bit name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_bit.nx | low-level bit primitives. | 200 | 16 |
| nx_bit_kat.nx | KAT for nx_bit (popcount/clz/ctz/bswap/rotl -- low-level bit primitives). HONESTY [W] | 57 | 3 |
| nx_bit_provenance.nx | bit-provenance ledger (silicon-to-death tracking). | 182 | 10 |
| nx_bit_provenance_pipeline_test.nx | BP-2 proof: bit-provenance | 97 | 1 |