code wiki / (root) / nx_pillar_physics_v21_test.nx

nx_pillar_physics_v21_test.nx

buildroot/runtime/nx_pillar_physics_v21_test.nx

5321 B110 linesdepth 4pulls 7 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_pillar_physics_v21_test.nx -- mathematically distinguish v2.1 cube-root bending mechanics from v2.0 sqrt-proportional AND from industry's constant-diameter baseline. Textbook bending mechanics for a square pillar of side s: σ_max = M × (s/2) / (s⁴/12) = 6 M / s³ ≤ σ_yield → s = ∛(6 M / σ_yield) Cube-root signature: 8× load → 2× footprint (not 2.83× sqrt; not 1× constant). This test verifies the cube-root signature with inputs deliberately chosen to land OUTSIDE the MIN/MAX clamps so the underlying math is exercised. Cross-check: nx_cube(footprint) should be proportional to load. For two loads M1, M2 in unclamped range: s1³ × σ = 6 × safety × M1 s2³ × σ = 6 × safety × M2 → s2³ / s1³ = M2 / M1 expect_exit: 0 license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_cube.nx nx_material_profile.nx nx_pillar_physics.nx nx_pillar_physics_v21_test.nx

imports: nx_syscalls.nxnx_cube.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_cantilever_moment nx_pillar_min_footprint nx_icbrt_q14 nx_icbrt tolerance_ok nx_pillar_min_footprint_v2 nx_isqrt nx_cube

structs

none

consts

28const Q14: i64 = 16384

functions

31func tolerance_ok(actual_q14: i64, expected_q14: i64, tol_pct: i64) -> i64
called by 1: main
39func main() -> i64