code wiki / _hdl_build / nx_vizsla_group_gate.nx
nx_vizsla_group_gate.nx
buildroot/runtime/_hdl_build/nx_vizsla_group_gate.nx
about
nx_vizsla_group_gate.nx -- VIZSLA GROUP gate: multi-member find-a-time + slot poll proven
against HAND-COMPUTED intersection fixtures. GENUINE COMPOSITION: member calendars are loaded
through the real nx_vizsla_calendar organ (cal: + rec: records), then nx_vizsla_group reads
those member stores -- nothing is mocked.
member calendars (2026-07-10):
alice: 09:00-10:00 planning, 13:00-14:00 lunch
bob: 10:00-12:00 work, RRULE gym DAILY x2 15:00-16:00 (07-10 + 07-11)
group busy union 07-10: [540,720) [780,840) [900,960)
free in [480,1320): [480,540) [720,780) [840,900) [960,1320)
findtime dur=60 07-10 -> 4 candidates (08:00,12:00,14:00,16:00 windows)
findtime dur=90 07-10..07-11 -> 3 (evening 07-10 + two 07-11 windows; short gaps drop)
07-11 dur=60 -> free ends 15:00 where bob's RECURRING gym starts
poll p1: s1 2026-07-10 16:00+90, s2 2026-07-11 08:00+90
initial votes: all 4 yes -> tie 2-2 -> winner=s1 (lexicographic tie-break)
bob changes s1 to no LATER (2026-07-09) -> s1 1-1, s2 2 -> winner=s2 (latest-wins)
Rows:
1 fixture-cal-loads alice+bob calendars load via the real organ (new=2 each)
2 group-load 9 records (3 MEMBER + 2 SLOT + 4 VOTE) new=9 seg-6303
3 idempotent-reload new=0 dup_instore=9 (law 10)
4 findtime-members g1 has members=2 (carol is g2 -- roster isolation) candidates=4
5 findtime-morning-slot 08:00-09:00 fits=1
6 findtime-gap-slot 12:00-13:00 fits=1 (between-meetings gap found)
7 findtime-evening-slot 16:00-22:00 fits=6
8 findtime-dur90 2 days dur=90 -> candidates=3 (short windows honestly dropped)
9 recurring-blocks 07-11 free window ENDS 15:00 at bob's recurring gym
10 tally-tie-lexicographic winner=s1 yes=2 on the 2-2 tie
11 tally-latest-wins after bob's later no: s1 yes=1 no=1, winner=s2 yes=2
12 findtime-determinism byte-identical twice
13 loud-fail-unknown-gid findtime ghost -> exit 1 [negative control]
14 loud-fail-bad-date findtime from=2026-13-99 -> exit 1 [negative control]
15 loud-fail-bad-vote VOTE maybe -> load exit 1 [negative control]
Evidence: VIZSLA-GRP-GATE -> stdout + knowledge/status/vizsla_gate.log; exit 0 iff 15/15.
spec: knowledge/research/2026-06-22-vizsla-sclass-roadmap.md license_tier: ORIGINAL
dependencies 2 imports · 0 importers
imports: nx_syscalls.nxnx_gate_verdict.nx
imported by: nobody (leaf or entry point)
structs
| none |
consts
| none |
functions
| 39 | func gg_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } |
| 40 | func gg_p(s: *u8) -> i64 { sys_write(1, s, gg_slen(s)); return 0 } |
| 42 | func gg_cat(dst: *u8, off: i64, s: *u8) -> i64 |
| 48 | func gg_catn(dst: *u8, off: i64, v: i64) -> i64 |
| 61 | func gg_write(path: *u8, content: *u8) -> i64 |
| 69 | func gg_readall(path: *u8, szout: *i64) -> *u8 |
| 86 | func gg_runv(elf: *u8, args: *i64, outpath: *u8) -> i64 |
| 116 | func gg_has(path: *u8, needle: *u8) -> i64 |
| 135 | func gg_fileeq(p1: *u8, p2: *u8) -> i64 |
| 150 | func gg_row(name: *u8, pass: i64) -> i64 |
| 157 | func gg_args(a1: *u8, a2: *u8, a3: *u8, a4: *u8, a5: *u8, a6: *u8, a7: *u8, a8: *u8) -> *i64 |
| 171 | func gg_ensure(elf: *u8, organ: *u8) -> i64 |
| 179 | func gg_mkpfx(tag: *u8, us: i64) -> *u8 |
| 189 | func main(argc: i64, argv: *i64) -> i64 |