code wiki / (root) / nx_https_url_connect_test.nx

nx_https_url_connect_test.nx

buildroot/runtime/nx_https_url_connect_test.nx

2767 B71 linesdepth 6pulls 11 transitivereach 0 importersview sourcekind gate/prooftopic https
docsdependenciesstructsconstsfunctions

about

nx_https_url_connect_test.nx -- KAT for the URL+DNS+TCP step 2 primitive. We don't exercise the live DNS+connect path here (that requires a real network). This KAT exercises: - sockaddr-byte-layout for known IPv4 + port - sealed verdict gate - constants (AF_INET, SOCK_STREAM) match POSIX expectations Live DNS+connect path is exercised by Arc A demo (queued). expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_https_url_connect.nx nx_https_url_connect_test.nx

imports: nx_syscalls.nxnx_https_url_connect.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_https_build_sockaddr nx_https_connect_verdict_i

structs

none

consts

none

functions

18func main() -> i64
calls 3: sys_mmapnx_https_build_sockaddrnx_https_connect_verdict_is_valid