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)

structs

none

consts

none

functions

8func wpt_putn(v: i64) -> i64
17func wpt_check(action: i64, path: *u8, expect: i64) -> i64
26func main() -> i64