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 3pulls 4 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 gv_head gv_puts sys_write ds_dst_is_new ds_len gv_check gv_puts ↻ sys_openat_wr ds_stage ds_dst_is_new ↻ ds_src_size sys_openat_rd sys_mmap ↻ sys_read sys_close sys_lseek sys_openat_rd ↻ sys_mmap ↻ sys_read ↻ sys_close ↻ ds_cat sys_openat_wr ↻ sys_write ↻ sys_renameat sys_lseek ↻ sys_read ↻ ds_selftest sys_mmap ↻ sys_openat_wr ↻ sys_write ↻ sys_close ↻ ds_stage ↻ sys_openat_rd ↻ sys_read ↻ gv_verdict gv_puts ↻ gv_num

structs

none

consts

none

functions

8func main() -> i64
calls 9: gv_ctrgv_headds_dst_is_newgv_checksys_openat_wrds_stage+3