code wiki / _hdl_build / nx_evolution_ladder_gate.nx

nx_evolution_ladder_gate.nx

buildroot/runtime/_hdl_build/nx_evolution_ladder_gate.nx

7917 B152 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

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

nx_evolution_ladder.nx nx_framed_append.nx nx_syscalls.nx nx_evolution_ladder_gate.nx

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

main sys_now_realtime_sec sys_mmap sys_clock_gettime_real sys_mmap ↻ el_analyze el_parse sys_mmap ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close el_field_dup sys_mmap ↻ el_kind_code el_streq sys_mmap ↻ el_streq ↻ el_find el_streq ↻ el_exists el_streq ↻ sys_mmap ↻ sys_read_file ↻ elg_healthy elg_tmppath elg_cat elg_catn sys_mmap ↻ elg_write_file sys_openat_wr sys_write sys_close ↻ sys_write ↻ elg_row sys_mmap ↻ elg_cat ↻ fa_appendz

structs

none

consts

22const ELG_LOG: *u8 = "knowledge/status/evolution_ladder_gate.log"
23const ELG_REAL: *u8 = "knowledge/registry/evolution_ladder.tsv"
24const ELG_RECCAP: i64 = 512

functions

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
called by 2: elg_tmppathmain calls 1: sys_mmap
37func elg_write_file(path: *u8, content: *u8) -> i64
45func elg_tmppath(out: *u8, stem: *u8, epoch: i64, pid: i64) -> i64
called by 1: main calls 2: elg_catelg_catn
52func elg_row(name: *u8, pass: i64) -> i64
66func elg_healthy(o: *i64) -> i64
called by 1: main
75func main() -> i64