Nishi Family › Atlas › Family Tree › Directory › Card

nx_mizar_ingest

TRUNK — part of the living tree

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)

3parents (imports)

7children (importers)

7total descendants reach (Ca)

Parents — what it builds on

syscalls nx_axioms nx_lex

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

nx_corpus_drive nx_mizar_stream_ingest nx_mizar_dir_ingest nx_ingest_pipeline

Validation — its tests/gates (3, complete)

nx_mizar_ingest_test nx_five_systems_test nx_mizar_stream_ingest_test

Partners — co-parents of its children (complete)

syscalls runtime nx_theorem_ingest nx_lean_ingest nx_coq_ingest nx_hol_ingest nx_isabelle_ingest nx_axioms nx_syscalls nx_tier nx_strconv nx_ingest_runner nx_runtime nx_mizar_stream_ingest nx_bloom_capacity nx_qed_db nx_prover nx_auto_verify

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

Siblings — per parent

via syscalls: 872 siblingsvia nx_axioms: 70 siblingsvia nx_lex: 12 siblings

Lineage — roots to god

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

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