nx_source_health_gate.nx
buildroot/runtime/nx_source_health_gate.nx
about
nx_source_health_gate.nx -- GATE for nx_source_health (/compare/mediaingest R1, sh_preflight). No network: the
decision is pure (sh_decide) so every one of the five states is a planted-number proof, the skip logic is proven,
and sh_preflight's classify+persist+lookup round-trips on a fixture host (reset before and after so the production
table keeps no fixture history). license_tier: ORIGINAL
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_source_health.nxnx_gate_verdict.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| 9 | const G_SLOW: i64 = 8000 // the slow bar used in the planted decision proofs |
| 10 | const G_HOST: *u8 = "sh-fixture.invalid" |
| 11 | const G_HOST_LEN: i64 = 18 // strlen("sh-fixture.invalid") |
| 12 | const G_NOW: i64 = 1788000000000 // a fixed 'now' in ms for the record/lookup round-trip |
| 13 | const G_ABT_VENDOR_WALL: i64 = 3 // a non-clean nx_antibot code |
functions
| 15 | func main() -> i64 |