code wiki / _hdl_build / nx_corroborate.nx
nx_corroborate.nx
buildroot/runtime/_hdl_build/nx_corroborate.nx
about
nx_corroborate.nx -- cross-source corroboration over the HARVESTED corpus (the research-rigor step
that makes a fact trustworthy). A claim is only CONFIRMED when >=2 independent sources report the
SAME value; if sources report CONFLICTING values it is CONTESTED -- and the team flags it for the
Critic/operator rather than silently picking one (the honest discipline). This grounds the deep-
research VERIFY stage in the team's OWN fetched+mirrored library instead of hand-fed claims, and it
is REPRODUCIBLE: same corpus -> same verdict, which a one-shot LLM vote cannot guarantee.
Honest boundary: independence = distinct mirrored sources; detecting same-origin/syndicated copies
(true independence) is a deeper rung, flagged not faked. license_tier: ORIGINAL
Pairs with nx_research_extract (re_stat_after pulls the value a source reports for a claim key) and
nx_library_cache (the corpus is the mirrored library).
dependencies 2 imports · 1 importers
imports: nx_research_extract.nxnx_syscalls.nx
imported by: nx_corroborate_test.nx
structs
| none |
consts
| 16 | const CO_UNFOUND: i64 = 0 // no source reports it |
| 17 | const CO_SINGLE: i64 = 1 // exactly one source -- needs corroboration before it is trusted |
| 18 | const CO_CONFIRMED: i64 = 2 // >=2 sources agree, none conflict |
| 19 | const CO_CONTESTED: i64 = 3 // sources report conflicting values -> escalate, do not pick |
functions
| 22 | func co_value(ptrs: *i64, lens: *i64, k: i64, key: *u8) -> i64 { return re_stat_after(ptrs[k] as *u8, lens[k], key) } |
| 25 | func co_agree(ptrs: *i64, lens: *i64, N: i64, key: *u8, expected: i64) -> i64 |
| 30 | func co_disagree(ptrs: *i64, lens: *i64, N: i64, key: *u8, expected: i64) -> i64 |
| 37 | func co_verdict(agree: i64, disagree: i64) -> i64 |
| 45 | func co_check(ptrs: *i64, lens: *i64, N: i64, key: *u8, expected: i64) -> i64 |
| 51 | func co_taskable(verdict: i64) -> i64 { if verdict == CO_CONFIRMED { return 1 } return 0 } called by 1: main |