topic: nx
18 modules sharing the nx name family (derived from the tree's prefix discipline).
The 'nx' topic family in the Nishi sovereign ecosystem focuses on low-level bit manipulation and verification, ensuring correctness and performance in core operations. Modules like _nx_argtype_live_probe demonstrate active argument type checking, while _nx_bits_clz64_oracle and _nx_bits_clz64_speed_fast provide correctness and speed benchmarks for clz64 operations. These modules collectively validate both the accuracy and efficiency of bit-level computations within the NishiLang toolchain.
auto-narrated by the local model from this topic's module headers; links verified against the wiki index.
narrated overview -- maintained by the narration lane, module links verified against this wiki.
| 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 |