code wiki / _hdl_build / nx_http_health_gate.nx

nx_http_health_gate.nx

buildroot/runtime/_hdl_build/nx_http_health_gate.nx

2887 B43 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic http
docsdependenciesstructsconstsfunctions

about

nx_http_health_gate.nx -- proves the REAL health check rejects every false-green class that hid the outage: a 500 (connection made, not a page), a connection failure (-3), an empty 200, and a 200 with WRONG content -- each is UNHEALTHY, whereas the old port-bind/exit-0 proxies passed them. license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_http_health_lib.nx nx_http_health_gate.nx

imports: nx_http_health_lib.nx

imported by: nobody (leaf or entry point)

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

main hh_healthy dp_contains dp_len hh_after dp_len ↻

structs

none

consts

none

functions

6func main() -> i64