code wiki / (root) / nx_tls13_recv_hs_probe_test.nx

nx_tls13_recv_hs_probe_test.nx

buildroot/runtime/nx_tls13_recv_hs_probe_test.nx

13933 B272 linesdepth 18pulls 117 transitivereach 0 importersview sourcekind gate/prooftopic tls13
docsdependenciesstructsconstsfunctions

about

nx_tls13_recv_hs_probe_test.nx -- B1 instrument (pm_plan arc=BROWSER step=B1-RECVHS-EXAMPLE): example.com handshakes to recv_sh GREEN (sh-probe RV=1) but session_run dies SR=-7 (RUN_RECV_HS_FAIL) in the ENCRYPTED handshake -- recv_hs collapses every dispatcher failure to DISPATCH_FAIL, hiding the locus. This probe replicates recv_hs's walk per record with step markers (the KD= cascade pattern that localized the tail-call miscompile), composing the shipped primitives UNCHANGED: RC=/CT=/TL= record number, outer ContentType, total bytes DV=/IC=/PL= record-decrypt verdict, inner ContentType, plaintext len MT=/ML= each handshake message type + body length PV= at WAIT_CERT: the cert pipeline's EXACT verdict (2..12 = msg-bad/parse/validity/SAN/DN/SIG/anchor) CN=/XV=/SA=/SS=/PA= per served cert: index, x509_parse rc, sig-alg id, sig-alg SUPPORTED flag, pubkey-alg id (the P-384/RSA-PSS suspicion becomes a measured fact here) DW=/ST= dispatcher verdict, new session state Exit 0 iff the handshake reaches WAIT_CLIENT_FIN (server Finished verified) -- the bar for landing this module as the B1 gate row. Until the fix, the nonzero exit + markers ARE the Doctor's input. Prereq: /tmp/mozilla_certdata.txt staged (browser gate self-stages it). expect_exit: 0 (once B1 is healed; today it names the defect) license_tier: ORIGINAL

dependencies 12 imports · 0 importers

nx_syscalls.nx nx_https_url_for_fetch.nx nx_https_url_connect.nx nx_x509_trust_store.nx nx_trust_store_load_from_certdata. nx_https_cert_pipeline.nx nx_x509.nx nx_x509_sig_alg.nx nx_x509_pubkey_alg.nx nx_tls13_client_session_recv_sh.nx nx_tls13_recv_hs_probe_test.nx

diagram shows first 10 each side; +2 more imports, +0 more importers in the complete lists below.

imports: nx_syscalls.nxnx_https_url_for_fetch.nxnx_https_url_connect.nxnx_x509_trust_store.nxnx_trust_store_load_from_certdata.nxnx_https_cert_pipeline.nxnx_x509.nxnx_x509_sig_alg.nxnx_x509_pubkey_alg.nxnx_tls13_client_session_recv_sh.nxnx_tls13_client_session_recv_hs.nxnx_tls13_read_record_from_fd.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

40func rp_dec(label0: i64, label1: i64, v: i64) -> i64
called by 1: rp_chain_census calls 2: sys_mmapsys_write
69func rp_chain_census(msg: *u8, msg_len: i64) -> i64
104func main(argc: i64, argv: *i64) -> i64