code wiki / _hdl_build / nx_builder_authors_type_search.nx
nx_builder_authors_type_search.nx source
↩ module page · 18 lines · 1132 B
1// nx_builder_authors_type_search.nx -- the BUILDER authors the S3 TYPE-DIRECTED SYNTHESIZER (the
2// novel rung: observational-equivalence enumeration over a whitelisted primitive pool). Claude
3// tutored the algorithm (knowledge/specs/2026-06-09-tutoring-code-synthesis-rung1.md PART B); the
4// Builder authors the module; the Engineer compiles+runs it; the gate is 3 HELD-OUT re-derivations
5// (validator threshold / bit-field extract / clamp) each emitted as a real .nx module the Engineer
6// then builds+runs. Anticheat by construction: primitive pool only, retrieval impossible.
7// license_tier: ORIGINAL
8import "nx_module_author.nx"
9import "nx_syscalls.nx"
10func _b(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
11func main() -> i64 {
12 _b("BUILDER authors the S3 type-search synthesizer (obs-equiv enumeration, KAT-driven)\n" as *u8)
13 let fd: i64 = sys_openat_wr("runtime/_hdl_build/_type_search_authored.nx" as *u8, 0x1a4)
14 ma_emit_type_search(fd)
15 sys_close(fd)
16 _b(" -> _type_search_authored.nx authored; Engineer verifies next\n" as *u8)
17 sys_exit(0); return 0
18}