code wiki / (root) / nx_forge_judge_trial_t274.nx

nx_forge_judge_trial_t274.nx

buildroot/runtime/nx_forge_judge_trial_t274.nx

7055 B174 linesdepth 7pulls 12 transitivereach 0 importersview sourcekind tooltopic forge
docsdependenciesstructsconstsfunctions

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 3 imports · 0 importers

nx_forge_evidence_t274.nx nx_syscalls.nx nx_lib_std.nx nx_forge_judge_trial_t274.nx

imports: nx_forge_evidence_t274.nxnx_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

main fje_eq fje_len fje_len ↻ std_putln std_puts std_slen sys_write fje_cli std_putln ↻ fje_parse nx_json_next nx_json_skip_ws nx_json_lit nx_ascii_is_digit jx_decode_span jx_copy_str_ctl jx_hex4 jx_hexdig jx_emit_utf8 jx_utf8_scalar_width fje_eq ↻ fje_len ↻ fje_score std_puts ↻ fje_hash sha256_digest_checked_nati sha256_checked_input sys_mmap_shared sha256_workspace_bytes sha256_context_aligned_byt sha256_digest_mapping_nati sha256_workspace_bytes ↻ sha256_digest_workspace sha256_checked_input ↻ sha256_workspace_bytes ↻ sha256_ranges_overlap sha256_init_workspace sha256_update sha256_final

structs

none

consts

16const K_MAGIC_1048576: i64 = 1048576
17const K_MAGIC_1048575: i64 = 1048575
18const K_MAGIC_262144: i64 = 262144
19const K_MAGIC_3000: i64 = 3000

functions

21func fj_contains(buf: *u8, n: i64, pat: *u8) -> i64
called by 1: main calls 1: std_slen
44func fj_jesc(out: *u8, off: i64, src: *u8, n: i64, cap: i64) -> i64
called by 1: main
66func main(argc: i64, argv: *i64) -> i64