from research import *
s=begin(1365,'Preserve the inverse register proof in the companion','What exact hypotheses support the aggregate convergence?',{},['prep/final_inverse_keys_draft.md','C1352'])
src=(ROOT/'prep/final_inverse_keys_draft.md').read_text()
t='## 4. Original-span register theorem\n\n'+src[src.index('An exact register argument'):src.index('The continuation to 14726')]
t+='\nThe operation is applied only to original source durations in this account. A digit reversal is distinct from a coordinate reflection or formal Mirror. The named partition is retained; no second reversal is introduced.\n'
a=artifact('draft/technical_04_inverse.md',t)
finish(s,{'supplement':a},'The companion retains the full register theorem with its two-component domain, carry alternatives and source-selected cumulative branch.','Write the anchored-Key domain supplement.',{'domain':'each span therefore has exactly one trailing zero'.lower() in t.lower(),'branches':'11610' in t and '10620' in t,'source_cores':'917 and 343' in t})