code wiki / _hdl_build / nx_evolution_ladder_gate.nx
nx_evolution_ladder_gate.nx
buildroot/runtime/_hdl_build/nx_evolution_ladder_gate.nx
about
nx_evolution_ladder_gate.nx -- THE REFEREE for the graceful-evolution ladder organ.
Proves nx_evolution_ladder grades the tree HONESTLY and that it can actually SEE every failure
mode (no fabricated greens):
POSITIVE (real knowledge/registry/evolution_ladder.tsv):
T1 healthy: HW root present, no broken parents, 0 unproven-exceed-claims, 0 purposeless,
0 never-brick-unsafe.
NEGATIVE CONTROLS (each a hermetic /tmp fixture; the flag MUST fire):
N1 liar-kill : a layer claiming EXCEED with a missing evidence file -> unproven >= 1
N2 broken-tree : a layer whose parent names no layer -> broken >= 1
N3 never-brick : a hardware-write layer marked brickable (Rule 26) -> unsafe >= 1
N4 purposeless : a layer with an empty telos -> purposeless >= 1
SPECIFICITY CONTROL (the liar-kill must NOT be blanket):
N5 measured-with-real-artifact -> unproven == 0 AND healthy (a real measured claim is allowed)
GREEN only if T1 AND N1..N5 all hold. Evidence rows + verdict -> knowledge/status/
evolution_ladder_gate.log via fa_appendz. Exit 0/1.
Sovereign: imports the organ + nx_framed_append + nx_syscalls (no gcc). license_tier: ORIGINAL
dependencies 3 imports · 0 importers
imports: nx_evolution_ladder.nxnx_framed_append.nxnx_syscalls.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| 22 | const ELG_LOG: *u8 = "knowledge/status/evolution_ladder_gate.log" |
| 23 | const ELG_REAL: *u8 = "knowledge/registry/evolution_ladder.tsv" |
| 24 | const ELG_RECCAP: i64 = 512 |
functions
| 26 | func 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 } |
| 27 | func elg_catn(dst: *u8, off: i64, v: i64) -> i64 |
| 37 | func elg_write_file(path: *u8, content: *u8) -> i64 |
| 45 | func elg_tmppath(out: *u8, stem: *u8, epoch: i64, pid: i64) -> i64 |
| 52 | func elg_row(name: *u8, pass: i64) -> i64 |
| 66 | func elg_healthy(o: *i64) -> i64 called by 1: main |
| 75 | func main() -> i64 |