code wiki / (root) / nx_live_governor_test.nx

nx_live_governor_test.nx

buildroot/runtime/nx_live_governor_test.nx

1450 B31 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic live
docsdependenciesstructsconstsfunctions

about

nx_live_governor_test.nx -- smoke for nx_live_governor (grading core). Proves the liveness grading captures every real failure class: - a public page serving correctly -> LIVE (1) - 404 / dead-backend / redirect-loop -> BROKEN (2-4) [the /login bug] - a public asset hidden behind the login wall -> WRONG_WALL (5) - a walled section correctly showing the wall -> LIVE (6) - the login PAGE serving (200, no loop) -> LIVE (7) Exit code = failed assertion number; 0 = all pass.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_live_governor.nx nx_live_governor_test.nx

imports: nx_syscalls.nxnx_live_governor.nx

imported by: nobody (leaf or entry point)

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

main nx_lg_grade

structs

none

consts

none

functions

14func main() -> i64
calls 1: nx_lg_grade