nx_connect_census.nx source

1// nx_connect_census.nx -- R0 GENESIS GATE of CONNECT (sovereign worldwide social + language app). 2// The honest, data-driven MATURITY SCORECARD: one row per (pillar x capability), graded 3// ABSENT->PRESENT->PARITY->EXCEEDS from EVIDENCE. The gate LIAR-KILLS any PARITY/EXCEEDS row 4// lacking measured evidence (has_ev set only when a real gate / head-to-head backs it), so no 5// "beats Tandem/Meta/Match" can be claimed without proof -- BY CONSTRUCTION. Negative control 6// proves the liar-kill fires. Grades are HONEST 2026-06-20: CONNECT is a brand-new kickoff, so 7// EVERY cell starts ABSENT -- we have built nothing yet, and we say so. Each cell carries its 8// cited incumbent baseline (the yardstick a later rung must reach PARITY/EXCEEDS against). 9// Cells seeded by the verified deep-research synthesis (run wf_38c21b4e, 17 agents, adversarially 10// verified). Later rungs EARN a grade by attaching a measured gate (set has_ev=1 + name the gate). 11// Mirrors nx_ge_census.nx (proven R0 idiom). 100% sovereign. license_tier: ORIGINAL expect_exit: 0 12import "nx_syscalls.nx" 13 14const G_ABSENT: i64 = 0 15const G_PRESENT: i64 = 1 16const G_PARITY: i64 = 2 17const G_EXCEEDS: i64 = 3 18 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 } 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 } 21 22func grade_name(g: i64) -> i64 { 23 if g==G_ABSENT { sw("ABSENT " as *u8) } 24 if g==G_PRESENT { sw("PRESENT" as *u8) } 25 if g==G_PARITY { sw("PARITY " as *u8) } 26 if g==G_EXCEEDS { sw("EXCEEDS" as *u8) } 27 return 0 28} 29 30// the LIAR-KILL rule: PARITY/EXCEEDS (grade>=2) REQUIRE has_ev==1. ABSENT/PRESENT do not. 31func cap_valid(grade: i64, has_ev: i64) -> i64 { 32 if grade >= G_PARITY { if has_ev == 0 { return 0 } } 33 return 1 34} 35 36func row(pillar: *u8, cap: *u8, grade: i64, base: *u8, evidence: *u8, has_ev: i64, tot: *i64) -> i64 { 37 sw(" " as *u8); sw(pillar); sw(" | " as *u8); sw(cap); sw(" -> " as *u8); grade_name(grade) 38 if cap_valid(grade, has_ev) == 0 { sw(" <== INVALID: PARITY/EXCEEDS without evidence (LIAR-KILL)" as *u8); tot[4] = tot[4] + 1 } 39 else { if has_ev == 1 { sw(" [ev: " as *u8); sw(evidence); sw("]" as *u8) } } 40 sw(" {vs " as *u8); sw(base); sw("}" as *u8) 41 sw("\n" as *u8) 42 tot[grade] = tot[grade] + 1 43 return 0 44} 45 46func main() -> i64 { 47 let tot: *i64 = sys_mmap(64) as *i64 48 tot[0]=0; tot[1]=0; tot[2]=0; tot[3]=0; tot[4]=0 // ABSENT,PRESENT,PARITY,EXCEEDS,INVALID 49 50 sw("=== nx_connect_census R0 -- CONNECT maturity scorecard (honest 2026-06-20, kickoff) ===\n" as *u8) 51 sw("grades: ABSENT < PRESENT < PARITY < EXCEEDS (PARITY/EXCEEDS REQUIRE measured evidence)\n" as *u8) 52 sw("kickoff ratchet: cells flip to PRESENT only with a passing gate. {vs ...} = cited incumbent yardstick.\n" as *u8) 53 54 sw("-- MG MATCHING-GRAPH --\n" as *u8) 55 row("MG" as *u8, "reciprocal match engine (2-sided harmonic-mean)" as *u8, G_PRESENT, "Tandem teach/learn; Hinge Gale-Shapley" as *u8, "nx_connect_match (R1 gate 7/7)" as *u8, 1, tot) 56 row("MG" as *u8, "unified interest graph (person/lang/hobby/faith)" as *u8, G_PRESENT, "none: incumbents silo lang/hobby/faith/dating" as *u8, "nx_connect_graph (R4 7/7; meta-path unify)" as *u8, 1, tot) 57 row("MG" as *u8, "fairness-by-construction ranking (Nash SW)" as *u8, G_ABSENT, "popularity-biased ranking -> paid boosts" as *u8, "none" as *u8, 0, tot) 58 row("MG" as *u8, "calibrated rec + intra-list diversity" as *u8, G_ABSENT, "accuracy-only ranking crowds out niche" as *u8, "none" as *u8, 0, tot) 59 row("MG" as *u8, "cold-start via attribute elicitation" as *u8, G_ABSENT, "incumbents bootstrap from behavioral history" as *u8, "none" as *u8, 0, tot) 60 row("MG" as *u8, "counterfactual/IPS exposure debiasing" as *u8, G_ABSENT, "unaddressed; feedback loops reinforce shown" as *u8, "none" as *u8, 0, tot) 61 row("MG" as *u8, "honest no-compatibility-score framing" as *u8, G_ABSENT, "incumbents over-claim scientific-matching" as *u8, "none" as *u8, 0, tot) 62 63 sw("-- PL PRODUCT-LOOP --\n" as *u8) 64 row("PL" as *u8, "structured per-relationship intent lanes" as *u8, G_PRESENT, "Tandem bans dating(leaks); HelloTalk toggle cosmetic" as *u8, "nx_connect_lanes (R2 gate 7/7)" as *u8, 1, tot) 65 row("PL" as *u8, "in-chat correction/translate/TTS tools" as *u8, G_ABSENT, "Tandem Correct/Translate/Speak" as *u8, "none" as *u8, 0, tot) 66 row("PL" as *u8, "community/events + real-world meetups" as *u8, G_ABSENT, "Mutual events; SALT faith events; Tandem parties" as *u8, "none" as *u8, 0, tot) 67 row("PL" as *u8, "looks-de-emphasized discovery" as *u8, G_ABSENT, "photo-forward + nearby (Tinder-ification)" as *u8, "none" as *u8, 0, tot) 68 row("PL" as *u8, "connection-quality metrics (not time-on-app)" as *u8, G_ABSENT, "engagement + swipe-volume optimization" as *u8, "none" as *u8, 0, tot) 69 70 sw("-- TS TRUST-SAFETY (existential) --\n" as *u8) 71 row("TS" as *u8, "hard schema minor<->romance separation" as *u8, G_PRESENT, "Tandem soft self-declared age; fails UK HEAA" as *u8, "nx_connect_match (minor<->dating wall T5/T6)" as *u8, 1, tot) 72 row("TS" as *u8, "privacy-preserving age assurance (no ID stored)" as *u8, G_PRESENT, "Tinder/Bumble ID+liveness (ID-hoarding)" as *u8, "nx_connect_idage (R3 8/8; arch, crypto=follow-on)" as *u8, 1, tot) 73 row("TS" as *u8, "re-registration-resistant identity" as *u8, G_PRESENT, "Tandem static-photo verify defeated; re-register" as *u8, "nx_connect_idage (R3 8/8; identity-bound ban)" as *u8, 1, tot) 74 row("TS" as *u8, "content-blind abuse detection" as *u8, G_ABSENT, "incumbent NLP reads content; breaks E2EE" as *u8, "none" as *u8, 0, tot) 75 row("TS" as *u8, "bright-line money/off-platform/MLM interdiction" as *u8, G_ABSENT, "incumbents cannot: users transact + migrate" as *u8, "none" as *u8, 0, tot) 76 row("TS" as *u8, "mandatory CSAE/CyberTipline reporting pipeline" as *u8, G_ABSENT, "big platforms have it (US REPORT Act)" as *u8, "none" as *u8, 0, tot) 77 row("TS" as *u8, "multilingual moderation (low-resource/code-mix)" as *u8, G_ABSENT, "industry fails Arabic/Hindi/Roman-Urdu" as *u8, "none" as *u8, 0, tot) 78 row("TS" as *u8, "DSA governance: notice/reasons/appeals/flaggers" as *u8, G_ABSENT, "DSA incumbents have it; Tandem opaque/punitive" as *u8, "none" as *u8, 0, tot) 79 80 sw("-- FA FAITH (respectful, optional) --\n" as *u8) 81 row("FA" as *u8, "optional self-declared faith flag + granularity" as *u8, G_ABSENT, "Mutual(LDS), JSwipe, Salams" as *u8, "none" as *u8, 0, tot) 82 row("FA" as *u8, "like-faith discovery (community not congregation)" as *u8, G_ABSENT, "faith apps dating-first; weak cross-faith friends" as *u8, "none" as *u8, 0, tot) 83 row("FA" as *u8, "belief as GDPR Art.9 (consent, private, no ad-target)" as *u8, G_ABSENT, "Muslim Pro/X-Mode sold faith+location data" as *u8, "none" as *u8, 0, tot) 84 row("FA" as *u8, "cross-faith respect defaults + anti-pressure" as *u8, G_ABSENT, "single-faith silos; pressured cohort on Mutual" as *u8, "none" as *u8, 0, tot) 85 86 sw("-- BM BUSINESS-MODEL (no rot) --\n" as *u8) 87 row("BM" as *u8, "ad-only brought-to-you-by local-biz (no paywall)" as *u8, G_ABSENT, "DuckDuckGo/Nextdoor contextual ~1.42/WAU/qtr" as *u8, "none" as *u8, 0, tot) 88 row("BM" as *u8, "direct-sold ads (bypass ad-tech 35-49% tax)" as *u8, G_ABSENT, "programmatic chain skims 35-49%" as *u8, "none" as *u8, 0, tot) 89 row("BM" as *u8, "diversified funding (ads+donations+membership)" as *u8, G_ABSENT, "Wikimedia donate/endow; Match 98% subs" as *u8, "none" as *u8, 0, tot) 90 row("BM" as *u8, "steward-ownership/co-op locks no-rot laws" as *u8, G_ABSENT, "Ecosia steward-owned; Fairbnb co-op" as *u8, "none" as *u8, 0, tot) 91 row("BM" as *u8, "lean low-cost infra (users/engineer, storage-light)" as *u8, G_ABSENT, "WhatsApp ~40M users/engineer" as *u8, "none" as *u8, 0, tot) 92 93 sw("-- IA I18N-ACCESS (worldwide) --\n" as *u8) 94 row("IA" as *u8, "tiered translation (on-device default + server)" as *u8, G_ABSENT, "Tandem rations 3-5/day free" as *u8, "none" as *u8, 0, tot) 95 row("IA" as *u8, "data-light transport (MQTT + delta/CRDT sync)" as *u8, G_ABSENT, "WA/Messenger/IG MQTT at billion scale" as *u8, "none" as *u8, 0, tot) 96 row("IA" as *u8, "WCAG 2.2 AA accessibility" as *u8, G_ABSENT, "EAA floor WCAG 2.1 AA (EN 301 549)" as *u8, "none" as *u8, 0, tot) 97 row("IA" as *u8, "UBA-correct RTL/bidi + bundled Noto subsets" as *u8, G_ABSENT, "broken RTL+tofu; AOSP ships ~37% Noto" as *u8, "none" as *u8, 0, tot) 98 row("IA" as *u8, "graceful degradation in censored regions" as *u8, G_ABSENT, "dead call buttons in Gulf; blocked RU/CN" as *u8, "none" as *u8, 0, tot) 99 row("IA" as *u8, "data-minimization + content-blind E2EE (nothing to hand over)" as *u8, G_ABSENT, "serve-all + refuse handover (HelloTalk China-resident)" as *u8, "none" as *u8, 0, tot) 100 row("IA" as *u8, "censorship-resistant transport (anti-block/bridges)" as *u8, G_ABSENT, "Signal/Tor circumvent DPI; incumbents just get blocked" as *u8, "none" as *u8, 0, tot) 101 102 sw("--- DISTRIBUTION ---\n" as *u8) 103 sw(" ABSENT=" as *u8); sn(tot[0]) 104 sw(" PRESENT=" as *u8); sn(tot[1]) 105 sw(" PARITY=" as *u8); sn(tot[2]) 106 sw(" EXCEEDS=" as *u8); sn(tot[3]) 107 let total: i64 = tot[0]+tot[1]+tot[2]+tot[3] 108 sw(" TOTAL_CELLS=" as *u8); sn(total) 109 sw("\n (honest ratchet: a cell flips to PRESENT only with a passing\n" as *u8) 110 sw(" gate; PARITY/EXCEEDS only with an adversarial real-corpus head-to-head. Never self-scored.)\n" as *u8) 111 sw(" invalid_rows=" as *u8); sn(tot[4]); sw("\n" as *u8) 112 113 // NEGATIVE CONTROL -- prove the liar-kill actually fires 114 var neg_ok: i64 = 1 115 if cap_valid(G_EXCEEDS, 0) != 0 { neg_ok = 0 } // fake EXCEEDS, no evidence -> MUST be invalid 116 if cap_valid(G_PARITY, 0) != 0 { neg_ok = 0 } // fake PARITY, no evidence -> MUST be invalid 117 if cap_valid(G_EXCEEDS, 1) != 1 { neg_ok = 0 } // EXCEEDS WITH evidence -> valid 118 if cap_valid(G_PRESENT, 0) != 1 { neg_ok = 0 } // PRESENT, no evidence -> valid (allowed) 119 sw(" NEG-CONTROL liar-kill fires correctly: " as *u8); if neg_ok==1 { sw("YES\n" as *u8) } else { sw("NO\n" as *u8) } 120 121 var green: i64 = 0 122 if tot[4] == 0 { if neg_ok == 1 { green = 1 } } 123 if green == 1 { sw("VERDICT: GREEN (scorecard honest; PRESENT cells gate-backed; no unproven PARITY/EXCEEDS; liar-kill armed)\n" as *u8); sys_exit(0) } 124 sw("VERDICT: RED\n" as *u8) 125 sys_exit(1) 126 return 1 127}