code wiki / (root) / nx_rot_health_test.nx

nx_rot_health_test.nx

buildroot/runtime/nx_rot_health_test.nx

4477 B90 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_rot_health_test.nx -- gate for the rotating-machine health kernel. Proves each verdict from canned vibration windows, and the MEASURED EXCEED: the bearing-wear window and the healthy window have nearly identical RMS (both well below the ISO warning) -- so an overall-amplitude reading calls BOTH healthy -- but the CREST factor (392 vs 141) correctly flags the incipient bearing fault. Crest catches what RMS misses (the liar-kill). expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls_x86_64.nx nx_rot_health.nx nx_rot_health_test.nx

imports: nx_syscalls_x86_64.nxnx_rot_health.nx

imported by: nobody (leaf or entry point)

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

main nx_rot_isqrt nx_rot_verdict_is_valid nx_rot_analyze nx_rot_isqrt ↻

structs

none

consts

none

functions

16func main() -> i64
calls 3: nx_rot_isqrtnx_rot_verdict_is_validnx_rot_analyze