code wiki / (root) / sketch_freq_directions_test.nx

sketch_freq_directions_test.nx

buildroot/runtime/sketch_freq_directions_test.nx

4654 B125 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic sketch
docsdependenciesstructsconstsfunctions

about

sketch_freq_directions_test.nx -- FD verification. Honest scope: validates the framework (alloc, insertion, shrink triggering, total_rows counting, envelope) and a small known-case SVD shrink on a near-diagonal 2x2 matrix. Larger-l SVD quality is queued for v2 per the source-doc disclaimer.

dependencies 3 imports · 0 importers

syscalls.nx sketch_freq_directions.nx sketch_types.nx sketch_freq_directions_test.nx

imports: syscalls.nxsketch_freq_directions.nxsketch_types.nx

imported by: nobody (leaf or entry point)

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

main nx_fd_alloc nx_fd_top_sigma_sq nx_fd_row_norm_sq nx_fd_b_get nx_fd_add_row nx_fd_empty_row_index nx_fd_row_norm_sq ↻ nx_fd_shrink nx_fd_power_one nx_fd_deflate nx_fd_basis_get nx_fd_vnormalize nx_fd_vnorm_sq nx_fd_dot nx_fd_isqrt nx_fd_vscale nx_fd_matvec_Bv nx_fd_b_get ↻ nx_fd_matvec_Btw nx_fd_b_get ↻ nx_fd_vnorm_sq ↻ nx_fd_abs nx_fd_basis_set nx_fd_isqrt ↻ nx_fd_basis_get ↻ nx_fd_b_set nx_fd_row_norm_sq ↻ nx_fd_b_set ↻ nx_fd_empty_row_index ↻ nx_fd_row_norm_sq ↻ nx_fd_query_top nx_fd_top_sigma_sq ↻ nx_approx_new nx_fd_rel_err_ppb

structs

none

consts

none

functions

12func iabs(x: i64) -> i64
17func main() -> i64
calls 6: nx_fd_allocnx_fd_top_sigma_sqnx_fd_add_rownx_fd_empty_row_indexnx_fd_row_norm_sqnx_fd_query_top