topic: fx
12 modules sharing the fx name family (derived from the tree's prefix discipline).
The 'fx' topic family in the Nishi sovereign ecosystem provides deterministic Q16.16 fixed-point math support, with modules like fx handling core operations and fx_exp_test validating exponential functions through KAT. The nx_fx_f64_lit module ensures decimal and long literals pack consistently, while nx_fx_f64_const enables compile-time constant folding for precise f64 values. These modules work together to ensure reliable, predictable arithmetic across the ecosystem.
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 |
|---|---|---|---|
| fx.nx | deterministic Q16.16 fixed-point math. | 358 | 23 |
| fx_exp_test.nx | KAT for the fixed-point base-2 exponential family | 61 | 3 |
| fx_gate.nx | the gate for the Q16.16 fixed-point math 49 modules import. | 108 | 2 |
| fx_log2_test.nx | KAT for the fixed-point binary logarithm. | 58 | 2 |
| nx_fx.nx | deterministic Q16.16 fixed-point math. | 255 | 15 |
| nx_fx_f64_const.nx | LN39 fixture: `const NAME: f64 = EXPR` folds at compile time to the SAME bits the | 24 | 2 |
| nx_fx_f64_elide.nx | Checks if a mapped memory region contains a non-zero value at index 1 when index 0 is zero. | 9 | 1 |
| nx_fx_f64_lit.nx | LN36 + LN40 fixture: decimal exponent literals and long literals pack to the SAME bits | 25 | 2 |
| nx_fx_f64_nan.nx | LN38 fixture: IEEE-754 unordered compares. Every ordered predicate on a NaN operand is | 23 | 3 |
| nx_fx_gate.nx | F984 INDEPENDENT GATE: exact multi-currency conversion. | 116 | 5 |
| nx_fx_int_overflow_refused.nx | LN40 planted REFUSAL: this program must NOT compile. The integer literal | 8 | 1 |
| nx_fx_lib.nx | F984: EXACT MULTI-CURRENCY on the sovereign ledger. | 99 | 6 |