Nishi Family › Atlas › Family Tree › Directory › Card

nx_saturation

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)

10parents (imports)

15children (importers)

15total descendants reach (Ca)

Parents — what it builds on

nx_syscalls nx_runtime nx_tier nx_result nx_unify nx_resolution nx_subsumption nx_tautology nx_disctree nx_paramodulation

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

nx_solve

Validation — its tests/gates (14, complete)

nx_fof_tseitin_test nx_casc_runner_test nx_avatar_solve_test nx_clause_weight_test nx_discount_test nx_saturation_test nx_tptp_formula_test nx_solve_test nx_casc_bench nx_indexed_subsume_test nx_tptp_load_test nx_fof_cnf_test nx_tptp_write_test nx_backward_subsume_test

Partners — co-parents of its children (complete)

nx_syscalls nx_runtime nx_tier nx_str nx_result nx_unify nx_resolution nx_subsumption nx_tautology nx_tptp_symtab nx_tptp_term nx_fof nx_fof_parse nx_fof_cnf nx_fof_tseitin nx_file_result nx_disctree nx_paramodulation nx_pre_sat nx_sine nx_tptp_formula nx_tptp_load nx_tptp_load_any nx_clause_components nx_avatar_split nx_solve nx_tptp_emit

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

Siblings — per parent

via nx_syscalls: 13498 siblingsvia nx_runtime: 266 siblingsvia nx_tier: 2866 siblingsvia nx_result: 88 siblingsvia nx_unify: 73 siblingsvia nx_resolution: 57 siblingsvia nx_subsumption: 17 siblingsvia nx_tautology: 17 siblingsvia nx_disctree: 7 siblingsvia nx_paramodulation: 5 siblings

Lineage — roots to god

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

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