s614.py

from research import *
s=begin(614,'Build the typed family interface map','Which demonstrated relations actually join different modules?',{'interface_kinds':['same source relation','same duration','endpoint-pair map','same labelled coordinate','evaluation equivalence']},['C535,C545–C546,C570–C581,C605–C612; C531'])
rows=[
 ['Regular/Cumulative','Tradition rows','b versus L=b+r','row projection','C531'],
 ['Covenant','Cumulative clutch','161→175; gain14','same duration rule','C538,C567'],
 ['Cumulative root','Actual weighted bridge','989;2×989+8×989','same duration','C612'],
 ['Actual lower leg','Rounded carrier','2401+1029=3430=7×490','same magnitude, distinct state','C546,C580,C611'],
 ['Partial E path','Whole P','5/6+E/6=P','endpoint evaluation','C569,C609'],
 ['Partial E path','Whole J','25/26+E/26=J','endpoint evaluation','C570–C571'],
 ['Actual Creation/Exodus','Rounded Creation/Conquest','J then pair+2','endpoint-pair map','C572'],
 ['Actual Creation pair','Rounded Creation pair','weighted12026 conserved','weighted relation','C573'],
 ['Flood carrier','Cumulative root','4834/4831−6×483=1936/1933','source whole-year nodes','C581'],
 ['Enoch grid','Enoch cells','49−6=50−7=43','same labelled coordinates','C605'],
 ['Enoch outer volumes','Key lattice','50×180=J8970;50×182=P8970','duration equivalence','C606'],
 ['Enoch generation cells','Calendar ratio','182/180=P/J','role-specific maps','C607'],
 ['Normal/Forwarded/Rounded','529 width ladder','529→575→625','duration law','C531']]
meta=artifact('model/family_interfaces.json',json.dumps({'columns':['from','to','relation','type','evidence'],'rows':rows},indent=2,ensure_ascii=False)+'\n')
finish(s,{'interfaces':len(rows),'artifact':meta,'event_identity_claim':'only the explicitly labelled coordinate links identify nodes'},'Thirteen typed interfaces make the family network connected at the level actually demonstrated. Some links identify source nodes; others identify durations or evaluated endpoints. The map preserves that distinction instead of using one undifferentiated arrow.','Determine which operations the expanded candidate grammar must expose.',{'typed':all(len(r)==5 and r[3] for r in rows),'coverage':len(rows)==13})