code wiki / (root) / nx_https_post_complete_test.nx

nx_https_post_complete_test.nx

buildroot/runtime/nx_https_post_complete_test.nx

1462 B37 linesdepth 12pulls 41 transitivereach 0 importersview sourcekind gate/prooftopic https
docsdependenciesstructsconstsfunctions

about

nx_https_post_complete_test.nx -- compile + symbol-resolution gate. This module is offline-only -- a live LE-staging round-trip requires a real TLS session at CONNECTED state plus a Mozilla trust store loaded from /tmp/mozilla_certdata.txt. Both belong to the queued nx_acme_directory_live_smoke arc. What this test DOES assert: - nx_https_post_complete + its imports compile clean - the verdict-validity predicate matches the sealed enum - nx_http_client_build_request_post emits the expected wire bytes for a representative POST (delegated to the dedicated KAT in nx_http_client_post_test.nx so we don't re-verify here) What this test DOES NOT assert: - any TLS round-trip (no socket, no trust store) - end-to-end LE staging POST (separate live test)

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_https_post_complete.nx nx_https_post_complete_test.nx

imports: nx_syscalls.nxnx_https_post_complete.nx

imported by: nobody (leaf or entry point)

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

main nx_https_pc_verdict_is_val sys_mmap sys_write

structs

none

consts

none

functions

22func main() -> i64