code wiki / _hdl_build / nx_andelin_backlog.nx
nx_andelin_backlog.nx source
↩ module page · 61 lines · 4423 B
1// nx_andelin_backlog.nx -- the PM's DEFINITIVE hardware-up dependency chain to get andelinwest.com LIVE
2// (S-class-exceed), with measured status. Operator: "no thrash; hardware layer up; identify + backlog +
3// work only what we need." Each rung is DONE / BLOCKER / PENDING; the team works the lowest non-DONE rung.
4// license_tier: ORIGINAL
5import "nx_pm_review_log.nx"
6import "nx_syscalls.nx"
7
8func bl_puts(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
9
10func main() -> i64 {
11 bl_puts("=== PM: andelinwest.com LIVE -- hardware-up dependency chain (work lowest non-DONE) ===\n\n" as *u8)
12 let N: i64 = 8
13 let rung: *i64 = sys_mmap(8*N) as *i64
14 let status: *i64 = sys_mmap(8*N) as *i64 // 0 DONE, 1 BLOCKER (work now), 2 PENDING (deps)
15 let proof: *i64 = sys_mmap(8*N) as *i64
16
17 rung[0]="L1 sovereign compiler w/ working syscalls (kill via x86 syscall table)" as *u8 as i64; status[0]=0
18 proof[0]="v2 promoted (_offc/nx_cc_sovereign.elf); nx_kill->movabsq $62; bootstrapped 6.0s" as *u8 as i64
19 rung[1]="L1b build determinism (compile-twice guard) + reliable runner" as *u8 as i64; status[1]=0
20 proof[1]="nx_build_run determinism guard, Engineer-verified, promoted canonical" as *u8 as i64
21 rung[2]="L2 SOVEREIGN SSH TRANSPORT for LARGE files (707KB daemon)" as *u8 as i64; status[2]=1
22 proof[2]="BLOCKER: ssh_put_file has NO flow-control -> hangs on 707KB (<=215KB worked). Diagnose then fix." as *u8 as i64
23 rung[3]="L3 router-integrated TLS daemon (sd2.elf)" as *u8 as i64; status[3]=0
24 proof[3]="built (707KB ELF); router hook + sites.conf path; reuses proven Ed25519/LE-cert handshake" as *u8 as i64
25 rung[4]="L3 sovereign control plane (nx_hostctl: publish/kill/proc-kill/supervise/takeover)" as *u8 as i64; status[4]=0
26 proof[4]="selftest 3/3 (atomic publish + SIGKILL + /proc-scan kill), built by the sovereign compiler" as *u8 as i64
27 rung[5]="L4 content: router per-request file serve + atomic publish (sys_renameat)" as *u8 as i64; status[5]=0
28 proof[5]="nx_host_router 9/9 incl live hot-swap; renameat real-kernel PASS" as *u8 as i64
29 rung[6]="L5 deploy orchestration (nx_hostdeploy stream + takeover)" as *u8 as i64; status[6]=2
30 proof[6]="built; BLOCKED on L2 (the 707KB stream hangs). Unblocks when L2 fixed." as *u8 as i64
31 rung[7]="L6 GO LIVE: deploy + verify andelinwest serves legal site + hot-update demo" as *u8 as i64; status[7]=2
32 proof[7]="PENDING L2+L5. NAS healthy now (nishifamily+wiki up, andelin=placeholder; no regression)." as *u8 as i64
33
34 let fd: i64 = sys_openat_append("/tmp/nishi_pm_plan.log" as *u8, 0x1a4)
35 pm_w(fd, "\n# ANDELINWEST-LIVE backlog 2026-06-06 (hardware-up; single blocker = L2 SSH large-transfer)\n" as *u8)
36 var done: i64=0; var blockers: i64=0; var pending: i64=0
37 var i: i64=0
38 while i < N {
39 if status[i]==0 { bl_puts(" [DONE] " as *u8); done=done+1 }
40 else { if status[i]==1 { bl_puts(" [BLOCKER] " as *u8); blockers=blockers+1 } else { bl_puts(" [PENDING] " as *u8); pending=pending+1 } }
41 bl_puts(rung[i] as *u8); bl_puts("\n " as *u8); bl_puts(proof[i] as *u8); bl_puts("\n" as *u8)
42 if status[i]==1 { pm_w(fd, "BLOCKER " as *u8); pm_w(fd, rung[i] as *u8); pm_w(fd, "\n" as *u8) }
43 i = i + 1
44 }
45 sys_close(fd)
46
47 bl_puts("\n DONE=" as *u8); let db: *u8=sys_mmap(4); db[0]=(48+done) as u8; sys_write(1,db,1)
48 bl_puts(" BLOCKER=" as *u8); let bb: *u8=sys_mmap(4); bb[0]=(48+blockers) as u8; sys_write(1,bb,1)
49 bl_puts(" PENDING=" as *u8); let pb: *u8=sys_mmap(4); pb[0]=(48+pending) as u8; sys_write(1,pb,1); bl_puts("\n" as *u8)
50 bl_puts(">>> WORK NEXT (lowest non-DONE): L2 -- diagnose the SSH large-transfer hang, then fix properly (flow-control).\n" as *u8)
51 bl_puts(">>> S-class-exceed: a real SSH client streams ANY size via channel flow-control; fixing this makes L2 S-class.\n" as *u8)
52
53 // self-check: exactly one blocker, and it's L2 (the SSH transport); everything below it DONE
54 var ok: i64 = 1
55 if blockers != 1 { ok = 0 }
56 if status[2] != 1 { ok = 0 }
57 if status[0] != 0 { ok = 0 }
58 if status[4] != 0 { ok = 0 }
59 if ok==1 { bl_puts("---- backlog coherent: single blocker = L2 SSH large-transfer; foundation below it DONE ----\n" as *u8); sys_exit(0); return 0 }
60 bl_puts("---- FAIL ----\n" as *u8); sys_exit(1); return 1
61}