s875.py

from research import *
s=begin(875,'Explain the existing completions by domain membership','Do established source scalars have different compatibility profiles?',{'source_scalars':[460,690,483,12558]},['File46','File63','C831 inherited examples','C874'])
rows=[]
for value in [460,690,483,12558]:
 images={n:clean(k*value) for n,k in [('E',E),('P',P),('J',J)]}
 integers=[n for n,k in [('E',E),('P',P),('J',J)] if (k*value).denominator==1]
 rows.append({'input':value,'images':images,'integer_keys':integers,'input_on5Z':value%5==0})
a=artifact('model/existing_key_profiles.json',json.dumps(rows,indent=2)+'\n')
finish(s,{'profiles':rows,'artifact':a},'The familiar460,690,483 and12558 completions occupy different exact domains. Their compatibility follows from denominator divisibility; the new explanation is the shared criterion, not the old scalar outputs.','Evaluate every row of the quarter-carrier family under the three Keys.',{'profiles':[r['integer_keys'] for r in rows]==[['E'],['E','P'],['E','P'],['E','P','J']],'all_three':rows[-1]['images']=={'E':13650,'P':12740,'J':12600}})