code wiki / _hdl_build / _assign_next_gate_authored.nx
_assign_next_gate_authored.nx
buildroot/runtime/_hdl_build/_assign_next_gate_authored.nx
about
_assign_next_gate_authored.nx -- gate for the dispatch core: a SCRATCH queue
with known structure proves pick logic, dep blocking, status transitions,
the structural top-blocker view, and the raised-hands count.
Scratch graph: A(w9,M,TODO,-) B(w9,S,TODO,A) C(w8,S,TODO,-) D(w9,S,NOVEL,-)
E(w5,S,DONE,-) F(w7,S,TODO,A) G(w6,S,TODO,A)
pick must be A (w9 runnable; B blocked by A; D is NOVEL not auto-picked)
flip A->DONE: pick must be B (w9, dep now done; beats C w8)
top blocker must be A (3 dependents: B,F,G) with VIEWPOINT ok (w=9)
novel count = 1, first = D
Markers: ANG-* / ASSIGN-GATE verdict=
dependencies 2 imports · 0 importers
imports: nx_syscalls.nxnx_assign_core.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 15 | func ang_p(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } |
| 16 | func ang_w(fd: i64, s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(fd,s,n); return 0 } |
| 18 | func ang_write_queue(path: *u8, a_done: i64) -> i64 |
| 37 | func ang_ideq(cx: *i64, r: i64, want: *u8) -> i64 |
| 42 | func main() -> i64 |