code wiki / (root) / nx_sov_endpoint_gate.nx

nx_sov_endpoint_gate.nx

buildroot/runtime/nx_sov_endpoint_gate.nx

7415 B182 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic sov
docsdependenciesstructsconstsfunctions

about

nx_sov_endpoint_gate.nx -- proves the endpoint policy matches the measurement. T1 is the whole point: every 8443 endpoint must rank ahead of every 443 one. That ordering is not taste, it is the 2026-07-31 measurement (8443: 5/5 from our client; 443: 0/5, flapping between our real cert and actively refusing). A future edit that restores :443 to the front has to make this gate RED first, which is the point of writing the policy down as code. T5 requires every endpoint to carry a non-empty note. A silent reordering is the failure mode this module exists to prevent, so an endpoint with no stated reason is itself a defect. T6/T7 are the non-vacuity controls: a bad index must be REFUSED, not served a plausible default URL, and the degraded-port judgement must actually discriminate rather than answering the same thing for every port. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_sov_endpoint.nx nx_sov_endpoint_gate.nx

imports: nx_syscalls.nxnx_sov_endpoint.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap nx_sov_endpoint_port nx_sov_endpoint_is_loopbac nx_sov_endpoint_url nx_sov_put nx_sov_len nx_sov_port_is_degraded nx_sov_endpoint_note nx_sov_endpoint_host g_puts sys_write sys_exit g_putn sys_mmap ↻ g_puts ↻ sys_write ↻

structs

none

consts

none

functions

21func g_puts(s: *u8) -> i64
called by 2: g_putnmain calls 1: sys_write
28func g_putn(v: i64) -> i64
called by 1: main calls 3: sys_mmapg_putssys_write
42func main() -> i64