code wiki / (root) / nx_note_gate.nx

nx_note_gate.nx

buildroot/runtime/nx_note_gate.nx

4779 B117 linesdepth 3pulls 5 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_note_gate.nx -- REFEREE for instrument-learn-game rung LG-0 (nx_note). Direct F0->note checks spanning the instrument range (bass low E to high E), including adjacent-semitone discrimination, plus one END-TO-END chain (synth tone -> nx_pitch with instrument-range lags -> nx_note). Evidence -> stdout + knowledge/status/note_gate.log. Exit 0 GREEN / 1 RED. Sovereign x86_64 throughout. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls_x86_64.nx nx_note.nx nx_pitch.nx nx_note_gate.nx

imports: nx_syscalls_x86_64.nxnx_note.nxnx_pitch.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 nx_note_table chk nx_note_of gp ↻ gn pname gp ↻ nx_note_of ↻ gen_tone nx_pitch_f0 _px_i16 gn ↻ pname ↻

structs

none

consts

none

functions

13func gp(logfd: i64, s: *u8) -> i64
called by 3: pnamechkmain
20func gn(logfd: i64, v: i64) -> i64
called by 2: chkmain
34func pname(logfd: i64, pc: i64) -> i64
called by 2: chkmain calls 1: gp
50func gen_tone(out_pcm: *u8, nsamp: i64, period: i64) -> i64
called by 1: main
63func chk(logfd: i64, f0: i64, exp: i64, tbl: *i64, out: *i64) -> i64
called by 1: main calls 4: nx_note_ofgpgnpname
74func main() -> i64