code wiki / _hdl_build / nx_pattern_emit10_register.nx
`nx_pattern_emit10_register.nx` source

1// nx_pattern_emit10_register.nx -- records WIRE_MARKER (shape 15) + the first MEASURED
2// gap-then-growth race on emitter-uncovered ground. Engineer gate = authored _pe_jpgmk test
3// green. Librarian alloc + dual-write. license_tier: ORIGINAL
4import "nx_cap_register.nx"
5import "nx_capreg_librarian.nx"
6import "nx_syscalls.nx"
7
8func p10r_run(path: *u8) -> i64 {
9    let pid: i64 = sys_fork()
10    if pid == 0 {
11        let dn: i64 = sys_openat_wr("/dev/null" as *u8, 0x1a4)
12        if dn >= 0 { sys_dup3(dn, 1, 0); sys_dup3(dn, 2, 0) }
13        let argv: *i64 = sys_mmap(32) as *i64; argv[0] = path as i64; argv[1] = 0
14        let envp: *i64 = sys_mmap(16) as *i64; envp[0] = 0
15        sys_execve(path, argv, envp); sys_exit(127)
16    }
17    let st: *i64 = sys_mmap(16) as *i64
18    sys_wait4(pid, st, 0)
19    return st[0]
20}
21
22func main() -> i64 {
23    var allok: i64 = 1
24    if p10r_run("/tmp/jmt.elf" as *u8) != 0 { allok = 0 }
25    cr_w(1, "ENGINEER: team-authored wire-marker test pass=" as *u8); cr_wn(1, allok); cr_w(1, "\n" as *u8)
26    let eng: i64 = ig_engineer(1, 1, 1, allok)
27    let dec: i64 = ig_decision(eng, ig_council(eng, 1, 1, 2), 1)
28    if dec != IG_INGEST { cr_w(1, "HELD\n" as *u8); sys_exit(1) }
29    if cr_can_register(5, 2, 6, dec) != 1 { cr_w(1, "REFUSED\n" as *u8); sys_exit(1) }
30    let lp: *u8 = "/tmp/nishi_cap_registry.log" as *u8
31    let jp: *u8 = "knowledge/status/cap_registry_durable.log" as *u8
32    let idx: i64 = cl_next_idx(lp, jp)
33    let ok: i64 = cl_register_dual(lp, jp, idx, 5,
34        2, "SELF PATTERN-EMIT-10 WIRE_MARKER (shape 15) -- the first emitter GROWN FROM A MEASURED RACE LOSS on emitter-uncovered ground (the operator's grow-to-match-or-exceed loop, instrumented). RACE 4a (JPEG marker census = BROWSER B5 seed, synthetic SOF2-progressive JPEG built by nx_jpeg_census_oracle with construction-known wants): team lane restricted to COVERED patterns (WIRE_TLV applied to a marker stream) = 222 permil vs Claude handwritten 1000 = LANE0-BEHIND; the 7 failed rows name exactly 3 missing spec concepts (prefix byte, standalone-marker table, inclusive lengths). emit10 closes those: authors <name>_count/_find over prefix-marker wire (standalone table + terminator-stop + inclusive 2B lengths, all baked from spec; len<2 / bad-prefix / truncation REFUSED; rails: terminator-in-standalone-table REFUSED); KATs computed from a spec-built image. RACE 4b: team lane = emit10-authored _pe_jpgmk + emit9 lane = 1000 v 1000 LANE0-MATCHES -- gap measured 222, grown, closed SAME-SESSION, zero Claude lane logic. pe9 count-label made spec data (EXTN=/NSEG=). Harness re-proven on a second assignment unchanged (manifest-only). B5 unlock: the JPEG segment walk to SOF2/SOS is now team-authorable. Extends emit chain; composes CAPREG287 harness + 273/282" as *u8)
35    if ok != 1 { cr_w(1, "DUAL-WRITE FAILED\n" as *u8); sys_exit(1) }
36    cr_w(1, "CAPREG idx=" as *u8); cr_wn(1, idx); cr_w(1, " REGISTERED -- WIRE_MARKER grown from measured loss 222->1000\n" as *u8)
37    sys_exit(0)
38    return 0
39}
nx_pattern_emit10_register.nx source

`nx_pattern_emit10_register.nx` source
