code wiki / _hdl_build / nx_step_tess2_gate.nx

nx_step_tess2_gate.nx

buildroot/runtime/_hdl_build/nx_step_tess2_gate.nx

9959 B204 linesdepth 7pulls 10 transitivereach 0 importersview sourcekind gate/prooftopic step
docsdependenciesstructsconstsfunctions

about

nx_step_tess2_gate.nx -- COMPLETE planar tessellation on the real as1: B-spline curve edges (Cox-de Boor, degree up to 5 non-uniform) + keyhole hole bridging. Target: ALL 25 planar faces tessellate (v1 managed 12; the 13 missing = 9 hole-faces + 4 spline-loop faces) -> whole model 53/53 with the sgn round faces. The v1 EXACT invariant (ear sum == shoelace) must hold on every bridged keyhole too (bridges cancel exactly). Metrology: nut hole rim (file's own spline of the R=5.000mm circle at (10,7.5)) -- sampled deviation MEASURED and reported in um. expect_exit: 0 license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_step_tess2.nx nx_step_tess2_gate.nx

imports: nx_step_tess2.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 m3_init m3_hdr sgt2_tessellate sp_name_is sgt2_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 ↻ sgt2_loop_verts sp_find ↻ sp_arg_span ↻

structs

none

consts

none

functions

9func t2g_tooth(name: *u8, pass: i64, fails: *i64) -> i64
called by 1: main
17func main() -> i64