code wiki / _hdl_build / nx_connect_room_exceed.nx

nx_connect_room_exceed.nx

buildroot/runtime/_hdl_build/nx_connect_room_exceed.nx

7737 B118 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind tooltopic connect
docsdependenciesstructsconstsfunctions

about

nx_connect_room_exceed.nx -- HONEST measured head-to-head for the video room, grounded in the deep-research report (wf_9c707709, 105 agents, 3-0 primary-source verified). It CORRECTS a prior overclaim: content-blind E2E group video is NOT an exceed -- Discord DAVE (MLS/RFC9420, default+ mandatory 2026-03-02), Signal (since 2021, cap 75), and Telegram (since 2025-04, cap 200) all do it. So content-blind = PARITY. The gate's NEGATIVE CONTROL is exactly that overclaim: a "content- blind beats the field" assertion is REFUTED by the capability matrix. The GENUINE field-wide exceed is SOVEREIGNTY: every incumbent is vendor-hosted SaaS (not self-hostable) and its server sees call METADATA (membership/IP/timing) even when content-blind; ours is self-hostable with zero third-party metadata. Feature-completeness-under-E2E exceeds ZOOM ONLY (parity vs Discord/Signal). Scale is UNSUBSTANTIATED (no incumbent live N-numbers) -> NOT claimed. Loss-resilience is NOW MEASURED vs the field's DEFAULT recovery (ARQ/NACK) by nx_room_resilience (16 vs 118 frozen @250ms RTT, 8% loss; FlexFEC = parity-of-mechanism, caveated) -> T8. Incumbent order: [Discord, Signal, Telegram, Zoom, WeChat]. 8 checks. 100% sovereign. license_tier: ORIGINAL expect_exit: 0

dependencies 1 imports · 0 importers

nx_syscalls.nx nx_connect_room_exceed.nx

imports: nx_syscalls.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap sw sys_write exceed_hi max_arr tcheck sw ↻ exceed_lo min_arr sn sys_mmap ↻ sys_write ↻ sys_exit

structs

none

consts

17const NI: i64 = 5 // incumbents

functions

19func sw(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 2: tcheckmain calls 1: sys_write
20func sn(v: i64) -> i64 { let bb: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m;sys_write(1,"-" as *u8,1)} let t: *u8=sys_mmap(28); var k: i64=0; if m==0{t[0]=48 as u8;k=1} while m>0{t[k]=(48+(m%10)) as u8;m=m/10;k=k+1} var i: i64=0; while i<k{bb[i]=t[k-1-i];i=i+1} sys_write(1,bb,k); return 0 }
called by 1: main calls 2: sys_mmapsys_write
22func max_arr(a: *i64, n: i64) -> i64 { var m: i64=a[0]; var i: i64=1; while i<n { if a[i]>m { m=a[i] } i=i+1 } return m }
called by 1: exceed_hi
23func min_arr(a: *i64, n: i64) -> i64 { var m: i64=a[0]; var i: i64=1; while i<n { if a[i]<m { m=a[i] } i=i+1 } return m }
called by 1: exceed_lo
25func exceed_hi(ours: i64, a: *i64, n: i64) -> i64 { if ours>max_arr(a,n) { return 1 } return 0 }
called by 1: main calls 1: max_arr
27func exceed_lo(ours: i64, a: *i64, n: i64) -> i64 { if ours<min_arr(a,n) { return 1 } return 0 }
called by 1: main calls 1: min_arr
29func tcheck(pass: i64, label: *u8, fails: *i64) -> i64
called by 1: main calls 1: sw
35func main() -> i64