nx_lean_stream_ingest.nx
buildroot/runtime/nx_lean_stream_ingest.nx
about
nx_lean_stream_ingest.nx -- bridge nx_lean_ingest -> nx_ingest_runner.
Output JSONL row per decl: {"source":"lean","kind":N,"name":"..."}
genealogy_id: lean_to_qed_2026 + ingest_runner_composition
lineage_id: source_adapter
dependencies 4 imports · 2 importers
imports: nx_syscalls.nxnx_tier.nxnx_lean_ingest.nxnx_ingest_runner.nx
imported by: nx_lean_dir_ingest.nxnx_lean_stream_ingest_test.nx
structs
| none |
consts
| none |
functions
| 19 | func nx_lean_strlen(s: *u8) -> nx_size called by 1: nx_lean_stream_offer_all |
| 25 | func nx_lean_str_copy(dst: *u8, off: nx_size, src: *u8) -> nx_size called by 1: nx_lean_row_build |
| 34 | func nx_lean_row_build(d: *LeanDecl, out: *u8) -> nx_size |
| 48 | func nx_lean_stream_offer_all( |