Add a "family theorem" column to the registry #112

One line per project naming which type-family theorem applies (K-CUT, reclamation at a cut, TINI, Warrant/SoundWarrant, dependence, fidelity crossing), as nextgen-typing's TYPE-CONNECTIONS now records connection statuses. Source: the 2026-10-12 assessments (ISSUES-2026-10-12 and the session contents).