code wiki / _hdl_build / nx_claim_extract.nx
nx_claim_extract.nx
buildroot/runtime/_hdl_build/nx_claim_extract.nx
about
nx_claim_extract.nx -- MECHANIZED CLAIM EXTRACTION FROM RAW PROSE (closes the one axis where the
Claude deep-research still led: it used an LLM to pull claims from prose; this is the deterministic,
REPRODUCIBLE analog). A research claim, mechanically, is a fact-bearing sentence: one that carries a
MEASURED QUANTITY (a number adjacent to a unit -- "10 um gate", "952 transistors", "20 cm2/Vs",
"94% yield", "8 MHz"). The extractor segments prose into sentences, flags the fact-bearing ones, and
pulls the value+unit -- turning free prose into structured claim candidates that rs_scan +
rx_contested then corroborate/verify. Same input bytes -> same claims, every run (the LLM can't
promise that).
HONEST RESIDUAL (flagged, not hidden): this extracts MEASURABLE facts; nuanced/implicit/qualitative
claims ("X has largely supplanted Y") still need richer NLP -- the narrowed remaining gap.
LAWS: struct-free, integer-only. license_tier: ORIGINAL
dependencies 1 imports · 9 importers
imports: nx_syscalls.nx
imported by: _research_run.nxnx_claim_extract_test.nxnx_h264_research_run.nxnx_library_extract.nxnx_night_extract_test.nxnx_realtime_research_run.nxnx_research_extract_sovereign_test.nxnx_webpub_extract.nxnx_zerodt_extract.nx
structs
| none |
consts
| none |
functions
| 14 | func ce_is_digit(c: i64) -> i64 { if c >= 48 { if c <= 57 { return 1 } } return 0 } |
| 16 | func ce_strlen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } |
| 19 | func ce_match_at(buf: *u8, pos: i64, n: i64, needle: *u8) -> i64 called by 1: ce_has_unit |
| 31 | func ce_has_unit(buf: *u8, start: i64, end: i64) -> i64 |
| 52 | func ce_has_digit(buf: *u8, start: i64, end: i64) -> i64 |
| 59 | func ce_is_fact_sentence(buf: *u8, start: i64, end: i64) -> i64 |
| 66 | func ce_is_alpha(c: i64) -> i64 called by 1: ce_first_value |
| 74 | func ce_first_value(buf: *u8, start: i64, end: i64) -> i64 |
| 96 | func ce_extract(buf: *u8, n: i64, out: *i64) -> i64 |
| 125 | func ce_read_file(path: *u8, buf: *u8, cap: i64) -> i64 |