nx_tls13_recv_hs_diff_test.nx
buildroot/runtime/nx_tls13_recv_hs_diff_test.nx
about
nx_tls13_recv_hs_diff_test.nx -- B1 differential: identical setup to
nx_tls13_recv_hs_probe_test (which walks the record with MIRRORED logic
and reaches WAIT_CLIENT_FIN green vs example.com), but calls the REAL
shipped nx_tls13_client_session_recv_hs per record. If this fails where
the mirror passes, the defect is inside recv_hs's COMPILED code (suspect:
the 5-deep nested else-if state chain -- a filed compiler landmine class),
not its logic. RH= verdict + ST= state per record.
expect_exit: 0 when recv_hs is healthy against example.com
license_tier: ORIGINAL
dependencies 8 imports · 0 importers
imports: nx_syscalls.nxnx_https_url_for_fetch.nxnx_https_url_connect.nxnx_x509_trust_store.nxnx_trust_store_load_from_certdata.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
| 20 | func rd_dec(label0: i64, label1: i64, v: i64) -> i64 |
| 46 | func main() -> i64 |