nx_isabelle_stream_ingest.nx
buildroot/runtime/nx_isabelle_stream_ingest.nx
about
nx_isabelle_stream_ingest.nx -- Isabelle parser -> 5-defense runner.
Output JSONL row: {"source":"isabelle","kind":N,"name":"..."}
genealogy_id: isabelle_to_qed_2026 + ingest_runner_composition
lineage_id: source_adapter
dependencies 4 imports · 2 importers
imports: nx_syscalls.nxnx_tier.nxnx_isabelle_ingest.nxnx_ingest_runner.nx
imported by: nx_isabelle_dir_ingest.nxnx_isabelle_stream_ingest_test.nx
structs
| none |
consts
| none |
functions
| 19 | func nx_isa_strlen(s: *u8) -> nx_size called by 1: nx_isabelle_stream_offer_all |
| 25 | func nx_isa_str_copy(dst: *u8, off: nx_size, src: *u8) -> nx_size called by 1: nx_isa_row_build |
| 34 | func nx_isa_row_build(d: *IsaDecl, out: *u8) -> nx_size |
| 48 | func nx_isabelle_stream_offer_all( |