from research import *
s=begin(916,'Bind the synthesis claims to sources and completed actions','Can every headline result be traced to a complete source object and its qualification?',{},['C831 source snapshot','current frozen packets'])
claims=[
['Inherited regular/cumulative/Rounded/BJ mechanism','C831_synthesis.md','C831 synthesis and source references','C831;C865,905','Inherited conclusions; existing source tensions remain'],
['List matrix, overlays and walks','19-File_58.Numbers_28_29_Tishri_Sacrificial_Ledger-2-.md','category, festival, Esau and household tables','C833–849;C904,912','Sukkot daily allocation explicitly assumed; diagnostic kernels are not variants'],
['Paired inverse field','File52c_latest.md','§2.1; Appendices A.2–A.3','C850–858;C903','32 source rows; one pass per original duration; no new tally'],
['NT complete display and MT comparison','06-File_43.Genealogical_Bridge-2-.md','§3.4 lines671–750','C859–868','Display-only; shared Genesis path stops at Jacob'],
['Strict Actual/Rounded source field','39-File_51a.Rounded_Scaffold_Mod5_Architecture.md','§3.1 lines384–416','C862–865','Strict Actual4112, without Shem+2'],
['NT/BJ common coarsening','07-File_54.Luke_70_Year_Genealogical_Lattice-5-.md','§§8.6,13.2','C869–870','Extended49-grid derived; no direct historical dependence established'],
['Key ratios and head field','20-File_46.Harmonic_Expansion_Protocols-1-.md','§§1–4,6A.5','C872–889','Mixed compositions are formal diagnostics unless source-authorized'],
['File51a civil chains','39-File_51a.Rounded_Scaffold_Mod5_Architecture.md','author clarification lines26–66','C883–884','Civil counts are not neighboring Rounded widths'],
['Quarter ladder and six carrier pairs','09-File_63.Scale_Neutral_480_483_490_Carrier-20260821-143254-.md','§§1.1–1.3,7.7–7.9','C876–877;C890–906','Proposed2051,whole-year1936,generated macro heads,retained biography'],
]
manifest=json.loads((ROOT/'evidence/SOURCE_MANIFEST.json').read_text())
for r in claims:assert r[1] in manifest
textdoc='# Claim map for the C931 synthesis\n\nEvery result below is arithmetic or structural analysis of the supplied corpus.\n\n| Claim | Frozen source | Location | Actions | Qualification |\n|---|---|---|---|---|\n'
textdoc+='\n'.join('| '+' | '.join(r)+' |' for r in claims)+'\n\nThe source snapshots are SHA256-bound in SOURCE_MANIFEST.json. C913 refines the information model: digit registers and indices may be computed from primitive inputs under fixed policies.\n'
a=artifact('evidence/CLAIM_MAP_C931.md',textdoc)
finish(s,{'claim_map':a,'claims':len(claims)},'The final explanation now has a source map that distinguishes inherited findings, complete new reconstructions and formal diagnostics. Material qualifications travel with their claims.','Write the compact technical explanation of the governing formulas.',{'all_sources_frozen':all(r[1] in manifest for r in claims),'qualifications':all(r[4] for r in claims)})