nx_fabric_flow_gate.nx
buildroot/runtime/nx_fabric_flow_gate.nx
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
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
structs
| none |
consts
| none |
functions
| 20 | func gp(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 } |
| 21 | func gn(v: i64) -> i64 |
| 31 | func fdn(fd: i64, v: i64) -> i64 called by 1: main |
| 40 | func chk(name: *u8, ok: i64) -> i64 |
| 44 | func show(tag: *u8, m: *FfMetrics) -> i64 |
| 50 | func main() -> i64 |