Nishi FamilyAtlasFamily TreeDirectory › Card

nx_ingest_pipeline

SHIPPED LEAF — installed product, nothing builds on it yet

Organ card — parents it builds on, children built on it, and how intertwined it is with the rest of the ecosystem.

gen 1import-hops from god (of 7)
8parents (imports)
1children (importers)
1total descendants reach (Ca)

Parents — what it builds on

syscallsnx_axiomsnx_qed_dbnx_provernx_auto_verifynx_theorem_ingestnx_lean_ingestnx_mizar_ingest

Real children — organs built on it (0, complete)

none — nothing builds on it (leaf)

Validation — its tests/gates (1, complete)

nx_ingest_pipeline_test

Partners — co-parents of its children (complete)

syscallsnx_axiomsnx_qed_db

3 distinct organs co-parent its children — the intertwining measure.

Siblings — per parent

via syscalls: 872 siblingsvia nx_axioms: 70 siblingsvia nx_qed_db: 9 siblingsvia nx_prover: 9 siblingsvia nx_auto_verify: 4 siblingsvia nx_theorem_ingest: 4 siblingsvia nx_lean_ingest: 6 siblingsvia nx_mizar_ingest: 6 siblings

Lineage — roots to god

Lineage image renders on demand — one MCP call: nx_eco_graph_png ["nx_ingest_pipeline.nx"] → it appears here. Or read the parents chain above card-by-card.

✥ open in the TREE EXPLORER · ← the family tree · directory · Atlas home