code wiki / (root) / nx_maint_ingest_test.nx

nx_maint_ingest_test.nx

buildroot/runtime/nx_maint_ingest_test.nx

4808 B102 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic maint
docsdependenciesstructsconstsfunctions

about

nx_maint_ingest_test.nx -- gate for the hardware-facing ingest rung (R1). Proves: every sensor KIND routes to the right kernel; the data-driven normalize math (Emporia mA->centi-A, DIY deci-degC->milli-degC, offsets); UNKNOWN kind is FIRST-CLASS (value computed + recorded, never dropped, no false routing); bad-arg is loud; liar-kill (value tracks raw + kernel tracks kind, not constants). expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls_x86_64.nx nx_maint_ingest.nx nx_maint_ingest_test.nx

imports: nx_syscalls_x86_64.nxnx_maint_ingest.nx

imported by: nobody (leaf or entry point)

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

main nx_sensor_kind_is_valid nx_src_is_valid nx_maint_sensor_kernel nx_maint_ingest nx_maint_sensor_kernel ↻

structs

none

consts

none

functions

16func main() -> i64