diff --git a/research/cocharted-rank9-helper-split/README.md b/research/cocharted-rank9-helper-split/README.md new file mode 100644 index 0000000000..597e221d97 --- /dev/null +++ b/research/cocharted-rank9-helper-split/README.md @@ -0,0 +1,44 @@ +# Cocharted rank-nine helper split on the signed certificate + +Conditional κ = **0.003636447857731** versus **0.003635479112372** in [#7109](https://github.com/CrocSwap/integer-mult-bounds/pull/7109) at head `ae3f9d6a944ade32267fe5a94af853914a99d6aa`. The absolute gain is exactly `968745359/10^15 = 0.000000968745359`. The relative gain is exactly `(24218633975/908869778093)%`, approximately `0.026646979093%`. The independent directed interval for the new complex crossing is + +```text +(0.00363644785773120955770150093800963, + 0.00363644785773120955770150093800964) +``` + +The previous upper endpoint is `0.00363547911237276261060913791895827`. The paired E-free BIT pin remains `0.00376669`. + +## Exact construction + +Helper 1285 crosses from chart 3 to chart 127. Before source event 35903 it is already in chart 117. Retain 1285 with boundary 3→117 and give fresh helper 1482 the boundary 117→127. These ranks are five and four. The emitter shifts owned labels by one, rebinds ten suffix contacts, and adds twelve scalar events. The normalized word has 71,265 events, 1,483 public fields, and SHA-256 `3d500210240a340b865e2df8ce93cd53ad797537c1f6297508d2bd6a9b863d78`. + +For the normalized prefix P and suffix S, the witness checks + +```text +a = -2e1285* - 2e1286* + 2e1287* + e1289* +b = -e1285/2 +c = 2e1285* - 2e1286* +d = e1285/2 +aP = c, Sb = d, ab = cd = 1 +``` + +The boundary basis G has pivot row c and Gd = e1285. The cut basis J has pivot row a and Jb = e1285. Both pivot axes of the old endpoint T = SP are identity and `(c−e1285*)T = c−e1285*`, so GT = TG. Freezing the pivot after J retains the old input. Rebinding the suffix to fresh input z adds `(z−x1285)b` to the normalized cut state. The suffix and output basis send that difference only to the successor. The proof holds on every chart column. + +The complete paid profile P is unchanged. The productive profile changes by +18 at rank four, +18 at rank five, and −18 at rank nine. Its signed moment gain is strictly positive by concavity. The rank surplus remains 1,520 and there are zero empty root credits. The signed caller is unchanged. + +## Clean replay + +```sh +python3.12 -B scripts/research_package.py --package research/cocharted-rank9-helper-split +``` + +The archive rebuilds the #7109 predecessor and emits the candidate from the exact witness. Replay checks the complete normalized endpoints independently, the physical endpoint probe, both changed maps on all 512 columns with wrong-phase controls, the signed caller and its 32 physical requests, the common grid, modeled ordinary work, the attributed precision envelope, and two directed price engines. The predecessor rejects the new claim and a corrupted scalar fails reverse replay. + +The same native all-column, owned ascent and erasure, uniform compiler, exact child, precision and fixed-tape, analytic recovery, LAMBDA, one-field idle, per-port caller, paired BIT and modeled ordinary tariff premises apply. The physical fixed-tape realization, total rounded provider and #6998 tariff bridge remain open. + +Credit to the #7109 and #7107 lineages, Ali Romman and CubeJerry for the helper-split construction, and the signed-caller and P104 contributors. OpenAI Codex assisted discovery, construction and verification. + +## Open next questions + +Can the fixed-tape provider and common-volume tariff bridge be certified on the retained source contract? The next source-bound check is to reconcile the #6998 conversion and A6 trace under one tape width model. diff --git a/research/cocharted-rank9-helper-split/REPLAY.tar.gz b/research/cocharted-rank9-helper-split/REPLAY.tar.gz new file mode 100644 index 0000000000..88f20e78c8 Binary files /dev/null and b/research/cocharted-rank9-helper-split/REPLAY.tar.gz differ diff --git a/research/cocharted-rank9-helper-split/RESULT.json b/research/cocharted-rank9-helper-split/RESULT.json new file mode 100644 index 0000000000..22769d9c48 --- /dev/null +++ b/research/cocharted-rank9-helper-split/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": "13024214226893/100000000000000000", "BIT_pin": "376669/100000000", "H": "16472800000000000000000", "alpha": [0.9999999999999998, 0.9999999999999998], "claim": "3636447857731/1000000000000000", "compiler_gap": "1/100000000000000000", "delta": [0.8772726304707504, 0.8772726304707504], "derivative_upper": -407876.5910652963, "gamma": [0.9499598114345539, 0.9499598114345539], "input_lift": {"derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "interval_kappa_cap": "376669/100000000", "margins": {"3636447857731/1000000000000000": ["31020098040296427973135953984229448955417981738330514165529330154280107535409/25000000000000000000000000000000000000000000000000000000000000000000000000000000", "24816078432237142378508763187383559164334385390664411332423464123424086028711/20000000000000000000000000000000000000000000000000000000000000000000000000000000"], "363644785773107/100000000000000000": ["124080392161187998725009684940243064878844248227395141163872261091883008973591/100000000000000000000000000000000000000000000000000000000000000000000000000000000", "31020098040296999681252421235060766219711062056848785290968065272970752243887/25000000000000000000000000000000000000000000000000000000000000000000000000000000"]}, "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000"}, "minimum_log_power": 2231, "moment_margin_float": {"142048744442625373347714880391/39062500000000000000000000000000": [1.4507404609825787e-29, 1.4507404609825787e-29], "363644785773107/100000000000000000": [5.789483987749959e-11, 5.789483987749959e-11], "36364478577312095577015009380097/10000000000000000000000000000000000": [-2.697711344603403e-29, -2.697711344603403e-29]}, "moment_margins": {"142048744442625373347714880391/39062500000000000000000000000000": ["725370230491289293636635396144760780497993370412271/50000000000000000000000000000000000000000000000000000000000000000000000000000000", "725370230491289293636635396144760780497993391393843/50000000000000000000000000000000000000000000000000000000000000000000000000000000"], "363644785773107/100000000000000000": ["115789679754999175009406153596219377319716312465892844630226508402801/2000000000000000000000000000000000000000000000000000000000000000000000000000000", "2894741993874979375235153839905484432992907811647321115755662731134107/50000000000000000000000000000000000000000000000000000000000000000000000000000000"], "36364478577312095577015009380097/10000000000000000000000000000000000": ["-1348855672301701388026720169458315281584430448420291/50000000000000000000000000000000000000000000000000000000000000000000000000000000", "-337213918075425347006680042364578820396107606875121/12500000000000000000000000000000000000000000000000000000000000000000000000000000"]}, "outer": {"BIT_just_below_effective_rejected": true, "functional_count": 4, "minimum_margin": "1/1000000000000000000", "strict_count": 54}, "raw_bracket": ["142048744442625373347714880391/39062500000000000000000000000000", "36364478577312095577015009380097/10000000000000000000000000000000000"], "tested": "363644785773107/100000000000000000", "written_log_power": 2232}, "invoice": {"P": {"1": 72888, "2": 15174, "3": 14706, "4": 4266, "5": 5886, "6": 288, "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": 810, "4": 3888, "5": 1260, "6": 738, "7": 324, "8": 1008, "9": 11306, "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.0036364478577312095577015009380096349706475806016290411328966748555", "raw_crossing": "0.0036364478577312095577015009380096349706475806016290411328966748555"}, "mutation_bad_inputs": [1286], "native": {"bad_inputs": [], "events": 71265, "helpers": {"1": 14, "2": 18, "3": 45, "4": 216, "5": 70, "6": 41, "7": 18, "8": 56, "9": 605}, "lifetimes": 54, "owned_peak": 43, "paid": {"1": 4028, "2": 843, "3": 817, "4": 237, "5": 327, "6": 16, "7": 12, "8": 6}, "public": 1483, "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": 847350304, "extra_B_scalar_surcharge": 784256, "init_clear_allowance": 216, "lambda_paid_rank1_would_reduce_S_by": 14384, "lambda_second_charge": 14384000, "margin_to_billion": 152649696, "odd_divisions": {"ADD": 4079, "SCALE": 64}, "per_input_conversion": 2776176, "raw_upper": 829405872, "route_items": {"first_main_adapter": 416, "first_main_boundary": 208, "helper_boundary": 2166, "moves": 6286, "owned_lifetime": 216, "second_main_adapter": 384, "second_main_boundary": 192}, "routing": 9868000, "scalar_upper": 1777544}, "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": "165292444343760323401155772441945289487094522487328722024200966101122272523027193523150707686849312800218630107891075997101638616814187596693367427896379196396139375939545027622653652645241588970968003449551901741111599923100072250069260288367525910897475622778689918763945407765323543999762572851/5013657159105790113341453107200000000000000000", "strict_power_of_two": 833, "witness": {"cut": 4982, "event": 4982, "factor": "1", "kind": "stored", "register": 39}}, "Gamma_context": {"exact": "106523384590479908258662662982765471447154933561246509970866347743557488169298359628123130008426540764899831043863348961835648800839419127777945763322925701518401899727104090992222220586609266666890467062386503814699278347726235527148258791315382627535883134825014274822255809699595332548020636715591/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": "63921626028290110772001115880013082473800456370255458651755279435135268075345307113117360171483441248439132806692585371377061257862089033582150884920369895653682867231606512172347231885623916342770085186559644593931969339157045691239723790498049595618904300847919246206782869673650581873997177415596941/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": "106523384590479908258662662982765471447154933561246509970866347743557488169298359628123130008426540764899831043863348961835648800839419127777945763322925701518401899727104090992222220586609266666890467062386503814699278347726235527148258791315382627535883134825014274822255809699595332548020636715591/24065554363707792544038974914560000000000000000", "strict_power_of_two": 840, "witness": {"cut": 5098, "event": 5097, "factor": "1", "kind": "stored", "register": 75}}, "Sigma_context": {"exact": "2392900949842350196704387514131272103055986472350871126241844486921649052732505176113743143994017051501548926477993077902348915404586603147105347115827141415864253850210532104721050593013848141478965240611272521132461443462405268249338656458605643322878560369289565096780881856879347273263995370383407871782861959576455957018891790689533467555182845094611678770914495542857394298542024119374390093741913768186953/523682460605265458317141398184019716339716009408677806080000000000000000000000000000000000", "strict_power_of_two": 1069, "witness": {"cut": 4983, "event": 4982, "factor": "1", "kind": "stored", "register": null}}}, "fresh_arbitrary_helpers": 19494, "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": "165292444343760323401155772441945289487094522487328722024200966101122272523027193523150707686849312800218630107891075997101638616814187596693367427896379196396139375939545027622653652645241588970968003449551901741111599923100072250069260288367525910897475622778689918763945407765323543999762572851/5013657159105790113341453107200000000000000000"}, "Gamma_context": {"entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", "residual_mass": "106523384590479908258662662982765471447154933561246509970866347743557488169298359628123130008426540764899831043863348961835648800839419127777945763322925701518401899727104090992222220586609266666890467062386503814699278347726235527148258791315382627535883134825014274822255809699595332548020636715591/24065554363707792544038974914560000000000000000"}, "M_caller": {"entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528104995/131072", "residual_mass": "106523384590479908258662662982765471447154933561246509970866347743557488169298359628123130008426540764899831043863348961835648800839419127777945763322925701518401899727104090992222220586609266666890467062386503814699278347726235527148258791315382627535859069270650567029711770724680772548020636715591/24065554363707792544038974914560000000000000000"}, "M_joint_entrance": {"entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", "residual_mass": "165292444343760323401155772441945289487094522487328722024200966101122272523027193523150707686849312800218630107891075997101638616814187596693367427896379196396139375939545027622653652645241588970968003449551901741111599923100072250069260288367525910897475622778689918763945407765323543999762572851/5013657159105790113341453107200000000000000000"}, "Sigma_caller": {"entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", "residual_mass": "106523384590479908258662662982765471447154933561246509970866347743557488169298359628123130008426540764899831043863348961835648800839419127777945763322925701518401899727104090992222220586609266666890467062386503814699278347726235527148258791315382627535883134825014274822255809699595332548020636715591/24065554363707792544038974914560000000000000000"}}, "joint_entries": [{"entrance_defect": "4384", "entrance_mass": "23859/2", "event": 49, "stage": 1}, {"entrance_defect": "20945275888205216822136770170857843781306468692431882013791677394534447241497093606133067634897208600537366569184636961/918028044269859029542502400000000000000000", "entrance_mass": "44760984243/4", "event": 144, "stage": 2}, {"entrance_defect": "60040728145823720028850295795863180331245435801728778217238066290557148922337505072307089748597010109690251584641494756241065219/58753794833270977890720153600000000000000000", "entrance_mass": "8019347752894898813/16", "event": 275, "stage": 3}, {"entrance_defect": "774818034974189018742045333182641258311544778363216064512595534476252512609257032919801193204730410673057902138880460049924615608616463/2937689741663548894536007680000000000000000", "entrance_mass": "258721681913211409397548013/2", "event": 435, "stage": 4}, {"entrance_defect": "2752126279812842911614517363846364263857241936355540137009899438461308143059846343325842127994827727236572032027276536282120748990234064041419111/19584598277756992630240051200000000000000000", "entrance_mass": "1102764325780487636837595009524032653/16", "event": 627, "stage": 5}, {"entrance_defect": "4939143639019253425648287425523177264276835389628095659102892518289043038083076727970598932124466058334947697064909265002636078508210289546411705494440033/14688448708317744472680038400000000000000000", "entrance_mass": "659697369868562418053848749577901431896032551/4", "event": 848, "stage": 6}, {"entrance_defect": "74896342606975926138251364169613869145845263509172406942951397008247839220694145832422911256245435800493831297010552508755040907964223342392960755550571140660032767/94006071733233564625152245760000000000000000", "entrance_mass": "50017699262951285012300223375874644326538714050483088723/128", "event": 1101, "stage": 7}, {"entrance_defect": "309114130159718082974645585114062354532507754102539809184502906764571450238805046625765949468917056096886679419140091912130868497667886089556830230822553419049637447536443009/39169196555513985260480102400000000000000000", "entrance_mass": "123860608372223676361208276303474840021608894935793894644443117475/32", "event": 1383, "stage": 8}, {"entrance_defect": "3345884442466797853932151974466734415141282876809563551901382632333478089812689686424366834601763983018110625823843212898270951304865865336721309863261244235895838654880025252544095281/235015179333083911562880614400000000000000000", "entrance_mass": "446893495694686287960280473450842802655971489871616126572592413520841719161/64", "event": 1662, "stage": 9}, {"entrance_defect": "96026662966673039292447998707102193663891960878638771705681719496786411786846177086439726298824621383663370044593952462296057850773015275549415436238458647989247492013892954104928346141367190403260429325683849827358903254941633/58753794833270977890720153600000000000000000", "entrance_mass": "1603226733879417057855793968966209778425632456862348198524030211565823693253398434234475406089669867705587698766845597/2", "event": 3203, "stage": 10}, {"entrance_defect": "1197848086574183049821071854148575314524964636216808982087359516800634998105246537705098284570243555951401513342020461559956567932794925802826893207572443444732555878809467433587938345427248834811057949096431578902847901757608172553830687/940060717332335646251522457600000000000000000", "entrance_mass": "159990737255009044304340266028013949411590186711547802615104749842798991699729693917477577741470706009608765481680513095697397863/256", "event": 3526, "stage": 11}, {"entrance_defect": "5341832345878048201213523997072168054301900648618756678958678164846954106258778987929405235765621505475641473979896611527199183018737742240977250410164467690534000820455102496513616060223138095186059964722764281297918923294434818965928463186621047/3760242869329342585006089830400000000000000000", "entrance_mass": "713482539972112811302498126039122556478474335397824876612540289480809876975347015211250548661355667282704396311981650378099911649135840063/1024", "event": 3821, "stage": 12}, {"entrance_defect": "574524412326790829036983079562715713571694021281879324065816667659285585110600798054699173200371933921084587178228652698910699081633102444796501581211361006318225831100834707260918435667773783829655137360027410053598062996391502773217320530308291013698813/417804763258815842778454425600000000000000000", "entrance_mass": "690627858377635566118234917748020783796286454330854789097666289598705747090709204201800639258908872647850357504982405971722609074791401430947671165/1024", "event": 4088, "stage": 13}, {"entrance_defect": "3525358863923151993891566544247083013341815906089589453588776784236270112449114893194245211690030306086025307292183926292327215583153770976691216624815319003597024471032734964037724076725847083228243186895416941765145724607746003267352415479725456753490650856639119/7520485738658685170012179660800000000000000000", "entrance_mass": "470865020405587123936906066570155601953174646068287322382245101819760273515813542612024822098129182481570490831889396523550001544922531326945370763196989399/2048", "event": 4324, "stage": 14}, {"entrance_defect": "347887716484709323893252779573134434571674408341809400936701649315046680413908075212011279569378909744957309856152835857095125543210261026237949182545963993149353381405220773711279051459830871744539713255544579457638907053625385720958728090478503203918384623432004330593617/3760242869329342585006089830400000000000000000", "entrance_mass": "46465668615402712050475352820015987705766128000689019237904160504542353131957951954454381327545881694314550682714483945959032017848349099581053150524269011108711881/1024", "event": 4532, "stage": 15}, {"entrance_defect": "169944890697424776849213739726098371825197745757247881892781318565648968011910482638315559682083250625574188312315358819798132393501881998021103587686445659344647961807507252199686392210752166800478156480369822583034902620737814591486738566497971116728619524063371262831983369137943/30081942954634740680048718643200000000000000000", "entrance_mass": "22698711681515933658235268009935719580127806482189476469420786919611768582281970304620813093468639555288906634046185136362302550495196405154606658307111274865117192668126623/8192", "event": 4709, "stage": 16}, {"entrance_defect": "350944142817531428902875331631856861383628964416925168055811999055318384218808857814423508643014198697860891754301817035208226606824788343406050325555777971876086732552631457644036283836262272275171127735224329796348250620930475660120247512949341182900319041372071541690421889421177274057/6016388590926948136009743728640000000000000000", "entrance_mass": "234369503003028720835110712559034466962392865438574454855472632480300248897620917700915501102797005900029816899906431175273180672543487679750570754841237111980601879269511857634373/8192", "event": 4858, "stage": 17}, {"entrance_defect": "165292444343760323401155772441945289487094522487328722024200966101122272523027193523150707686849312800218630107891075997101638616814187596693367427896379196396139375939545027622653652645241588970968003449551901741111599923100072250069260288367525910897475622778689918763945407765323543999762572851/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": "148410171317465452821398347427977154426075551738681664650513901230280171913226704382356283950235003420491363124931/3672112177079436118170009600000000000000000", "strict_power_of_two": 235, "witness": {"cut": 71265, "factor": "1", "kind": "public-return", "register": 1443}}, "M": {"exact": "14476771514527370283579442105239995542285000787732093181989231556313214221075814148615789859164935429832075886528403/104451190814703960694613606400000000000000000", "strict_power_of_two": 237, "witness": {"cut": 71224, "factor": "1", "kind": "stored", "register": 1443}}, "Sigma": {"exact": "148410171317465452821398347427977154426075551738681664650513901230280171913226704382356283950235003420491363124931/3672112177079436118170009600000000000000000", "strict_power_of_two": 235, "witness": {"cut": 71224, "factor": "1", "kind": "stored", "register": 1443}}}, "census": {"denominator_bits": 19, "events": 71265, "lifetimes": 54, "max_denominator": 393216, "max_numerator": 14729531, "numerator_bits": 24, "opcodes": {"ADD": 61204, "CLEAR": 54, "COPY": 1, "INIT": 54, "MOVE": 6286, "SCALE": 3666}, "owned_labels": 51, "peak_owned": 43, "public": 1483, "scalars": {"dyadic": 60728, "integer": 38928, "noninteger": 25943, "odd": 4143}}, "independent_adjoint": {"Gamma": {"active_residual_sites": 24515, "entrance_mass": "14476771514527370283579442105239995542285000787732093181989231556313214221075814148615789859164935429832075886528403/104451190814703960694613606400000000000000000", "residual_mass": "148410171317465452821398347427977154426075551738681664650513901230280171913226704382356283950235003420491363124931/3672112177079436118170009600000000000000000"}, "M": {"active_residual_sites": 24515, "entrance_mass": "14476771514527370283579442105239995542285000787732093181989231556313214221075814148615789859164935429832075886528403/104451190814703960694613606400000000000000000", "residual_mass": "148410171317465452821398347427977154426075551738681664650513901230280171913226704382356283950235003420491363124931/3672112177079436118170009600000000000000000"}, "Sigma": {"active_residual_sites": 24515, "entrance_mass": "14476771514527370283579442105239995542285000787732093181989231556313214221075814148615789859164935429832075886528403/104451190814703960694613606400000000000000000", "residual_mass": "148410171317465452821398347427977154426075551738681664650513901230280171913226704382356283950235003420491363124931/3672112177079436118170009600000000000000000"}}}, "scope": "Exact-child grid and attributed all-fibre error envelope, with one signed unitary per fused event", "word": {"coefficient_visits": 14089300, "dyadic_height": 24, "mass_witness": [63464, "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": ["20094007534984470721086250930996612061940151152603886964242308016714366934862333/50000000000000000000000000000000000000000000000000000000000000000000000000000000", "10047003767492235360543125465498306030970075576301943482121154008357183476758983/25000000000000000000000000000000000000000000000000000000000000000000000000000000"], "claim_decimal": "0.003636447857731", "gain": "9.68745359E-7", "gain_exact": "968745359/1000000000000000", "independent_raw_bracket": ["0.00363644785773120955770150093800963", "0.00363644785773120955770150093800964"], "previous_claim": "908869778093/250000000000000", "raw_bracket": ["0.0036364478577312095577015009380096", "0.0036364478577312095577015009380097"]}, "status": "PASS_COCHART_RANK9_SPLIT_GATES", "word_sha256": "3d500210240a340b865e2df8ce93cd53ad797537c1f6297508d2bd6a9b863d78"} diff --git a/research/cocharted-rank9-helper-split/SOURCES.json b/research/cocharted-rank9-helper-split/SOURCES.json new file mode 100644 index 0000000000..b06c2f774e --- /dev/null +++ b/research/cocharted-rank9-helper-split/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/cocharted-rank9-helper-split/TASK.json b/research/cocharted-rank9-helper-split/TASK.json new file mode 100644 index 0000000000..56213b3cfa --- /dev/null +++ b/research/cocharted-rank9-helper-split/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": "Find a cocharted dyadic helper split on the exact #7109 signed native word and verify the complete conditional gain.", + "scope_change_reason": "A full coframe search nominated an independent split at an existing chart contact, with no paid MOVE changes.", + "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/cocharted-rank9-helper-split/VERIFY.json b/research/cocharted-rank9-helper-split/VERIFY.json new file mode 100644 index 0000000000..f13d57a73c --- /dev/null +++ b/research/cocharted-rank9-helper-split/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 normalized native and caller replay, changed chart maps and phase, precision, both directed prices and negative controls." + } + ] +} diff --git a/research/cocharted-rank9-helper-split/verify.py b/research/cocharted-rank9-helper-split/verify.py new file mode 100644 index 0000000000..f67a3445f3 --- /dev/null +++ b/research/cocharted-rank9-helper-split/verify.py @@ -0,0 +1,22 @@ +"""Replay the cocharted rank-nine helper split.""" +from hashlib import sha256 +import os +from pathlib import Path +import subprocess +import sys +import tarfile +from tempfile import TemporaryDirectory + +ARCHIVE_SHA = "7a254b76dc6050451f01331205136d1be1ddae14f085cbd54adc44518793de94" +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-cochart-package-") as temp: + source, result = Path(temp) / "source", Path(temp) / "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()