nx_teacher_wiki_proof.nx source
↩ module page · 44 lines · 2189 B
1// nx_teacher_wiki_proof.nx -- PROVE the existing wiki ingestor consumes the teacher's lessons.
2// Points the wiki engine's own auto-discover (nx_wcl_discover_tree) at knowledge/wiki-content/
3// and asserts both lesson pages get indexed into the doc store. Exit 0 GREEN / 1 RED.
4// license_tier: ORIGINAL
5import "nx_syscalls.nx"
6import "wiki/nx_wiki_content_loader.nx"
7const K_MAGIC_2048: i64 = 2048
8const K_MAGIC_65536: i64 = 65536
9const K_MAGIC_16384: i64 = 16384
10const K_MAGIC_2097152: i64 = 2097152
11
12func pp(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
13func pn(v: i64) -> i64 {
14 let bb: *u8 = sys_mmap(28); var m: i64 = v
15 if m < 0 { sys_write(1, "-\x00" as *u8, 1); m = 0 - m }
16 let t: *u8 = sys_mmap(28); var k: i64 = 0
17 if m == 0 { t[0] = 48 as u8; k = 1 }
18 while m > 0 { t[k] = (48 + (m % 10)) as u8; m = m / 10; k = k + 1 }
19 var i: i64 = 0
20 while i < k { bb[i] = t[k - 1 - i]; i = i + 1 }
21 sys_write(1, bb, k); return 0
22}
23
24func main() -> i64 {
25 pp("NX-TEACHER-WIKI-PROOF (wiki ingestor consumes lessons)\n\x00" as *u8)
26 let store: *NxWikiDocStore = sys_mmap(K_MAGIC_2048) as *NxWikiDocStore
27 let rc1: i64 = nx_wiki_doc_store_init(store, 64, K_MAGIC_65536, K_MAGIC_16384, K_MAGIC_2097152)
28 if rc1 != 0 { pp(" doc_store_init failed\n\x00" as *u8); sys_exit(1); return 1 }
29 let b: *NxWikiIndexBuilder = sys_mmap(512) as *NxWikiIndexBuilder
30 let rc2: i64 = nx_wiki_index_builder_init(b, store, 64)
31 if rc2 != 0 { pp(" builder_init failed\n\x00" as *u8); sys_exit(1); return 1 }
32 let n: i64 = nx_wcl_discover_tree(b, "knowledge/wiki-content/\x00" as *u8)
33 let cnt: i64 = nx_wiki_doc_store_count(store)
34 pp(" discover_tree indexed=\x00" as *u8); pn(n); pp(" doc_store_count=\x00" as *u8); pn(cnt); pp(" (expect >=2)\n\x00" as *u8)
35 if cnt >= 2 {
36 pp(" *** WIKI INGESTS THE LESSONS: h264-bitexact-decode + nishi-lessons -> /wiki/<slug> + searchable ***\n\x00" as *u8)
37 pp("NX-TEACHER-WIKI-PROOF verdict=GREEN\n\x00" as *u8)
38 sys_exit(0)
39 return 0
40 }
41 pp("NX-TEACHER-WIKI-PROOF verdict=RED\n\x00" as *u8)
42 sys_exit(1)
43 return 1
44}