code wiki / (root) / nx_vessel_csg_test.nx

nx_vessel_csg_test.nx

buildroot/runtime/nx_vessel_csg_test.nx

1710 B43 linesdepth 8pulls 11 transitivereach 0 importersview sourcekind gate/prooftopic vessel
docsdependenciesstructsconstsfunctions

about

nx_vessel_csg_test.nx -- smoke for nx_vessel_csg (C1). Proves the vessel is a correct hollow cup via cheap field-sampling + inside-count (no OOM-prone meshing): - the cavity is hollow (1), the wall is solid (2), the base is solid (3), outside is empty (4) - the hollow cup contains strictly less material than the solid cylinder it was cut from (5-6) Exit code = failed assertion number; 0 = all pass.

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_sdf.nx nx_csg.nx nx_csg_scene.nx nx_vessel_csg.nx nx_vessel_csg_test.nx

imports: nx_syscalls.nxnx_sdf.nxnx_csg.nxnx_csg_scene.nxnx_vessel_csg.nx

imported by: nobody (leaf or entry point)

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

main nx_vessel_csg_build nx_sdf_make sys_mmap nx_csg_scene_new sys_mmap ↻ nx_csg_scene_add nx_csg_scene_field nx_csg_scene_eval_i nx_sdf_eval nx_isqrt sdf_max sdf_abs sdf_min nx_cos_turn_q10 sys_mmap ↻ _nx_trig_reduce _nx_cos_q1_table nx_sin_turn_q10 nx_cos_turn_q10 ↻ nx_csg_combine_k nx_csg_combine sdf_min ↻ sdf_max ↻ nx_csg_smin nx_csg_scene_new ↻ nx_sdf_make ↻ nx_csg_scene_add ↻ nx_csg_scene_count_inside nx_csg_scene_field ↻

structs

none

consts

none

functions

17func main() -> i64