code wiki / _hdl_build / nx_warden_paths_test.nx

nx_warden_paths_test.nx

buildroot/runtime/_hdl_build/nx_warden_paths_test.nx

3747 B70 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic warden
docsdependenciesstructsconstsfunctions

about

nx_warden_paths_test.nx -- proves the Warden's real protected-path safety AND that the crew council's Warden leg, fed by it, protects the canonical assets. Known answer: classifier 8/8 + governed 2/2 correct, exit 0.

dependencies 2 imports · 0 importers

nx_warden_paths.nx nx_crew_council.nx nx_warden_paths_test.nx

imports: nx_warden_paths.nxnx_crew_council.nx

imported by: nobody (leaf or entry point)

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

main cc_puts sys_write wpt_check nx_warden_path_safe wp_is_protected wp_contains wp_slen wp_endswith wp_slen ↻ cc_puts ↻ nx_warden_path_safe ↻ cc_set cc_council cc_verdict_name wpt_putn

structs

none

consts

none

functions

8func wpt_putn(v: i64) -> i64
called by 1: main
17func wpt_check(action: i64, path: *u8, expect: i64) -> i64
called by 1: main calls 2: nx_warden_path_safecc_puts
26func main() -> i64
calls 7: cc_putswpt_checknx_warden_path_safecc_setcc_councilcc_verdict_name+1