Raise conditional κ to 0.00312265044 with asynchronous helper hubs

research/p104-asynchronous-helper-hubs/LOCAL-EDITS.json

@@ -0,0 +1,14 @@
+[
+  [
+    "8 <= owned <= 22",
+    "8 <= owned <= 25"
+  ],
+  [
+    "public == 767",
+    "767 <= public <= 770"
+  ],
+  [
+    "0 < peak <= 12",
+    "0 < peak <= 13"
+  ]
+]

research/p104-asynchronous-helper-hubs/NOTICE

@@ -0,0 +1,67 @@
+Asynchronous helper hubs
+New work: Ali Romman with substantial OpenAI Codex assistance. Apache-2.0.
+
+Retained native copies from PR5774 at 7d6ec0cdef31d0c37b7d2563e709979caa0d5eae.
+All prior credit follows unchanged.
+
+Paid intermediate meetings and collective helper splits.
+Ali Romman, with substantial OpenAI Codex assistance. Apache-2.0.
+No subagents. All checks are author-side calculations.
+
+The complete PR5718 notice follows unchanged.
+
+Four paid interior public-basis changes.
+Ali Romman, with substantial OpenAI Codex assistance. Apache-2.0.
+No subagents.
+
+The following exact notice is retained from PR5660.
+
+New helper-subspace construction, proof and replay:
+Ali Romman with substantial OpenAI Codex assistance. Apache-2.0.
+The same assistant performed the construction and author-side checks.
+
+Retained contributions:
+flyingviper: PR5605 shared relay, PR5612 delayed relay, and the PR5608/PR5613
+relay/split compositions.
+Scratch-net: PR5606 prepared-helper identities and target debit.
+Pierre-Loic Doulcet (hexapode): PR5565 commuting-contact construction, used as the exact source.
+Ali Romman: PR5602 fixed boundary relations, PR5601 three-contact frame
+change, PR5580 contact step,
+and PR5544/5545 complete P104 caller.
+Joel Pulikkan (GamingPuzzled): PR5569 priced helper handoff.
+DreamingOfClouds: PR5561 free helper endpoints and PR5568 search tools.
+thu-nmrc: PR5551 contact improvements.
+Gareth Davidson (bitplane): PR2305 source composition.
+David Arias: PR2152 coalesced P104 word.
+Cinna Davis: PR2219 private reuse and the controller lineage.
+Jacob Alan Sussman: productive mixed-target recursion.
+zxv and Cao Yifan: exact intervals, compiler and native/pricing lineage.
+GamingPuzzled: PR5472 successor handoff, a predecessor to the split concept.
+The retained source notices preserve earlier geometry, BIT and analytic credit.
+
+The elementary rank-one basis identity is not claimed as a new general
+linear-algebra theorem. The contribution is its explicit independent-target
+use on this P104 word and the complete conditional kappa improvement.
+
+New contribution: Ali Romman, with substantial OpenAI Codex assistance.
+The four-gate source-version rewrite composes zxv PR5643 and Ali Romman PR5644.
+The A2 method retains Chris R/Clear1nsight PR3998 and ToikY PR4019 credit.
+The compensated triangle method retains Cinna Davis PR4692 credit.
+No subagents were used for this contribution. Apache-2.0.
+
+Concurrent PR5650 by zxv publishes the PR5643/PR5644 composition. PR5651 by
+Ali Romman corroborates it. This package credits that released composition
+and contributes the further four-gate placement.
+
+New work: distributed scalar updates on an unobserved public field interval, the exact witness and complete conditional price. Prepared for Ali Romman with substantial OpenAI Codex assistance. No subagents. Apache-2.0. The source archive retains all predecessor notices.
+
+Two-boundary main-assisted helper split and early cleanup: flyingviper with substantial
+OpenAI Codex assistance, including independent AI review agents. Apache-2.0.
+
+Retained native-copy construction
+Prepared by Ali Romman with substantial OpenAI Codex assistance. No subagents.
+The paid-meeting source is PR5751 by Ali Romman with OpenAI Codex assistance.
+The dimension-four span [265,194,164,75] is from Joel Pulikkan / GamingPuzzled
+PR5739, with Claude Opus 5.5 assistance. The R22 block edits are not included.
+The retained-copy mechanism, exact constructor, source-specific verification,
+new price and proof are the contribution of this package. Apache-2.0.

research/p104-asynchronous-helper-hubs/PLAN.json

