code wiki / _hdl_build / nx_capcliff_gate.nx

nx_capcliff_gate.nx

buildroot/runtime/_hdl_build/nx_capcliff_gate.nx

5008 B74 linesdepth 6pulls 9 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_capcliff_gate.nx -- END-TO-END gate for the reader-cap cliff detector and its remedy census (/compare/dataio DI8 + DI13): forks the SUBJECT ARTIFACT's own selftest (the size ruler and its opposites, the anchoring classifier on planted read sites, the sizeguard forked in both directions, the scan verdict that carries RED only for an ungoverned or breached cliff) and inherits its verdict, then pins the artifact to THIS generation by a tooth only this generation prints. Same shape as nx_io_envelope_census_gate. exit: 0 GREEN / 1 RED (gv_verdict law).

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_tool_run.nx nx_srcfresh.nx nx_capcliff_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.nxnx_tool_run.nxnx_srcfresh.nx

imported by: nobody (leaf or entry point)

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

main gv_ctr sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_head gv_puts sys_write ↻ cg_exists sys_openat_rd sys_close sf_mtime_ns sys_mmap ↻ sys_fstatat sys_munmap gv_puts ↻ gv_check gv_puts ↻ gv_verdict gv_note_bare_rate gv_bare_rate gv_at gv_obj_has_n gv_at ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻

structs

none

consts

12const CG_OUT: i64 = 262144

functions

14func cg_find(q: *u8, n: i64, lit: *u8) -> i64
called by 1: main
28func cg_exists(path: *u8) -> i64 { let fd: i64 = sys_openat_rd(path); if fd < 0 { return 0 } sys_close(fd); return 1 }
called by 1: main calls 2: sys_openat_rdsys_close
30func main(argc: i64, argv: *i64) -> i64