code wiki / _hdl_build / nx_inline_gate.nx

nx_inline_gate.nx

buildroot/runtime/_hdl_build/nx_inline_gate.nx

4323 B75 linesdepth 8pulls 28 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_inline_gate.nx -- VERDICT gate for the INLINE multi-line flow fix. A long inline text run followed by an inline RED marker: before the fix the run reserved ONE line but painted many, so the marker (and every following line) OVERLAPPED line 1. After the fix the run reserves its full height and the marker lands on the LAST line. Asserts the red marker is rendered and sits BELOW line 1 (min red y >= 20), proving no overlap. LIAR-KILL: a never-used color absent. 100% sovereign. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_render_html.nx nx_inline_gate.nx

imports: nx_syscalls.nxnx_render_html.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 g_w sys_write nx_render_html_to_bmp sys_mmap ↻ _rh_to_fb rh_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

9func g_w(s: *u8) -> i64 { var k: i64=0; while s[k]!=(0 as u8){k=k+1} sys_write(1,s,k); return 0 }
called by 2: chkmain calls 1: sys_write
10func pn(v0: i64) -> i64 { var v: i64=v0; if v<0 { let m: *u8=sys_mmap(8); m[0]=45 as u8; sys_write(1,m,1); v=0-v } let b: *u8=sys_mmap(24); var k: i64=0; if v==0 {b[0]=48;k=1} while v>0 {b[k]=(48+(v%10)) as u8; v=v/10; k=k+1} let o: *u8=sys_mmap(24); var j: i64=0; while j<k {o[j]=b[k-1-j];j=j+1} sys_write(1,o,k); return 0 }
called by 1: main calls 2: sys_mmapsys_write
11func u32le(d: *u8, p: i64) -> i64 { return (d[p]&0xff) + ((d[p+1]&0xff)<<8) + ((d[p+2]&0xff)<<16) + ((d[p+3]&0xff)<<24) }
called by 1: main
14func scan_color(data: *u8, off: i64, w: i64, h: i64, R: i64, G: i64, B: i64, miny: *i64) -> i64
called by 1: main
35func chk(cond: i64, label: *u8, pass: *i64) -> i64
called by 1: main calls 1: g_w
41func main() -> i64