code wiki / (root) / nx_edge_daemon_test.nx

nx_edge_daemon_test.nx

buildroot/runtime/nx_edge_daemon_test.nx

1549 B40 linesdepth 14pulls 62 transitivereach 0 importersview sourcekind gate/prooftopic edge
docsdependenciesstructsconstsfunctions

about

nx_edge_daemon_test.nx -- compile + link smoke for the operator- runnable HTTPS daemon. Verifies the daemon's full composition type-checks + links to a runnable RISC-V binary. Cannot test actual socket I/O in qemu-rv64 (no real network), but proves the daemon's composition is type-system-valid + every brick exists. Operator runs the daemon for real on the Synology. We also exercise nx_edge_handle_connection's INTERNAL composition (TLS handshake portion) against in-memory buffers via a sibling helper, bypassing the socket I/O calls. This proves the handshake + serve_static integration works end-to-end. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_edge_daemon.nx nx_edge_daemon_test.nx

imports: nx_syscalls.nxnx_edge_daemon.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

20func main() -> i64