nx_edge_serve_static_test.nx
buildroot/runtime/nx_edge_serve_static_test.nx
about
nx_edge_serve_static_test.nx -- prove the operator-facing
composition primitive turns a CONNECTED session + static HTML
into a sendable TLS app-data record carrying HTTP/1.1 200 OK.
Closed-form invariants:
(a) Wrong state -> negative
(b) Full handshake driven to CONNECTED + serve_static returns
positive byte count
(c) Output starts with 0x17 (app_data record header)
(d) Output decrypts (via app_recv on a sibling session sharing
keys) back to a valid HTTP/1.1 200 OK with the HTML body
(e) Body present in plaintext (the actual HTML content)
(f) Content-Length header reflects the body length
expect_exit: 0
license_tier: ORIGINAL
dependencies 19 imports · 0 importers
diagram shows first 10 each side; +9 more imports, +0 more importers in the complete lists below.
imports: nx_syscalls.nxnx_x25519.nxnx_x25519_ephemeral.nxnx_hmac.nxnx_tls13.nxnx_tls13_hello.nxnx_tls13_kdf.nxnx_tls13_record.nxnx_tls13_transcript.nxnx_tls13_server_session.nxnx_tls13_server_session_recv_ch.nxnx_tls13_server_session_emit_sh.nxnx_tls13_server_session_derive_hs.nxnx_tls13_server_session_derive_traffic.nxnx_tls13_server_session_emit_ee.nxnx_tls13_server_session_emit_sf.nxnx_tls13_server_session_recv_cf.nxnx_tls13_server_session_app_data.nxnx_edge_serve_static.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 38 | func find_needle(buf: *u8, buf_len: i64, needle: *u8) -> i64 called by 1: main |
| 57 | func main() -> i64 |