code wiki / (root) / nx_bed_mesh_adversarial_test.nx

nx_bed_mesh_adversarial_test.nx

buildroot/runtime/nx_bed_mesh_adversarial_test.nx

3136 B77 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_bed_mesh_adversarial_test.nx -- Phase A6 of S-class hardening. Adversarial fuzz of nx_bed_mesh: corrupted probe data must not crash queries or generate i64 overflow in the bilinear math. Operator workflow: bed mesh data comes from a Klipper BED_MESH_ CALIBRATE probe. If the probe data file is corrupted or adversarial (wrong values from a bad sensor), the substrate's query primitives MUST stay safe. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_bed_mesh.nx nx_bed_mesh_adversarial_test.n

imports: nx_syscalls.nxnx_bed_mesh.nx

imported by: nobody (leaf or entry point)

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

main nx_bed_mesh_z_offset nx_bed_mesh_z_at_layer nx_bed_mesh_z_offset ↻ nx_bed_mesh_new sys_mmap nx_bed_mesh_set_point

structs

none

consts

17const Q14: i64 = 16384

functions

19func main() -> i64
calls 4: nx_bed_mesh_z_offsetnx_bed_mesh_z_at_layernx_bed_mesh_newnx_bed_mesh_set_point