code wiki / _hdl_build / nx_brand_conversion_gate.nx

nx_brand_conversion_gate.nx

buildroot/runtime/_hdl_build/nx_brand_conversion_gate.nx

1822 B34 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic brand
docsdependenciesstructsconstsfunctions

about

nx_brand_conversion_gate.nx -- the conversion-path score rewards a real branded page and flags a page with no conversion path. 100% sovereign. expect_exit: 0

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_sitegate_emit_lib.nx nx_brand_conversion.nx nx_brand_conversion_gate.nx

imports: nx_syscalls.nxnx_sitegate_emit_lib.nxnx_brand_conversion.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap gw sys_write sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close bc_conv_score bc_cta_count bc_count bc_strlen bc_match_at bc_count ↻ bc_cta_count ↻ gn sys_mmap ↻ sys_write ↻ t_row gw ↻ ib

structs

none

consts

none

functions

8func ib(v: i64, lo: i64, hi: i64) -> i64 { if v < lo { return 0 } if v > hi { return 0 } return 1 }
called by 1: main
10func main() -> i64