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 sts_load ss_open_cached ssc_init sys_mmap ↻ ssc_sig_of ss_cat sys_fstatat ssc_streq ss_open ss_open2 sys_mmap ↻ ss_manifest_dyn ss_manifest_file_dyn ss_cat ↻ ss_loadfile sys_map_file ss_readall ss_load_aux2 sys_mmap ↻ ss_cat ↻ ss_loadfile ↻ ss_r32 sys_munmap ssl_total_keys ss_r32 ↻ ssl_pow2 ssl_build ss_r32 ↻ ssl_hash_entry ssl_key_eq ss_r32 ↻ ssl_lookup ssl_hash_entry ↻ ssl_key_eq ↻ ss_manifest_free sys_munmap ↻ sys_munmap ↻ ssc_retire_handle

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