code wiki / _hdl_build / _race5_team_author.nx
_race5_team_author.nx source
↩ module page · 33 lines · 1637 B
1// _race5_team_author.nx -- the BUILDER authoring the race-5 team lane from EMITTERS ONLY
2// (no Claude walk logic). Race-5a uses the COVERED shapes as-is: WIRE_TLV (emit7, 4/4
3// type-first -- big-endian by design) + IO_CONTRACT lane (emit9). Whatever rows this lane
4// loses against the Adversary's RIFF suite NAMES the emitter gap (the race-4 grow-to-match
5// loop, instrumented again on new ground). license_tier: ORIGINAL
6import "nx_pattern_emit7.nx"
7import "nx_pattern_emit9.nx"
8import "nx_syscalls.nx"
9
10func ra_w(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
11
12func main() -> i64 {
13 // WIRE_TLV core: FourCC type (4) + 4-byte length, type-first (the RIFF chunk shape)
14 let a: i64 = pe7_author_wire_tlv("_pe_riff" as *u8,
15 "runtime/_hdl_build/_pe_riff.nx" as *u8,
16 "runtime/_hdl_build/_pe_riff_test.nx" as *u8,
17 4, 4, 1)
18 // IO_CONTRACT lane: census keys are DATA
19 let types: *i64 = sys_mmap(64) as *i64
20 let labels: *i64 = sys_mmap(64) as *i64
21 types[0] = 0x666d7420; labels[0] = "FMT=" as *u8 as i64
22 types[1] = 0x64617461; labels[1] = "DATA=" as *u8 as i64
23 types[2] = 0x4c495354; labels[2] = "LIST=" as *u8 as i64
24 let l: i64 = pe9_author_census_lane("runtime/_hdl_build/_pe_lane_riff.nx" as *u8,
25 "_pe_riff" as *u8, types, labels, 3, "NCHK=" as *u8)
26 if a == 1 { if l == 1 {
27 ra_w("TEAM AUTHORED race-5a lane: _pe_riff (WIRE_TLV 4/4 type-first) + _pe_lane_riff (IO_CONTRACT) -- covered shapes only\n" as *u8)
28 sys_exit(0)
29 } }
30 ra_w("author FAILED (spec refused?)\n" as *u8)
31 sys_exit(1)
32 return 1
33}