code wiki / (root) / nx_reach12_test.nx

nx_reach12_test.nx

buildroot/runtime/nx_reach12_test.nx

2753 B57 linesdepth 21pulls 146 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_reach12_test.nx -- DISCRIMINATOR for debt 1785519121. nx_tls12_probe reaches usgs.gov over TLS-1.2 (AUTHENTICATED, 200, 1307B) but nx_https_fetch_follow_best's 1.2 leg returns -3 HANDSHAKE on the SAME URL. Two candidates: (a) two DIFFERENT 1.2 impls -- nx_tls12_req.t12_request vs nx_tls12_client_session_run; (b) the two failed 1.3 hellos in _best poison the 1.2 attempt. This runs BOTH impls in ONE process on a FRESH connection each, with no 1.3 attempt before either. A succeeds + B fails => (a), the impls differ. Both succeed => (b), _best's earlier hellos are the cause. expect_exit: 0 license_tier: ORIGINAL

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_x509_trust_store.nx nx_trust_store_load_from_certdata. nx_tls12_req.nx nx_https_fetch_follow.nx nx_reach12_test.nx

imports: nx_syscalls.nxnx_x509_trust_store.nxnx_trust_store_load_from_certdata.nxnx_tls12_req.nxnx_https_fetch_follow.nx

imported by: nobody (leaf or entry point)

structs

none

consts

14const R12_CAP: i64 = 1048576
15const R12_CERT: i64 = 4194304

functions

17func r12_vlen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 1: r12_puts
18func r12_puts(s: *u8) -> i64 { let n: i64 = r12_vlen(s); sys_write(1, s, n); return 0 }
19func r12_putn(v: i64) -> i64
31func main() -> i64