nx_resource_gate.nx source
↩ module page · 35 lines · 2293 B
1// nx_resource_gate.nx -- proves MCP Resources parity on real seg_store + real files (test prefix): register two file
2// resources, LIST them (discovery), READ one back and verify its content. license_tier: ORIGINAL
3import "nx_resource.nx"
4import "nx_gate.nx"
5
6func g_contains(buf: *u8, n: i64, needle: *u8) -> i64 { var nl: i64=0; while needle[nl]!=(0 as u8){nl=nl+1} if nl==0 {return 1} var i: i64=0; while i+nl<=n { var m: i64=1; var j: i64=0; while j<nl { if buf[i+j]!=needle[j] {m=0;j=nl} else {j=j+1} } if m==1 {return 1} i=i+1 } return 0 }
7
8func main() -> i64 {
9 gw("=== nx_resource_gate: sovereign resource register + discover + read (MCP Resources parity) ===\n" as *u8)
10 let TP: *u8 = "knowledge/resreg-test-" as *u8
11
12 resource_register_pfx(TP, "sota-bar" as *u8, "the agent-ops SOTA bar" as *u8, "file" as *u8, "knowledge/research/2026-06-30-agentops-sota-bar.md" as *u8)
13 resource_register_pfx(TP, "blocklist-schema" as *u8, "do-not-recover store" as *u8, "file" as *u8, "runtime/nx_blocklist_store.nx" as *u8)
14
15 var pass: i64=0; var tot: i64=0
16 let idxbuf: *u8 = sys_mmap(65536)
17 let il: i64 = resource_list_pfx(TP, idxbuf, 65536)
18
19 tot=tot+1; var t1: i64=0
20 if reg_id_present(idxbuf, il, "sota-bar" as *u8, 8)==1 { if reg_id_present(idxbuf, il, "blocklist-schema" as *u8, 16)==1 { t1=1 } }
21 if t1==1 { pass=pass+1; gw(" [PASS] " as *u8) } else { gw(" [FAIL] " as *u8) }
22 gw("T1 DISCOVERY: resource_list returns both registered resources\n" as *u8)
23
24 let outbuf: *u8 = sys_mmap(1048576)
25 let n: i64 = resource_read_pfx(TP, "sota-bar" as *u8, outbuf, 1048576)
26 tot=tot+1; if n > 0 { pass=pass+1; gw(" [PASS] " as *u8) } else { gw(" [FAIL] " as *u8) }
27 gw("T2 READ: got resource content (" as *u8); gn(n); gw(" bytes)\n" as *u8)
28
29 tot=tot+1; if g_contains(outbuf, n, "MCP" as *u8)==1 { pass=pass+1; gw(" [PASS] " as *u8) } else { gw(" [FAIL] " as *u8) }
30 gw("T3 READ content is the real file (contains 'MCP')\n" as *u8)
31
32 gw("\n=== nx_resource_gate " as *u8); gn(pass); gw("/" as *u8); gn(tot); gw(" ===\n" as *u8)
33 if pass==tot { gw("RESOURCE GREEN -- sovereign register + discover + read on seg_store (MCP Resources parity)\n" as *u8); sys_exit(0); return 0 }
34 gw("RESOURCE RED\n" as *u8); sys_exit(1); return 1
35}