code wiki / _hdl_build / nx_step_geom_gate.nx

nx_step_geom_gate.nx

buildroot/runtime/_hdl_build/nx_step_geom_gate.nx

5678 B115 linesdepth 5pulls 9 transitivereach 0 importersview sourcekind gate/prooftopic step
docsdependenciesstructsconstsfunctions

about

nx_step_geom_gate.nx -- benchmark REAL GEOMETRY extraction from the as1 STEP file (cadtwin P3a: structure -> coordinates). Extract every CARTESIAN_POINT -> fixed-point cloud; verify (a) a KNOWN point is present with the exact model coordinate, (b) the bounding box is real+non-degenerate, (c) the cloud feeds nx_partid (shape descriptor on REAL geometry, not synthetic boxes). = the STEP model's actual 3D geometry, sovereign. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_step_geom.nx nx_partid.nx nx_step_geom_gate.nx

imports: nx_step_geom.nxnx_partid.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 ↻ sg_extract_points sp_name_is sg_point_tuple sp_arg_span sp_skip_string ↻ sg_skip_to_num sg_is_numstart sg_isdigit sg_parse_real sg_isdigit ↻ gg_tooth m3_bytes m3_init m3_hdr m3_add_vert m3_hdr ↻ m3_vert pid_descriptor pid_cov m3_hdr ↻ m3_vert ↻ pid_eigvals ep_eig_dom ep_abs r3_normalize r3_isqrt ep_mv

structs

none

consts

none

functions

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