nx_atlas_contra.nx source
↩ module page · 33 lines · 1088 B
1// nx_atlas_contra.nx -- atlas-hygiene CONTRADICTION RESOLVER (blueprint / F262).
2// Rigor-scored resolution: new-evidence rigor vs old-node rigor (integer). rNew > rOld -> NEW-CANONICAL
3// (old flips to LEGACY), exit 0. else -> OLD-STANDS, exit 5. Integer-only. license_tier: ORIGINAL expect_exit: 0
4import "nx_syscalls.nx"
5func ac_atoi(s: *u8) -> i64 {
6 var n: i64 = 0
7 var i: i64 = 0
8 while s[i] != (0 as u8) {
9 let c: i64 = s[i] as i64
10 if c < 48 { return n }
11 if c > 57 { return n }
12 n = n * 10 + (c - 48)
13 i = i + 1
14 }
15 return n
16}
17func main(argc: i64, argv: *i64) -> i64 {
18 if argc < 3 {
19 sys_write(1, "ATLASCONTRA ERR need rNew rOld\n" as *u8, 31)
20 sys_exit(2)
21 return 2
22 }
23 let rn: i64 = ac_atoi(argv[1] as *u8)
24 let ro: i64 = ac_atoi(argv[2] as *u8)
25 if rn > ro {
26 sys_write(1, "ATLASCONTRA NEW-CANONICAL old-to-LEGACY\n" as *u8, 40)
27 sys_exit(0)
28 return 0
29 }
30 sys_write(1, "ATLASCONTRA OLD-STANDS new-not-higher-rigor\n" as *u8, 44)
31 sys_exit(5)
32 return 5
33}