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 sp_len sp_provision sp_read compose_build 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 ↻ 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

structs

none

consts

none

functions

8func main() -> i64