code wiki / (root) / nx_content_measure_test.nx

nx_content_measure_test.nx

buildroot/runtime/nx_content_measure_test.nx

1667 B38 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic content
docsdependenciesstructsconstsfunctions

about

nx_content_measure_test.nx -- KATs for the measured content-value kernel (GATE). Construction-known HTML + text lengths -> exact Q16.16 expectations.

dependencies 3 imports · 0 importers

nx_str.nx nx_syscalls.nx nx_content_measure.nx nx_content_measure_test.nx

imports: nx_str.nxnx_syscalls.nxnx_content_measure.nx

imported by: nobody (leaf or entry point)

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

main ct_p sys_write nx_str_len sys_mmap ct_case nx_content_measure nx_content_text_component fx_from_frac nx_content_media_component fx_from_frac ↻ nx_content_media_count cm_count cm_lc nx_str_len ↻ ct_p ↻ sys_exit

structs

none

consts

none

functions

7func ct_p(s: *u8) -> i64 { sys_write(1, s, nx_str_len(s)); return 0 }
called by 2: ct_casemain calls 2: sys_writenx_str_len
9func ct_case(name: *u8, html: *u8, textlen: i64, want: i64, acc: *i64) -> i64
called by 1: main calls 3: nx_content_measurenx_str_lenct_p
17func main() -> i64
calls 4: ct_psys_mmapct_casesys_exit