code wiki / (root) / nx_f32_transformer_test.nx

nx_f32_transformer_test.nx

buildroot/runtime/nx_f32_transformer_test.nx

3415 B101 linesdepth 7pulls 13 transitivereach 0 importersview sourcekind gate/prooftopic f32
docsdependenciesstructsconstsfunctions

about

nx_f32_transformer_test.nx -- integration smoke. Zero-weight identity check: with all weights = 0 and gamma = 0, every matmul produces 0, every RMSNorm produces 0, both residual additions reduce to "x + 0 = x", so output should equal input unchanged. This is the structural-acceptance gate: proves the full chain of RMSNorm + matmul + softmax + SiLU + residual composes without crashing and preserves the identity at zero weights.

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_tier.nx nx_f32.nx nx_f32_transformer.nx nx_f32_transformer_test.nx

imports: nx_syscalls.nxnx_tier.nxnx_f32.nxnx_f32_transformer.nx

imported by: nobody (leaf or entry point)

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

main nx_f32_tb_verdict_is_valid sys_mmap nx_f32_transformer_block_f sys_mmap ↻ nx_f32_rmsnorm nx_i32_to_f32 nx_f32_sqrt nx_f32_classify nx_f32_exp_field nx_f32_mant_field nx_f32_sign nx_f32_exp_field ↻ nx_f32_mant_field ↻ _f32_isqrt nx_f32_matmul nx_f32_dot nx_f32_mul nx_f32_classify ↻ nx_f32_sign ↻ nx_f32_mant_field ↻ nx_f32_exp_field ↻ nx_f32_softmax _f32_gt nx_f32_sub nx_f32_add nx_f32_classify ↻ nx_f32_sign ↻ nx_f32_mant_field ↻ nx_f32_exp_field ↻ nx_f32_neg nx_f32_classify ↻ nx_f32_sign ↻ nx_f32_sub ↻ nx_f32_exp nx_f32_classify ↻ nx_f32_sign ↻ _f32_to_i32_rne nx_f32_classify ↻ nx_f32_sign ↻

structs

none

consts

none

functions

17func main() -> i64