nx_forge_judge.nx
buildroot/runtime/nx_forge_judge.nx
about
nx_forge_judge.nx -- FORGE-as-MCP: the DETERMINISTIC CHECKER exposed as a callable tool.
The core of the operator's asymmetric vision (2026-07-13): Claude Code (haiku/whatever) is the
Maker; our nishi coding model/organs are the domain kernel + CHECKER, engaged over MCP. This is
the checker: given a NishiLang organ NAME (source already at runtime/<name>.nx, written by the
caller e.g. via /api/srcwrite or the editor), it builds+runs through the SOVEREIGN LANE and
emits a compact JSON verdict Claude can act on -- byte-exact GREEN is a PROVABLE equality (our
exceed vs flaky-test verifiers). Optional argv[2] = expected-stdout-substring (byte check).
usage: nx_forge_judge <organ> [expect-substring]
emits: {"name":..,"built":0/1,"run_exit":N,"verdict":"GREEN|COMPILE-FAIL|RUN-FAIL|OUTPUT-MISS",
"asm_bytes":N,"output":"<printable, truncated>"}
Sovereign (syscalls only), single fork of _offc/nx_sov_build_run.elf. license_tier: ORIGINAL
expect_exit: 0 (the TOOL succeeds even when the judged organ fails -- the verdict is the payload)
dependencies 2 imports · 0 importers
imports: nx_syscalls.nxnx_lib_std.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| 15 | const K_MAGIC_1048576: i64 = 1048576 |
| 16 | const K_MAGIC_1048575: i64 = 1048575 |
| 17 | const K_MAGIC_262144: i64 = 262144 |
| 18 | const K_MAGIC_3000: i64 = 3000 |
functions
| 20 | func fj_contains(buf: *u8, n: i64, pat: *u8) -> i64 |
| 43 | func fj_jesc(out: *u8, off: i64, src: *u8, n: i64, cap: i64) -> i64 called by 1: main |
| 65 | func main(argc: i64, argv: *i64) -> i64 |