build adoption pack.py

from pathlib import Path
from fractions import Fraction as F
import json,hashlib
R=Path(__file__).resolve().parent
D=json.loads((R/'exactdiagnostics.json').read_text());P=json.loads((R/'sourcepacket.json').read_text())
Q=json.loads((R/'questions.json').read_text())['questions']+json.loads((R/'questions_addendum.json').read_text())['questions']
B=D['calibration_allocation_basis'];A=D['allocation_triangle'];C=D['component_defect_family'];T=D['retained_total_measurement_basis'];X=D['affine_prefix_cosets'];V=D['conditional_mixed_calendar_family']
result={
'KQ01':{'premises':['C505–511:529 ladder, pivot compatibility and coordinate charts','C568–586,C609:allocation and calibration identities','C666–667,C690,C713–715:retained-part whole fields','C872–889:scalar grid domains and fixed finite Key words'],'new_burdens':['equation dependence','operator coarsening criterion','two-measurement reconstruction','affine stagewise cosets with pivot obstruction','conditional componentwise calendar calibration']},
'KQ02':{k:B[k] for k in ['E_from_336_360_1over6','common_K']},
'KQ03':{k:B[k] for k in ['E_from_336_364_1over26','common_K']},
'KQ04':{k:B[k] for k in ['coefficient_matrix','rhs','rank','augmented_rref','left_dependence']},
'KQ05':{'remaining_family':B['free_calibration_family'],'free_scalar_parameters':1,'necessary_addition':'a partial/whole completion relation, not merely the existence of a source partition'},
'KQ06':{'predicted_fraction':B['predicted_f_E_to_J_from_EP_and364'],'status':'same explored source family; alternate constraint basis, not new holdout evidence'},
'KQ07':{'diagnostic_fraction':'1/25','new_E':B['diagnostic_f1over25_E'],'minus_controlling_E':B['diagnostic_E_difference'],'status':'unadopted negative diagnostic'},
'KQ08':A,
'KQ09':{'nested_selected_factor':A['nested_selected_factor'],'sequential_PJ_factor':A['sequential_PJ_factor'],'interpretation':'nested selection and chronological Key multiplication are different operations'},
'KQ10':{'source_supported':[{'object':'483','parts':['805/2','161/2'],'selected_fraction':'1/6','existing_relation':'final E total equals whole P'},{'object':'12558','parts':[12075,483],'selected_fraction':'1/26','existing_relation':'final E total equals whole J'},{'object':'12600','parts':[9660,2940],'selected_fraction':'23/30','existing_relation':'upper P/E with2940 retained'}],'computed_only':{'P_allocation_to_J':'3/13','no_named_cut_adopted':True}},
'KQ11':{'formula':C['general_two_part_defect'],'kernel':'sum of component differences is zero','example':C['rows'][0]},
'KQ12':{'rows':C['rows'],'status':C['status']},
'KQ13':{'criterion':C['coarsening_criterion'],'proof':'In a coarse block, the coefficient of fine component i is k_i on C D and kbar_B on Dbar C; equality for every vector is exactly coefficient equality.'},
'KQ14':{'source_case':C['rows'][0],'fine_factors':[1,'25/23'],'coarse_factor':'70/69','universal_square':False,'fixed_weight_total_equality':True},
'KQ15':{k:T[k] for k in ['matrix','rank','left_constraint','det_native_P']},
'KQ16':{k:T[k] for k in ['inverse','complete_fixed_rows','limitation']},
'KQ17':{'dependent_output':'T_E=6*T_P−5*T_0','source_choices_still_required':['which component converts','which is retained','order','anchors','chronological authorization'],'examples':T['complete_fixed_rows']},
'KQ18':D['inherited_529_constraint_basis'],
'KQ19':{'derivation':X['derivation'],'scope':X['scope']},
'KQ20':{'complete_nine_pairs':X['fixed_nine_pairs'],'whole_field_rule':X['whole_field'],'status':'fixed14006/4836 pivots; generated residues are congruence labels, not event dates'},
'KQ21':{'existing_cases':X['inherited_witnesses'],'normal_form':'one source point plus ordered differences; retain the point/pivot/source tags'},
'KQ22':D['exact_full_field_normal_form'],
'KQ23':{'covariance':X['covariance'],'unchanged':['period','pivot obstruction divisor','emptiness/nonemptiness'],'scope':'whole-frame mathematical covariance, not a newly authorized chronology translation'},
'KQ24':{'basis':['calendar measures plus declared completion relations','source part weights and their order','choice of converted component','measurement grid','held pivot pair','source authorization'],'compression':['three independent Key equations','two retained-total measurements','one placement residue plus difference lattice'],'ceiling':'No unique or globally minimal grammar is claimed.'},
'KQ25':{'source_parts':V['source_parts'],'complete_nine_assignments':V['assignments'],'shared_volume':V['shared_volume'],'status':V['status']},
'KQ26':{k:V[k] for k in ['source_mixed_JE','matched_unit_volume','swapped_unit_volume','swap_defect','status']},
'KQ27':{'common_volume':168000,'remeasured_counts':{'336':500,'360':'1400/3','364':'6000/13'},'invariance':'same values for every row of the nine-assignment field','scope':'conditional calibrated calendar realization only'},
'KQ28':{'algebraic_layer':['exact factor','allocation support','unit/grid','affine domain','whole-field reconstruction'],'source_layer':['selected source rows','named cut','phase/chart','appointed anchors','admitted route and claim status'],'rule':'An algebraically compatible construction is not automatically a source-authorized chronology.'}}
sources={
 **{k:['Strategy§§3.3,5D–G','File63§1.3,§§7.3–7.4,9.7','C568–570 inherited'] for k in ['KQ02','KQ03','KQ04','KQ05','KQ06','KQ07','KQ08','KQ09','KQ10']},
 **{k:['File63§1.3,§§7.3–7.4','SupplementA§§1.2,10.3','C609,C713–715 inherited'] for k in ['KQ11','KQ12','KQ13','KQ14','KQ15','KQ16','KQ17']},
 **{k:['File46§§2,6A.5','C505–507 inherited','C873–889 inherited','Strategy§§5C,5E–G'] for k in ['KQ19','KQ20','KQ21','KQ22','KQ23']},
 **{k:['File60§5 source299|161','Strategy§3.3 calibrated measures','C532–533 inherited comparisons'] for k in ['KQ25','KQ26','KQ27']}}
