nx_tier_swap_demo.nx

nx_tier_swap_demo.nx -- proof that nx_tier.nx swap is real. Computes the triangular sum 1 + 2 + ... + N where N is chosen to overflow signed 32-bit int but fit signed 64-bit. sum(N) = N * (N+1) / 2 N = 100000 -> sum = 5,000,050,000 (~5e9) int32 max = 2,147,483,647 (~2.1e9) -> overflows int64 max = 9.2e18 -> fits With nx_int = i64: prints "5000050000" and exits 0 With nx_int = i32: would wrap to a negative number and exit 1 (after editing nx_tier.nx to swap the alias). Substrate-level proof that one edit to nx_tier.nx propagates.