code wiki / (root) / nx_fabric_flow_gate.nx

nx_fabric_flow_gate.nx

buildroot/runtime/nx_fabric_flow_gate.nx

7194 B137 linesdepth 8pulls 10 transitivereach 0 importersview sourcekind gate/prooftopic fabric
docsdependenciesstructsconstsfunctions

about

nx_fabric_flow_gate.nx -- LIVE GATE for R1 of the SkyHammer fabric exceed ladder. Proves the ยง7 acceptance spec mechanically: a credit-controlled link (R1, composing nx_h2_flow) is LOSSLESS + latency-BOUNDED under a burst that makes an uncontrolled baseline drop heavily -- with three NEGATIVE CONTROLS so the result cannot be rigged. criteria (all must hold): 1 R1 overflow-drops == 0 (lossless by construction) 2 baseline drops >= 5% of N (the burst genuinely overloads -- non-vacuous) 3a R1 p99 latency <= 3*(B/D) (bounded / deterministic) 3b NC2 (lossless-uncontrolled) p99 >= 3 * R1 p99 (R1 escapes the loss/bloat tradeoff) 4 R1 goodput >= baseline goodput (no throughput sacrifice) negative controls: NC1 credit bookkeeping w/o the backpressure gate -> drops RETURN (the GATE is the cause) NC2 buffer >= N (no real bottleneck) -> baseline drops VANISH (bottleneck is real) NC3 every run still delivers all N (drops counted at the buffer, independent of delivery) expect_exit: 0 license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_fabric_flow.nx nx_fabric_flow_gate.nx

imports: nx_fabric_flow.nx

imported by: nobody (leaf or entry point)

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

main gp gn ff_run_sim h2_flow_init_to h2_flow_err_flow_control h2_flow_max_window h2_flow_apply_window_updat h2_flow_err_protocol h2_flow_max_window ↻ h2_flow_err_flow_control ↻ h2_flow_consume h2_flow_err_flow_control ↻ show gp ↻ gn ↻ chk gp ↻ sys_openat_append fdn

structs

none

consts

none

functions

20func gp(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 3: chkshowmain
21func gn(v: i64) -> i64
called by 2: showmain
31func fdn(fd: i64, v: i64) -> i64
called by 1: main
40func chk(name: *u8, ok: i64) -> i64
called by 1: main calls 1: gp
44func show(tag: *u8, m: *FfMetrics) -> i64
called by 1: main calls 2: gpgn
50func main() -> i64