code wiki / _hdl_build / nx_builder_authors_elder_census.nx
nx_builder_authors_elder_census.nx source
↩ module page · 15 lines · 848 B
1// nx_builder_authors_elder_census.nx -- the BUILDER authors ELDERMIG E0 (mechanized Elder census).
2// Claude tutored the template (compose 2-space service keys + getdents64 *.db count; expectations as
3// argv per the verified-facts law); the Builder authors; the Engineer gates via nx_sov_build_run.
4// license_tier: ORIGINAL
5import "nx_module_author_data.nx"
6import "nx_syscalls.nx"
7func _bec(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
8func main() -> i64 {
9 _bec("BUILDER authors ELDERMIG E0 census (compose services + data-vault DBs)\n" as *u8)
10 let fd: i64 = sys_openat_wr("runtime/_hdl_build/_elder_census_authored.nx" as *u8, 0x1a4)
11 ma_emit_elder_census(fd)
12 sys_close(fd)
13 _bec(" -> _elder_census_authored.nx authored; Engineer gates next\n" as *u8)
14 sys_exit(0); return 0
15}