code wiki / _hdl_build / nx_sota_status.nx
nx_sota_status.nx
buildroot/runtime/_hdl_build/nx_sota_status.nx
about
nx_sota_status.nx -- THE HONESTY GATE, cross-domain (operator 2026-07-16: "an evidence repository ... that
can clearly tell us where we are as far as compare gaps ... where there is debt ... where there are unique
capabilities and where we stand as far as state of the art"). Reads EVERY knowledge/compare/<d>.matrix (the
real, liar-killed evidence) + checks whether each domain has EXECUTABLE evidence (<d>.gates) vs claim-only,
and emits ONE fresh status: per-domain SOTA standing, the UNIQUE moat (nishiExceed rows), the frontier GAPS
(_ABSENT_ rows), and -- the meta-honesty number -- the EVIDENCE-BACKING ratio (executable-proven / total).
Fresh by construction: computed live at run time (spin it up = current truth). Stamps sys_now_realtime.
Usage: nx_sota_status (CWD = nxc2 root) license_tier: ORIGINAL expect_exit:0
dependencies 10 imports · 1 importers
imports: nx_syscalls.nxnx_estate_path.nxnx_matrix_sym_lib.nxnx_organ_ground_lib.nxnx_evidence_verdict.nxnx_evattest.nxnx_evprofile_lib.nxnx_comparetree_lib.nxnx_measurement_binding_lib.nxnx_sha256.nx
imported by: nx_sota_source_hash_gate.nx
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| 34 | const SS_MAXD: i64 = 512 |
| 39 | const SS_DEF_TTL_SEC: i64 = 604800 |
| 40 | const SS_DEF_MIN_CLASSES: i64 = 2 |
| 41 | const SS_DEF_REQ_HUMAN: i64 = 1 |
| 47 | const SS_STAMP_UNPROVEN: i64 = 2 |
| 54 | const SS_BINDING_SNAPSHOT_MODE: i64 = 0x180 // POSIX owner read/write |
| 496 | const SSC_PROVEN: i64 = 1 |
| 497 | const SSC_RED: i64 = 2 |
| 498 | const SSC_MECH: i64 = 3 |
| 499 | const SSC_GATEDUNVER: i64 = 4 |
| 500 | const SSC_CLAIMONLY: i64 = 5 |
| 501 | const SSC_UNPROVEN: i64 = 6 |
| 528 | const SS_ARENA_CAP: i64 = 65536 |
functions
| 56 | func sw(s: *u8) -> i64 { var n:i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(ss_console_fd,s,n); return 0 } |
| 57 | func sn(v: i64) -> i64 { let b:*u8=sys_mmap(24); var m:i64=v; if m<0{sys_write(ss_console_fd,"-" as *u8,1);m=0-m} let t:*u8=sys_mmap(24); var k:i64=0; if m==0{t[0]=48 as u8;k=1} while m>0{t[k]=(48+(m%10)) as u8;m=m/10;k=k+1} var j:i64=0; while j<k{b[j]=t[k-1-j];j=j+1} sys_write(ss_console_fd,b,k); return 0 } |
| 58 | func swn(base: *u8, off: i64, len: i64) -> i64 { sys_write(ss_console_fd, ((base as i64)+off) as *u8, len); return 0 } |
| 59 | func ss_wf(fd: i64, s: *u8) -> i64 { var n:i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(fd,s,n); return 0 } |
| 60 | func ss_wnf(fd: i64, v: i64) -> i64 { let t:*u8=sys_mmap(28); var m:i64=v; var k:i64=0; if m==0{t[0]=48 as u8;k=1} while m>0{t[k]=(48+(m%10)) as u8;m=m/10;k=k+1} let b:*u8=sys_mmap(28); var i:i64=0; while i<k{b[i]=t[k-1-i];i=i+1} sys_write(fd,b,k); return 0 } |
| 63 | func ends_matrix(name: *u8) -> i64 called by 1: ss_discover |
| 77 | func ends_axes(name: *u8) -> i64 called by 1: ss_discover |
| 87 | func dom_known(arena: *u8, doff: *i64, dlen: *i64, nd: i64, name: *u8, dom: i64) -> i64 called by 1: ss_discover |
| 104 | func ss_ground_init() -> i64 |
| 115 | func ss_watch_landed(buf: *u8, oa: i64, ob: i64, sa: i64, sb: i64) -> i64 |
| 127 | func classify(buf: *u8, s: i64, e: i64) -> i64 |
| 190 | func file_exists(path: *u8) -> i64 |
| 196 | func ss_has(buf: *u8, n: i64, needle: *u8, nl: i64) -> i64 |
| 214 | func ss_parse_num_after(buf: *u8, n: i64, key: *u8, kl: i64) -> i64 |
| 236 | func ss_parse_tok_len(buf: *u8, n: i64, key: *u8, kl: i64) -> i64 called by 1: ss_stamp_load |
| 263 | func ss_conf_num(key: *u8, kl: i64, defval: i64) -> i64 |
| 283 | func ss_row_has(buf: *u8, s: i64, e: i64, needle: *u8) -> i64 called by 1: ss_class_load |
| 297 | func ss_class_load(arena: *u8, doff: i64, domlen: i64, now: i64, ttl: i64, r: *i64) -> i64 |
| 395 | func ss_stamp_load(arena: *u8, doff: i64, domlen: i64, r: *i64, rsn: *u8) -> i64 |
| 507 | func ss_class(gates_b: i64, prov: i64, mech: i64) -> i64 called by 1: main |
| 516 | func ss_class_name(c: i64) -> *u8 called by 1: main |
| 529 | func ss_discover(dir: *u8, axes: i64, arena: *u8, doff: *i64, dlen: *i64, dsrc: *i64, state: *i64) -> i64 |
| 575 | func ss_jraw(s: *u8, n: i64) -> i64 |
| 586 | func ss_jw(s: *u8) -> i64 |
| 591 | func ss_jn(v: i64) -> i64 called by 9: ss_bplanrecordss_berrorss_bsourcess_breceiptss_bhash_fieldsss_bdecl+3 calls 3: sys_mmapss_jwss_jraw |
| 602 | func ss_jqs(s: *u8, n: i64) -> i64 called by 7: ss_jqss_bfieldss_bplanfieldss_bplanrecordss_bobservationss_bjoin+1 calls 2: ss_jwss_jraw |
| 622 | func ss_jq(s: *u8) -> i64 called by 10: ss_bplanrecordss_berrorss_bsourcess_breceiptss_bhash_fieldsss_bhash_unavailable+4 calls 1: ss_jqs |
| 627 | func ss_bfield(buf: *u8, p: i64, e: i64, field: i64, scratch: *i64) -> i64 |
| 632 | func ss_bplanfield(plan: *u8, rows: *i64, base: i64, field: i64, scratch: *i64) -> i64 |
| 637 | func ss_bplanrecord(plan: *u8, rows: *i64, base: i64, scratch: *i64) -> i64 |
| 651 | func ss_berror(reason: *u8, code: i64) -> i64 |
| 656 | func ss_bdomain(domain: *u8) -> i64 called by 1: ss_bindings |
| 675 | func ss_bsource(domain: *u8, suffix: *u8, tree: i64, n: i64, path: *u8) -> i64 |
| 687 | func ss_bobservation(rank: *u8, p: i64, e: i64, scratch: *i64) -> i64 |
| 701 | func ss_bout_ok(path: *u8) -> i64 |
| 724 | func ss_breceipt(path: *u8, domain: *u8, failed: i64) -> i64 |
| 743 | func ss_bmatrix(domain: *u8) -> *i64 |
| 769 | func ss_bmatrix_free(ctx: *i64) -> i64 |
| 777 | func ss_bhash_fields(code: i64, digest: *u8) -> i64 |
| 800 | func ss_bhash_unavailable(reason: *u8) -> i64 |
| 805 | func ss_bdecl(matrix: *u8, p: i64, e: i64, contract: *u8, co: i64, cn: i64) -> i64 called by 2: shg_declss_bjoin calls 13: ss_jwss_jnsys_now_realtime_secss_bhash_unavailablesys_mmapsys_munmap+7 |
| 850 | func ss_bjoin(plan: *u8, co: i64, cn: i64, ctx: *i64) -> i64 |
| 933 | func ss_bindings(argc: i64, argv: *i64) -> i64 called by 1: main calls 32: ss_berrorss_bout_okss_bdomainep_anchorsys_mmapct_compare_readall_published+26 |
| 1043 | func main(argc: i64, argv: *i64) -> i64 |