code wiki / f64

topic: f64

37 modules sharing the f64 name family (derived from the tree's prefix discipline).

The 'f64' topic family in the Nishi sovereign ecosystem focuses on high-precision floating-point operations, particularly for 64-bit double-precision calculations. Modules like _f64_atan_gate_authored and _f64_erf_gate_authored implement specialized gates for mathematical functions such as arctangent and error function, ensuring accuracy and performance. The _f64_exp_consts module generates constants used in exponential calculations, supporting precise computations across various domains. These modules work together to provide reliable, high-precision arithmetic essential for complex scientific and engineering applications within 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.

moduledescriptionlinesfuncs
_f64_atan_gate_authored.nxME1 atan gate: TEAM-AUTHORED kernel (_pe_f64atan,1297
_f64_atan_gate_emitted.nxno Claude core logic.1147
_f64_erf_full_gate.nxULP gate for FULL-DOMAIN erf over the PREVIOUSLY-NAN gap705
_f64_erf_gate_authored.nxf64 EDGE gate for the Builder-authored erf (component 5).1326
_f64_erfc_gate.nxULP gate for the f64 erfc kernel vs the sovereign 120-bit erfc605
_f64_exp_consts.nxGENERATED by _hdl_build/_f64_exp_oracle_gen.py.250
_f64_exp_gate_authored.nxME1 gate: nx_f64_exp vs mpmath-60dps oracle.1064
_f64_exp_kat_vectors.nxGENERATED by _f64_exp_oracle_gen.py (mpmath @60dps).2284
_f64_gamma_refl_gate.nxULP gate for the gamma reflection kernel (0<x<0.5) vs the555
_f64_gamma_refl_neg_gate.nxproves the SAME reflection kernel (_pe_f64gamma_refl)565
_f64_gate_authored.nxME0 gate: nx_f64 family vs hardware-IEEE oracle.1044
_f64_igammaq_gate.nxULP gate for integer-order Q(n,x) vs a sovereign 120-bit1056
_f64_kat_vectors.nxGENERATED by _f64_oracle_gen.py (hardware-IEEE oracle).130417
_f64_log_gate_authored.nxME1 rung 2 gate: TEAM-AUTHORED nx_f64_log (via the1045
_f64_log_kat_vectors.nxGENERATED by _f64_log_oracle_gen.py (mpmath @60dps).2184
_f64_pow_gate_authored.nxME1 pow gate: dd kernel (_pe_f64pow) vs the LIVE2007
_f64_probe.nxcompiler-behavior probe BEFORE authoring nx_f64 (verify-runtime-not-docs law).504
_f64_quad_gate.nxself-validating gate for the GAMS-H Simpson quadrature.705
_f64_rootfind_gate.nxself-validating gate for the GAMS-F bisection root-finder.705
_f64_sincos_gate_authored.nxME1 sin/cos gate: TEAM-AUTHORED kernel vs the1477
_f64_sinhcosh_gate_authored.nxME1 sinh/cosh gate: dd kernels1557
_f64_soak_gate_authored.nxSOVEREIGN ORACLE anchor + soak gate (ME0b + py-debt1647
_f64_tan_gate_authored.nxME1 tan gate: dd kernel (_pe_f64tan) vs the LIVE1297
nx_f64.nxIEEE 754 binary64 (double-precision float) bits-up.43616
nx_f64_adversary.nxT12 class: hardware f64 (IEEE-754 binary64) codegen.401
nx_f64_cvt.nxconversions to/from IEEE 754 binary64.1564
nx_f64_div.nxIEEE 754 binary64 division (standalone file).961
nx_f64_exp.nxbinary64 exponential, bits-up (ME1 rung 1, DLMF ch.4).781
nx_f64_exp_register.nxregisters ME1 rung 1 (binary64 exp) via the Librarian412
nx_f64_log2.nxAUTHORED BY THE NISHI BUILDER (pattern: MATH_KERNEL / LOG2_REDUCE).621
nx_f64_log2_test.nxKATs from algorithm invariants.211
nx_f64_oracle_sov.nxSOVEREIGN f64 oracle: pure-Nishi independent recompute37314
nx_f64_quad.nxGAMS-H: sovereign numerical QUADRATURE (the integration class).553
nx_f64_register.nxregisters the ME0 binary64 keystone through the Librarian's422
nx_f64_rootfind.nxGAMS-F: sovereign nonlinear root-finder (the nonlinear-solve482
nx_f64_sqrt.nxIEEE 754 binary64 square root (standalone file).941
nx_f64_v8kat_gate.nxDIFFERENTIAL KAT: replay 4000 V8/hardware-IEEE-754 vectors (knowledge/f64kat.bin,715