nx_hr_team_gate.nx source

1// nx_hr_team_gate.nx -- referee for NISHI HR team-org (RACI ownership + staffing-gap + training-gap). 2// PROVES: a complete RACI area (exactly 1 Accountable + >=1 Responsible) passes; the gap cases all FLAG -- 3// no Accountable, DUPLICATE Accountable, no Responsible; and a member missing a role-required competency is 4// flagged UNDERTRAINED while a fully-skilled member is not. GREEN iff every row matches. 5// Prints verdict=GREEN to STDOUT *and* returns the exit code. Durable -> knowledge/status/hr_team_gate.log. 6// license_tier: ORIGINAL 7import "nx_hr_team.nx" 8import "nx_g_puts_lib.nx" 9import "nx_syscalls.nx" 10 11func g_num(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 } 12func g_w(fd: i64, s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(fd,s,n); return 0 } 13func g_wn(fd: i64, v: i64) -> i64 { let bb: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m}; 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(fd,bb,k); return 0 } 14func rput(dst: *u8, off: i64, s: *u8) -> i64 { var i: i64=0; while s[i]!=(0 as u8){ dst[off+i]=s[i]; i=i+1 } return off+i } 15func gwrite(path: *u8, s: *u8, n: i64) -> i64 { let fd: i64 = sys_openat_wr(path, 0x1a4); if fd<0 { return 0 } if n>0 { sys_write(fd, s, n) } sys_close(fd); return 0 } 16func hrow(buf: *u8, o: i64, area: *u8, role: *u8, lc: i64) -> i64 { var p: i64=rput(buf,o,area); buf[p]=9 as u8;p=p+1; p=rput(buf,p,role); buf[p]=9 as u8;p=p+1; buf[p]=lc as u8;p=p+1; buf[p]=10 as u8;p=p+1; return p } 17func prow(buf: *u8, o: i64, a: *u8, b: *u8) -> i64 { var p: i64=rput(buf,o,a); buf[p]=9 as u8;p=p+1; p=rput(buf,p,b); buf[p]=10 as u8;p=p+1; return p } 18func chk(got: i64, want: i64, label: *u8) -> i64 { 19 g_puts(" "); g_puts(label); g_puts(" got="); g_num(got); g_puts(" want="); g_num(want) 20 if got == want { g_puts(" PASS\n"); return 1 } 21 g_puts(" FAIL\n"); return 0 22} 23 24func main() -> i64 { 25 g_puts("=== NISHI HR TEAM GATE (RACI ownership + staffing-gap + training-gap) ===\n" as *u8) 26 var pass: i64=0 27 var rows: i64=0 28 let raci: *u8 = "/tmp/nx_hrt_raci" as *u8 29 let req: *u8 = "/tmp/nx_hrt_req" as *u8 30 let skill:*u8 = "/tmp/nx_hrt_skill" as *u8 31 32 // RACI: deploy=complete(1A+1R); review=no-A(gap); design=2A(gap); ship=A-but-no-R(gap) 33 let rb: *u8 = sys_mmap(2048); var o: i64 = 0 34 o = hrow(rb, o, "deploy" as *u8, "release_master" as *u8, HRT_A) 35 o = hrow(rb, o, "deploy" as *u8, "engineer" as *u8, HRT_R) 36 o = hrow(rb, o, "deploy" as *u8, "doctor" as *u8, 67) // 'C' Consulted 37 o = hrow(rb, o, "review" as *u8, "engineer" as *u8, HRT_R) // no Accountable -> gap 38 o = hrow(rb, o, "design" as *u8, "pm" as *u8, HRT_A) 39 o = hrow(rb, o, "design" as *u8, "council" as *u8, HRT_A) // duplicate Accountable -> gap 40 o = hrow(rb, o, "design" as *u8, "builder" as *u8, HRT_R) 41 o = hrow(rb, o, "ship" as *u8, "release_master" as *u8, HRT_A) // Accountable but no Responsible -> gap 42 gwrite(raci, rb, o) 43 44 rows=rows+1; pass=pass+chk(hrt_raci_complete(raci, "deploy" as *u8, 6), 1, "RACI deploy complete (1A+1R)" as *u8) 45 rows=rows+1; pass=pass+chk(hrt_staffing_gap(raci, "deploy" as *u8, 6), 0, " -> deploy: no staffing gap" as *u8) 46 rows=rows+1; pass=pass+chk(hrt_count_letter(raci, "deploy" as *u8, 6, HRT_A), 1, " -> deploy has exactly 1 Accountable" as *u8) 47 rows=rows+1; pass=pass+chk(hrt_staffing_gap(raci, "review" as *u8, 6), 1, "review: NO Accountable -> STAFFING GAP" as *u8) 48 rows=rows+1; pass=pass+chk(hrt_staffing_gap(raci, "design" as *u8, 6), 1, "design: DUPLICATE Accountable -> STAFFING GAP" as *u8) 49 rows=rows+1; pass=pass+chk(hrt_staffing_gap(raci, "ship" as *u8, 4), 1, "ship: Accountable but NO Responsible -> STAFFING GAP" as *u8) 50 rows=rows+1; pass=pass+chk(hrt_staffing_gap(raci, "unknown_area" as *u8, 12), 1, "unknown area -> GAP (flag-by-default)" as *u8) 51 52 // TRAINING: engineer requires nxasm+gates. alice has nxasm only; bob has both; carol has none. 53 let qb: *u8 = sys_mmap(512); var qo: i64 = 0 54 qo = prow(qb, qo, "engineer" as *u8, "nxasm" as *u8) 55 qo = prow(qb, qo, "engineer" as *u8, "gates" as *u8) 56 gwrite(req, qb, qo) 57 let sb: *u8 = sys_mmap(512); var so: i64 = 0 58 so = prow(sb, so, "alice" as *u8, "nxasm" as *u8) 59 so = prow(sb, so, "bob" as *u8, "nxasm" as *u8) 60 so = prow(sb, so, "bob" as *u8, "gates" as *u8) 61 gwrite(skill, sb, so) 62 63 rows=rows+1; pass=pass+chk(hrt_role_req_count(req, "engineer" as *u8, 8), 2, "engineer training bar = 2 competencies" as *u8) 64 rows=rows+1; pass=pass+chk(hrt_training_gap(req, skill, "engineer" as *u8, 8, "alice" as *u8, 5), 1, "alice missing 'gates' -> TRAINING GAP" as *u8) 65 rows=rows+1; pass=pass+chk(hrt_training_gap(req, skill, "engineer" as *u8, 8, "bob" as *u8, 3), 0, "bob fully trained -> no gap" as *u8) 66 rows=rows+1; pass=pass+chk(hrt_training_gap(req, skill, "engineer" as *u8, 8, "carol" as *u8, 5), 1, "carol no attestation -> TRAINING GAP (flag-by-default)" as *u8) 67 68 g_puts("----\nNISHI-HR-TEAM-GATE rows=" as *u8); g_num(rows); g_puts(" pass=" as *u8); g_num(pass) 69 if pass==rows { g_puts(" verdict=GREEN\n" as *u8) } else { g_puts(" verdict=RED\n" as *u8) } 70 let lg: i64=sys_openat_append("knowledge/status/hr_team_gate.log" as *u8, 0x1a4) 71 if lg>=0 { 72 g_w(lg, "NISHI-HR-TEAM-GATE rows=" as *u8); g_wn(lg, rows); g_w(lg, " pass=" as *u8); g_wn(lg, pass) 73 if pass==rows { g_w(lg, " verdict=GREEN\n" as *u8) } else { g_w(lg, " verdict=RED\n" as *u8) } 74 sys_close(lg) 75 } 76 if pass==rows { sys_exit(0); return 0 } 77 sys_exit(1); return 1 78}