s808.py

from research import *
s=begin(808,'Construct the BJ–NT2450 duration interface','Do two complete source constructions measure the same span through different carriers?',{},['File43 §4; File20/53 BJ2450'])
p=json.loads((ROOT/'model/jubilees_inputs.json').read_text())['literal_inputs']['nt_bridge']
l=p['luke_birth_hinge']+p['luke_count']*p['local_carrier'];m=p['luke_birth_hinge']+(p['matthew_birth_count']+1)*p['local_carrier'];gap=l-m
finish(s,{'Luke_head':l,'Matthew_envelope_head':m,'difference':gap,'measurements':{'generation_carrier':35*70,'jubilee_carrier':50*49},'status':'duration equality, not event identity or direct literary-dependence proof'},'The declared heads generate5326−2876=2450, measured as35×70 and50×49. The bridge joins duration constructions while retaining their different source roles and indices.','Test the head-role discriminator and close the BJ transfer.',{'source_heads':l==p['luke_head'] and m==p['matthew_envelope_head'],'same_duration':gap==35*70==50*49})