Nishi Family › Atlas › Family Tree › Directory › Card

nx_derive

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)
2parents (imports)
23children (importers)
23total descendants reach (Ca)

Parents — what it builds on

syscallsnx_axioms

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

nx_proof_infinitude_primesnx_proofs_top100_batch6_closingnx_proofs_top100_batch4nx_proofs_top100_batch5nx_theorem_ingestnx_proofs_pvsnp_pendingnx_proofs_top100_batch2nx_auto_verifynx_provernx_proofs_top100_batch3nx_proofs_top100nx_prover_evalnx_proofs_machine_checkednx_prover_a1nx_proofs_comprehensivenx_atp_to_derivenx_proof_sqrt2_irrationalnx_proof_methods

Validation — its tests/gates (5, complete)

nx_proof_sqrt2_irrational_testnx_derive_testnx_prover_testnx_proof_infinitude_primes_testnx_atp_to_derive_test

Partners — co-parents of its children (complete)

nx_syscallsnx_runtimenx_tiernx_proof_sqrt2_irrationalnx_axiomssyscallsnx_lexnx_loopnx_qed_freeknx_qed_dbnx_provernx_clocknx_proof_infinitude_primesnx_resultnx_proof_lognx_atp_to_derivenx_proof_methodsnx_classical_unpatentednx_classical_unpatented_2

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

Siblings — per parent

via syscalls: 872 siblingsvia nx_axioms: 70 siblings

Lineage — roots to god

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

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