Improve conditional κ to 0.00172009662868483 with shared kernels

research/shared-kernel-repacking/.gitattributes

@@ -0,0 +1 @@
+* -text

research/shared-kernel-repacking/CLAIM.json

@@ -0,0 +1,50 @@
+{
+  "calls": 333,
+  "derived_source_manifest_sha256": "54dc42f25c1d8b85adcf593c4bf6c0f83f7351388af857812790b8a0b4c3d869",
+  "gain": "1438120379902596153/1000000000000000000000000",
+  "generated_package_manifest_sha256": "88a7ad8ce5cf4cec2633957215f5849459e7eb1087f3e7e1f1865bbe38d685ff",
+  "helper_roles": 135864,
+  "helper_widths": {
+    "4": 26,
+    "5": 2,
+    "7": 62,
+    "8": 84,
+    "9": 234
+  },
+  "kappa": "17200966286848326009719999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
+  "kappa_decimal": "0.0017200966286848326009719999999999999999999998999999999999999999999999",
+  "local_profile": {
+    "1": 2394,
+    "2": 642,
+    "3": 266,
+    "4": 128,
+    "5": 26,
+    "8": 8
+  },
+  "native_receipt_sha256": "5a7571fec09d1d0326a430540df3c19bb90d337dbdf602a63bde032c0da9b98d",
+  "primary_comparison": {
+    "gain": "1438120379902596153/1000000000000000000000000",
+    "head": "c50d12e4720cd1fef2b5a65e337e37de9731879a",
+    "pr": 2848
+  },
+  "provider_calls": {
+    "base": 125,
+    "extra": 208
+  },
+  "release_evidence": "evidence/full/candidate/release/RELEASE-RECEIPT.json",
+  "release_receipt_sha256": "c052decb90ceae345b398f111781f567fb787309a528877500cf7fe1cff13b3d",
+  "replicas": 37,
+  "scope": "Conditional finite supplier and modern outer release; unchanged inherited all-size/compiler/hosting/precision/tape/analytic obligations remain. Two changed providers run fresh; retained provider/parent proof explicitly reused by full-tree hashes.",
+  "secondary_comparison": {
+    "approx_gain": 7.189699872459419e-07,
+    "claim_sha256": "eb3260be191774b931cff6e562978a2af27bbc6ff666ca8c1d387a2b18dc86fa",
+    "field": "kappa_rational",
+    "gain": "7189699872459419246615827392278185991042548574990569587539942495595928959576094075629078385983063650400003424201948266247923600171338928575471866883795891334423521795338535080382401656414515475297025982710190359391689059992403495452686828582357709232440249149672963556236041050723298684385915817417449217705385073145833321366481834904425363262086388277060576458834487330051420123305137059179205677318395952964350749396627325186506122864263229477305890867900841422512149140310616381583896986380573136991988405796041170226076081690532164214595205463319682197469561285276245917780703258673321936645454308733802343795514953059992805396235772113157342387297422742421097475941428317704173074317340082269694285184507473985003475180269741189839472921497904173465107437611568251598211830549290124106996746202512863157520875898830570894349239603302420825373319627797702543534380125158663478190413347597219888009613829827731626618157906706211989401620644315146109394751787258425715988485402242350781648255868925790279096436111257453481811020106093076840760381071476443244027402799472212513790113884546643511903086639310852161627260562673732027874207808079081174463327575486182860044450915169366870555864346156800137051690759468033008812059850619771713471985897237223844424552196447632994994465482645547300181042498740278627879457171042245722157324591147473041097794508520855143063613445481313297138037348119414575080415504525065215107960743710791777056616058472907429431602780660294720287570294573048177705995922097707217381181886097305547549708540060153571280838342848582791950064711314352305401994658064501488847081053752160040731329682450427587522306848026164750958321832171183172313246930191281326155839107184163897623242324963328981882933221566460260043336755861150201070299077615353824821249637769963793904591798784685748010489538196403328294367101757099214406024993482359244986132338450501698568318389206930329146685614223279773016403313273558629122554912175279404746427984360734735058898328595159640039918619156266091951993980877845424594843423904413154022805679242435642413749641590037256571435337964457390354992042520804801385366866375473383018642084250750877331668028309577710100527378552646744286161242932444044048230615482982854868459601872387735992298097909513338347119321588960759847578745040876817413849897043779584950767543895448564146277294667621883810866803105375526835035838098721535011955187709169712874792728677303643413182690345742458350457206548949236257000387340638184257405123125634380278802891605263939959334688659055419461035018741653126475632920705352790184221569032092926099142413569639127028526066387118245241503563673647999297742661103274184416241295606247743751395286327320778923120523916930363312378469495818977657875419381016680284091605307629204826370832779055204920797952564322222252163701419880833695731670320700306852666150897548924069204570864843045801665567645977324958861110130871980201306710823067625186023033001954002269744349148000615184917666691457424694260310000000000000000000001000000000000000000000001/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+    "head": "d01045dfb67428679618027dff552f1d032fa999",
+    "pr": 2853
+  },
+  "selected_frontier_changed": false,
+  "source_manifest_sha256": "c8ec4d1b7be08d2ad30730a07392ad9cb6d0222f2c35bef43c9a80a39b16e41f",
+  "status": "PASS_CONDITIONAL_FINITE_SHARED_KERNEL_RELEASE",
+  "wrapper_sha256": "7fc4cd1277f42ba0a25a1eae72c6290878fefd5bab7053f4e548c15d95d914c5"
+}

