code wiki / _hdl_build / nx_lineheight_gate.nx

nx_lineheight_gate.nx

buildroot/runtime/_hdl_build/nx_lineheight_gate.nx

5929 B109 linesdepth 9pulls 29 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_lineheight_gate.nx -- PROOF (re-runnable) of CSS line-height (the S21 height-axis remainder): unitless multiplier, px form, the `font` shorthand's /N part, inheritance-with-recompute, and layout==paint resolver parity -- all through the REAL br_layout on inline fixtures. T1 line-height:2 @fs16 -> single-line text box h == 32 (control: 17) T2 font:15px/1.55 ... -> text box h == 23 (15*1550/1000, integer) T3 line-height:30px -> h == 30 (fixed px, fs-independent) T4 inherit+recompute -> body{line-height:1.5} p{font-size:20px} -> p line h == 30 (1.5x20, NOT 24) T5 paint parity -> br_comp_lineheight_px == the layout-observed height on T2's page T6 CAN-FAIL control -> no decl -> h == 17 (legacy exact; T1's delta is load-bearing) license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_browser_render.nx nx_lineheight_gate.nx

imports: nx_syscalls.nxnx_browser_render.nx

imported by: nobody (leaf or entry point)

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

main lg_w sys_write lg_layout sys_mmap lg_slen br_layout br_slen sys_mmap ↻ rh_extract_styles sys_mmap ↻ nx_html_cursor_init nx_html_next_token _scan_name _is_name _is_void_element _lc nx_html_is_raw_text_tag _lc ↻ nx_html_consume_raw_text _lc ↻ _is_ws _lfd_name_eq _lfd_lc _rh_copy_css rh_filter_media sys_mmap ↻ rh_find rh_media_matches rh_find ↻ rh_num_after rh_digit cx_expand sys_mmap ↻ cx_collect cx_ch cx_is_ws cx_find cx_emit_span cx_ch ↻

structs

none

consts

none

functions

14func lg_w(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
15func lg_n(v: i64) -> i64 { let t: *u8=sys_mmap(24); var m: i64=v; if m<0{sys_write(1,"-" as *u8,1);m=0-m} var k: i64=0; if m==0{t[0]=48 as u8;k=1} while m>0{t[k]=(48+(m%10)) as u8;m=m/10;k=k+1} let b: *u8=sys_mmap(24); var j: i64=0; while j<k{b[j]=t[k-1-j];j=j+1} sys_write(1,b,k); return 0 }
called by 1: main calls 2: sys_mmapsys_write
16func lg_slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n }
called by 2: lg_haslg_layout
17func lg_box(t: *LayoutTree, i: i64) -> *LayoutBox
called by 1: lg_find
20func lg_has(src: *u8, off: i64, len: i64, m: *u8) -> i64
called by 1: lg_find calls 1: lg_slen
33func lg_layout(html: *u8) -> *Page
called by 1: main calls 3: sys_mmaplg_slenbr_layout
41func lg_find(page: *Page, marker: *u8) -> *LayoutBox
called by 1: main calls 2: lg_boxlg_has
52func main() -> i64