nx_sim_coverage.nx
buildroot/runtime/nx_sim_coverage.nx
about
nx_sim_coverage.nx -- GENERIC tool-vs-target coverage / efficiency simulation (sovereign, pure
integer). Answers "does the tool actually reach + conform to the surface where it matters, and
how much of what matters does it service?" Tool/target-agnostic by construction:
* toilet cleaner vs under-rim black-mold (clean the deep, near-vertical rim underside)
* massager vs a human body (knead the high-tension, contoured regions)
... are the SAME engine with different site lists + tool params.
TARGET = parallel arrays over n sites:
depth[i] -- how far into the recess the site sits (mm); a tool must REACH this depth.
slope[i] -- local surface angle in degrees (0 = flat/horizontal .. 90 = vertical); a tool's
working face must CONFORM to this angle to actually scrub/press there.
value[i] -- how much it matters to service this site (mold concentration / muscle tension).
TOOL = a working face that can present any tilt in [tilt_lo, tilt_hi], reaches depth <= reach_max,
and conforms to a surface within +/- conform_tol degrees.
serviced(site) = (depth <= reach_max) AND ([tilt_lo,tilt_hi] intersects [slope-tol, slope+tol]).
EFFICIENCY (permil 0..1000) = 1000 * sum(value | serviced) / sum(value).
This is a first-order GEOMETRIC reachability+conformance model, not full contact physics -- the
honest scope. license_tier: ORIGINAL
dependencies 1 imports · 2 importers
imports: nx_syscalls.nx
imported by: nx_sim_coverage_gate.nxnx_sim_massager_gate.nx
structs
| none |
consts
| none |
functions
| 24 | func sim_serviced(depth: i64, slope: i64, tilt_lo: i64, tilt_hi: i64, reach_max: i64, tol: i64) -> i64 called by 1: sim_efficiency |
| 34 | func sim_efficiency(n: i64, dep: *i64, slp: *i64, val: *i64, |
| 51 | func sim_toilet_underrim(K: i64, overhang: i64, dep: *i64, slp: *i64, val: *i64) -> i64 called by 1: main |
| 68 | func sim_body_surface(K: i64, span: i64, dep: *i64, slp: *i64, val: *i64) -> i64 called by 1: main |
| 82 | func sim_best_tilt(n: i64, dep: *i64, slp: *i64, val: *i64, reach_max: i64, tol: i64) -> i64 |