nx_evolution_ladder_gate.nx source

1// nx_evolution_ladder_gate.nx -- THE REFEREE for the graceful-evolution ladder organ. 2// 3// Proves nx_evolution_ladder grades the tree HONESTLY and that it can actually SEE every failure 4// mode (no fabricated greens): 5// POSITIVE (real knowledge/registry/evolution_ladder.tsv): 6// T1 healthy: HW root present, no broken parents, 0 unproven-exceed-claims, 0 purposeless, 7// 0 never-brick-unsafe. 8// NEGATIVE CONTROLS (each a hermetic /tmp fixture; the flag MUST fire): 9// N1 liar-kill : a layer claiming EXCEED with a missing evidence file -> unproven >= 1 10// N2 broken-tree : a layer whose parent names no layer -> broken >= 1 11// N3 never-brick : a hardware-write layer marked brickable (Rule 26) -> unsafe >= 1 12// N4 purposeless : a layer with an empty telos -> purposeless >= 1 13// SPECIFICITY CONTROL (the liar-kill must NOT be blanket): 14// N5 measured-with-real-artifact -> unproven == 0 AND healthy (a real measured claim is allowed) 15// GREEN only if T1 AND N1..N5 all hold. Evidence rows + verdict -> knowledge/status/ 16// evolution_ladder_gate.log via fa_appendz. Exit 0/1. 17// Sovereign: imports the organ + nx_framed_append + nx_syscalls (no gcc). license_tier: ORIGINAL 18import "nx_evolution_ladder.nx" 19import "nx_framed_append.nx" 20import "nx_syscalls.nx" 21 22const ELG_LOG: *u8 = "knowledge/status/evolution_ladder_gate.log" 23const ELG_REAL: *u8 = "knowledge/registry/evolution_ladder.tsv" 24const ELG_RECCAP: i64 = 512 25 26func elg_cat(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 } 27func elg_catn(dst: *u8, off: i64, v: i64) -> i64 { 28 var m: i64 = v; var o: i64 = off 29 if m < 0 { m = 0 - m } 30 let t: *u8 = sys_mmap(28); var k: i64 = 0 31 if m == 0 { t[0] = 48 as u8; k = 1 } 32 while m > 0 { t[k] = (48 + (m % 10)) as u8; m = m / 10; k = k + 1 } 33 var i: i64 = 0 34 while i < k { dst[o + i] = t[k - 1 - i]; i = i + 1 } 35 return o + k 36} 37func elg_write_file(path: *u8, content: *u8) -> i64 { 38 let fd: i64 = sys_openat_wr(path, 0x1a4) 39 if fd < 0 { return 0 - 1 } 40 var n: i64 = 0; while content[n] != 0 as u8 { n = n + 1 } 41 sys_write(fd, content, n) 42 sys_close(fd) 43 return 0 44} 45func elg_tmppath(out: *u8, stem: *u8, epoch: i64, pid: i64) -> i64 { 46 var o: i64 = 0 47 o = elg_cat(out, o, stem); o = elg_catn(out, o, epoch); o = elg_cat(out, o, "." as *u8) 48 o = elg_catn(out, o, pid); o = elg_cat(out, o, ".tsv" as *u8) 49 out[o] = 0 as u8 50 return o 51} 52func elg_row(name: *u8, pass: i64) -> i64 { 53 let buf: *u8 = sys_mmap(ELG_RECCAP + 16) 54 var o: i64 = 0 55 o = elg_cat(buf, o, "ELGATE row=\x00" as *u8); o = elg_cat(buf, o, name) 56 if pass == 1 { o = elg_cat(buf, o, " verdict=PASS\x00" as *u8) } else { o = elg_cat(buf, o, " verdict=FAIL\x00" as *u8) } 57 buf[o] = 0 as u8 58 fa_appendz(ELG_LOG, buf, ELG_RECCAP) 59 sys_write(1, " \x00" as *u8, 2) 60 var n: i64 = 0; while name[n] != 0 as u8 { n = n + 1 } sys_write(1, name, n) 61 if pass == 1 { sys_write(1, " PASS\n\x00" as *u8, 6) } else { sys_write(1, " FAIL\n\x00" as *u8, 6) } 62 return 0 63} 64 65// healthy = HW root present, no broken, 0 unproven, 0 purposeless, 0 never-brick-unsafe. 66func elg_healthy(o: *i64) -> i64 { 67 if o[1] != 1 { return 0 } // HW root present 68 if o[2] != 0 { return 0 } // no broken parents 69 if o[3] != 0 { return 0 } // 0 unproven-exceed-claims 70 if o[4] != 0 { return 0 } // 0 purposeless 71 if o[5] != 0 { return 0 } // 0 never-brick-unsafe 72 return 1 73} 74 75func main() -> i64 { 76 let epoch: i64 = sys_now_realtime_sec() 77 let pid: i64 = __syscall(39, 0, 0, 0, 0, 0, 0) 78 let outs: *i64 = sys_mmap(256) as *i64 79 80 // ---- T1: the REAL ladder is healthy ---- 81 var t1: i64 = 0 82 if el_analyze(ELG_REAL, outs) == 0 { t1 = elg_healthy(outs) } 83 84 let p1: *u8 = sys_mmap(256); elg_tmppath(p1, "/tmp/el_liar." as *u8, epoch, pid) 85 let p2: *u8 = sys_mmap(256); elg_tmppath(p2, "/tmp/el_broken." as *u8, epoch, pid) 86 let p3: *u8 = sys_mmap(256); elg_tmppath(p3, "/tmp/el_brick." as *u8, epoch, pid) 87 let p4: *u8 = sys_mmap(256); elg_tmppath(p4, "/tmp/el_purpose." as *u8, epoch, pid) 88 let p5: *u8 = sys_mmap(256); elg_tmppath(p5, "/tmp/el_realmeas." as *u8, epoch, pid) 89 90 // N1: a layer claiming EXCEED with a missing evidence file -> unproven. 91 elg_write_file(p1, "HW\t-\troot purpose\tgate\tknowledge/registry/genesis_lineage.tsv\tnever-brick\thw root\nFAKE\tHW\tclaims a win\texceed\t/tmp/nx_el_ghost_NOPE\t-\tfabricated exceed no artifact\n" as *u8) 92 // N2: a layer whose parent names no layer -> broken. 93 elg_write_file(p2, "HW\t-\troot purpose\tgate\tknowledge/registry/genesis_lineage.tsv\tnever-brick\thw root\nLOOSE\tGHOSTP\tdangling\tspec\tknowledge/registry/genesis_lineage.tsv\t-\torphan parent\n" as *u8) 94 // N3: a hardware-write layer marked brickable (Rule 26) -> unsafe. 95 elg_write_file(p3, "HW\t-\troot purpose\tgate\tknowledge/registry/genesis_lineage.tsv\tbrickable\thw writes not proven safe\n" as *u8) 96 // N4: a layer with an empty telos -> purposeless. 97 elg_write_file(p4, "HW\t-\t\tgate\tknowledge/registry/genesis_lineage.tsv\tnever-brick\thw root empty telos\n" as *u8) 98 // N5: a MEASURED claim WITH a real artifact -> NOT flagged (liar-kill is specific, not blanket). 99 elg_write_file(p5, "HW\t-\troot purpose\tgate\tknowledge/registry/genesis_lineage.tsv\tnever-brick\thw root\nMREAL\tHW\tmeasured win w/ real artifact\tmeasured\tknowledge/registry/genesis_lineage.tsv\t-\tmeasured artifact exists\n" as *u8) 100 101 var n1: i64 = 0 102 if el_analyze(p1, outs) == 0 { if outs[3] >= 1 { n1 = 1 } } 103 var n2: i64 = 0 104 if el_analyze(p2, outs) == 0 { if outs[2] >= 1 { n2 = 1 } } 105 var n3: i64 = 0 106 if el_analyze(p3, outs) == 0 { if outs[5] >= 1 { n3 = 1 } } 107 var n4: i64 = 0 108 if el_analyze(p4, outs) == 0 { if outs[4] >= 1 { n4 = 1 } } 109 var n5: i64 = 0 110 if el_analyze(p5, outs) == 0 { if outs[3] == 0 { if elg_healthy(outs) == 1 { n5 = 1 } } } 111 112 var passes: i64 = 0 113 if t1 == 1 { passes = passes + 1 } 114 if n1 == 1 { passes = passes + 1 } 115 if n2 == 1 { passes = passes + 1 } 116 if n3 == 1 { passes = passes + 1 } 117 if n4 == 1 { passes = passes + 1 } 118 if n5 == 1 { passes = passes + 1 } 119 var green: i64 = 0 120 if passes == 6 { green = 1 } 121 122 sys_write(1, "evolution-ladder gate (honest grading + liar-kill + never-brick + specificity)\n\x00" as *u8, 78) 123 elg_row("T1-real-ladder-healthy \x00" as *u8, t1) 124 elg_row("N1-liar-kill-exceed \x00" as *u8, n1) 125 elg_row("N2-broken-tree \x00" as *u8, n2) 126 elg_row("N3-never-brick-unsafe \x00" as *u8, n3) 127 elg_row("N4-purposeless \x00" as *u8, n4) 128 elg_row("N5-measured-real-allowed\x00" as *u8, n5) 129 130 let vb: *u8 = sys_mmap(ELG_RECCAP + 16) 131 var o: i64 = 0 132 o = elg_cat(vb, o, "EVOLUTION-LADDER verdict=\x00" as *u8) 133 if green == 1 { o = elg_cat(vb, o, "GREEN\x00" as *u8) } else { o = elg_cat(vb, o, "RED\x00" as *u8) } 134 o = elg_cat(vb, o, " passes=\x00" as *u8); o = elg_catn(vb, o, passes); o = elg_cat(vb, o, "/6\x00" as *u8) 135 if green == 0 { 136 o = elg_cat(vb, o, " reason=\x00" as *u8) 137 if t1 == 0 { o = elg_cat(vb, o, "real-ladder-unhealthy \x00" as *u8) } 138 if n1 == 0 { o = elg_cat(vb, o, "liar-kill-blind \x00" as *u8) } 139 if n2 == 0 { o = elg_cat(vb, o, "broken-blind \x00" as *u8) } 140 if n3 == 0 { o = elg_cat(vb, o, "never-brick-blind \x00" as *u8) } 141 if n4 == 0 { o = elg_cat(vb, o, "purposeless-blind \x00" as *u8) } 142 if n5 == 0 { o = elg_cat(vb, o, "measured-real-rejected \x00" as *u8) } 143 } 144 o = elg_cat(vb, o, " END\x00" as *u8) 145 vb[o] = 0 as u8 146 fa_appendz(ELG_LOG, vb, ELG_RECCAP) 147 sys_write(1, vb, o) 148 sys_write(1, "\n\x00" as *u8, 1) 149 150 if green == 1 { return 0 } 151 return 1 152}