code wiki / _hdl_build / nx_research_relations_test.nx
`nx_research_relations_test.nx` source

1// nx_research_relations_test.nx -- KAT gate for DOCUMENT-level claim extraction.
2// A known multi-sentence paragraph -> a known claim count + known claim contents.
3// expect_exit: 0.
4
5import "nx_syscalls.nx"
6import "nx_research_extract.nx"
7import "nx_research_relation.nx"
8import "nx_research_relations.nx"
9
10func w(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
11func wn(v: i64) -> i64 {
12    let b: *u8 = sys_mmap(28); var m: i64 = v
13    if m < 0 { m = 0 - m; sys_write(1, "-" as *u8, 1) }
14    let t: *u8 = sys_mmap(28); var k: i64 = 0
15    if m == 0 { t[0] = 48 as u8; k = 1 }
16    while m > 0 { t[k] = (48 + (m % 10)) as u8; m = m / 10; k = k + 1 }
17    var i: i64 = 0; while i < k { b[i] = t[k - 1 - i]; i = i + 1 }
18    sys_write(1, b, k); return 0
19}
20func chk(cond: i64, pass: *i64, fail: *i64, label: *u8) -> i64 {
21    if cond == 1 { pass[0] = pass[0] + 1; w("    ok  " as *u8); w(label); w("\n" as *u8) }
22    else { fail[0] = fail[0] + 1; w("    XX  " as *u8); w(label); w("\n" as *u8) }
23    return 0
24}
25
26func main() -> i64 {
27    let pass: *i64 = (sys_mmap(8)) as *i64
28    let fail: *i64 = (sys_mmap(8)) as *i64
29    pass[0] = 0
30    fail[0] = 0
31
32    let para: *u8 = "A game engine is a software framework. Real-time strategy requires deterministic lockstep. WebGPU enables compute shaders. Hello world here. The renderer uses Vulkan. An entity component system consists of entities, components, and systems." as *u8
33    let n: i64 = re_strlen(para)
34    let out: *u8 = sys_mmap(16384)
35
36    w("=== nx_research_relations KAT (document-level claim set) ===\n" as *u8)
37    let cnt: i64 = nx_rel_extract_doc(para, n, out, 16384)
38    w(out)
39    w("claims=" as *u8); wn(cnt); w("\n" as *u8)
40
41    let on: i64 = re_strlen(out)
42    // 6 sentences; 5 relational ("Hello world here" has no cue) -> 5 claims
43    chk(cnt == 5, pass, fail, "claim count == 5" as *u8)
44    chk(re_has(out, on, "IS_A -> software framework" as *u8), pass, fail, "IS_A claim present" as *u8)
45    chk(re_has(out, on, "REQUIRES -> deterministic lockstep" as *u8), pass, fail, "REQUIRES claim present" as *u8)
46    chk(re_has(out, on, "ENABLES -> compute shaders" as *u8), pass, fail, "ENABLES claim present" as *u8)
47    chk(re_has(out, on, "USES -> Vulkan" as *u8), pass, fail, "USES claim present" as *u8)
48    chk(re_has(out, on, "CONSISTS_OF -> subsystems" as *u8) == 0, pass, fail, "no false 'subsystems' (neg control)" as *u8)
49    chk(re_has(out, on, "CONSISTS_OF -> entities" as *u8), pass, fail, "CONSISTS_OF claim present" as *u8)
50
51    w("=== VERDICT pass=" as *u8); wn(pass[0]); w(" fail=" as *u8); wn(fail[0]); w(" ===\n" as *u8)
52    if fail[0] == 0 { return 0 }
53    return 1
54}
nx_research_relations_test.nx source

`nx_research_relations_test.nx` source
