code wiki / _hdl_build / nx_softtissue_gate.nx

nx_softtissue_gate.nx

buildroot/runtime/_hdl_build/nx_softtissue_gate.nx

14688 B308 linesdepth 6pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic softtissue
docsdependenciesstructsconstsfunctions

about

nx_softtissue_gate.nx -- the ruler for nx_softtissue.nx. Every tooth is an operator claim turned into a measurement: "when a woman lies down the breasts naturally flatten" -> T5, T6 "if they are larger and softer ... more solid then less" -> T7 (the firmness law) "an ass bounce ... absorbs energy and settles" -> T11, T12 "the tissue becomes harder the tighter it is squished" -> T9 (no inversion) "smooth dimpling around the point of touch, not a sharp dent" -> T10 The pass bands for T5/T6 come from nx_breast_drape_pose.nx, which banked them for GENERATED IMAGERY -- an oracle that predates this solver and was never fitted to it. license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_softtissue.nx nx_softtissue_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.nxnx_softtissue.nx

imported by: nobody (leaf or entry point)

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

main gv_ctr sys_mmap gv_head gv_puts sys_write sys_mmap ↻ st_new sys_mmap ↻ st_profile st_profile_seeded st_hash pg_sample pg_has_bound pg_bound pg_bound ↻ st_span st_hash ↻ st_profile ↻ st_inside st_wall_drop st_abs st_isqrt st_six_vol st_div_r st_layer_alpha_vol st_add_edge st_isqrt ↻ st_layer_alpha_dist st_measure st_min st_max st_six_vol ↻ st_abs ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap sg_report

structs

none

consts

16const SG_DT_US: i64 = 4167
17const SG_ITERS: i64 = 2
18const SG_SETTLE: i64 = 300
19const SG_G: i64 = 4096

functions

21func sg_snapshot(W: *i64) -> *i64
called by 1: main calls 1: sys_mmap
32func sg_report(tag: *u8, m: *i64) -> i64
called by 1: main calls 2: gv_putsgv_num
44func sg_settle(prof: i64, gx: i64, gy: i64, gz: i64, out: *i64) -> i64
called by 1: main calls 3: st_newst_runst_measure
51func main(argc: i64, argv: *i64) -> i64