Nishi Family › Atlas › Family Tree › Directory › Card

nx_prover

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)
10children (importers)
10total descendants reach (Ca)

Parents — what it builds on

syscallsnx_axiomsnx_derive

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

nx_auto_verifynx_validation_cyclenx_prover_evalnx_ingest_pipelinenx_shardnx_prover_a1

Validation — its tests/gates (4, complete)

nx_prover_testnx_prover_eval_testnx_auto_verify_testnx_prover_a1_test

Partners — co-parents of its children (complete)

syscallsnx_axiomsnx_derivenx_qed_dbnx_clocknx_auto_verifynx_shardnx_theorem_ingestnx_lean_ingestnx_mizar_ingestnx_syscallsnx_prover_evalnx_prover_a1

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

Siblings — per parent

via syscalls: 872 siblingsvia nx_axioms: 70 siblingsvia nx_derive: 22 siblings

Lineage — roots to god

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

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