nx_forge_mp_bench.nx source
↩ module page · 30 lines · 1177 B
1// nx_forge_mp_bench.nx -- judge the MINI-PACK arm candidates (cand_mpT*.nx) through the SAME gate-proven
2// fg_run byte-exact lane as nx_forge_local_bench (which judges the crib arm's cand_localT*.nx). Measurement
3// organ: always exit 0, the green count is the deliverable. license_tier: ORIGINAL expect_exit: 0
4import "nx_forge.nx"
5
6func mb_one(spec: *u8, tag: *u8) -> i64 {
7 let r: i64 = fg_run(spec)
8 std_puts(tag)
9 std_puts(" rc=" as *u8)
10 std_pdec(r)
11 if r > 0 {
12 std_putln(" GREEN" as *u8)
13 return 1
14 }
15 std_putln(" (not green -- honest)" as *u8)
16 return 0
17}
18
19func main(argc: i64, argv: *i64) -> i64 {
20 std_putln("MP-BENCH: 1.5B coder + mini-pack arm, fbench 3 tasks, byte-exact lane judge" as *u8)
21 var green: i64 = 0
22 green = green + mb_one("knowledge/forge/fix/spec_mpT1.txt" as *u8, "T1" as *u8)
23 green = green + mb_one("knowledge/forge/fix/spec_mpT2.txt" as *u8, "T2" as *u8)
24 green = green + mb_one("knowledge/forge/fix/spec_mpT3.txt" as *u8, "T3" as *u8)
25 std_puts("MP-BENCH green=" as *u8)
26 std_pdec(green)
27 std_putln("/3 (1.5B + mini-pack, honest measured)" as *u8)
28 sys_exit(0)
29 return 0
30}