nx_model_port_registry_gate.nx source
↩ module page · 74 lines · 3892 B
1// nx_model_port_registry_gate.nx -- executed proof of the standard model-port registry. Verifies count, name
2// lookup, format field, the format->driver dispatch, and PROVENANCE (liar-killed: every entry's loader organ must
3// open on disk -- a registry that cites a non-existent loader is a lie). expect_exit: 0
4import "nx_syscalls.nx"
5import "nx_model_port_registry.nx"
6
7func gp(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return sys_write(1, s, n) }
8func gn(v: i64) -> i64 {
9 let bb: *u8 = sys_mmap(28); var m: i64 = v
10 if m < 0 { sys_write(1, "-" as *u8, 1); m = 0 - m }
11 let t: *u8 = sys_mmap(28); var k: i64 = 0
12 if m == 0 { t[0] = 48 as u8; k = 1 }
13 while m > 0 { t[k] = (48 + (m % 10)) as u8; m = m / 10; k = k + 1 }
14 var i: i64 = 0; while i < k { bb[i] = t[k - 1 - i]; i = i + 1 }
15 return sys_write(1, bb, k)
16}
17
18func main(argc: i64, argv: *i64) -> i64 {
19 var pass: i64 = 0
20 let tbl: *i64 = sys_mmap(8 * 32) as *i64
21 mpr_init(tbl)
22
23 // M1 count
24 if mpr_count() == 4 { pass = pass + 1; gp("M1 registry count=4 OK\n" as *u8) }
25 if mpr_count() != 4 { gp("M1 FAIL count=" as *u8); gn(mpr_count()); gp("\n" as *u8) }
26
27 // M2 lookup
28 var lp: i64 = mpr_lookup(tbl, "pose-benchmark" as *u8)
29 var lq: i64 = mpr_lookup(tbl, "qwen2.5-0.5b-nf" as *u8)
30 var ln: i64 = mpr_lookup(tbl, "nope" as *u8)
31 if lp == 3 { if lq == 2 { if ln == 0 - 1 { pass = pass + 1; gp("M2 lookup pose=3 qwen=2 nope=-1 OK\n" as *u8) } } }
32 if lp != 3 { gp("M2 FAIL pose=" as *u8); gn(lp); gp(" qwen=" as *u8); gn(lq); gp(" nope=" as *u8); gn(ln); gp("\n" as *u8) }
33
34 // M3 format field
35 if mpr_streq(mpr_get(tbl, 3, MPR_FORMAT), "safetensors" as *u8) == 1 { if mpr_streq(mpr_get(tbl, 0, MPR_FORMAT), "pytorch-bin" as *u8) == 1 {
36 pass = pass + 1; gp("M3 formats pose=safetensors hifigan=pytorch-bin OK\n" as *u8)
37 } }
38 if mpr_streq(mpr_get(tbl, 3, MPR_FORMAT), "safetensors" as *u8) == 0 { gp("M3 FAIL pose fmt=" as *u8); gp(mpr_get(tbl, 3, MPR_FORMAT)); gp("\n" as *u8) }
39
40 // M4 provenance liar-kill: every loader organ opens
41 var grounded: i64 = 0
42 var i: i64 = 0
43 while i < 4 {
44 if mpr_open(mpr_get(tbl, i, MPR_LOADER)) == 1 { grounded = grounded + 1 }
45 i = i + 1
46 }
47 if grounded == 4 { pass = pass + 1; gp("M4 provenance: all 4 loader organs open (0 ungrounded) OK\n" as *u8) }
48 if grounded != 4 { gp("M4 FAIL grounded=" as *u8); gn(grounded); gp("/4\n" as *u8) }
49
50 // M5 format->driver dispatch: known formats resolve, unknown is empty
51 var dg: *u8 = mpr_driver_for("gguf" as *u8)
52 var ds: *u8 = mpr_driver_for("safetensors" as *u8)
53 var dp: *u8 = mpr_driver_for("pytorch-bin" as *u8)
54 var du: *u8 = mpr_driver_for("onnx" as *u8)
55 if dg[0] != (0 as u8) { if ds[0] != (0 as u8) { if dp[0] != (0 as u8) { if (du as i64) == 0 {
56 pass = pass + 1; gp("M5 driver dispatch: gguf/safetensors/pytorch-bin resolve, unknown null OK\n" as *u8)
57 } } } }
58 if (du as i64) != 0 { gp("M5 FAIL unknown format resolved non-null\n" as *u8) }
59
60 // human-readable dump (the consolidation the team reads)
61 gp("\n-- MODEL-PORT REGISTRY --\n" as *u8)
62 i = 0
63 while i < 4 {
64 gp(" " as *u8); gp(mpr_get(tbl, i, MPR_NAME)); gp(" [" as *u8); gp(mpr_get(tbl, i, MPR_FAMILY)); gp("/" as *u8); gp(mpr_get(tbl, i, MPR_FORMAT)); gp("] " as *u8); gp(mpr_get(tbl, i, MPR_STATUS))
65 gp("\n src: " as *u8); gp(mpr_get(tbl, i, MPR_SOURCE))
66 gp("\n driver: " as *u8); gp(mpr_driver_for(mpr_get(tbl, i, MPR_FORMAT))); gp("\n" as *u8)
67 i = i + 1
68 }
69
70 gp("\nMODEL-PORT-REGISTRY-GATE pass=" as *u8); gn(pass); gp("/5\n" as *u8)
71 if pass == 5 { gp("MODEL-PORT-REGISTRY-GATE GREEN 5/5 (count + lookup + format + provenance + driver-dispatch) -- the standard port backbone\n" as *u8); sys_exit(0) }
72 sys_exit(1)
73 return 0
74}