Nishi Family › Atlas › Family Tree › Directory › Card

nx_auto_verify

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)

5parents (imports)

5children (importers)

5total descendants reach (Ca)

Parents — what it builds on

syscalls nx_axioms nx_derive nx_qed_db nx_prover

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

nx_validation_cycle nx_ingest_pipeline nx_shard

Validation — its tests/gates (2, complete)

nx_validation_cycle_test nx_auto_verify_test

Partners — co-parents of its children (complete)

syscalls nx_axioms nx_qed_db nx_shard nx_validation_cycle nx_clock nx_prover nx_theorem_ingest nx_lean_ingest nx_mizar_ingest nx_syscalls

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

Siblings — per parent

via syscalls: 872 siblingsvia nx_axioms: 70 siblingsvia nx_derive: 22 siblingsvia nx_qed_db: 9 siblingsvia nx_prover: 9 siblings

Lineage — roots to god

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

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