nx_monitor_html_test.nx
buildroot/runtime/nx_monitor_html_test.nx
about
nx_monitor_html_test.nx -- verify sovereign browser-monitor HTML
emit produces a structurally valid page with all required markers
+ correct host/port substitution.
Closed-form invariants:
(a) Emit returns positive byte count > 2000 (substantial page).
(b) Contains DOCTYPE + <html> + <body> + </html> tags.
(c) Contains all 6 tile IDs (state, progress, hotend, bed, zpos, eta).
(d) Contains WebSocket URL with substituted host + port.
(e) Contains camera MJPEG URL with host + camera port.
(f) Contains all 4 buttons (pause, resume, cancel, estop).
(g) Contains API_KEY constant in JS (with operator value).
(h) Half-print detection (setInterval + Z stall check).
(i) Refused-overflow capacity: small buffer (256) returns error.
expect_exit: 0
license_tier: ORIGINAL
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_moonraker_client.nxnx_monitor_html.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
| 23 | func contains(buf: *u8, len: i64, needle: *u8) -> i64 called by 1: main |
| 41 | func main() -> i64 |