Nishi FamilyAtlasFamily TreeDirectory › Card

nx_solve_test

VALIDATION — a test/gate, paperwork for its subject

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

Parents — what it builds on

nx_syscallsnx_runtimenx_tiernx_resultnx_unifynx_resolutionnx_subsumptionnx_tautologynx_disctreenx_paramodulationnx_saturationnx_pre_satnx_sinenx_tptp_symtabnx_tptp_termnx_tptp_formulanx_tptp_loadnx_solve

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

none — nothing builds on it (leaf)

Validation — its tests/gates (0, complete)

none — no test/gate imports this organ

Partners — co-parents of its children (complete)

none — its children depend on it alone

0 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 siblingsvia nx_saturation: 14 siblingsvia nx_pre_sat: 4 siblingsvia nx_sine: 4 siblingsvia nx_tptp_symtab: 19 siblingsvia nx_tptp_term: 14 siblingsvia nx_tptp_formula: 9 siblingsvia nx_tptp_load: 6 siblingsvia nx_solve: 1 siblings

Lineage — roots to god

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

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