code wiki / _hdl_build / nx_site_provision_gate.nx

nx_site_provision_gate.nx

buildroot/runtime/_hdl_build/nx_site_provision_gate.nx

3465 B40 linesdepth 8pulls 15 transitivereach 0 importersview sourcekind gate/prooftopic site
docsdependenciesstructsconstsfunctions

about

nx_site_provision_gate.nx -- proves provisioning is correct AND s-class-by-construction. T1 (compliant config): a valid .site -> provisioned (r=0), HTML actually rendered (hero CTA present), sites.conf line written, manifest written. T2 NEG-CONTROL (non-compliant config: no CTA/search/trust): MUST be REFUSED (r<0) with NOTHING in sites.conf -- s-class enforced, no silent half-built site. license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_site_provision_lib.nx nx_site_provision_gate.nx

imports: nx_site_provision_lib.nx

imported by: nobody (leaf or entry point)

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

main sp_writefile sys_openat_wr sp_len sp_provision sp_read sys_read sys_openat_wr ↻ compose_build sys_mmap cmp_get cmp_klen cmp_line_match cmp_streq cmp_videos cmp_line_match ↻ cmp_copy vid_build vid_w sys_write vid_esc sys_mmap ↻ hs_escape hs_emit hs_emitb sys_write ↻ sgg_build sys_mmap ↻ cst_read sys_openat_rd sys_read ↻ sys_close sgg_put crd_render cst_get sys_mmap ↻ cst_find crd_is_html hs_escape ↻ sys_write ↻

structs

none

consts

none

functions

8func main() -> i64
calls 6: sp_writefilesp_provisionsp_wsp_wnsp_readsp_contains