code wiki / (root) / nx_tls13_sh_probe_test.nx

nx_tls13_sh_probe_test.nx

buildroot/runtime/nx_tls13_sh_probe_test.nx

10746 B252 linesdepth 12pulls 49 transitivereach 0 importersview sourcekind gate/prooftopic tls13
docsdependenciesstructsconstsfunctions

about

nx_tls13_sh_probe_test.nx -- ServerHello DIAGNOSTIC PROBE. The browser's arbitrary-host gap (RUN verdict -5 = RECV_SH_FAIL) swallows the INNER recv_sh cause. This probe surfaces it, per host, from a data-driven host table: HOST <name> CT= first record content type (22 handshake / 21 alert) AD= alert description byte (only when CT=21) PV= tls13_server_hello_parse verdict (only when != OK) LV= legacy_version (771 = 0x0303) CS= chosen cipher (4865=AES128GCM 4866=AES256GCM 4867=CHACHA) SV= supported_versions value (772 = 0x0304 TLS1.3; 0 = absent = server negotiated TLS 1.2 path) GR= key_share group (29 x25519 / 23 secp256r1 / -1 absent) HR= 1 if SH.random == the RFC 8446 HelloRetryRequest sentinel RV= inner nx_tls13_client_session_recv_sh verdict (1 = OK) Exit 0 always -- this is a DIAGNOSIS instrument, not a gate; the browser gate consumes its findings. Bounded reads, 5s socket timeout (KNOWN_LESSONS bounded-parsing discipline). expect_exit: 0 license_tier: ORIGINAL

dependencies 10 imports · 0 importers

nx_syscalls.nx nx_connect.nx nx_dns_resolve_a_record.nx nx_https_url_connect.nx nx_tls13.nx nx_tls13_record.nx nx_tls13_hello.nx nx_tls13_client_session.nx nx_tls13_client_session_recv_sh.nx nx_tls13_read_record_from_fd.nx nx_tls13_sh_probe_test.nx

imports: nx_syscalls.nxnx_connect.nxnx_dns_resolve_a_record.nxnx_https_url_connect.nxnx_tls13.nxnx_tls13_record.nxnx_tls13_hello.nxnx_tls13_client_session.nxnx_tls13_client_session_recv_sh.nxnx_tls13_read_record_from_fd.nx

imported by: nobody (leaf or entry point)

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

main probe_host sys_mmap sys_write nx_dns_resolve_default nx_dns_resolve_with_failov nx_dns_resolve_a_record sys_mmap ↻ nx_dns_build_query nx_dns_put_u16_be nx_dns_encode_name sys_socket sys_set_socket_timeout sys_mmap ↻ sys_setsockopt sys_munmap sys_sendto sys_close sys_recvfrom nx_dns_parse_response_a nx_dns_get_u16_be nx_dns_skip_name probe_dec sys_mmap ↻ sys_write ↻ sys_socket ↻ sys_set_socket_timeout ↻ nx_https_build_sockaddr nx_connect_bounded nx_fcntl sys_connect sys_mmap ↻ sys_poll sys_close ↻ nx_tls13_client_session_ne sys_mmap ↻ x25519_keypair_public sys_mmap ↻ x25519_base_point x25519

structs

none

consts

none

functions

38func probe_dec(label0: i64, label1: i64, v: i64) -> i64
called by 1: probe_host calls 2: sys_mmapsys_write
72func probe_hrr_sentinel(out32: *u8) -> i64
called by 1: probe_host
85func probe_host(host: *u8, host_len: i64, seed: i64) -> i64
242func main() -> i64