nx_forge_ctx_emit.nx source
↩ module page · 26 lines · 1336 B
1// nx_forge_ctx_emit.nx -- CLI wrapper for the F2 pack emitter core (nx_forge_ctx.nx).
2// Emits knowledge/forge/nishilang_pack_v1.txt from the real tree sources. Judged by
3// nx_forge_ctx_gate (planted-sig + UNVERIFIED negctls). Exit 0 only on a successful emit.
4// license_tier: ORIGINAL expect_exit: 0
5import "nx_forge_ctx.nx"
6const K_MAGIC_6900: i64 = 6900
7
8func main(argc: i64, argv: *i64) -> i64 {
9 let r: i64 = fc_emit("knowledge/forge/pack_rules_v1.txt" as *u8, "knowledge/forge/pack_rules_vet_v1.txt" as *u8, "runtime/nx_lib_std.nx" as *u8, "runtime/nx_fbench_probe.nx" as *u8, "knowledge/forge/nishilang_pack_v1.txt" as *u8)
10 std_puts("FORGE-CTX emit rc=" as *u8)
11 std_pdec(r)
12 std_putln(" sigs -> knowledge/forge/nishilang_pack_v1.txt" as *u8)
13 let rm: i64 = fc_emit_mini("knowledge/forge/pack_rules_mini_v1.txt" as *u8, "knowledge/forge/pack_rules_vet_v1.txt" as *u8, "runtime/nx_lib_std.nx" as *u8, "knowledge/forge/fix/cand_t3_ok.nx" as *u8, "knowledge/forge/nishilang_pack_mini_v1.txt" as *u8, K_MAGIC_6900)
14 std_puts("FORGE-CTX mini size=" as *u8)
15 std_pdec(rm)
16 std_putln(" -> knowledge/forge/nishilang_pack_mini_v1.txt" as *u8)
17 if r > 0 {
18 if rm > 0 {
19 sys_exit(0)
20 return 0
21 }
22 }
23 std_putln("FORGE-CTX FAIL" as *u8)
24 sys_exit(1)
25 return 1
26}