code wiki / _hdl_build / nx_viz_sankey_gate.nx

nx_viz_sankey_gate.nx

buildroot/runtime/_hdl_build/nx_viz_sankey_gate.nx

2209 B51 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic viz
docsdependenciesstructsconstsfunctions

about

nx_viz_sankey_gate.nx -- REFEREE for the sankey layer. Flow: node0(col0)->node2(col1) val 5; node1(col0)-> node2 val 3. Throughput: n0=5 n1=3 n2=8 (=5+3, conservation). Stack col0 (gap 10): n0 y=0, n1 y=15. col1: n2 y=0. 2 columns. GREEN iff all. Sovereign: nx_viz_sankey + nx_syscalls. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_viz_sankey.nx nx_syscalls.nx nx_gate_verdict.nx nx_viz_sankey_gate.nx

imports: nx_viz_sankey.nxnx_syscalls.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

8func g_w(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
9func g_row(name: *u8, ok: i64) -> i64
16func main() -> i64