code wiki / _hdl_build / nx_k3_arch_census.nx

nx_k3_arch_census.nx

buildroot/runtime/_hdl_build/nx_k3_arch_census.nx

7805 B170 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind tool
docsdependenciesstructsconstsfunctions

about

nx_k3_arch_census.nx -- SOVEREIGN K3-CLASS ARCHITECTURE COVERAGE CENSUS (operator 2026-07-18: "big rocks that move us to state of the art ... benchmarked honestly ... flagged for research opps to go beyond state of the art and what to look for in our fetches"). The session opened on the Kimi-K3 question; this is its MEASURE-FIRST rock. Grades OUR sovereign no-float coverage of each K3-SPECIFIC innovation (serve + train) against the honest evidence, LIAR-KILLED: a HAVE/PARTIAL claim with evidence "none"/"SET-ME" is forced to GAP (can't score coverage without a shipped gate behind it). Emits every effective-GAP as a RESEARCH candidate with its fetch guidance. DATA-DRIVEN (rule 11): reads knowledge/store/k3feat- (7 cols: id feature serve train evidence k3_mech research_fetch); edit a row + reseed -> the board regenerates, never stale. Fail-closed on an unseeded store. nx_k3_arch_census [featprefix] [mode] mode json (default) | board license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 3 imports · 0 importers

nx_store_seed_lib.nx nx_seg_store.nx nx_syscalls.nx nx_k3_arch_census.nx

imports: nx_store_seed_lib.nxnx_seg_store.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_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ sts_load sts_gen_note sts_pfxhash ss_max_segid sys_mmap ↻ ss_cat ss_readall sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close ss_segid_ok ss_open_cached ssc_init sys_mmap ↻ ssc_sig_of ss_cat ↻ sys_fstatat ssc_streq ss_open ss_open2 ss_open3 sys_now_us

structs

none

consts

16const KC_CAP: i64 = 1048576
17const KC_OUT: i64 = 262144
18const KC_NL: i64 = 10
19const KC_TAB: i64 = 9
20const KC_NCOL: i64 = 7
21const KC_PAIR: i64 = 2
22const KC_SPB: i64 = 128
23const KC_STDERR: i64 = 2
24const KC_EXIT_IO: i64 = 1
26const KC_ID: i64 = 0
27const KC_FEAT: i64 = 1
28const KC_SERVE: i64 = 2
29const KC_TRAIN: i64 = 3
30const KC_EVID: i64 = 4
31const KC_MECH: i64 = 5
32const KC_FETCH: i64 = 6

functions

34func kc_w(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
calls 1: sys_write
35func kc_werr(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(KC_STDERR,s,n); return 0 }
called by 1: main calls 1: sys_write
36func kc_cols(q: *u8, ls: i64, le: i64, sp: *i64) -> i64
called by 1: main
51func kc_sl_eq(q: *u8, a: i64, b: i64, s: *u8) -> i64
called by 2: kc_ptskc_noevid
60func kc_pts(q: *u8, a: i64, b: i64) -> i64
called by 1: main calls 1: kc_sl_eq
66func kc_noevid(q: *u8, a: i64, b: i64) -> i64
called by 1: main calls 1: kc_sl_eq
72func kc_cat_sl(d: *u8, o: i64, q: *u8, a: i64, b: i64) -> i64
called by 1: main
79func main(argc: i64, argv: *i64) -> i64
calls 11: sys_mmapsts_loadkc_werrsys_exitss_catkc_cols+5