code wiki / _hdl_build / nx_connect_events.nx
`nx_connect_events.nx` source

↩ module page · 169 lines · 8803 B
1// nx_connect_events.nx -- CONNECT real-world MEETUP EVENTS + RSVP (the direct Meetup axis; the LDS
2// census MU cell). Group-scoped events with capacity, IDEMPOTENT RSVP (rule 10), cancel-frees-seat,
3// and the YOUTH-SAFETY wall extended to real-world gatherings: a MINOR may RSVP only to a YOUTH event
4// and only while the confirmed roster carries >=2 adults (the Church two-deep norm as an admission
5// invariant, mirroring nx_connect_lds_room). Age is the VERIFIED band (nx_connect_idage spine), and an
6// UNKNOWN band is treated as MINOR (fail-closed). Zero fees BY CONSTRUCTION: organizer + RSVP prices
7// live in a data table checked to be 0 for connection features -- the NEG-CONTROL is the documented
8// Meetup model (organizer $23.99/month + $2 RSVP fee, banked: knowledge/library/conncomp_meetup_wiki.txt)
9// which the same checker FLAGS. A no-wall incumbent admission model (Discord/Meetup-style: any adult,
10// any minor, no structural wall) is the safety NEG-CONTROL: it admits exactly the lone-adult+minor
11// contact ours refuses. 100% sovereign. license_tier: ORIGINAL  expect_exit: 0
12import "nx_syscalls.nx"
13
14import "nx_connect_events_lib.nx"
15const K_MAGIC_2399: i64 = 2399
16
17func sw(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
18func 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 }
19func tcheck(pass: i64, label: *u8, fails: *i64) -> i64 {
  sw("  " as *u8); sw(label); sw(": " as *u8)
  if pass==1 { sw("PASS\n" as *u8) } else { sw("FAIL\n" as *u8); fails[0]=fails[0]+1 }
  return 0
23}
24func count_paid_connection(prices: *i64, isconn: *i64, n: i64) -> i64 {
  var c: i64=0; var i: i64=0
  while i<n { if isconn[i]==1 { if prices[i]>0 { c=c+1 } } i=i+1 }
  return c
28}
29
30func main() -> i64 {
  let fails: *i64 = sys_mmap(16) as *i64
  fails[0]=0
  sw("=== nx_connect_events -- meetup events + RSVP (two-deep youth wall; zero fees by construction) ===\n" as *u8)
34
  // ---- world setup ----
  let ctx: *i64 = sys_mmap(16*8) as *i64
  let rs_event: *i64 = sys_mmap(RS_MAX*8) as *i64
  let rs_user: *i64 = sys_mmap(RS_MAX*8) as *i64
  let rs_active: *i64 = sys_mmap(RS_MAX*8) as *i64
  let nrs: *i64 = sys_mmap(8) as *i64
  nrs[0]=0
  let ev_group: *i64 = sys_mmap(EV_MAX*8) as *i64
  let ev_cap: *i64 = sys_mmap(EV_MAX*8) as *i64
  let ev_youth: *i64 = sys_mmap(EV_MAX*8) as *i64
  let mb_group: *i64 = sys_mmap(MB_MAX*8) as *i64
  let mb_user: *i64 = sys_mmap(MB_MAX*8) as *i64
  let nmb: *i64 = sys_mmap(8) as *i64
  nmb[0]=0
  let ua_user: *i64 = sys_mmap(UA_MAX*8) as *i64
  let ua_minor: *i64 = sys_mmap(UA_MAX*8) as *i64
  let nua: *i64 = sys_mmap(8) as *i64
  nua[0]=0
  ctx[CX_RSEV]=rs_event as i64; ctx[CX_RSUS]=rs_user as i64; ctx[CX_RSAC]=rs_active as i64
  ctx[CX_NRS]=nrs as i64
  ctx[CX_EVGRP]=ev_group as i64; ctx[CX_EVCAP]=ev_cap as i64; ctx[CX_EVYTH]=ev_youth as i64
  ctx[CX_MBGRP]=mb_group as i64; ctx[CX_MBUS]=mb_user as i64; ctx[CX_NMB]=nmb as i64
  ctx[CX_UAUS]=ua_user as i64; ctx[CX_UAMIN]=ua_minor as i64; ctx[CX_NUA]=nua as i64
58
  // users: 100..102 adults, 200..201 minors (verified bands); 300 = UNKNOWN band (must fail closed)
  ua_user[0]=100; ua_minor[0]=0
  ua_user[1]=101; ua_minor[1]=0
  ua_user[2]=102; ua_minor[2]=0
  ua_user[3]=200; ua_minor[3]=1
  ua_user[4]=201; ua_minor[4]=1
  nua[0]=5
  // group 7 members: all of the above incl the unknown-band user 300
  mb_group[0]=7; mb_user[0]=100
  mb_group[1]=7; mb_user[1]=101
  mb_group[2]=7; mb_user[2]=102
  mb_group[3]=7; mb_user[3]=200
  mb_group[4]=7; mb_user[4]=201
  mb_group[5]=7; mb_user[5]=300
  nmb[0]=6
  // event 0: adults-only picnic (cap 3). event 1: YOUTH game night (cap 10, youth-flagged)
  ev_group[0]=7; ev_cap[0]=3; ev_youth[0]=0
  ev_group[1]=7; ev_cap[1]=10; ev_youth[1]=1
77
  // T1: three adult RSVPs admitted
  let r1a: i64 = ev_rsvp(ctx, 0, 100)
  let r1b: i64 = ev_rsvp(ctx, 0, 101)
  let r1c: i64 = ev_rsvp(ctx, 0, 102)
  var t1: i64=0
  if r1a==1 { if r1b==1 { if r1c==1 { if ev_count_active(ctx,0)==3 { t1=1 } } } }
  tcheck(t1, "T1 create + 3 RSVPs admitted, roster=3" as *u8, fails)
85
  // T2: IDEMPOTENT re-RSVP -- roster unchanged (safe to run twice, rule 10)
  let r2: i64 = ev_rsvp(ctx, 0, 100)
  var t2: i64=0
  if r2==2 { if ev_count_active(ctx,0)==3 { t2=1 } }
  tcheck(t2, "T2 idempotent RSVP: repeat returns already-in, roster unchanged" as *u8, fails)
91
  // T3: capacity -- event 0 is FULL (cap 3): minor 200 would be refused anyway; use adult via new member
  mb_group[6]=7; mb_user[6]=103
  nmb[0]=7
  ua_user[5]=103; ua_minor[5]=0
  nua[0]=6
  let r3full: i64 = ev_rsvp(ctx, 0, 103)
  let rc: i64 = ev_cancel(ctx, 0, 102)
  let r3in: i64 = ev_rsvp(ctx, 0, 103)
  var t3: i64=0
  if r3full==(0-2) { if rc==1 { if r3in==1 { if ev_count_active(ctx,0)==3 { t3=1 } } } }
  tcheck(t3, "T3 capacity enforced; cancel frees the seat" as *u8, fails)
103
  // T4: non-member refused (group-scoped events)
  let r4: i64 = ev_rsvp(ctx, 0, 999)
  var t4: i64=0; if r4==(0-1) { t4=1 }
  tcheck(t4, "T4 non-member RSVP refused (events are group-scoped)" as *u8, fails)
108
  // T5: TWO-DEEP admission -- youth event: minor denied at 1 adult, admitted at 2 adults
  let r5a: i64 = ev_rsvp(ctx, 1, 100)
  let r5deny: i64 = ev_rsvp(ctx, 1, 200)
  let r5b: i64 = ev_rsvp(ctx, 1, 101)
  let r5ok: i64 = ev_rsvp(ctx, 1, 200)
  var t5: i64=0
  if r5a==1 { if r5deny==(0-3) { if r5b==1 { if r5ok==1 { if ev_count_adults(ctx,1)==2 { if ev_count_minors(ctx,1)==1 { t5=1 } } } } } }
  tcheck(t5, "T5 youth event: minor DENIED at 1 adult, admitted at two-deep (>=2 adults)" as *u8, fails)
117
  // T6: adult cancels -> adults=1 with a minor present: roster flagged UNSAFE + next minor denied
  let r6c: i64 = ev_cancel(ctx, 1, 101)
  let safe6: i64 = ev_roster_safe(ctx, 1)
  let r6deny: i64 = ev_rsvp(ctx, 1, 201)
  var t6: i64=0
  if r6c==1 { if safe6==0 { if r6deny==(0-3) { t6=1 } } }
  tcheck(t6, "T6 adult cancel drops two-deep: roster flagged unsafe, next minor denied" as *u8, fails)
125
  // T7: minors cannot RSVP to a NON-youth event at all (no unmoderated adult-space admission)
  let r7: i64 = ev_rsvp(ctx, 0, 201)
  var t7: i64=0
  if r7==(0-4) { t7=1 }
  if ev_count_active(ctx,0)!=3 { t7=0 }
  tcheck(t7, "T7 minor on a non-youth event refused (no unmoderated adult-space admission)" as *u8, fails)
132
  // T8: FAIL-CLOSED age -- unknown-band user 300 treated as MINOR (denied where a minor is denied)
  let r8: i64 = ev_rsvp(ctx, 0, 300)
  var t8: i64=0; if r8==(0-4) { t8=1 }
  tcheck(t8, "T8 unknown age band = treated as minor (fail-closed age assurance)" as *u8, fails)
137
  // T9: ZERO FEES by construction vs the documented Meetup model (cited, banked bytes on disk):
  // organizer $23.99/month + $2 RSVP fee -- the SAME checker flags the incumbent table.
  let prices: *i64 = sys_mmap(8*8) as *i64
  let isconn: *i64 = sys_mmap(8*8) as *i64
  prices[0]=0; isconn[0]=1
  prices[1]=0; isconn[1]=1
  let viol: i64 = count_paid_connection(prices, isconn, 2)
  let meetup_prices: *i64 = sys_mmap(8*8) as *i64
  let meetup_isconn: *i64 = sys_mmap(8*8) as *i64
  meetup_prices[0]=K_MAGIC_2399; meetup_isconn[0]=1
  meetup_prices[1]=200;  meetup_isconn[1]=1
  let meetup_viol: i64 = count_paid_connection(meetup_prices, meetup_isconn, 2)
  var t9: i64=0
  if viol==0 { if meetup_viol==2 { t9=1 } }
  sw("  our fees: organizer=0 rsvp=0; Meetup-model flagged=" as *u8); sn(meetup_viol); sw(" (organizer 23.99/mo + 2 RSVP, cited conncomp_meetup_wiki)\n" as *u8)
  tcheck(t9, "T9 zero organizer/RSVP fees; NEG Meetup fee model flagged by the same checker" as *u8, fails)
154
  // T10: NEG-CONTROL no-wall incumbent admission admits the LONE-ADULT+MINOR contact ours refuses
  let ev2: i64 = 2
  ev_group[2]=7; ev_cap[2]=10; ev_youth[2]=1
  let rw1: i64 = ev_rsvp_nowall(ctx, ev2, 103)
  let rw2: i64 = ev_rsvp_nowall(ctx, ev2, 201)
  var t10: i64=0
  if rw1==1 { if rw2==1 { if ev_count_adults(ctx,ev2)==1 { if ev_count_minors(ctx,ev2)==1 { t10=1 } } } }
  tcheck(t10, "T10 NEG-CONTROL: no-wall incumbent admits lone-adult+minor (exactly what ours denies)" as *u8, fails)
163
  sw("  fails=" as *u8); sn(fails[0]); sw("\n" as *u8)
  if fails[0]==0 { sw("VERDICT: GREEN (events+RSVP live: idempotent, capacity, group-scoped, two-deep youth wall, zero fees by construction)\n" as *u8); sys_exit(0) }
  sw("VERDICT: RED\n" as *u8)
  sys_exit(1)
  return 1
169}
nx_connect_events.nx source

`nx_connect_events.nx` source
