code wiki / _hdl_build / nx_hosting_research.nx

nx_hosting_research.nx

buildroot/runtime/_hdl_build/nx_hosting_research.nx

6533 B146 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind tool
docsdependenciesstructsconstsfunctions

about

nx_hosting_research.nx -- drive the SOVEREIGN NISHI RESEARCHER over the hosting gap research. module: nishi-core.research.hosting capability: CORE_COMPUTE (turn delegated hosting research into a verified, reproducible gap-task backlog) Reads knowledge/registry/hosting_research.tsv (the delegated fetch+extract: claims + 3 adversarial votes each, grounded in real best-in-class-host sources) and runs nx_researcher's DETERMINISTIC verify (>=2 confirm => CONFIRMED) + synthesize (CONFIRMED+actionable => gap-task). Prints the verdict census + the gap-task backlog + the REPRODUCIBILITY proof (same evidence -> same tasks, the exceed over a one-shot LLM report). Refuted/contested claims generate ZERO tasks (no wasted build effort). Sovereign: nx_syscalls + nx_researcher. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_researcher.nx nx_hosting_research.nx

imports: nx_syscalls.nxnx_researcher.nx

imported by: nobody (leaf or entry point)

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

main hr_puts sys_write hr_parse sys_mmap sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close hr_field sys_mmap ↻ hr_atoi sys_exit sys_mmap ↻ res_count_verdict res_verify res_is_reproducible sys_mmap ↻ res_synthesize res_verify ↻ res_is_task res_synthesize ↻ hr_putn sys_write ↻ sys_mmap ↻ res_confidence_permil res_verify ↻

structs

none

consts

16const HR_FILE: *u8 = "knowledge/registry/hosting_research.tsv"

functions

27func hr_puts(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
28func hr_putn(v: i64) -> i64
called by 1: main calls 2: sys_writesys_mmap
38func hr_field(b: *u8, ls: i64, le: i64, f: i64) -> *u8
called by 1: hr_parse calls 1: sys_mmap
46func hr_atoi(s: *u8) -> i64 { if s[0] >= 48 as u8 { if s[0] <= 57 as u8 { return (s[0] - 48 as u8) as i64 } } return 0 }
called by 1: hr_parse
48func hr_parse() -> i64
94func main() -> i64