code wiki / _hdl_build / nx_claim_extract_register.nx
nx_claim_extract_register.nx
buildroot/runtime/_hdl_build/nx_claim_extract_register.nx
about
nx_claim_extract_register.nx -- GOVERNED registration of mechanized prose claim extraction.
Engineer gate = REAL re-run of /tmp/nx_claim_extract_test.sov.elf (5/5). license_tier: ORIGINAL
dependencies 2 imports · 0 importers
imports: nx_cap_register.nxnx_syscalls.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
| 6 | const CX_IDX: i64 = 220 |
| 7 | const CX_LAYER: i64 = 3 // VER -- the researcher's prose-extraction organ |
| 8 | const CX_NLAYERS: i64 = 6 |
functions
| 10 | func cx_run_status(path: *u8) -> i64 |
| 24 | func main() -> i64 |