code wiki / _hdl_build / nx_builder_authors_synth_bench.nx
nx_builder_authors_synth_bench.nx source
↩ module page · 16 lines · 972 B
1// nx_builder_authors_synth_bench.nx -- the BUILDER authors the S6 SYNTH-BENCH (the PM matrix's R1
2// pick, PMLOG RACE-RANK). Suite compose-v1: 8 held-out specs; the team's CEGIS lane vs the Claude
3// lane, BOTH verified on the same probe grid; verdict = S-CLASS-COMPOSE iff team >= claude. This is
4// the first MEASURED team-vs-Claude race; results land in knowledge/status/synth_bench.log and the
5// Examiner/Auditor grade the trend. license_tier: ORIGINAL
6import "nx_module_author.nx"
7import "nx_syscalls.nx"
8func _b(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
9func main() -> i64 {
10 _b("BUILDER authors the S6 synth-bench (compose-v1, team lane vs Claude lane)\n" as *u8)
11 let fd: i64 = sys_openat_wr("runtime/_hdl_build/_synth_bench_authored.nx" as *u8, 0x1a4)
12 ma_emit_synth_bench(fd)
13 sys_close(fd)
14 _b(" -> _synth_bench_authored.nx authored; Engineer verifies next\n" as *u8)
15 sys_exit(0); return 0
16}