code wiki / _hdl_build / nx_deploy_gate.nx

nx_deploy_gate.nx

buildroot/runtime/_hdl_build/nx_deploy_gate.nx

4167 B61 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic deploy
docsdependenciesstructsconstsfunctions

about

nx_deploy_gate.nx -- proves the deploy SAFETY guarantees that turn pushing-live from F-level into reliable: (1) VALIDATE is fail-closed -- a corrupt/empty artifact is rejected BEFORE anything ships (neg-controls). (2) the DECIDE state machine AUTO-ROLLBACKS an unhealthy deploy and NEVER promotes an invalid one, so the site can't be left down. No NAS needed -- this gates the logic that makes the live path safe. license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_deploy_lib.nx nx_deploy_gate.nx

imports: nx_deploy_lib.nx

imported by: nobody (leaf or entry point)

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

main dp_writefile sys_openat_wr sys_write sys_close dep_validate sys_mmap dp_read sys_openat_rd sys_read sys_close ↻ dp_w dp_len sys_write ↻ dp_wn nxi_fd sys_mmap ↻ ccz_cat_num sys_write ↻ sys_munmap dep_decide dep_status_healthy dp_contains dp_len ↻ dp_len ↻

structs

none

consts

none

functions

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