code wiki / _hdl_build / nx_inline_gate.nx

nx_inline_gate.nx

buildroot/runtime/_hdl_build/nx_inline_gate.nx

4323 B75 linesdepth 8pulls 32 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 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 ↻ 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

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