code wiki / nx
topic: nx
18 modules sharing the nx name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| _nx_argtype_live_probe.nx | Live proof that ARGUMENT TYPE CHECKING is active in the shipped toolchain. | 13 | 3 |
| _nx_bits_bswap_oracle.nx | correctness paired oracle for | 32 | 1 |
| _nx_bits_bswap_speed_fast.nx | 15 | 1 | |
| _nx_bits_bswap_speed_soft.nx | 15 | 1 | |
| _nx_bits_clz64_oracle.nx | _nx_bits_clz64_oracle.nx | 71 | 3 |
| _nx_bits_clz64_speed_fast.nx | 100M-iter loop calling FAST | 17 | 1 |
| _nx_bits_clz64_speed_soft.nx | 100M-iter loop calling SOFT | 17 | 1 |
| _nx_bits_fast_vs_soft.nx | _nx_bits_fast_vs_soft.nx | 85 | 1 |
| _nx_bits_rotate_oracle.nx | correctness paired oracle for | 33 | 1 |
| _nx_bits_rotate_speed_fast.nx | 15 | 1 | |
| _nx_bits_rotate_speed_soft.nx | 15 | 1 | |
| _nx_bits_speed_fast.nx | 10M-iter loop calling FAST popcount only. | 18 | 1 |
| _nx_bits_speed_paired.nx | _nx_bits_speed_paired.nx | 87 | 2 |
| _nx_bits_speed_soft.nx | 10M-iter loop calling SOFT popcount only. | 18 | 1 |
| _nx_dupdef_live_probe.nx | kept as documentation, deliberately made VALID so it cannot break a | 14 | 2 |
| _nx_loop_v2_oracle.nx | correctness oracle for the V2 frame-based | 82 | 1 |
| _nx_pub_from_priv_isolated_test.nx | SITES-LIVE 2026-05-27: x509_build_self_signed diagnostic | 50 | 3 |
| _nx_xlate_probe.nx | Discriminator for the rv64->x86 syscall translation capability (debt 1785528831). | 11 | 1 |