Evidence

s714.py

Download source fileOpen in research workspace
from research import *
s=begin(714,'Unify the partial-conversion bridges','Can one retained-fraction equation describe the old and new interfaces?',{'rule':'effective(k,f)=1+(k−1)f','cases':[['E','1/6','P'],['E','1/26','J'],['P','23/30','91/90'],['E','23/30','16/15']]},['C631 partial-expansion results; C713'])
cases=[(E,F(1,6),P),(E,F(1,26),J),(P,F(23,30),F(91,90)),(E,F(23,30),F(16,15))]
results=[{'key':k,'converted_fraction':f,'effective':1+(k-1)*f,'target':target} for k,f,target in cases]
finish(s,{'cases':results},'One retained-fraction law explains four interfaces: partialE can equal wholeP or wholeJ, and the newly supplied23/30 upper component generates the two macro calendar ratios. The source partition remains the premise that licenses each chronological use.','Separate this duration law from the extra anchor condition needed for endpoint agreement.',{'all_four':all(r['effective']==r['target'] for r in results),'fractions_valid':all(0<f<1 for k,f,t in cases)})
Edition and provenance

s714.py

SHA-256 6aee344c36ffa209cfb9f9490f375cc8343e4b30775a5e2a5bf54845948fa941

C480–C1634/Research_Cycles/C0632_C0731/evidence/s714.py