diff --git a/research/signed-rank9-retimed/README.md b/research/signed-rank9-retimed/README.md
new file mode 100644
index 0000000000..8f3ff082f4
--- /dev/null
+++ b/research/signed-rank9-retimed/README.md
@@ -0,0 +1,55 @@
+# Signed rank-nine caller with a retimed helper
+
+Under the stated conditional supplier contracts, the combined
+certificate gives κ = 0.003635302061475 in T(n) =
+O(n (log n)^(1−κ)). The exact gain over the pinned signed rank-nine
+predecessor κ = 0.003635202569271 is
+24873051/250000000000000 = 0.000000099492204. The gain over
+the verified public comparison in #7105 is 0.000003140551475.
+The independent raw crossing is strictly between
+.00363530206147543231249432214964276 and
+.00363530206147543231249432214964277.
+
+This package transfers #7105's helper-1123 split to the exact
+stronger native word and keeps the signed caller unchanged.
+At cut 43039, role 1123 has row x1123 in chart 242. Its only old
+contact before the suffix is the 242→127 move. Move it instead
+to chart 245, insert −x1123+x1480 into role 843 at that chart,
+and use fresh helper 1480 for the later chart-127 contacts.
+The old suffix maps the perturbation e1123+e843 to e1123.
+The old and fresh helper outputs both have their intended
+identity rows. Old owned labels shift by one, preserving their
+moves, liveness and erasure. The three changed chart pairs
+have all 512 columns and absolute phase independently checked.
+The literal native replay also checks all 1,481 physical outputs.
+
+Per native call, productive ranks change by {1:+1, 8:+1, 9:−1}
+and paid ranks by {1:+1, 4:+1, 5:−1}. The full 18-call invoice
+has 117,130 paid and 23,410 productive requests, rank surplus
+1,520 and zero empty-root credits. The modeled ordinary total is
+847,248,064/10^9, with 152,751,936/10^9 reserve. The paired BIT
+cap is .00376669. The exact grid remains S=1125 and c=1342.
+Both directed prices, compiler and outer inequalities pass.
+
+Run `python3.12 -B research/signed-rank9-retimed/verify.py` from
+the repository root. The package authenticates and extracts
+its pinned sources in a clean directory, regenerates the native
+word, and compares the complete result, grid and route receipts
+byte for byte. It includes a bad-scalar control and proves that
+the predecessor invoice rejects the new claim.
+
+## Open next questions
+
+The bound retains the prior all-column native, owned erasure,
+uniform compiler, fixed-tape precision, analytic recovery, A6,
+exact child, LAMBDA, one-field idle, per-port caller, paired E-free
+BIT and modeled ordinary tariff premises. A complete physical
+fixed-tape realization, rounded provider and the physical #6998
+tariff bridge remain open. Test those interfaces on this combined
+word before supplier admission.
+
+The CrocSwap coupled-helper, signed Clifford and interval work
+and the causal helper split by the #7105 contributors supply the
+predecessors. This package is a compatibility transfer to a
+different, stronger certificate. Codex assisted the transfer,
+implementation, audits and replay.
diff --git a/research/signed-rank9-retimed/REPLAY.tar.gz b/research/signed-rank9-retimed/REPLAY.tar.gz
new file mode 100644
index 0000000000..c21419e2d7
Binary files /dev/null and b/research/signed-rank9-retimed/REPLAY.tar.gz differ
diff --git a/research/signed-rank9-retimed/RESULT.json b/research/signed-rank9-retimed/RESULT.json
new file mode 100644
index 0000000000..c6350117fe
--- /dev/null
+++ b/research/signed-rank9-retimed/RESULT.json
@@ -0,0 +1 @@
+{"caller": {"bad_outputs": [], "caller_denominator_height_bound": 431, "caller_mass_bound": "2031778024781380738667307850969872261300825114412066667930609010754885615256246771273722516797028373875488084463456734932931819440254377992064287155336455679722182496470290893143689397339193405421398373633/137438953472", "caller_mass_ceiling_bits": 642, "max_terms": 3998}, "caller_sha256": "9557f713ab4ffb91ede05e8a6d5668c694b9940fc16f2f2d657e2f2b2cac2d3f", "gate": {"BIT_margin": "13138793852493/100000000000000000", "BIT_pin": "376669/100000000", "H": "16465200000000000000000", "alpha": [0.9999999999999996, 0.9999999999999996], "claim": "145412082459/40000000000000", "compiler_gap": "1/100000000000000000", "delta": [0.8759269091939329, 0.8759269091939329], "derivative_upper": -408004.3156391566, "gamma": [0.9499894716194084, 0.9499894716194084], "input_lift": {"derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "interval_kappa_cap": "376669/100000000", "margins": {"145412082459/40000000000000": ["124042959580971263603200170346072806822099873065211570618334396649246266773109/100000000000000000000000000000000000000000000000000000000000000000000000000000000", "15505369947621407950400021293259100852762484133151446327291799581155783346879/12500000000000000000000000000000000000000000000000000000000000000000000000000000"], "363530206147507/100000000000000000": ["62021479790486775249721363736717510360976723497878155599105438467207095171623/50000000000000000000000000000000000000000000000000000000000000000000000000000000", "62021479790486775249721363736717510360976723497878155599105438467207095172599/50000000000000000000000000000000000000000000000000000000000000000000000000000000"]}, "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000"}, "minimum_log_power": 2230, "moment_margin_float": {"363530206147507/100000000000000000": [1.5035134117347962e-10, 1.5035134117347962e-10], "36353020614754323124943221496427/10000000000000000000000000000000000": [2.6489985405448106e-29, 2.6489985405448106e-29], "9088255153688580781235805374107/2500000000000000000000000000000000": [-1.500771161843505e-29, -1.500771161843505e-29]}, "moment_margins": {"363530206147507/100000000000000000": ["751756705867398113505518721161626484321764718139337054971737207972153/5000000000000000000000000000000000000000000000000000000000000000000000000000000", "1503513411734796227011037442323252968643529436278674109943474420117953/10000000000000000000000000000000000000000000000000000000000000000000000000000000"], "36353020614754323124943221496427/10000000000000000000000000000000000": ["662249635136202592398273175161550602795577962677571/25000000000000000000000000000000000000000000000000000000000000000000000000000000", "331124817568101296199136587580775301397788986597851/12500000000000000000000000000000000000000000000000000000000000000000000000000000"], "9088255153688580781235805374107/2500000000000000000000000000000000": ["-750385580921752461201070969656411870739306177489313/50000000000000000000000000000000000000000000000000000000000000000000000000000000", "-150077116184350492240214193931282374147861231310519/10000000000000000000000000000000000000000000000000000000000000000000000000000000"]}, "outer": {"BIT_just_below_effective_rejected": true, "functional_count": 4, "minimum_margin": "1/1000000000000000000", "strict_count": 54}, "raw_bracket": ["36353020614754323124943221496427/10000000000000000000000000000000000", "9088255153688580781235805374107/2500000000000000000000000000000000"], "tested": "363530206147507/100000000000000000", "written_log_power": 2231}, "invoice": {"P": {"1": 72888, "2": 15174, "3": 14670, "4": 4266, "5": 5886, "6": 306, "7": 216, "8": 780, "9": 32, "16": 416, "24": 416, "32": 416, "40": 416, "48": 416, "56": 416, "64": 416}, "S": 1520, "T": {"1": 252, "2": 324, "3": 792, "4": 3870, "5": 1224, "6": 738, "7": 324, "8": 1026, "9": 11324, "17": 416, "25": 416, "33": 416, "41": 416, "49": 416, "57": 416, "65": 416, "73": 416, "145": 208}, "empty_root_credits": 0, "no_E_credit_crossing": "0.0036353020614754323124943221496427638348325455321846484299268833335", "raw_crossing": "0.0036353020614754323124943221496427638348325455321846484299268833335"}, "mutation_bad_inputs": [1480], "native": {"bad_inputs": [], "events": 71238, "helpers": {"1": 14, "2": 18, "3": 44, "4": 215, "5": 68, "6": 41, "7": 18, "8": 57, "9": 606}, "lifetimes": 54, "owned_peak": 43, "paid": {"1": 4028, "2": 843, "3": 815, "4": 237, "5": 327, "6": 17, "7": 12, "8": 6}, "public": 1481, "rises": {"1": 10, "2": 4, "3": 1, "4": 6, "5": 1, "6": 1}}, "ordinary": {"caller_items": {"A": {"envelope": 124674048, "field_boundary": 94848, "fused_routes": 0, "idle_routes": 185472000, "output_routes": 229056000, "query_routes": 1152000, "thin": 6144}, "B": {"envelope": 39515136, "field_boundary": 7904, "fused_routes": 1168000, "idle_routes": 19552000, "output_routes": 19088000, "query_routes": 0, "thin": 0}}, "caller_total": 619786080, "conservative_total": 847248064, "extra_B_scalar_surcharge": 784256, "init_clear_allowance": 216, "lambda_paid_rank1_would_reduce_S_by": 14384, "lambda_second_charge": 14384000, "margin_to_billion": 152751936, "odd_divisions": {"ADD": 4079, "SCALE": 64}, "per_input_conversion": 2772432, "raw_upper": 829307376, "route_items": {"first_main_adapter": 416, "first_main_boundary": 208, "helper_boundary": 2162, "moves": 6285, "owned_lifetime": 216, "second_main_adapter": 384, "second_main_boundary": 192}, "routing": 9863000, "scalar_upper": 1777072}, "precision": {"Kstar_bits": 14093, "caller": {"denominator_height": 431, "maximum_mass": "2031778024781380738667307850969872261300825114412066667930609010754885615256246771273722516797028373875488084463456734932931819440254377992064287155336455679722182496470290893143689397339193405421398373633/137438953472", "pre_joint_height": 426, "pre_joint_mass": "766527916529583301313228867197686200815349463045311717713050641430930492401493758087731346459407655106441982454343595473292801327075604294093436993244143470221321807686760749419510412771973080166736111/17179869184"}, "context_c": 1342, "context_height": 450, "context_mass_bits": 671, "rounded_caller": {"bounds": {"E_joint_entrance": {"exact": "165292324278312434239792241669259601939148205479641935883100450030795640642521675185420225155263661986013432695526326623449495349666469672669535799712796530954618994142025453336655828362522267444347452486050164587216381718596455869577190418755870501431245657002062994211320043166969504038451238451/5013657159105790113341453107200000000000000000", "strict_power_of_two": 833, "witness": {"cut": 4982, "event": 4982, "factor": "1", "kind": "stored", "register": 39}}, "Gamma_context": {"exact": "106523307213816187766193716729111647841679481777961832511968306524907546729636041561586111503274811652677102590493199209090854325344543409585336504368374815344658076694139914974099382117802518851259314397812301708874750091705708871630990995589871068635224962913027862696516858425501370947300342725191/24065554363707792544038974914560000000000000000", "strict_power_of_two": 840, "witness": {"cut": 5112, "factor": "1", "kind": "public-return", "register": 75}}, "M_caller": {"exact": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", "strict_power_of_two": 619, "witness": {"cut": 5076, "event": 5075, "factor": "1", "kind": "stored", "register": 75}}, "M_context": {"exact": "63921579596774808543096825261851903075574525775581198562662334133323351748714533833366045478501888765800702390477476801784184419970698060778676920771787378849018921532087055811689275968670193285067803318255257341265767533464756774164268640068845254171880224455521748831530683196008072771547438052166541/28522138505135161533675822120960000000000000000", "strict_power_of_two": 849, "witness": {"cut": 4983, "event": 4982, "factor": "1", "kind": "stored", "register": null}}, "M_joint_entrance": {"exact": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", "strict_power_of_two": 612, "witness": {"cut": 4982, "event": 4982, "factor": "1", "kind": "stored", "register": 39}}, "Sigma_caller": {"exact": "106523307213816187766193716729111647841679481777961832511968306524907546729636041561586111503274811652677102590493199209090854325344543409585336504368374815344658076694139914974099382117802518851259314397812301708874750091705708871630990995589871068635224962913027862696516858425501370947300342725191/24065554363707792544038974914560000000000000000", "strict_power_of_two": 840, "witness": {"cut": 5098, "event": 5097, "factor": "1", "kind": "stored", "register": 75}}, "Sigma_context": {"exact": "2392897473523501003230363453861333249153704495734495875787114189869141318332810930386764288400788844858413744294715486098089663875969066644019446179417874944225822544788186794919487972294439113785491734282477375658224744813418446207163561496479453396352077833116710250934932290610872084360887671404270720202924305750283517621380910630424168474503532599710077097796205714021925245721524672184249088587011272340553/523682460605265458317141398184019716339716009408677806080000000000000000000000000000000000", "strict_power_of_two": 1069, "witness": {"cut": 4983, "event": 4982, "factor": "1", "kind": "stored", "register": null}}}, "fresh_arbitrary_helpers": 19458, "helper_allocation_premise": "distinct (stage, helper) public inputs as in frozen caller proof", "independent_adjoint": {"E_joint_entrance": {"entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", "residual_mass": "165292324278312434239792241669259601939148205479641935883100450030795640642521675185420225155263661986013432695526326623449495349666469672669535799712796530954618994142025453336655828362522267444347452486050164587216381718596455869577190418755870501431245657002062994211320043166969504038451238451/5013657159105790113341453107200000000000000000"}, "Gamma_context": {"entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", "residual_mass": "106523307213816187766193716729111647841679481777961832511968306524907546729636041561586111503274811652677102590493199209090854325344543409585336504368374815344658076694139914974099382117802518851259314397812301708874750091705708871630990995589871068635224962913027862696516858425501370947300342725191/24065554363707792544038974914560000000000000000"}, "M_caller": {"entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528104995/131072", "residual_mass": "106523307213816187766193716729111647841679481777961832511968306524907546729636041561586111503274811652677102590493199209090854325344543409585336504368374815344658076694139914974099382117802518851259314397812301708874750091705708871630990995589871068635200897358664154903972819450586810947300342725191/24065554363707792544038974914560000000000000000"}, "M_joint_entrance": {"entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", "residual_mass": "165292324278312434239792241669259601939148205479641935883100450030795640642521675185420225155263661986013432695526326623449495349666469672669535799712796530954618994142025453336655828362522267444347452486050164587216381718596455869577190418755870501431245657002062994211320043166969504038451238451/5013657159105790113341453107200000000000000000"}, "Sigma_caller": {"entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", "residual_mass": "106523307213816187766193716729111647841679481777961832511968306524907546729636041561586111503274811652677102590493199209090854325344543409585336504368374815344658076694139914974099382117802518851259314397812301708874750091705708871630990995589871068635224962913027862696516858425501370947300342725191/24065554363707792544038974914560000000000000000"}}, "joint_entries": [{"entrance_defect": "4384", "entrance_mass": "23859/2", "event": 49, "stage": 1}, {"entrance_defect": "20945260673934893313888764322900491239644478041103773775097603221792711833116388939848618105498973571688781235159318561/918028044269859029542502400000000000000000", "entrance_mass": "44760984243/4", "event": 144, "stage": 2}, {"entrance_defect": "60040684533322585812126270853683339658311834267087023949895869376839840335611752121315268372057538805838102025140635692024591619/58753794833270977890720153600000000000000000", "entrance_mass": "8019347752894898813/16", "event": 275, "stage": 3}, {"entrance_defect": "774817472160354598683299461199847889810042635540600865223723679257050098120496390283975875506366905344596661294342315727376859089909263/2937689741663548894536007680000000000000000", "entrance_mass": "258721681913211409397548013/2", "event": 435, "stage": 4}, {"entrance_defect": "2752124280717991691126038617060690472099242503006793821594816953696761878079632521154272497355232831200609136652976610926518233365275925751140711/19584598277756992630240051200000000000000000", "entrance_mass": "1102764325780487636837595009524032653/16", "event": 627, "stage": 5}, {"entrance_defect": "4939140051314470172286504340050335011393585565429166582215515509936744914077274848621221341776948151079606527733061801105699974487140234413787436036724833/14688448708317744472680038400000000000000000", "entrance_mass": "659697369868562418053848749577901431896032551/4", "event": 848, "stage": 6}, {"entrance_defect": "74896288203624604979672804785578009199967776617844246442449809311045195792153362828408658294687631752247358669132120625882686264956384701973693517532222554125427967/94006071733233564625152245760000000000000000", "entrance_mass": "50017699262951285012300223375874644326538714050483088723/128", "event": 1101, "stage": 7}, {"entrance_defect": "309113905624793732113959684240871114319174498752942549565471096372340955357035490323887916663150177543450251164607360351383378466878332620258724573129094191732492199538593409/39169196555513985260480102400000000000000000", "entrance_mass": "123860608372223676361208276303474840021608894935793894644443117475/32", "event": 1383, "stage": 8}, {"entrance_defect": "3345882012076735167936861522540955472133974274836165666782613762056361362851914332698408099807234195350036145127854033685072444590430742892864348279845258444893752911326309993509368881/235015179333083911562880614400000000000000000", "entrance_mass": "446893495694686287960280473450842802655971489871616126572592413520841719161/64", "event": 1662, "stage": 9}, {"entrance_defect": "96026593214638430758490031850235995082944438829484435764496237676700345908676361931082473060791550109202318352712888340148432920323981345749540010787115997152076065048966660571889024088272570003687748145197416955569999726186433/58753794833270977890720153600000000000000000", "entrance_mass": "1603226733879417057855793968966209778425632456862348198524030211565823693253398434234475406089669867705587698766845597/2", "event": 3203, "stage": 10}, {"entrance_defect": "1197847216478955232873749123160402705796190146038322283087757323963685481999006853489776773770181422261592911849646594908518437153971577749205690511237736110968340398522873687367499375156785972647911803718607623113958311426450377031577887/940060717332335646251522457600000000000000000", "entrance_mass": "159990737255009044304340266028013949411590186711547802615104749842798991699729693917477577741470706009608765481680513095697397863/256", "event": 3526, "stage": 11}, {"entrance_defect": "5341828465667457190804424173784620517478622683442909039302561285500834441849791889379963330449188703647831155456811430006242780973863245228248055680562481768573176962106399018516182218982716961189697719060126589798615640213614109557865127142384247/3760242869329342585006089830400000000000000000", "entrance_mass": "713482539972112811302498126039122556478474335397824876612540289480809876975347015211250548661355667282704396311981650378099911649135840063/1024", "event": 3821, "stage": 12}, {"entrance_defect": "574523995002628414124225330247284741172013818794231671179090073043733401373611988083979378327546444493656065292264601196882915954690461423078603269352096463046862453288980170724852088697806605820572139915280777268371889917294938846112847519101617851151613/417804763258815842778454425600000000000000000", "entrance_mass": "690627858377635566118234917748020783796286454330854789097666289598705747090709204201800639258908872647850357504982405971722609074791401430947671165/1024", "event": 4088, "stage": 13}, {"entrance_defect": "3525356303166109242006047756937551137061359770597005982695390839547454110554686710708512760385636007755820945501723446259417977296439342654439821756754035162373819525770476534011074901820119139296954315137356894157946712087416022181155161204902366602323172084005519/7520485738658685170012179660800000000000000000", "entrance_mass": "470865020405587123936906066570155601953174646068287322382245101819760273515813542612024822098129182481570490831889396523550001544922531326945370763196989399/2048", "event": 4324, "stage": 14}, {"entrance_defect": "347887463785351765805497080167783436792950811152934243120441673189824488900505838699599458948129420848908146010606713196387637692179087914108069101429554292027060070046733892798430186300085404165792366045072115568318096370436275837077281789093934574625293537317620281748817/3760242869329342585006089830400000000000000000", "entrance_mass": "46465668615402712050475352820015987705766128000689019237904160504542353131957951954454381327545881694314550682714483945959032017848349099581053150524269011108711881/1024", "event": 4532, "stage": 15}, {"entrance_defect": "169944767252523837363926380157865117008700306683832855500695039394195947075989735840337902416526832709565204210065327301340120091601504746512617413608799040163279305261078370818268945723744163044797635261768533690486013688345077436008986880119519614870638472977031468655202606718743/30081942954634740680048718643200000000000000000", "entrance_mass": "22698711681515933658235268009935719580127806482189476469420786919611768582281970304620813093468639555288906634046185136362302550495196405154606658307111274865117192668126623/8192", "event": 4709, "stage": 16}, {"entrance_defect": "350943887898040953987297753070010152068514842928624482445377588352698987851669079131900708789078385906166778133278049562134338751142595013734008256178655463504905356646248901055604535287479759058714073096233486486897708243988668265855152119980313217198329703179317809591286948570246893257/6016388590926948136009743728640000000000000000", "entrance_mass": "234369503003028720835110712559034466962392865438574454855472632480300248897620917700915501102797005900029816899906431175273180672543487679750570754841237111980601879269511857634373/8192", "event": 4858, "stage": 17}, {"entrance_defect": "165292324278312434239792241669259601939148205479641935883100450030795640642521675185420225155263661986013432695526326623449495349666469672669535799712796530954618994142025453336655828362522267444347452486050164587216381718596455869577190418755870501431245657002062994211320043166969504038451238451/5013657159105790113341453107200000000000000000", "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", "event": 4982, "stage": 18}], "physical_main_inputs": 3952, "sites": {"ADD": 4102, "IDLE_ODD": 4, "IDLE_ONE": 96, "J": 18, "LAMBDA": 214, "QUERY": 4, "SCALE": 298, "SWAP": 376, "noninteger_scalar": 1562}}, "rounded_native": {"bounds": {"Gamma": {"exact": "148410063514995949252033673132766658208646420992579757637213675392287559316556202038544863855441974044602399438531/3672112177079436118170009600000000000000000", "strict_power_of_two": 235, "witness": {"cut": 71238, "factor": "1", "kind": "public-return", "register": 1443}}, "M": {"exact": "14476760998861861302944912510523645403533698246699472098415457537799148383517648848570009175350261608286421932685203/104451190814703960694613606400000000000000000", "strict_power_of_two": 237, "witness": {"cut": 71202, "factor": "1", "kind": "stored", "register": 1443}}, "Sigma": {"exact": "148410063514995949252033673132766658208646420992579757637213675392287559316556202038544863855441974044602399438531/3672112177079436118170009600000000000000000", "strict_power_of_two": 235, "witness": {"cut": 71202, "factor": "1", "kind": "stored", "register": 1443}}}, "census": {"denominator_bits": 19, "events": 71238, "lifetimes": 54, "max_denominator": 393216, "max_numerator": 14729531, "numerator_bits": 24, "opcodes": {"ADD": 61182, "CLEAR": 54, "COPY": 1, "INIT": 54, "MOVE": 6285, "SCALE": 3662}, "owned_labels": 51, "peak_owned": 43, "public": 1481, "scalars": {"dyadic": 60702, "integer": 38904, "noninteger": 25941, "odd": 4143}}, "independent_adjoint": {"Gamma": {"active_residual_sites": 24516, "entrance_mass": "14476760998861861302944912510523645403533698246699472098415457537799148383517648848570009175350261608286421932685203/104451190814703960694613606400000000000000000", "residual_mass": "148410063514995949252033673132766658208646420992579757637213675392287559316556202038544863855441974044602399438531/3672112177079436118170009600000000000000000"}, "M": {"active_residual_sites": 24516, "entrance_mass": "14476760998861861302944912510523645403533698246699472098415457537799148383517648848570009175350261608286421932685203/104451190814703960694613606400000000000000000", "residual_mass": "148410063514995949252033673132766658208646420992579757637213675392287559316556202038544863855441974044602399438531/3672112177079436118170009600000000000000000"}, "Sigma": {"active_residual_sites": 24516, "entrance_mass": "14476760998861861302944912510523645403533698246699472098415457537799148383517648848570009175350261608286421932685203/104451190814703960694613606400000000000000000", "residual_mass": "148410063514995949252033673132766658208646420992579757637213675392287559316556202038544863855441974044602399438531/3672112177079436118170009600000000000000000"}}}, "scope": "Exact-child grid and attributed all-fibre error envelope, with one signed unitary per fused event", "word": {"coefficient_visits": 14087599, "dyadic_height": 24, "mass_witness": [63442, "stored add"], "maximum_scaled_mass": "1636346757402225/16384", "numerator_bits": 24, "odd_scale_lcm": 1125}}, "price": {"baseline_rejects_new_claim": true, "candidate_margin_at_old_upper": ["258043636262085849850010004481614332599041671762004993731096762704559946135237/6250000000000000000000000000000000000000000000000000000000000000000000000000000", "516087272524171699700020008963228665198083343524009987462193525409119896896727/12500000000000000000000000000000000000000000000000000000000000000000000000000000"], "claim_decimal": "0.003635302061475", "gain": "9.9492204E-8", "gain_exact": "24873051/250000000000000", "independent_raw_bracket": ["0.00363530206147543231249432214964276", "0.00363530206147543231249432214964277"], "previous_claim": "3635202569271/1000000000000000", "raw_bracket": ["0.0036353020614754323124943221496427", "0.0036353020614754323124943221496428"]}, "status": "PASS_SIGNED_RANK9_RETIMED_GATES", "word_sha256": "34085a6c502ac07530001bdcbc85ad0ec9637f5dda28c9593a0b0d6dd6613d24"}
diff --git a/research/signed-rank9-retimed/SOURCES.json b/research/signed-rank9-retimed/SOURCES.json
new file mode 100644
index 0000000000..b06c2f774e
--- /dev/null
+++ b/research/signed-rank9-retimed/SOURCES.json
@@ -0,0 +1,18 @@
+{
+  "schema_version": 1,
+  "base_commit": "17469fff78c22941280f04d39dc5a1faee09c840",
+  "files": [
+    {
+      "path": "docs/research/agent-task-catalog.json",
+      "usage": "provenance",
+      "git_blob": "3404fbdd5e7529a0674eef26114b5071e4586cec",
+      "sha256": "ead6cdc9d0af6d58e8a49744d8ec8c7c15e13d2ba93c276c434bcf9b51b93a81"
+    },
+    {
+      "path": "certificates/selected-result.json",
+      "usage": "provenance",
+      "git_blob": "d59b5035e7b4cbaa9d688a1d32dd0d6eb79c466a",
+      "sha256": "9b8d0eea95b3bf0dfcb7938a732a6439b87a2685dec2a5ab9e525b3b34debbfa"
+    }
+  ]
+}
diff --git a/research/signed-rank9-retimed/TASK.json b/research/signed-rank9-retimed/TASK.json
new file mode 100644
index 0000000000..7c925245ce
--- /dev/null
+++ b/research/signed-rank9-retimed/TASK.json
@@ -0,0 +1,115 @@
+{
+  "schema_version": 1,
+  "task_id": "p104-side-correction",
+  "base_commit": "17469fff78c22941280f04d39dc5a1faee09c840",
+  "original_card": {
+    "id": "p104-side-correction",
+    "question": "Can joint helper bases and a legal causal split improve the complete P104 productive/paid invoice?",
+    "starting_points": [
+      "docs/research/current-priorities.md",
+      "docs/research/research-family-status.md",
+      "certificates/selected-result.json",
+      "docs/research/pr-intake-evidence/pr5599-completion/PROOF-REVIEW.md",
+      "research/p104-helper-subspace-splits/README.md",
+      "research/dyadic-helper-channel-capacity/README.md"
+    ],
+    "methods": [
+      "Construct and independently check one source-bound instance of the stated first experiment.",
+      "Seek an exact counterexample or target-specific complete-budget obstruction to that same proposed change."
+    ],
+    "acceptance_gate": "An exact arbitrary-input identity, source/target frame availability and restoration at the chosen cut, plus the complete channel+correction+idle/hosting bill or an explicit favorable bound. The native channel alone is not a supplier. A scoped local result may be retained without a complete supplier. Expanding it into further construction rounds requires the family-level budget and obligation gate in research-family-status.md; an optimistic passing relaxation alone is not acceptance.",
+    "first_step": {
+      "command": [
+        "python3",
+        "-B",
+        "scripts/research_selected_baseline.py"
+      ],
+      "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY",
+      "inspect": "Read revision 8, the selected review and live exact-source handoffs. Then follow this card's bounded first_experiment.",
+      "scope": "Source-bound orientation only, not a supplier replay or theorem proof."
+    },
+    "first_experiment": "Start with the selected #5599 emitted word and review pending #5718 distinct input/output bases plus #5717/#5719 coverage before claiming work. Pick one uncovered source word, helper group and cut region. Prove the arbitrary-input relation and legal entry/exit corrections, then compare full target and paid profiles. Reject if completion, owned lifetimes or consumer costs repay the gain. A static pairing rank alone is not a physical split.",
+    "bottleneck_link": "Judge the actual current supplier contract and complete signed target/paid bill; frozen-profile ceilings require an applicability proof.",
+    "allowed_variations": [
+      "One exact source head, helper/cut region or quantified proposition and changed hypothesis; check live handoffs first. Different seeds are not different scopes."
+    ],
+    "scope_change_triggers": [
+      "Changing source head, helper/cut domain, operation alphabet or caller boundary without recording the new scope.",
+      "Treating an archived proposal or local numerical pass as complete supplier admission."
+    ],
+    "overlap_terms": [
+      "P104",
+      "helper basis",
+      "helper split",
+      "5718",
+      "dyadic capacity"
+    ],
+    "existing_checks": [
+      {
+        "scope": "PR #4133: literal-slot defect",
+        "evidence": "research/p104-literal-slot-defect/README.md",
+        "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.",
+        "status": "author-checked",
+        "source_commit": "88666f1dee93fbd85b31fd5d6f91a219e111b5f4",
+        "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
+      },
+      {
+        "scope": "PR #4136: uniform commutation gap",
+        "evidence": "research/p104-uniform-commutation-gap/README.md",
+        "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.",
+        "status": "author-checked",
+        "source_commit": "281ce601a8be9db470de630759179c23e1dfaa88",
+        "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
+      },
+      {
+        "scope": "PR #4140: uniform encoding gap",
+        "evidence": "research/p104-uniform-encoding-gap/README.md",
+        "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.",
+        "status": "author-checked",
+        "source_commit": "de25c6525aa866962309df5d107b32d55e6e5628",
+        "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
+      },
+      {
+        "scope": "PR #4153: source-chart shortcut exhausts its optimistic allowance",
+        "evidence": "research/p104-source-chart-shortcut/README.md",
+        "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.",
+        "status": "author-checked",
+        "source_commit": "9123241fea53df77e51ffe30d9aca1625d4bf3a8",
+        "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
+      },
+      {
+        "scope": "PR #4154: fiber-tag seam mismatch",
+        "evidence": "research/p104-fiber-tag-seam/README.md",
+        "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.",
+        "status": "author-checked",
+        "source_commit": "4ffcdaee5d6255a9cea1fe53a5424435068089d0",
+        "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
+      },
+      {
+        "scope": "Selected PR5599: complete helper-subspace construction and independent caller replay; five framework assumptions remain.",
+        "evidence": "docs/research/pr-intake-evidence/pr5599-completion/PROOF-REVIEW.md",
+        "remaining": "The next experiment must identify uncovered source-specific work. Successor archive intake does not transfer this admission.",
+        "status": "reviewed",
+        "source_commit": "09dd0965711ca7eeb169057a420abab1c9052137",
+        "selected_record_sha256": "2a0220e866417774606e0f991e41b9c1d26b1f43b97857238cf478dbc7d330b5"
+      }
+    ]
+  },
+  "scope_status": "changed",
+  "actual_scope": "Replay the #7105 causal helper split on the signed rank-nine caller and the stronger coupled native word.",
+  "scope_change_reason": "The two improvements target distinct native and caller roles; strict gain needs a fresh combined certificate.",
+  "bottleneck_link": "Compare the complete signed productive and paid profile on the unchanged complex supplier contract.",
+  "stop_rule": "Require zero exact endpoint failures, all changed chart columns and signed routes, two strict rational price engines, and clean replay.",
+  "outcome": "completed",
+  "evidence": "README.md, RESULT.json and the hash-bound REPLAY.tar.gz.",
+  "author": "ToikY",
+  "ai_assistance": "Substantial OpenAI Codex assistance with exact construction and independent verification.",
+  "open_questions": [
+    {
+      "question": "Can a total physical provider and common-volume tariff bridge admit the retained odd-scalar word?",
+      "why_it_matters": "The exponent retains the source tariff and all-width contracts.",
+      "first_step": "Start from #6998 and audit the source/provider conversion and A6 trace under one tape width model.",
+      "blocked_by": "The fixed-tape conversion and total rounded provider are unresolved."
+    }
+  ]
+}
diff --git a/research/signed-rank9-retimed/VERIFY.json b/research/signed-rank9-retimed/VERIFY.json
new file mode 100644
index 0000000000..f3bfeb7971
--- /dev/null
+++ b/research/signed-rank9-retimed/VERIFY.json
@@ -0,0 +1,19 @@
+{
+  "schema_version": 1,
+  "status": "ready",
+  "python": "3.12",
+  "requirements": [],
+  "inputs": [],
+  "commands": [
+    {
+      "argv": [
+        "{python}",
+        "-I",
+        "-B",
+        "{package}/verify.py"
+      ],
+      "timeout_seconds": 600,
+      "checks": "Clean exact native and caller replay, changed maps and absolute phase, precision, dual price gates and negative controls."
+    }
+  ]
+}
diff --git a/research/signed-rank9-retimed/verify.py b/research/signed-rank9-retimed/verify.py
new file mode 100644
index 0000000000..233965cc77
--- /dev/null
+++ b/research/signed-rank9-retimed/verify.py
@@ -0,0 +1,22 @@
+"""Verify the signed rank-nine caller with the transferred causal helper."""
+from hashlib import sha256
+import os
+from pathlib import Path
+from tempfile import TemporaryDirectory
+import subprocess
+import sys
+import tarfile
+
+ARCHIVE_SHA = "c4f4f616a308839acc909abe72291f2e081aee320a8a7c38dc56a192daba3bf1"
+root = Path(__file__).resolve().parent
+archive = root / "REPLAY.tar.gz"
+assert __debug__ and sys.version_info[:2] == (3, 12)
+assert sha256(archive.read_bytes()).hexdigest() == ARCHIVE_SHA
+with TemporaryDirectory(prefix="croc-retimed-package-") as tmp:
+    source, result = Path(tmp) / "source", Path(tmp) / "result"
+    source.mkdir()
+    with tarfile.open(archive) as bundle:
+        bundle.extractall(source, filter="data")
+    subprocess.run(["bash", str(source / "verify.sh"), str(result)],
+                   check=True, env=os.environ | {"RANK9_PYTHON": sys.executable})
+    assert (result / "RESULT.json").read_bytes() == (root / "RESULT.json").read_bytes()