s967.py

from research import *
s=begin(967,'Unconstrained upper genealogy','Do the three late cap equations constrain the first five begetting ages?',{'active_indices':[5,7,8]},['C964','C966'])
M=[[int(j>=i) for j in range(9)] for i in s['inputs']['active_indices']]; zeros=[all(row[j]==0 for row in M) for j in range(5)]
finish(s,{'late_capacity_incidence':M,'upper_five_columns_zero':zeros},'The late cap equations contain none of the first five begetting ages. The rule explains a local coupling; it does not derive the whole genealogy.','Determine how much of the original lifespan ledger survives clipping.',{'all_upper_unconstrained':all(zeros),'late_entries_retained':M[0][5:]==[1,1,1,1]})