code wiki / _hdl_build / nx_uigen_site_gate.nx

nx_uigen_site_gate.nx

buildroot/runtime/_hdl_build/nx_uigen_site_gate.nx

42428 B671 linesdepth 5pulls 11 transitivereach 0 importersview sourcekind gate/prooftopic uigen
docsdependenciesstructsconstsfunctions

about

nx_uigen_site_gate.nx -- MEASURES the prompt-to-site rung: one brief -> a linked MULTI-PAGE site. The checks parse the emitted BYTES independently of the generator: (T1) the site PLAN matches intent for 3 held-out briefs, inappropriate pages ABSENT; (T2) every page carries the FULL cross-page nav + all S-class craft markers; (T3) anti-fabrication -- every plain .html href on every page resolves to a page the plan actually emits, and the checker itself is liar-killed with a fabricated link; (T4) per-page structural appropriateness (form on contact, catalog+pricing on products, exactly one hero/final on index, scorecard+dtable on status); (T5) ONE generated palette coheres across every page of a site, differs across sites, matches the topic hue EXACTLY, and emission is deterministic; (T6) sitemap lists exactly the plan and robots points at it. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_uigen_site.nx nx_uigen_site_gate.nx

imports: nx_syscalls.nxnx_uigen_site.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap gp sys_write us_plan l2_has l2_isalpha plan_has gn sys_write ↻ sys_mmap ↻ us_emit_page us_emit_page_req us_spec us_hash l3_spec_from_seed l3_rng_next l3_choice l3_rng_next ↻ l2_hue l2_has ↻ us_family l2_has ↻ us_page_index_routed us_family ↻ us_page_index_counsel sk_open_site sk_head sk_header_open us_nav sk_nav_item us_label us_slug sk_header_close he_puts l3_palette_style l3_accent_hue l1_tok kc_styles l1_tok ↻

structs

none

consts

15const K_REGION: i64 = 262144
17const GATE_TEETH: i64 = 16

functions

20func he_putn(buf: *u8, off: i64, v: i64) -> i64
called by 1: main calls 1: sys_mmap
32func gp(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
called by 1: main calls 1: sys_write
33func gn(v: i64) -> i64 { if v==0 { sys_write(1,"0" as *u8,1); return 0 } var m: i64=v; if m<0 { sys_write(1,"-" as *u8,1); m=0-m } let t: *u8=sys_mmap(28); var k: i64=0; while m>0 { t[k]=(48+(m%10)) as u8; m=m/10; k=k+1 } while k>0 { k=k-1; sys_write(1,(((t as i64)+k) as *u8),1) } return 0 }
called by 1: main calls 2: sys_writesys_mmap
34func litlen(lit: *u8) -> i64 { var n: i64=0; while lit[n]!=(0 as u8){n=n+1} return n }
called by 2: idxatcntat
35func idxat(buf: *u8, base: i64, len: i64, lit: *u8) -> i64
called by 1: main calls 1: litlen
42func cntat(buf: *u8, base: i64, len: i64, lit: *u8) -> i64
called by 2: craft_okmain calls 1: litlen
50func href_bad(buf: *u8, base: i64, len: i64, plan: *i64, n: i64, tmp: *u8) -> i64
called by 1: main calls 2: l3_strequs_slug
91func craft_ok(buf: *u8, base: i64, len: i64) -> i64
called by 1: main calls 1: cntat
100func plan_has(plan: *i64, n: i64, kind: i64) -> i64
called by 1: main
105func sname(kind: i64) -> *u8
called by 1: main
112func main() -> i64