code wiki / (root) / nx_https_get_test.nx

nx_https_get_test.nx

buildroot/runtime/nx_https_get_test.nx

2865 B67 linesdepth 21pulls 124 transitivereach 0 importersview sourcekind gate/prooftopic https
docsdependenciesstructsconstsfunctions

about

nx_https_get_test.nx -- KAT for the top-level user-facing nx_https_get primitive. Full happy-path against a real public HTTPS server is exercised by Arc A's end-to-end demo (queued). This KAT verifies the orchestrator's contract surface: - bad URL (no scheme) -> BAD_URL - http:// (wrong scheme) -> BAD_URL - URL with non-routable IP-in-host -> CONNECT_FAIL or HANDSHAKE_FAIL (platform-dep; DNS resolves "0.0.0.0" or similar to a connect-failure) - sealed verdict gate expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_x509_trust_store.nx nx_https_get.nx nx_https_get_test.nx

imports: nx_syscalls.nxnx_x509_trust_store.nxnx_https_get.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 nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ nx_https_get sys_now_ms sys_mmap ↻ sys_clock_gettime_mono nx_url_new sys_mmap ↻ nx_https_url_for_fetch nx_url_parse strlen _scheme_is_https nx_https_url_connect sys_socket sys_set_socket_timeout sys_mmap ↻ sys_setsockopt sys_munmap sys_mmap ↻ nx_https_build_sockaddr nx_connect_bounded nx_fcntl sys_connect sys_mmap ↻ sys_poll sys_munmap ↻

structs

none

consts

none

functions

21func main() -> i64
calls 3: sys_mmapnx_https_getnx_https_get_verdict_is_valid