code wiki / _hdl_build / nx_slicer_gate.nx

nx_slicer_gate.nx

buildroot/runtime/_hdl_build/nx_slicer_gate.nx

3800 B101 linesdepth 14pulls 36 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_slicer_gate.nx -- proves the sovereign slicer end-to-end WITHOUT the printer. Hand-builds a binary-STL tetrahedron -> sl_slice_stl -> asserts real G-code (heater command + 500+ extrusion moves + sane layer count). Same real-byte path an operator's STL takes; offline, deterministic. license_tier: ORIGINAL expect_exit: 0

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_gcode_emit.nx nx_slicer_lib.nx nx_gate_verdict.nx nx_slicer_gate.nx

imports: nx_syscalls.nxnx_gcode_emit.nxnx_slicer_lib.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main gv_ctr sys_mmap gv_head gv_puts sys_write sys_mmap ↻ put_tri put_f32 sl_slice_stl nx_stl_load_binary sys_mmap ↻ nx_stl_is_ascii nx_le_read_u32 nx_mesh_alloc sys_mmap ↻ nx_stl_next_pow2 nx_hash_new nx_fp32_bytes_to_q14 nx_fp32_bits_to_q14 nx_stl_intern_vertex nx_stl_pack_xyz nx_le_write_u64 nx_le_write_u32 nx_hash_fnv1a_bytes nx_hash_has nx_hash_probe nx_hash_fnv1a_i64 nx_hash_get nx_hash_probe ↻ nx_mesh_get_vertex_x nx_mesh_get_vertex_y nx_mesh_get_vertex_z nx_mesh_set_vertex nx_hash_put nx_hash_probe ↻ nx_mesh_set_triangle nx_machine_graph_qidi_xmax nx_machine_graph_alloc sys_mmap ↻

structs

none

consts

11const F32_ZERO: i64 = 0x00000000
12const F32_TEN: i64 = 0x41200000 // +10.0

functions

14func put_f32(buf: *u8, off: i64, bits32: i64) -> i64
called by 1: put_tri
21func put_tri(buf: *u8, off: i64,
called by 1: main calls 1: put_f32
41func g_count(buf: *u8, len: i64, needle: *u8) -> i64
called by 1: main
61func main() -> i64
calls 9: gv_ctrgv_headsys_mmapput_trisl_slice_stlgv_check+3