research/shared-kernel-repacking/DISPATCH.json

@@ -0,0 +1 @@
+[[0,0,"extra"],[0,1,"extra"],[0,2,"extra"],[0,3,"extra"],[0,4,"extra"],[1,0,"extra"],[0,5,"extra"],[1,1,"extra"],[0,6,"extra"],[1,2,"extra"],[0,7,"extra"],[1,3,"extra"],[0,8,"extra"],[1,4,"extra"],[0,9,"extra"],[2,0,"extra"],[1,5,"extra"],[0,10,"extra"],[2,1,"extra"],[1,6,"extra"],[0,11,"extra"],[2,2,"extra"],[1,7,"extra"],[0,12,"extra"],[2,3,"extra"],[1,8,"extra"],[0,13,"extra"],[2,4,"extra"],[1,9,"extra"],[3,0,"extra"],[0,14,"extra"],[2,5,"extra"],[1,10,"extra"],[3,1,"extra"],[0,15,"extra"],[2,6,"extra"],[1,11,"extra"],[3,2,"extra"],[0,16,"extra"],[2,7,"extra"],[1,12,"extra"],[3,3,"extra"],[0,17,"extra"],[2,8,"extra"],[1,13,"extra"],[3,4,"extra"],[0,18,"extra"],[2,9,"extra"],[4,0,"extra"],[1,14,"extra"],[3,5,"extra"],[0,19,"extra"],[2,10,"extra"],[4,1,"extra"],[1,15,"extra"],[3,6,"extra"],[0,20,"extra"],[2,11,"extra"],[4,2,"extra"],[1,16,"extra"],[3,7,"extra"],[0,21,"extra"],[2,12,"extra"],[4,3,"extra"],[1,17,"extra"],[3,8,"extra"],[0,22,"extra"],[2,13,"extra"],[4,4,"extra"],[1,18,"extra"],[3,9,"extra"],[0,23,"extra"],[5,0,"extra"],[2,14,"extra"],[4,5,"extra"],[1,19,"extra"],[3,10,"extra"],[0,24,"extra"],[5,1,"extra"],[2,15,"extra"],[4,6,"extra"],[1,20,"extra"],[3,11,"extra"],[0,25,"extra"],[5,2,"extra"],[2,16,"extra"],[4,7,"extra"],[1,21,"extra"],[3,12,"extra"],[0,26,"extra"],[5,3,"extra"],[2,17,"extra"],[4,8,"extra"],[1,22,"extra"],[3,13,"extra"],[0,27,"extra"],[5,4,"extra"],[2,18,"extra"],[4,9,"extra"],[1,23,"extra"],[6,0,"extra"],[3,14,"extra"],[0,28,"extra"],[5,5,"extra"],[2,19,"extra"],[4,10,"extra"],[1,24,"extra"],[6,1,"extra"],[3,15,"extra"],[0,29,"extra"],[5,6,"extra"],[2,20,"extra"],[4,11,"extra"],[1,25,"extra"],[6,2,"extra"],[3,16,"extra"],[0,30,"extra"],[5,7,"extra"],[2,21,"extra"],[4,12,"extra"],[1,26,"extra"],[6,3,"extra"],[3,17,"extra"],[0,31,"extra"],[5,8,"extra"],[2,22,"extra"],[4,13,"extra"],[1,27,"extra"],[6,4,"extra"],[3,18,"extra"],[0,32,"extra"],[5,9,"extra"],[2,23,"extra"],[7,0,"extra"],[4,14,"extra"],[1,28,"extra"],[6,5,"extra"],[3,19,"extra"],[0,33,"extra"],[5,10,"extra"],[2,24,"extra"],[7,1,"extra"],[4,15,"extra"],[1,29,"extra"],[6,6,"extra"],[3,20,"extra"],[0,34,"extra"],[5,11,"extra"],[2,25,"extra"],[7,2,"extra"],[4,16,"extra"],[1,30,"extra"],[6,7,"extra"],[3,21,"extra"],[0,35,"extra"],[5,12,"extra"],[2,26,"extra"],[7,3,"extra"],[4,17,"extra"],[1,31,"extra"],[6,8,"extra"],[3,22,"extra"],[0,36,"extra"],[5,13,"extra"],[2,27,"extra"],[7,4,"extra"],[4,18,"extra"],[1,32,"extra"],[6,9,"extra"],[3,23,"extra"],[8,0,"extra"],[5,14,"extra"],[2,28,"extra"],[7,5,"extra"],[4,19,"extra"],[1,33,"extra"],[6,10,"extra"],[3,24,"extra"],[8,1,"extra"],[5,15,"extra"],[2,29,"extra"],[7,6,"extra"],[4,20,"extra"],[1,34,"extra"],[6,11,"extra"],[3,25,"extra"],[8,2,"extra"],[5,16,"extra"],[2,30,"extra"],[7,7,"extra"],[4,21,"extra"],[1,35,"extra"],[6,12,"extra"],[3,26,"extra"],[8,3,"extra"],[5,17,"extra"],[2,31,"extra"],[7,8,"extra"],[4,22,"extra"],[1,36,"extra"],[6,13,"extra"],[3,27,"extra"],[8,4,"extra"],[5,18,"extra"],[2,32,"extra"],[7,9,"extra"],[4,23,"extra"],[6,14,"extra"],[3,28,"gauge44"],[8,5,"gauge44"],[5,19,"gauge44"],[2,33,"gauge44"],[7,10,"gauge44"],[4,24,"gauge44"],[6,15,"gauge44"],[3,29,"gauge44"],[8,6,"gauge44"],[5,20,"gauge44"],[2,34,"gauge44"],[7,11,"gauge44"],[4,25,"gauge44"],[6,16,"gauge44"],[3,30,"gauge44"],[8,7,"gauge44"],[5,21,"gauge44"],[2,35,"gauge44"],[7,12,"gauge44"],[4,26,"gauge44"],[6,17,"gauge44"],[3,31,"gauge44"],[8,8,"gauge44"],[5,22,"gauge44"],[2,36,"gauge44"],[7,13,"gauge44"],[4,27,"gauge44"],[6,18,"gauge44"],[3,32,"gauge44"],[8,9,"gauge44"],[5,23,"gauge44"],[7,14,"gauge44"],[4,28,"gauge44"],[6,19,"gauge44"],[3,33,"gauge44"],[8,10,"gauge44"],[5,24,"gauge44"],[7,15,"gauge44"],[4,29,"gauge44"],[6,20,"gauge44"],[3,34,"gauge44"],[8,11,"gauge44"],[5,25,"gauge44"],[7,16,"gauge44"],[4,30,"gauge44"],[6,21,"gauge44"],[3,35,"gauge44"],[8,12,"gauge44"],[5,26,"gauge44"],[7,17,"gauge44"],[4,31,"gauge44"],[6,22,"gauge44"],[3,36,"gauge44"],[8,13,"gauge44"],[5,27,"gauge44"],[7,18,"gauge44"],[4,32,"gauge44"],[6,23,"gauge44"],[8,14,"gauge44"],[5,28,"gauge44"],[7,19,"gauge44"],[4,33,"gauge44"],[6,24,"gauge44"],[8,15,"gauge44"],[5,29,"gauge44"],[7,20,"gauge44"],[4,34,"gauge44"],[6,25,"gauge44"],[8,16,"gauge44"],[5,30,"gauge44"],[7,21,"gauge44"],[4,35,"gauge44"],[6,26,"gauge44"],[8,17,"gauge44"],[5,31,"gauge44"],[7,22,"gauge44"],[4,36,"gauge44"],[6,27,"gauge44"],[8,18,"gauge44"],[5,32,"gauge44"],[7,23,"gauge44"],[6,28,"gauge44"],[8,19,"gauge44"],[5,33,"gauge44"],[7,24,"gauge44"],[6,29,"gauge44"],[8,20,"gauge44"],[5,34,"gauge44"],[7,25,"gauge44"],[6,30,"gauge44"],[8,21,"gauge44"],[5,35,"gauge44"],[7,26,"gauge44"],[6,31,"gauge44"],[8,22,"gauge44"],[5,36,"gauge44"],[7,27,"gauge44"],[6,32,"gauge44"],[8,23,"gauge44"],[7,28,"gauge44"],[6,33,"gauge44"],[8,24,"gauge44"],[7,29,"gauge44"],[6,34,"gauge44"],[8,25,"gauge44"],[7,30,"gauge44"],[6,35,"gauge44"],[8,26,"gauge44"],[7,31,"gauge44"],[6,36,"gauge44"],[8,27,"gauge44"],[7,32,"gauge44"],[8,28,"gauge44"],[7,33,"gauge44"],[8,29,"gauge44"],[7,34,"gauge44"],[8,30,"gauge44"],[7,35,"gauge44"],[8,31,"gauge44"],[7,36,"gauge44"],[8,32,"gauge44"],[8,33,"gauge44"],[8,34,"gauge44"],[8,35,"gauge44"],[8,36,"gauge44"]]