code wiki / _hdl_build / nx_corroborate.nx

nx_corroborate.nx

buildroot/runtime/_hdl_build/nx_corroborate.nx

2988 B51 linesdepth 3pulls 3 transitivereach 1 importersview sourcekind library
docsdependenciesstructsconstsfunctions

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

nx_research_extract.nx nx_syscalls.nx nx_corroborate.nx nx_corroborate_test.nx

imports: nx_research_extract.nxnx_syscalls.nx

imported by: nx_corroborate_test.nx

structs

none

consts

16const CO_UNFOUND: i64 = 0 // no source reports it
17const CO_SINGLE: i64 = 1 // exactly one source -- needs corroboration before it is trusted
18const CO_CONFIRMED: i64 = 2 // >=2 sources agree, none conflict
19const CO_CONTESTED: i64 = 3 // sources report conflicting values -> escalate, do not pick

functions

22func co_value(ptrs: *i64, lens: *i64, k: i64, key: *u8) -> i64 { return re_stat_after(ptrs[k] as *u8, lens[k], key) }
called by 2: co_agreeco_disagree calls 1: re_stat_after
25func co_agree(ptrs: *i64, lens: *i64, N: i64, key: *u8, expected: i64) -> i64
called by 2: co_checkmain calls 1: co_value
30func co_disagree(ptrs: *i64, lens: *i64, N: i64, key: *u8, expected: i64) -> i64
called by 2: co_checkmain calls 1: co_value
37func co_verdict(agree: i64, disagree: i64) -> i64
called by 2: co_checkmain
45func co_check(ptrs: *i64, lens: *i64, N: i64, key: *u8, expected: i64) -> i64
51func co_taskable(verdict: i64) -> i64 { if verdict == CO_CONFIRMED { return 1 } return 0 }
called by 1: main