code wiki / _hdl_build / nx_intlog_gate.nx

nx_intlog_gate.nx

buildroot/runtime/_hdl_build/nx_intlog_gate.nx

4043 B92 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof

docs dependencies structs consts functions

about

nx_intlog_gate.nx -- KAT gate for the integer log2 / IDF / tf-saturation primitives (the BM25 rung's math floor). Exact on powers of two, tight (+-2/1024) between them, monotonic, overflow-safe at the top of the domain, and the derived idf/tfsat behaviors the ranking depends on. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

imports: nx_intlog.nxnx_g_puts_lib.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

structs

none

consts

none

functions

7	func g_num(v: i64) -> i64 called by 1: main
16	func g_check(name: u8, cond: i64, pass: i64, total: *i64) -> i64 called by 1: main calls 1: g_puts
23	func main() -> i64 calls 7: g_puts ilog2_1024 g_check idf_q10 tfsat_q10 tfnorm_q10+1