code wiki / (root) / nx_bed_mesh_test.nx

nx_bed_mesh_test.nx

buildroot/runtime/nx_bed_mesh_test.nx

4776 B108 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_bed_mesh_test.nx -- verify bilinear interp + layer taper for slicer-side bed-mesh Z compensation. Closed-form invariants: (a) Flat bed (all deltas 0) -> z_offset returns 0 anywhere (b) set_point updates the right grid cell (c) Grid-corner queries return the exact stored value (d) Midpoint query returns the average of bracketing corners (e) Out-of-bounds queries clamp to nearest edge (no extrapolation) (f) Layer 0 returns full compensation (g) Layer == taper_layers returns 0 (h) Layer between linearly interpolates (1/2 taper -> 1/2 offset) (i) Bowl-shaped bed (corners 0, center +100μm) -> center query > 0 and edges == 0 (j) Bad indices return error verdict expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_bed_mesh.nx nx_bed_mesh_test.nx

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_new sys_mmap nx_bed_mesh_z_offset nx_bed_mesh_set_point tolerance_ok nx_bed_mesh_z_at_layer nx_bed_mesh_z_offset ↻

structs

none

consts

23const Q14: i64 = 16384

functions

25func tolerance_ok(actual_q14: i64, expected_q14: i64, tol_q14: i64) -> i64
called by 1: main
32func main() -> i64