code wiki / (root) / sketch_freq_directions_test.nx

sketch_freq_directions_test.nx

buildroot/runtime/sketch_freq_directions_test.nx

4654 B125 linesdepth 5pulls 7 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)

structs

none

consts

none

functions

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