code wiki / (root) / nx_tone_w_gate.nx

nx_tone_w_gate.nx

buildroot/runtime/nx_tone_w_gate.nx

5645 B127 linesdepth 3pulls 6 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_tone_w_gate.nx -- REFEREE for WRITING rung W-TONE-2 (weighting + drift). [T1] unit weights (all 1000) reproduce the unweighted metric EXACTLY. [T2] THE FIX: a candidate that the RAW metric mis-attributes (cadence dominates) is correctly re-attributed once the cadence dim is damped -- the SAME candidate flips A<->B purely by changing the weights. [T3] DRIFT report: signed per-dim deviation has the right sign + magnitude, and its total equals the weighted distance. [T4] NEG-CONTROL: drift of a voice vs itself is all-zero / total 0. Synthetic fingerprints (filled directly) so the weighting MATH is exact and hand-verifiable, independent of the text->vector path proven in nx_tone_gate. Evidence -> stdout + knowledge/status/tone_w_gate.log. Exit 0 GREEN / 1 RED. Sovereign x86_64. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls_x86_64.nx nx_tone.nx nx_tone_w_gate.nx

imports: nx_syscalls_x86_64.nxnx_tone.nx

imported by: nobody (leaf or entry point)

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

main sys_openat_append gp fill pr_kv gp ↻ gn tn_dist_w tn_dist gn ↻ tn_closer tn_dist ↻ tn_closer_w tn_dist_w ↻ tn_drift pr_cond gp ↻

structs

none

consts

none

functions

18func gp(logfd: i64, s: *u8) -> i64
called by 3: pr_kvpr_condmain
25func gn(logfd: i64, v: i64) -> i64
called by 2: pr_kvmain
43func pr_kv(logfd: i64, label: *u8, got: i64, exp: i64) -> i64
called by 1: main calls 2: gpgn
51func pr_cond(logfd: i64, label: *u8, cond: i64) -> i64
called by 1: main calls 1: gp
58func fill(v: *i64, k: i64, val: i64) -> i64
called by 1: main
64func main() -> i64