code wiki / _hdl_build / nx_research_ingest_test.nx

nx_research_ingest_test.nx

buildroot/runtime/_hdl_build/nx_research_ingest_test.nx

4083 B76 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic research
docsdependenciesstructsconstsfunctions

about

nx_research_ingest_test.nx -- the Researcher basis GROWS under governance. A candidate research-grounded repair (from the seed basis, the tutor, or -- when networked -- the sovereign SEARCH ENGINE) may enter the basis ONLY if it passes the crew's epistemic checks: ENGINEER the fix RE-VERIFIES sound 1:1 (not just claimed) GENEALOGIST it is NOVEL (not already in the basis) ARCHIVIST it is CITED (a real source -- Cardinal #4: verified facts, never hallucinated/uncited "research") -> Conductor admits; otherwise refused with the governing reason. So the loop's knowledge can only GROW with research it has both VERIFIED and SOURCED. This is the trust gate the live search engine plugs into (a hit -> a candidate -> must clear this council before the loop believes it). Reuses the proven crew council (nx_crew_council): an ingestion maps to a CrewAction {verifies=re-verifies, novel=novel, recorded=cited}. Known answer: 4 candidates -> 1 ADMITTED + 3 REFUSED (uncited / unverified / duplicate). exit 0.

dependencies 1 imports · 0 importers

nx_crew_council.nx nx_research_ingest_test.nx

imports: nx_crew_council.nx

imported by: nobody (leaf or entry point)

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

main cc_puts sys_write cc_set cc_council cc_verdict_name ri_putn

structs

none

consts

20const RI_N: i64 = 4

functions

22func ri_putn(v: i64) -> i64
called by 1: main
31func main() -> i64