code wiki / _hdl_build / nx_step_tess_gate.nx

nx_step_tess_gate.nx

buildroot/runtime/_hdl_build/nx_step_tess_gate.nx

7403 B153 linesdepth 5pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic step
docsdependenciesstructsconstsfunctions

about

nx_step_tess_gate.nx -- benchmark PLANAR-FACE TESSELLATION on the real as1 STEP file (cadtwin P3a geometry). Teeth: (T1) real tessellation volume on the 53-face model; (T2) EXACT integer area conservation on every face (signed ear-area sum == polygon shoelace -- any ear-clip bug is a mismatch, no silent bad geometry); (T3) every tessellated loop lies ON its declared plane (residual bound); (T4) KNOWN-FACE ground truth: face #423 (plane y=0, origin (10,0,0), normal (0,-1,0)) -> exactly 4 loop verts incl. (20,0,0), all y==0 EXACT, 2 triangles; (T5) compose: mesh -> STL write -> STL read round-trip; (T6) deterministic. Curved surfaces/holes/chord edges COUNTED honestly. expect_exit: 0 license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_step_tess.nx nx_step_tess_gate.nx

imports: nx_step_tess.nx

imported by: nobody (leaf or entry point)

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

main sp_read_file sys_openat_rd sys_read sys_close sp_scan sp_skip_string sp_skip_comment sp_statement sp_isspace sp_isnamec sp_args_span sp_skip_string ↻ m3_bytes tg_ctx m3_init m3_hdr sgt_tessellate sp_name_is sgt_face sgt_face_plane sgt_arg_ref sp_arg_span sp_skip_string ↻ sgt_refs sg_isdigit sp_find sp_name_is ↻ sgt_tuple_of sp_find ↻ sg_point_tuple sp_arg_span ↻ sg_skip_to_num sg_parse_real sp_arg_span ↻ sgt_refs ↻ sp_find ↻ sgt_arg_ref ↻ sgt_loop_verts sp_find ↻

structs

none

consts

none

functions

10func tg_tooth(name: *u8, pass: i64, fails: *i64) -> i64
called by 1: main
18func tg_ctx(tt: *i64, st: *i64, mesh: i64, c: *i64) -> i64
called by 1: main calls 1: m3_init
29func main() -> i64