code wiki / _hdl_build / nx_deploy_stage_gate.nx

nx_deploy_stage_gate.nx

buildroot/runtime/_hdl_build/nx_deploy_stage_gate.nx

3839 B66 linesdepth 7pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic deploy
docsdependenciesstructsconstsfunctions

about

nx_deploy_stage_gate.nx -- D001 gate (gv-verdict anchored) for the deploy rename-gap closer. Proves the copy is byte-exact + SAFE BY CONSTRUCTION: refuses a non-.new dst (can't clobber a live binary), refuses a non-ELF src, and stages a valid ELF byte-identically with a size-verified landing. license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_deploy_stage_lib.nx nx_gate_verdict.nx nx_deploy_stage_gate.nx

imports: nx_deploy_stage_lib.nxnx_gate_verdict.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 ↻ ds_dst_is_new ds_len gv_check gv_puts ↻ ds_stage ds_stage_core ds_stage_result_init ds_dst_is_new ↻ ds_len ↻ fio_region_init ds_source_prepare fio_region_open fio_region_init ↻ fio_region_fail fio_region_close sys_openat_rd sys_lseek ds_stat_word ds_cat ds_stat_word ↻

structs

none

consts

none

functions

8func main() -> i64
calls 7: gv_ctrgv_headds_dst_is_newgv_checkds_stageds_selftest+1