nx_gen_embed_verify.nx
buildroot/runtime/nx_gen_embed_verify.nx
about
nx_gen_embed_verify.nx -- SOVEREIGN F16 linear-with-bias (an embedder), verified vs the oracle.
y[t][o] = sum_i x[t][i] * W[o][i] + b[o]
The DiT's front-end projections -- x_embedder (patchified latent -> hidden) and cap_embedder.1
(text-encoder output -> hidden) -- are stored F16 WITH A BIAS, unlike the Q8_0, bias-free
projections inside the blocks. Two differences, either of which silently produces a finite
wrong tensor if assumed away, so this is its own organ rather than a flag on the block linear.
Usage: nx_gen_embed_verify <model_id> <gguf> <x_name> <w_tensor> <bias_tensor|-> <y_name> [rows]
pass "-" for <bias_tensor> when the projection has none
Weights come from the GGUF, activations and the reference from the oracle fixtures: this grades
ONE op, so its inputs should be the oracle's, exactly as the per-op bench does.
license_tier: ORIGINAL
dependencies 13 imports · 0 importers
diagram shows first 10 each side; +3 more imports, +0 more importers in the complete lists below.
imports: nx_syscalls.nxnx_le.nxnx_f32.nxnx_f32_div.nxnx_f32_cvt.nxnx_f16.nxnx_f32_exp.nxnx_f32_activations.nxnx_strconv.nxnx_genfix.nxnx_genver.nxnx_genweights.nxnx_genblock.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 31 | func ev_puts(s: *u8) -> i64 |
| 37 | func main(argc: i64, argv: *i64) -> i64 |