fragments={
'KQ02':"e=solve_key_from_completion(336,360,F(1,6)); p=(5+e)/6\nchecks={'E':e==F(25,23),'P':p==F(70,69),'calibration':336*e==360*p}",
'KQ03':"e=solve_key_from_completion(336,364,F(1,26)); j=(25+e)/26\nchecks={'E':e==F(25,23),'J':j==F(300,299),'calibration':336*e==364*j}",
'KQ04':"a=results['coefficient_matrix']; b=results['rhs']; c=results['left_dependence']\nchecks={'column_dependency':all(sum(c[i]*a[i][j] for i in range(4))==0 for j in range(3)),'constant_dependency':sum(c[i]*b[i] for i in range(4))==0}",
'KQ06':"e=solve_key_from_completion(336,360,F(1,6)); j=336*e/F(364); f=(j-1)/(e-1)\nchecks={'predicted_fraction':f==F(1,26)}",
'KQ07':"e=solve_key_from_completion(336,364,F(1,25))\nchecks={'changed_factor':e==F(312,287),'nonzero_difference':e-F(25,23)==F(1,6601)}",
'KQ08':"f,g=F(1,6),F(3,13); e=F(25,23)\nchecks={'fraction_composition':f*g==F(1,26),'factor_composition':allocation(g,allocation(f,e))==allocation(f*g,e)==F(300,299)}",
'KQ09':"nested=allocation(F(3,13),allocation(F(1,6),F(25,23))); sequential=F(70,69)*F(300,299)\nchecks={'different_operations':nested!=sequential,'nested':nested==F(300,299),'sequential':sequential==F(7000,6877)}",
'KQ11':"v=component_defect([F(805,2),F(161,2)],[1,F(25,23)])\nchecks={'kernel':sum(v['defect'])==0,'nonzero':v['defect']==[F(-35,6),F(35,6)]}",
'KQ12':"checks={'all_four':len(results['rows'])==4,'zero_total_defects':all(sum(F(x) for x in r['difference_vector'])==0 for r in results['rows'])}",
'KQ14':"v=component_defect([F(805,2),F(161,2)],[1,F(25,23)])\nchecks={'fixed_total':sum(v['selective'])==sum(v['uniform'])==490,'not_universal':not coarsening_commutes([[0,1]],[1,F(25,23)],[F(70,69)])}",
'KQ15':"m=[[F(x) for x in row] for row in results['matrix']]; c=results['left_constraint']\nchecks={'left_kernel':all(sum(c[i]*m[i][j] for i in range(3))==0 for j in range(2)),'rank_two_minor':m[0][0]*m[1][1]-m[1][0]*m[0][1]==F(-1,69)}",
'KQ16':"checks={'full_reconstruction':all(recover_retained_parts(*r['native_P_E'][:2])==r['source_u_v'] for r in results['complete_fixed_rows'])}",
'KQ17':"checks={'complete_field_dependency':all(5*F(r['native_P_E'][0])-6*F(r['native_P_E'][1])+F(r['native_P_E'][2])==0 for r in results['examples'])}",
'KQ18':"a,b,c=results['normalized_ladder']\nchecks={'geometric':b*b==a*c,'second_difference':c-2*b+a==4}",
'KQ20':"ks={'E':F(25,23),'P':F(70,69),'J':F(300,299)}\ncomputed=[]\nfor r in results['complete_nine_pairs']:\n    u,v=r['execution'].split('→'); z=affine_stage_coset(ks[u],ks[v],r['first_pivot'],r['second_pivot']); computed.append((r,z))\nchecks={'complete':len(computed)==9,'matching_domains':all(r['nonempty']==z['nonempty'] and (not z['nonempty'] or (r['residue'],r['period'])==(z['residue'],z['period'])) for r,z in computed),'only_JP_empty':[r['execution'] for r,z in computed if not z['nonempty']]==['J→P']}",
'KQ21':"e=F(25,23); first=affine_stage_coset(e,e,3620,2756); second=affine_stage_coset(e,e,12026,12026)\nchecks={'C480_field':whole_field_in_coset([2148,3206],first),'fixed_field_fails':not whole_field_in_coset([4114,3056],second),'cosets':first['residue']==32 and second['residue']==388}",
'KQ22':"a=results['source_anchor']; ids=results['labelled_indices']; mesh=F(results['image_difference_mesh']); source=results['source_heads']; image=results['image_heads']\nchecks={'source_reconstruction':[a+10*n for n in ids]==source,'image_reconstruction':[a+mesh*n for n in ids]==[F(x) for x in image],'full_anchored_map':[anchored(F(25,23),a,x) for x in source]==[F(x) for x in image]}",
'KQ23':"ks=[F(25,23),F(70,69),F(300,299)]; pairs=[]\nfor k in ks:\n    for l in ks:\n        a=affine_stage_coset(k,l,14006,4836); b=affine_stage_coset(k,l,14036,4866); pairs.append((a,b))\nchecks={'all_nine_covariant':all(a['nonempty']==b['nonempty'] and (not a['nonempty'] or (a['period']==b['period'] and b['residue']==(a['residue']+30)%a['period'])) for a,b in pairs)}",
'KQ25':"checks={'complete_nine':len(results['complete_nine_assignments'])==9,'pointwise_volume':all(r['component_day_volumes']==[109200,58800] for r in results['complete_nine_assignments']),'total':all(r['total_day_volume']==168000 for r in results['complete_nine_assignments'])}",
'KQ26':"matched=mixed_calendar_measure([299,161],[F(300,299),F(25,23)],[364,336]); swapped=mixed_calendar_measure([299,161],[F(300,299),F(25,23)],[336,364])\nchecks={'same_naked_total':matched['naked_sum']==swapped['naked_sum']==475,'different_measure':matched['total_volume']==168000 and swapped['total_volume']==164500}",
'KQ27':"checks={'remeasurement':all(F(v)*int(d)==results['common_volume'] for d,v in results['remeasured_counts'].items())}"}
low={'KQ01','KQ10','KQ11','KQ12','KQ18'};concept={'KQ05','KQ13','KQ19','KQ24','KQ28'}
records=[]
for q in Q:
 i=q['id'];records.append({**q,'priority':'supporting/inherited' if i in low else 'new compression or transfer','sources':sources.get(i,['Strategy§§5D–G,6','prior family index and selected sourcepacket records']),'results':result[i],'fragment':fragments.get(i),'proof_only':i in concept,'root_note':'Root chooses numbered mapping and reassessment; do not count prepared outputs as executed research.'})
pack={'status':'Root-adoption pack only; no numbered actions or journal writes. Results from frozen existing diagnostics; snippets recompute selected exact assertions.','setup':'from fractions import Fraction as F\nfrom adoption_helpers import solve_key_from_completion, allocation, anchored, retained_totals, recover_retained_parts, component_defect, coarsening_commutes, affine_stage_coset, whole_field_in_coset, mixed_calendar_measure','use':'Select one record, assign its results to results, run the fragment if present, and provide the root-owned begin/finish/artifact wrapper. Conceptual proofs are supplied explicitly rather than given fabricated automated checks.','records':records,'bindings':{n:hashlib.sha256((R/n).read_bytes()).hexdigest() for n in ['questions.json','questions_addendum.json','sourcepacket.json','exactdiagnostics.json','adoption_helpers.py']}}
(R/'adoption_pack.json').write_text(json.dumps(pack,indent=2)+'\n')
print(json.dumps({'questions':len(records),'fragments':len(fragments),'proof_only':len(concept),'pack_bytes':(R/'adoption_pack.json').stat().st_size}))