code wiki / _hdl_build / nx_evoracle_census.nx
nx_evoracle_census.nx source
↩ module page · 117 lines · 5592 B
1// nx_evoracle_census.nx -- classify the REAL known-answer-test corpus by PARTY-NESS.
2//
3// The population is not invented: it is the 36 files `nx_shelltool find kat buildroot/runtime/_hdl_build`
4// returned on the live NAS 2026-07-31. The question it answers is the one nobody has asked of this
5// ecosystem: OF THE EVIDENCE WE ALREADY HAVE, HOW MUCH OF IT RESTS ON AN AUTHORITY OUTSIDE OURSELVES?
6//
7// A file that cannot be opened is reported ABSENT and counted separately -- never silently skipped. A
8// census that quietly drops what it cannot read reports a smaller corpus as a cleaner one, and this lane
9// has already been burned by a census that "silently found nothing" and read exactly like a corpus that
10// contained nothing.
11// license_tier: ORIGINAL expect_exit: 0
12import "nx_syscalls.nx"
13import "nx_evoracle.nx"
14
15func w(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
16
17func nn(v: i64) -> i64 {
18 var m: i64 = v
19 if m < 0 { w("-" as *u8); m = 0 - m }
20 let t: *u8 = sys_mmap(24)
21 var k: i64 = 0
22 if m == 0 { t[0] = 48 as u8; k = 1 }
23 while m > 0 { t[k] = (48 + (m % 10)) as u8; m = m / 10; k = k + 1 }
24 let b: *u8 = sys_mmap(24)
25 var j: i64 = 0
26 while j < k { b[j] = t[k - 1 - j]; j = j + 1 }
27 sys_write(1, b, k)
28 return 0
29}
30
31// c[0]=THIRD c[1]=FIRST c[2]=UNRESOLVED c[3]=ABSENT
32func one(c: *i64, path: *u8) -> i64 {
33 let lp: *i64 = sys_mmap(16) as *i64
34 lp[0] = 0
35 let b: *u8 = sys_read_file(path, lp)
36 if lp[0] <= 0 {
37 c[3] = c[3] + 1
38 w(" ABSENT " as *u8); w(path); w("\n" as *u8)
39 return 0
40 }
41 let p: i64 = evo_classify(b, lp[0])
42 if p == EVO_P_THIRD {
43 c[0] = c[0] + 1
44 w(" THIRD-PARTY " as *u8); w(path); w("\n" as *u8)
45 return 0
46 }
47 if p == EVO_P_FIRST {
48 c[1] = c[1] + 1
49 w(" first-party " as *u8); w(path); w(" <- answers are OURS\n" as *u8)
50 return 0
51 }
52 c[2] = c[2] + 1
53 w(" UNRESOLVED " as *u8); w(path); w(" <- declare an authority by hand\n" as *u8)
54 return 0
55}
56
57func main() -> i64 {
58 let c: *i64 = sys_mmap(64) as *i64
59 c[0] = 0
60 c[1] = 0
61 c[2] = 0
62 c[3] = 0
63 w("nx_evoracle_census -- party-ness of the known-answer-test corpus\n" as *u8)
64 w("population = the 36 *kat* files found on the live NAS 2026-07-31\n\n" as *u8)
65
66 one(c, "runtime/_hdl_build/nx_x25519_kat_gate.nx\x00" as *u8)
67 one(c, "runtime/_hdl_build/nx_sha256_native_kat_gate.nx\x00" as *u8)
68 one(c, "runtime/_hdl_build/nx_md5_kat.nx\x00" as *u8)
69 one(c, "runtime/_hdl_build/nx_opaque_rfc_kat.nx\x00" as *u8)
70 one(c, "runtime/_hdl_build/nx_opaque_kat_register.nx\x00" as *u8)
71 one(c, "runtime/_hdl_build/nx_voprf_rfc_kat.nx\x00" as *u8)
72 one(c, "runtime/_hdl_build/nx_voprf_kat_register.nx\x00" as *u8)
73 one(c, "runtime/_hdl_build/nx_bip39_kat.nx\x00" as *u8)
74 one(c, "runtime/_hdl_build/nx_bip39_wordlist_kat.nx\x00" as *u8)
75 one(c, "runtime/_hdl_build/nx_x509_pubkey_ed_kat.nx\x00" as *u8)
76 one(c, "runtime/_hdl_build/nx_x509_trust_root_kat.nx\x00" as *u8)
77 one(c, "runtime/_hdl_build/nx_f32_sse_kat_gate.nx\x00" as *u8)
78 one(c, "runtime/_hdl_build/nx_f64_v8kat_gate.nx\x00" as *u8)
79 one(c, "runtime/_hdl_build/_f64_kat_vectors.nx\x00" as *u8)
80 one(c, "runtime/_hdl_build/_f64_exp_kat_vectors.nx\x00" as *u8)
81 one(c, "runtime/_hdl_build/_f64_log_kat_vectors.nx\x00" as *u8)
82 one(c, "runtime/_hdl_build/nx_simd_avx2_kat_gate.nx\x00" as *u8)
83 one(c, "runtime/_hdl_build/nx_simd_sse_kat_gate.nx\x00" as *u8)
84 one(c, "runtime/_hdl_build/nx_sse_packed_enc_kat.nx\x00" as *u8)
85 one(c, "runtime/_hdl_build/nx_x86_kat_gate.nx\x00" as *u8)
86 one(c, "runtime/_hdl_build/nx_sext_wasm_kat_gate.nx\x00" as *u8)
87 one(c, "runtime/_hdl_build/nx_rvc_kat.nx\x00" as *u8)
88 one(c, "runtime/_hdl_build/nx_emit_kat.nx\x00" as *u8)
89 one(c, "runtime/_hdl_build/nx_emit_kat_raw.nx\x00" as *u8)
90 one(c, "runtime/_hdl_build/nx_term_kat.nx\x00" as *u8)
91 one(c, "runtime/_hdl_build/nx_ascii_kat.nx\x00" as *u8)
92 one(c, "runtime/_hdl_build/nx_bit_kat.nx\x00" as *u8)
93 one(c, "runtime/_hdl_build/nx_bitio_kat.nx\x00" as *u8)
94 one(c, "runtime/_hdl_build/nx_bitstream_kat.nx\x00" as *u8)
95 one(c, "runtime/_hdl_build/nx_hash_kat.nx\x00" as *u8)
96 one(c, "runtime/_hdl_build/nx_huffman_kat.nx\x00" as *u8)
97 one(c, "runtime/_hdl_build/nx_lex_kat.nx\x00" as *u8)
98 one(c, "runtime/_hdl_build/nx_proc_kat.nx\x00" as *u8)
99 one(c, "runtime/_hdl_build/nx_sketch_types_kat.nx\x00" as *u8)
100 one(c, "runtime/_hdl_build/nx_xxhash_kat.nx\x00" as *u8)
101 one(c, "runtime/_hdl_build/nx_secret_scan.nx\x00" as *u8)
102
103 let seen: i64 = c[0] + c[1] + c[2]
104 w("\n-- CENSUS --\n" as *u8)
105 w(" THIRD-PARTY (external authority) : " as *u8); nn(c[0]); w("\n" as *u8)
106 w(" first-party (our own answers) : " as *u8); nn(c[1]); w("\n" as *u8)
107 w(" UNRESOLVED (no authority named) : " as *u8); nn(c[2]); w("\n" as *u8)
108 w(" ABSENT (not readable here) : " as *u8); nn(c[3]); w("\n" as *u8)
109 w(" readable total : " as *u8); nn(seen); w("\n" as *u8)
110 if seen > 0 {
111 w(" third-party share (permil) : " as *u8); nn((c[0] * 1000) / seen); w("\n" as *u8)
112 }
113 w("\nA file counted first-party is NOT a bad test -- it is a good CONSISTENCY test whose answers we\n" as *u8)
114 w("wrote. It cannot detect an error we and it share. Only the THIRD-PARTY column is evidence that\n" as *u8)
115 w("something outside this ecosystem agrees with us.\n" as *u8)
116 return 0
117}