code wiki / _hdl_build / nx_cms_layered_spec.nx

nx_cms_layered_spec.nx

buildroot/runtime/_hdl_build/nx_cms_layered_spec.nx

5996 B88 linesdepth 3pulls 5 transitivereach 0 importersview sourcekind tooltopic cms
docsdependenciesstructsconstsfunctions

about

nx_cms_layered_spec.nx -- the team SPECS the CMS and SPLITS it into HARDWARE-LAYER-UP tasks (operator: "make sure its getting speced and split into hardware layer through each layer tasks up"). Drives the team's nx_spec_layers synthesis: every task is research-CORROBORATED (deep-research wpq1btr1l, 25/25 confirmed, OWASP/ NIST/Craft primary -> nothing spec'd from thin air), ordered BOTTOM-UP by stack layer (L0 machine-code/syscalls -> L8 app) via ss_build_rank, with IMPLEMENTATION-gap detection (HAVE in our sovereign stack vs must BUILD). The lowest BUILD task is the team's next work item; gaps are surfaced as raised hands, not hidden. Claude tutors the novel modules; the tutoring-ledger tracks the load down. license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_spec_layers.nx nx_itoa_lib.nx nx_pm_review_log.nx nx_syscalls.nx nx_cms_layered_spec.nx

imports: nx_spec_layers.nxnx_itoa_lib.nxnx_pm_review_log.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main sys_mmap ss_build_rank ss_order_build sys_mmap ↻ ss_count_gaps ss_status ss_spec_admissible ss_count_gaps ↻ cl_puts sys_write cl_putn cl_fputn nxi_fd sys_mmap ↻ ccz_cat_num sys_write ↻ sys_munmap pm_open sys_openat_append pm_w sys_write ↻ pm_cstr_len layer_label cl_fputn ↻ sys_close sys_exit

structs

none

consts

21const NL: i64 = 12

functions

13func cl_puts(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
called by 1: main calls 1: sys_write
18func cl_fputn(fd: i64, v: i64) -> i64 { nxi_fd(fd, v); return 0 }
called by 2: cl_putnmain calls 1: nxi_fd
19func cl_putn(v: i64) -> i64 { return cl_fputn(1, v) }
called by 1: main calls 1: cl_fputn
23func layer_label(l: i64) -> *u8
called by 1: main
30func main() -> i64