code wiki / _hdl_build / nx_i2mesh_gate.nx

nx_i2mesh_gate.nx

buildroot/runtime/_hdl_build/nx_i2mesh_gate.nx

5671 B103 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_i2mesh_gate.nx -- prove IMAGE-to-MESH: ingest images (synthetic masks AND our own render/Z-Image foreground) -> silhouette-inflation -> closed meshes. T1 each image -> valid CLOSED mesh. T2 different images -> different geometry. T3 OUR-image (a rendered body's foreground) ingests too (Z-Image plugs in the same way). Writes knowledge/i2m_*.stl. GREEN = the ecosystem ingests an IMAGE and emits a 3D mesh. ORIGINAL

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_sdfrender.nx nx_meshgen.nx nx_i2mesh.nx nx_i2mesh_gate.nx

imports: nx_syscalls.nxnx_sdfrender.nxnx_meshgen.nxnx_i2mesh.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap sdf_bytes hw sys_write i2m_mask_circle i2m_set emit_i2m i2m_dt i2m_fill_field mg_wc mg_step mg_fi mg_extract mg_step ↻ mg_fi ↻ mg_wc ↻ mg_ci hw ↻ pn sys_mmap ↻ sys_write ↻ wstl sys_openat_wr hwf sys_write ↻ snum sys_mmap ↻ sys_write ↻ sys_close i2m_mask_square i2m_set ↻ i2m_mask_cross i2m_set ↻ sdf_body sdf_clear_ops sdf_set_floor sdf_set_mtx_amp sdf_set_kb sdf_render

structs

none

consts

none

functions

10func hw(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 2: emit_i2mmain calls 1: sys_write
11func hwf(fd: i64, s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(fd, s, n); return 0 }
called by 1: wstl calls 1: sys_write
12func pn(v: i64) -> i64
called by 2: emit_i2mmain calls 2: sys_mmapsys_write
23func snum(fd: i64, v: i64) -> i64
called by 1: wstl calls 2: sys_mmapsys_write
33func wstl(vb: *i64, fb: *i64, nf: i64, path: *u8) -> i64
called by 1: emit_i2m calls 4: sys_openat_wrhwfsnumsys_close
49func emit_i2m(label: *u8, mask: *u8, din: *i64, dout: *i64, F: *i64, cv: *i64, vb: *i64, fb: *i64, out: *i64, stl: *u8, failp: *i64) -> i64
called by 1: main calls 6: i2m_dti2m_fill_fieldmg_extracthwpnwstl
65func main() -> i64
calls 14: sys_mmapsdf_byteshwi2m_mask_circleemit_i2mi2m_mask_square+8