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

1// nx_analyst_serve.nx -- SERVE-WRAPPER making the ANALYST role's capability MCP-callable (operator 2026-07-10). The
2// library-role pattern (2nd instance, after nx_arbiter_serve): nx_analyst is a pure-integer LIBRARY (an_closure_fails/
3// an_children_sum, no main); this wrapper IMPORTS it + EXERCISES the core capability -- a traced cost-ledger that must
4// CLOSE arithmetically (children sum to parent) and whose UNEXPLAINED RESIDUAL is named (where margin-stacking hides).
5// Self-test: a valid ledger CLOSES (0 fails); a broken ledger is FLAGGED (>0 fails) -> the analyst discriminates. Clean
6// exit 0 + JSON verdict so nishi_crew dispatches `analyst analyze`. Import ONLY nx_analyst.nx (brings nx_syscalls; a 2nd
7// direct import = the double-import rc=6 trap). JSON trick: asv_w2 converts ' -> ". license_tier: ORIGINAL  expect_exit: 0
8import "nx_analyst.nx"
9const K_MAGIC_10000: i64 = 10000
10const K_MAGIC_6000: i64 = 6000
11const K_MAGIC_4000: i64 = 4000
12const K_MAGIC_3000: i64 = 3000
13
14func asv_raw(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
15func asv_w2(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){ if s[n]==(39 as u8) { let q: *u8=sys_mmap(1); q[0]=34 as u8; sys_write(1,q,1) } else { sys_write(1,(s as i64+n) as *u8,1) } n=n+1 } return 0 }
16func asv_bit(b: i64) -> i64 { let d: *u8=sys_mmap(1); d[0]=(48+b) as u8; sys_write(1,d,1); return 0 }
17func asv_wn(v: i64) -> i64 { var m: i64=v; let t: *u8=sys_mmap(24); var k: i64=0; if m==0{t[0]=48 as u8;k=1} while m>0{t[k]=(48+(m%10)) as u8;m=m/10;k=k+1} let o: *u8=sys_mmap(24); var w: i64=0; var q: i64=k-1; while q>=0{o[w]=t[q];w=w+1;q=q-1} sys_write(1,o,w); return 0 }
18
19func main() -> i64 {
20    // ledger A: a $100.00 price traced to two corroborated costs that SUM to it -> CLOSES.
21    let pA: *i64 = sys_mmap(3*8) as *i64; pA[0]=0-1; pA[1]=0; pA[2]=0
22    let vA: *i64 = sys_mmap(3*8) as *i64; vA[0]=K_MAGIC_10000; vA[1]=K_MAGIC_6000; vA[2]=K_MAGIC_4000
23    let failsA: i64 = an_closure_fails(pA, vA, 3, 1000)
24    // ledger B: same price but the children only account for $90.00 -> DOES NOT CLOSE (a defect, not an explanation).
25    let pB: *i64 = sys_mmap(3*8) as *i64; pB[0]=0-1; pB[1]=0; pB[2]=0
26    let vB: *i64 = sys_mmap(3*8) as *i64; vB[0]=K_MAGIC_10000; vB[1]=K_MAGIC_6000; vB[2]=K_MAGIC_3000
27    let failsB: i64 = an_closure_fails(pB, vB, 3, 1000)
28    let csumB: i64 = an_children_sum(pB, vB, 3, 0)
29    let residual: i64 = vB[0] - csumB
30    var closes_ok: i64=0; if failsA==0 { closes_ok=1 }
31    var detects: i64=0; if failsB>0 { detects=1 }
32    var ok: i64=0; if closes_ok==1 { if detects==1 { ok=1 } }
33    asv_w2("{'v':1,'api':'nishi-crew-analyst/v1','role':'analyst','activity':'analyze','capability':'traced cost-ledger -- verify arithmetic closure (children sum to parent) and NAME the unexplained residual where margin-stacking/rent-seeking hide','selftest':{'valid_ledger_closes':" as *u8); asv_bit(closes_ok)
34    asv_w2(",'broken_ledger_flagged':" as *u8); asv_bit(detects)
35    asv_w2(",'unexplained_residual_cents':" as *u8); asv_wn(residual)
36    asv_w2("},'verdict':'" as *u8)
37    if ok==1 { asv_w2("GREEN (closure discrimination proven)'}" as *u8) } else { asv_w2("RED'}" as *u8) }
38    asv_w2("\n" as *u8)
39    if ok==1 { sys_exit(0); return 0 }
40    sys_exit(1); return 1
41}
nx_analyst_serve.nx source

`nx_analyst_serve.nx` source
