Nishi Family › Atlas › Family Tree › Directory › Card
nx_axioms
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 0import-hops from god (of 7)
0parents (imports)
71children (importers)
71total descendants reach (Ca)
Parents — what it builds on
none — a true ROOT (gen 0, god-tier primitive)
Real children — organs built on it (58, complete)
nx_ac_monitor_censusnx_sensor_gap_censusnx_substrate_diagram_asciinx_substrate_diagramnx_substrate_proposenx_ttynx_hol_ingestnx_helpnx_geomnx_substrate_evolvenx_proof_infinitude_primesnx_proofs_top100_batch6_closingnx_proofs_top100_batch4nx_jargonnx_lexnx_proofs_top100_batch5nx_featuresnx_theorem_ingestnx_diagramnx_proofs_pvsnp_pendingnx_proofs_top100_batch2nx_graphnx_coq_ingestnx_qed_freeknx_question_genealogynx_isabelle_ingestnx_auto_verifynx_complexnx_provernx_color_v2nx_proofs_top100_batch3nx_groupnx_qed_dbnx_proofs_top100nx_mizar_ingestnx_mathnx_theorem_cardnx_validation_cyclenx_prover_evalnx_inputnx_proofs_machine_checkednx_func_extractnx_latticenx_derivenx_ingest_pipelinenx_polynx_shardnx_measurenx_prover_a1nx_proofs_comprehensivenx_imagenx_atp_to_derivenx_proof_sqrt2_irrationalnx_lean_ingestnx_dedup_auditnx_termiosnx_i256nx_proof_methods
Validation — its tests/gates (13, complete)
nx_qed_db_testnx_derive_testnx_validation_cycle_testnx_five_systems_testnx_prover_testnx_perf_benchnx_features_testnx_atp_to_derive_testnx_prover_eval_testnx_ingest_pipeline_testnx_auto_verify_testnx_help_testnx_prover_a1_test
Partners — co-parents of its children (complete)
syscallsruntimenx_psychrometricsnx_ac_enthalpy_metricsnx_ac_sensor_verifynx_ac_fddnx_direntnx_fcntlnx_handoff_gatenx_syscallsnx_runtimenx_tiernx_diagramnx_lexnx_qed_dbnx_asciinx_jargonnx_question_genealogynx_imagenx_mathnx_derivenx_auto_verifynx_shardnx_validation_cyclenx_i128nx_qed_freeknx_loopnx_theorem_ingestnx_lean_ingestnx_mizar_ingestnx_coq_ingestnx_hol_ingestnx_isabelle_ingestnx_complexnx_graphnx_latticenx_measurenx_polynx_provernx_clocknx_featuresnx_resultnx_proof_lognx_atp_to_derivenx_proof_methodsnx_classical_unpatentednx_classical_unpatented_2nx_prover_evalnx_ingest_pipelinenx_helpnx_prover_a1
51 distinct organs co-parent its children — the intertwining measure.
Siblings — per parent
root — no parents, no siblings
Lineage — roots to god
✥ open in the TREE EXPLORER · ← the family tree · directory · Atlas home