code wiki / _hdl_build / nx_lib_research_alias_gate.nx

nx_lib_research_alias_gate.nx

buildroot/runtime/_hdl_build/nx_lib_research_alias_gate.nx

3444 B68 linesdepth 7pulls 14 transitivereach 0 importersview sourcekind gate/prooftopic lib
docsdependenciesstructsconstsfunctions

about

nx_lib_research_alias_gate.nx -- gate for the /research edge-prefix alias in nx_lib_http. The sites edge conf-routes `nishifamily.com /research 8095 stream`; STREAM mode passes the RAW request through (no prefix strip), so lhd_response now accepts the /research prefix by delegating to the identical stripped route. This gate PROVES the alias byte-identical: T1 /research/ == / (home) T2 /research/api/works == /api/works (JSON API) T3 /research?q=cat == /?q=cat (re-rooted query form) T4 /research == / (bare prefix -> home) NEG T5 /researchfoo -> 404 (prefix must be followed by / or ? -- no greedy match) NEG T6 /bogus -> 404 (untouched routes still 404) license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_lib_http.nx nx_lib_research_alias_gate.nx

imports: nx_lib_http.nx

imported by: nobody (leaf or entry point)

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

main ga_puts ga_len ga_case lhd_response lhd_starts lhd_page_home lp_puts lp_esc lp_puts ↻ lsr_lc nx_lib_store_index sys_mmap ss_get sys_mmap ↻ ss_scan nx_lib_store_open ss_open ss_open2 nx_lib_store_get_work_h ls_key ls_cat ss_hget sys_mmap ↻ ss_idx_find lsr_match lsr_ci_has lsr_lc ↻ lp_resp lp_puts ↻ lp_putdec lhd_response ↻ lhd_eq ls_strlen lhd_page_work lp_puts ↻ nx_lib_store_get_work sys_mmap ↻ ls_key ↻ ss_get ↻

structs

none

consts

none

functions

14func ga_eq(a: *u8, an: i64, b: *u8, bn: i64) -> i64
called by 1: ga_case
21func ga_has404(a: *u8, an: i64) -> i64
called by 1: main
31func ga_len(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 2: ga_putsga_case
32func ga_puts(s: *u8) -> i64 { sys_write(1, s, ga_len(s)); return 0 }
called by 2: ga_casemain calls 1: ga_len
35func ga_case(name: *u8, ap: *u8, cp: *u8, oa: *u8, ob: *u8) -> i64
called by 1: main calls 4: lhd_responsega_lenga_putsga_eq
44func main() -> i64