@@ -0,0 +1,193 @@
+{
+  "source_canonical_sha256": "75f429fc0c8b206f4439bfbda4b621fc62ea892e6e3008c17409f2d3ee0981bb",
+  "steps": [
+    {
+      "pivot": 696,
+      "frame": 1031,
+      "time2": 27044,
+      "buffer": 790,
+      "collection": [
+        {
+          "time2": 27026,
+          "role": 696,
+          "coefficient": "1"
+        }
+      ],
+      "injection": [
+        {
+          "time2": 27044,
+          "role": 696,
+          "coefficient": "1"
+        },
+        {
+          "time2": 27044,
+          "role": 697,
+          "coefficient": "1"
+        },
+        {
+          "time2": 27501,
+          "role": 770,
+          "coefficient": "1"
+        },
+        {
+          "time2": 27516,
+          "role": 699,
+          "coefficient": "1"
+        }
+      ],
+      "input": {
+        "696": "1"
+      },
+      "output": {
+        "733": "1",
+        "709": "1",
+        "696": "1",
+        "133": "2",
+        "699": "1",
+        "697": "1"
+      },
+      "queries": [
+        13750
+      ],
+      "source_sha256": "75f429fc0c8b206f4439bfbda4b621fc62ea892e6e3008c17409f2d3ee0981bb",
+      "query_events": [
+        [
+          "MOVE",
+          770,
+          591,
+          597,
+          true
+        ]
+      ],
+      "output_sha256": "42b7418cdcd42c50a09ec8bd97cd42f4953802e16f179997643d8bde503735f1"
+    },
+    {
+      "pivot": 623,
+      "frame": 117,
+      "time2": 26314,
+      "buffer": 792,
+      "collection": [
+        {
+          "time2": 26314,
+          "role": 623,
+          "coefficient": "1"
+        }
+      ],
+      "injection": [
+        {
+          "time2": 26318,
+          "role": 624,
+          "coefficient": "1"
+        },
+        {
+          "time2": 26330,
+          "role": 627,
+          "coefficient": "-1/2"
+        },
+        {
+          "time2": 26332,
+          "role": 629,
+          "coefficient": "-1/2"
+        },
+        {
+          "time2": 26336,
+          "role": 629,
+          "coefficient": "1/2"
+        },
+        {
+          "time2": 32701,
+          "role": 732,
+          "coefficient": "1/2"
+        }
+      ],
+      "input": {
+        "623": "1"
+      },
+      "output": {
+        "732": "1/2",
+        "576": "2",
+        "549": "2",
+        "570": "4",
+        "558": "-4",
+        "575": "2",
+        "548": "2",
+        "569": "2",
+        "547": "2",
+        "546": "-2",
+        "568": "4",
+        "205": "1",
+        "625": "-1",
+        "623": "1",
+        "627": "-1/2",
+        "624": "1"
+      },
+      "queries": [
+        16350
+      ],
+      "source_sha256": "42b7418cdcd42c50a09ec8bd97cd42f4953802e16f179997643d8bde503735f1",
+      "query_events": [
+        [
+          "MOVE",
+          732,
+          594,
+          222,
+          false
+        ]
+      ],
+      "output_sha256": "21b8911d58e6d7777dc7458ccf5b05f1da8669bc1044270909746ddd4abc5948"
+    },
+    {
+      "pivot": 585,
+      "frame": 245,
+      "time2": 34391,
+      "buffer": 794,
+      "collection": [
+        {
+          "time2": 31557,
+          "role": 438,
+          "coefficient": "-1"
+        },
+        {
+          "time2": 34391,
+          "role": 585,
+          "coefficient": "1"
+        }
+      ],
+      "injection": [
+        {
+          "time2": 34391,
+          "role": 585,
+          "coefficient": "1"
+        }
+      ],
+      "input": {
+        "585": "1"
+      },
+      "output": {
+        "585": "1"
+      },
+      "queries": [
+        15778,
+        17195
+      ],
+      "source_sha256": "21b8911d58e6d7777dc7458ccf5b05f1da8669bc1044270909746ddd4abc5948",
+      "query_events": [
+        [
+          "MOVE",
+          438,
+          911,
+          127,
+          false
+        ],
+        [
+          "MOVE",
+          585,
+          918,
+          127,
+          false
+        ]
+      ],
+      "output_sha256": "45e3f8efd004f2a6d2c02a2ac2ebe3dd9ce04c887641ec9ab31e47f8c7f41e1b"
+    }
+  ]
+}

research/p104-asynchronous-helper-hubs/PRICING-EDITS.json

@@ -0,0 +1,18 @@
+[
+  [
+    "KAPPA, TESTED = Q('.00312192127'), Q('.003121921275')",
+    "KAPPA, TESTED = Q('.00312265044'), Q('.003122650445')"
+  ],
+  [
+    "PREVIOUS = Q('.00311301600')",
+    "PREVIOUS = Q('.00312192127')"
+  ],
+  [
+    "sum(targets.values()) == 13390 and sum(paid.values()) == 66834",
+    "sum(targets.values()) == 13444 and sum(paid.values()) == 66906"
+  ],
+  [
+    "'kappa_decimal':'0.00312192127','previous_pr5751':PREVIOUS",
+    "'kappa_decimal':'0.00312265044','previous_pr5774':PREVIOUS"
+  ]
+]