nx_atlas_admit.nx source
↩ module page · 72 lines · 2567 B
1// nx_atlas_admit.nx -- atlas-hygiene UNIFIED ADMISSION CONTROL (blueprint Section 4 insertion pipeline).
2// ONE decision running every guard before a node enters the graph: safety AND confidence AND provenance.
3// argv: <conf-permille> <source_type> <safety_token>. ADMIT (exit 0) only if clean AND conf>=750 AND source
4// is PRIMARY_HUMAN|PRIMARY_EMPIRICAL. Else REJECT with reason: exit 5 (safety/low-conf/ai-synth) / 6 (unknown).
5// Integer-only. Zero side effects. license_tier: ORIGINAL expect_exit: 0
6import "nx_syscalls.nx"
7func aa_streq(a: *u8, b: *u8) -> i64 {
8 var i: i64 = 0
9 while a[i] != (0 as u8) {
10 if a[i] != b[i] { return 0 }
11 i = i + 1
12 }
13 if b[i] != (0 as u8) { return 0 }
14 return 1
15}
16func aa_atoi(s: *u8) -> i64 {
17 var n: i64 = 0
18 var i: i64 = 0
19 while s[i] != (0 as u8) {
20 let c: i64 = s[i] as i64
21 if c < 48 { return n }
22 if c > 57 { return n }
23 n = n * 10 + (c - 48)
24 i = i + 1
25 }
26 return n
27}
28func aa_hazard(t: *u8) -> i64 {
29 if aa_streq(t, "BIOWEAPON" as *u8) == 1 { return 1 }
30 if aa_streq(t, "TOXIN" as *u8) == 1 { return 1 }
31 if aa_streq(t, "PATHOGEN" as *u8) == 1 { return 1 }
32 if aa_streq(t, "NERVE_AGENT" as *u8) == 1 { return 1 }
33 if aa_streq(t, "MONEY_LAUNDERING" as *u8) == 1 { return 1 }
34 if aa_streq(t, "INSIDER_TRADING" as *u8) == 1 { return 1 }
35 return 0
36}
37func main(argc: i64, argv: *i64) -> i64 {
38 if argc < 4 {
39 sys_write(1, "ATLASADMIT ERR need conf source safety\n" as *u8, 39)
40 sys_exit(2)
41 return 2
42 }
43 let conf: i64 = aa_atoi(argv[1] as *u8)
44 let src: *u8 = argv[2] as *u8
45 let safe: *u8 = argv[3] as *u8
46 if aa_hazard(safe) == 1 {
47 sys_write(1, "ATLASADMIT REJECT reason=safety-restricted-HALT\n" as *u8, 48)
48 sys_exit(5)
49 return 5
50 }
51 if conf < 750 {
52 sys_write(1, "ATLASADMIT REJECT reason=low-confidence\n" as *u8, 40)
53 sys_exit(5)
54 return 5
55 }
56 if aa_streq(src, "AI_SYNTHESIZED" as *u8) == 1 {
57 sys_write(1, "ATLASADMIT REJECT reason=ai-synth-not-primary\n" as *u8, 46)
58 sys_exit(5)
59 return 5
60 }
61 var primary: i64 = 0
62 if aa_streq(src, "PRIMARY_HUMAN" as *u8) == 1 { primary = 1 }
63 if aa_streq(src, "PRIMARY_EMPIRICAL" as *u8) == 1 { primary = 1 }
64 if primary == 0 {
65 sys_write(1, "ATLASADMIT REJECT reason=unknown-source\n" as *u8, 40)
66 sys_exit(6)
67 return 6
68 }
69 sys_write(1, "ATLASADMIT ADMIT all-guards-passed\n" as *u8, 35)
70 sys_exit(0)
71 return 0
72}