code wiki / _hdl_build / nx_session_0611b_register.nx
nx_session_0611b_register.nx source
↩ module page · 44 lines · 4853 B
1// nx_session_0611b_register.nx -- records the 2026-06-11 team-loop trio. Each entry's
2// gate is RE-RUN GREEN at register time (no claims without fresh evidence).
3// license_tier: ORIGINAL
4import "nx_cap_register.nx"
5import "nx_capreg_librarian.nx"
6import "nx_syscalls.nx"
7func tr_run(path: *u8) -> i64 {
8 let pid: i64 = sys_fork()
9 if pid == 0 {
10 let dn: i64 = sys_openat_wr("/dev/null" as *u8, 0x1a4)
11 if dn >= 0 { sys_dup3(dn, 1, 0); sys_dup3(dn, 2, 0) }
12 let argv: *i64 = sys_mmap(32) as *i64; argv[0] = path as i64; argv[1] = 0
13 let envp: *i64 = sys_mmap(16) as *i64; envp[0] = 0
14 sys_execve(path, argv, envp); sys_exit(127)
15 }
16 let st: *i64 = sys_mmap(16) as *i64
17 sys_wait4(pid, st, 0)
18 if (st[0] % 128) != 0 { return 0 - 1 }
19 return (st[0] >> 8) & 0xff
20}
21func main() -> i64 {
22 let lp: *u8 = "/tmp/nishi_cap_registry.log" as *u8
23 let jp: *u8 = "knowledge/status/cap_registry_durable.log" as *u8
24 if tr_run("/tmp/_engineer_triage_gate_authored.sov.elf" as *u8) != 0 { cr_w(1, "ETGATE not green -- refuse register\n" as *u8); sys_exit(1) }
25 let i1: i64 = cl_next_idx(lp, jp)
26 let ok1: i64 = cl_register_dual(lp, jp, i1, 5,
27 2, "SELF ENGINEER-TRIAGE (PURE-NISHI loop: operator 2026-06-11 -- the team triages its own red pulse, the tutor stops bash-prompting solutions) -- nx_engineer_triage reads the Examiner's OWN arc table (examiner_arcs.conf, zero duplicated knowledge), re-derives each arc's grade from its gate log's LAST anchor line, drills RED/ABSENT arcs for row-level verdict=FAIL lines (last<=4 copied VERBATIM as ENGINEER-ROW evidence, exit codes = the Doctor's input) and files ONE idempotent Doctor row id=ENG-<arc> w=8. ETGATE 5/5 first run (clean-green / red-files-row+evidence / idempotent-run-twice-ONE-row / absent-files / live). LIVE FIRST RUN EARNED ITS KEEP: filed ENG-BROWSER naming both failing TLS rows; next beat the organ caught PROVABILITY going red DURING the concurrent-pulse window and filed ENG-PROVABILITY hands-off. Pulse step wired; ENGINEER arc row added to examiner conf (the grader now grades the triager -- epigenetic wiring, zero rebuild)" as *u8)
28 if ok1 != 1 { cr_w(1, "DUAL-WRITE-1 FAILED\n" as *u8); sys_exit(1) }
29 cr_w(1, "CAPREG idx=" as *u8); cr_wn(1, i1); cr_w(1, " ENGINEER-TRIAGE registered\n" as *u8)
30 if tr_run("/tmp/nx_sha256_longmsg_gate.sov.elf" as *u8) != 0 { cr_w(1, "SHALONG not green -- refuse register\n" as *u8); sys_exit(1) }
31 let i2: i64 = cl_next_idx(lp, jp)
32 let ok2: i64 = cl_register_dual(lp, jp, i2, 5,
33 2, "SELF SHA256-LONGMSG-GATE (the missing KAT row, ten-second law: Doctor+Builder ENG-BROWSER visit 2026-06-11) -- nx_sha256_longmsg_gate: FIPS 180-2 abc + two-block-448 + million-a LONG vector one-shot, PLUS million-a via STREAMING updates walking every buffer-seam residue class (1,63,64,65,255,256,257,1000,4096 cycling), PLUS 4KB streaming==one-shot self-equivalence. GREEN 5/5 first run: the HASH-OPT(377) rewrite's long-input+streaming class is EXONERATED mechanically and regression-gated forever (its golden roll stopped at 256 bytes). Doctor consequence: TLS Finished failure (CV-PASS FIN-FAIL exit44 on example.com AND httpbin -- httpbin now speaks TLS13, env changed since 0610; loopback passes = self-cancelling divergence) is NOT sha256 -- suspects narrowed to finished-key HKDF / transcript snapshot / HMAC compare, X-B1-FIN-001 filed. CRYPTO-SHA-LONG arc row added to examiner conf" as *u8)
34 if ok2 != 1 { cr_w(1, "DUAL-WRITE-2 FAILED\n" as *u8); sys_exit(1) }
35 cr_w(1, "CAPREG idx=" as *u8); cr_wn(1, i2); cr_w(1, " SHA256-LONGMSG registered\n" as *u8)
36 if tr_run("/tmp/nx_paper_gen.sov.elf" as *u8) != 0 { cr_w(1, "PAPERGEN not green -- refuse register\n" as *u8); sys_exit(1) }
37 let i3: i64 = cl_next_idx(lp, jp)
38 let ok3: i64 = cl_register_dual(lp, jp, i3, 5,
39 2, "SELF PAPER-GEN rung1 (RESEARCH-PAPER doctrine + COMPREHENSIBILITY law, operator 2026-06-11: publish papers on what improvements are improving what, clear for human research) -- nx_paper_gen COMPILES papers from ledgers: claim = the lineage WHY; genetics/mutations/epigenetics from the GENEALOGIST's lineage.tsv (new registry surface, code-genetics ledger); evidence = each named log's LAST anchored line; REFUSES to emit when any named source line is missing (a paper can never contain an unledgered claim -- ATTRIBUTION law). papers.conf row P001 engineer-triage-loop EMITTED live to knowledge/papers/ via tmp+renameat hot-swap. Pending rungs filed: X-RP-002 sponsor index, X-RP-003 effect-table citations, X-RP-004 publish-live, X-GEN-002 lineage-coverage census" as *u8)
40 if ok3 != 1 { cr_w(1, "DUAL-WRITE-3 FAILED\n" as *u8); sys_exit(1) }
41 cr_w(1, "CAPREG idx=" as *u8); cr_wn(1, i3); cr_w(1, " PAPER-GEN registered\n" as *u8)
42 sys_exit(0)
43 return 0
44}