code wiki / (root) / nx_print_sim_test.nx

nx_print_sim_test.nx

buildroot/runtime/nx_print_sim_test.nx

3474 B83 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic print
docsdependenciesstructsconstsfunctions

about

nx_print_sim_test.nx -- verify the print simulator's first-stone physics: hotend max-flow check. Closed-form invariants: (a) Null inputs -> null simulator (b) Fresh simulator: position 0, time 0, n_issues 0 (c) Reasonable extrude move: NO issues raised (d) Extreme extrusion (wide+thick+fast) EXCEEDS hotend max-flow -> HOTEND_FLOW_CEILING issue raised (e) Issue record contains the right location + magnitude (f) Issue kind is in the sealed-enum range (g) Position advances correctly after move expect_exit: 0 license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_machine_graph.nx nx_material_profile.nx nx_print_sim.nx nx_print_sim_test.nx

imports: nx_syscalls.nxnx_machine_graph.nxnx_material_profile.nxnx_print_sim.nx

imported by: nobody (leaf or entry point)

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

main nx_machine_graph_qidi_xmax nx_machine_graph_alloc sys_mmap nx_material_profile_generi nx_material_profile_alloc sys_mmap ↻ nx_print_sim_new sys_mmap ↻ nx_print_sim_extrude_move nx_print_sim_append_issue nx_print_sim_get_issue nx_sim_issue_is_valid

structs

none

consts

22const Q14: i64 = 16384

functions

24func main() -> i64
calls 6: nx_machine_graph_qidi_xmax3nx_material_profile_generic_planx_print_sim_newnx_print_sim_extrude_movenx_print_sim_get_issuenx_sim_issue_is_valid