code wiki / (root) / nx_pillar_physics_test.nx

nx_pillar_physics_test.nx

buildroot/runtime/nx_pillar_physics_test.nx

4931 B96 linesdepth 4pulls 6 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_pillar_physics_test.nx -- verify cantilever moment + load-proportional footprint sizing EXCEEDS industry constant-diameter baseline. Closed-form invariants: (a) Zero/negative load → 0 moment (b) Moment scales linearly with mass (2× mass → 2× moment) (c) Moment scales linearly with arm (2× arm → 2× moment) (d) Zero/negative moment → MIN footprint (industry baseline) (e) Light load PLA → footprint == MIN (matches industry) (f) Heavy load PLA → footprint > MIN (industry would underbuild) (g) MONOTONIC: heavier load → larger footprint (h) MATERIAL-AWARE: same load, stiffer material → smaller footprint (industry uses SAME footprint regardless of material -- their gap) (i) Runaway load clamped to MAX_FOOT (no infinite growth) (j) Convenience nx_pillar_footprint_for_load matches direct math expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_material_profile.nx nx_pillar_physics.nx nx_pillar_physics_test.nx

imports: nx_syscalls.nxnx_material_profile.nxnx_pillar_physics.nx

imported by: nobody (leaf or entry point)

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

main nx_material_profile_generi nx_material_profile_alloc sys_mmap nx_material_profile_generi nx_material_profile_alloc ↻ nx_material_profile_generi nx_material_profile_alloc ↻ nx_cantilever_moment nx_pillar_min_footprint nx_icbrt_q14 nx_icbrt nx_pillar_footprint_for_lo nx_cantilever_moment ↻ nx_pillar_min_footprint ↻

structs

none

consts

24const Q14: i64 = 16384

functions

26func main() -> i64
calls 6: nx_material_profile_generic_planx_material_profile_generic_absnx_material_profile_generic_peeknx_cantilever_momentnx_pillar_min_footprintnx_pillar_footprint_for_load