code wiki / _hdl_build / nx_citation_registry_test.nx

nx_citation_registry_test.nx

buildroot/runtime/_hdl_build/nx_citation_registry_test.nx

5727 B96 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_citation_registry_test.nx -- the LIBRARIAN ingests the roadmap's research references and guards them against link-rot, license-permitting: 1. every reference must carry a STABLE anchor (venue+year / book / doc# / in-tree path) -- never a bare URL. Rot-proof by construction. 2. classify each reference's LICENSE. OPEN (arXiv/CC/GPL/public) -> INGEST the content into our store by hash (a local, integrity-checkable, rot-proof copy). RESTRICTED (copyrighted/paywalled/vendor) -> METADATA-ONLY (we hold the permanent anchor but do NOT mirror what we may not -- license boundary). 3. prove the ingest path: hash an OPEN (GPL kernel-doc) excerpt -> store key, re-hash -> identical (the held copy is addressable + integrity-checkable). A synthetic URL-only reference must be CAUGHT as rot-risk (detector validated). Known answer: all real refs stable + license-classified; OPEN ones ingestible; RESTRICTED ones metadata-only; the synthetic URL flagged. exit 0.

dependencies 1 imports · 0 importers

nx_citation_registry.nx nx_citation_registry_test.nx

imports: nx_citation_registry.nx

imported by: nobody (leaf or entry point)

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

main cre_puts cr_is_stable cr_has_year cr_strlen cr_contains cr_strlen ↻ cr_may_ingest_content cr_license_class cr_contains ↻

structs

none

consts

none

functions

18func cre_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 2: cre_emitmain
19func cre_emit(name: *u8, v: i64) -> i64
calls 1: cre_puts
29func main() -> i64