Conditional κ = 7.93392809291691·10⁻⁴: #346's w3 bit word with a per-point p = 10 complex supplier (+0.1025 % over #346)

.gitattributes

@@ -18,3 +18,5 @@ research/coordinated-frames-and-entrance-banks/** -text -whitespace
 # Frozen PR210 package and round-nine evidence retain their audited bytes.
 research/five-stage-source527-banks/** -text -whitespace
 research/community-round9-audit/** -text -whitespace
+# PR346's w3 bit word with a per-point p = 10 complex supplier: MANIFEST.json and SOURCE.json pin exact bytes.
+research/w3-p10b-pointwise-complex/** -text -whitespace

.github/workflows/w3-p10b-pointwise-complex.yml

@@ -0,0 +1,39 @@
+name: w3-p10b-pointwise-complex
+
+on:
+  pull_request:
+    paths:
+      - 'research/w3-p10b-pointwise-complex/**'
+      - '.github/workflows/w3-p10b-pointwise-complex.yml'
+  push:
+    paths:
+      - 'research/w3-p10b-pointwise-complex/**'
+      - '.github/workflows/w3-p10b-pointwise-complex.yml'
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    timeout-minutes: 60
+    strategy:
+      fail-fast: false
+      matrix:
+        python-version: ['3.12', '3.14']
+    steps:
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
+        with:
+          python-version: ${{ matrix.python-version }}
+      - name: Install the regeneration dependencies of the pinned pipeline
+        run: python -m pip install numpy==2.3.5 scipy==1.17.0
+      - name: Pins, bit side, the committed complex program (gx.check1, gxcore, exact price) and kappa
+        run: python3 -B research/w3-p10b-pointwise-complex/verify.py --quick
+      - name: Regenerate the per-point complex program with PR327's chain and compare byte for byte
+        run: python3 -B research/w3-p10b-pointwise-complex/verify.py
+      - name: Require an unchanged tree
+        run: git diff --exit-code

certificates/joint-dual-kappa.json

@@ -842,7 +842,7 @@
     "scripts/experiments/pin_joint_dual_sources.py": "4d31cc0e38b7902709ca5f8f714cba109760d2592346dd7f8dc0b900a2d9fe00",
     "scripts/experiments/verify_joint_dual.py": "7a31bba1e9c0ded32ae285df2ca9bc91ef20c330f6789fdba361876f3c7a1985"
   },
-  "source_manifest_sha256": "4f3c15b82a2d97335d4fe95fb8bcb96bd2a921087da289d9da16c68213a17f17",
+  "source_manifest_sha256": "698fe862a620e5b80b85fbc6034c9456fa0fa9aea638dbbbcb3f9edd24c0415e",
   "sources": [
     {
       "files": {

certificates/joint-dual-validation.json

@@ -226,7 +226,7 @@
     }
   },
   "bit_saving": "2382370177/50000000000000",
-  "certificate_sha256": "9801147b1502cf1e43d5fa39aa37f5291f03b48c30c4dd4f272e0877894a1c24",
+  "certificate_sha256": "6f684fa7f747073a132e8d0b5652cf12a8afa389f2a16ff6ade8e080d786dd22",
   "kappa": "4764513337/100000000000000",
   "margins": 7,
   "producer_words_regenerated_and_matched": true,

research/joint-dual/SOURCE.json

@@ -3,9 +3,9 @@
   "base_pr57_commit": "cd350f76c9bc01489ec83568bded532cb69be938",
   "base_pr58_commit": "bc2f7ed4c20dc18898305ab17165c0c995cbb804",
   "files": {
-    "Makefile": "768131bd4ce18433f6abccdc9812a38c92e11220e3a1019c6d95334b42f529d1",
+    "Makefile": "cd0fb59dc078d1fdf54a163ea13bb3660d03c8fe69c1a7f99fc8e5f476a3d5c2",
     "NOTICE": "b49022cb4104d90b182e4c335f670faf45529025b15db77bf0291835083c28bd",
-    "README.md": "d104c31d5b7e0d3a8d011a0e3517ab615e5b499b3dc05684f7ad3cadcd28bdae",
+    "README.md": "b81f8035b859007add6693c6d860371c9100a6766e494045495a28a457a5fcb9",
     "certificates/joint-dual-compiler.json": "516c4d85158553dabd0a98216a064b2a7397957a9d5dd0df1d6e5aec53a4e805",
     "certificates/joint-dual-profiles-23.json": "159fa8fee175fc1d24f63e72d3c2f1dc9f4fcd78b938c5e7d2f735fd0fd37209",
     "certificates/joint-dual-profiles-25.json": "8d190ce42d097e828c5756918c52f2963df576cf4c6600b0fc7f2b7fdb6ad223",

research/w3-p10b-pointwise-complex/MANIFEST.json

@@ -0,0 +1,78 @@
+{
+ "description": "sha256 of every file of research/w3-p10b-pointwise-complex except this one; verify.py requires the package to be exactly these files",
+ "files": {
+  "NOTICE": "89d5e68252ca35205382e39a9e0c6b317c36f2d8be435c4faee6364d83392370",
+  "PROOF.md": "65539c02cfebca3dc93aebcf3fc228f6baae1ff6c9db05ef4362ef69db56bb71",
+  "README.md": "65ff95f63441f902912e1cbe24897bcd77fb018769ad6d184e8dc33386af0387",
+  "SOURCE.json": "8af41f59ebe6ac70cafc04d576309ee03f873c80f7275869d57c3b9d103a19c4",
+  "aligned_word_p.py": "bca04f6027c6c6696c1593767487dffa0965cbd7c9fc83493552de4569857757",
+  "aligned_word_spec.py": "6d249179796ecf5aa3e2722e65d98485510752861dc78465498f4cdce7e219ee",
+  "bit/pr346/FINAL-RECORDS.bin.gz": "fc4f1986da4585dc1721bcd954a95b3ffb2b562cc7031f40242de81664e3acb6",
+  "bit/pr346/LICENSE": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4",
+  "bit/pr346/NOTICE.md": "02b59cc0542c78f409d30ce4fd546a806b606b76e185acd9aad1e32deb705008",
+  "bit/pr346/RECORD-SHA256SUMS": "21f732671eb34468be2252d4dfb81bdec4e7d7cd6564b93a482c2dd925e9c3b2",
+  "bit/pr346/kappa-L10f.json": "5b93dee60fb047f70f0b20e3e4bb84f3992515fbc39fc9d27788cd9ae2d950a8",
+  "centre46.py": "40e36dbb4b8a6a2ddb7c947433522d31efbb1ed92969eab7b9da03dacf4e8f9b",
+  "certificate/expected.json": "3a008374da466c2885bb1cad1309c5871ab2b09f8fc0c6eb1cfcebbf63314930",
+  "certificates/gcert1-p10-b325-c2.json.gz": "5c51f5d5c70ef53526740e140d435828ae6bb2be072aae9eca3bc2c40f11265f",
+  "discovery/README.md": "f445c7bb8b026294175ef8c57a99ca56aae2fae51611c35b39411e4e808b1b8d",
+  "discovery/pipe.py": "dccba23ec014a995a65149784ca2b3208231c11a33a0c327608b0c57045406f2",
+  "discovery/pr327/add_centre.py": "891c89f436ebe9e785c98b5e48b85a875dcf18c08fe5f6aac754b59b36502512",
+  "discovery/pr327/extend_floor.py": "6762dd49b801f2419416bcf2c60b6390605a382d252b30679cf53a024aaa8126",
+  "discovery/pr327/make_layer_p.py": "ea339b774109bbfb4ca5c00ff164d7ddff4c3c97433ab064b0a8d78744c3469e",
+  "discovery/pr327/pairs_mw_p.py": "7f619d53d1109626f8f3307b1735606572645518d07ac4f423b851939ff56382",
+  "discovery/pr327/pr233/README.md": "1bd628da0afbccfd9baafc2d51cd96a51a4e46c782b783a1c16bea04fd88d98c",
+  "discovery/pr327/pr233/bundles.py": "71c81bc858e62e03e2a5230c16c4c199a027c24402cdc937bd4ded60f4ee3286",
+  "discovery/pr327/pr233/joint.py": "e4857418f6e16d6fbb1815d3c4148116e35a6b9940cb57acb2b563da5621b92c",
+  "discovery/pr327/pr233/matching.py": "59d1cd30e67d3511cf799140eb248e785e77aaccff7c47a22a0feef8fb6f021e",
+  "discovery/pr327/pr233/pairs_mw.py": "aa927718ad27bebcfa2bddeb3704d4721433c2d4e6b6e218ceb9d28a07cd6c83",
+  "discovery/pr327/pr233/physical_opt.py": "cbfd06026a44df30944781262848c88ec987ca5e80381e35ae7ad715a9db1fce",
+  "gcert_emit.py": "10d2fc3f1f3d8cda5f0b07720f51b5a6fd40cfc1490d361939ff93e5470805d3",
+  "gx/gx.py": "6f3dc8bb639933227a8dae181ec4a542e85c7276be9c9e330f49518e7b630b95",
+  "gx/gxcore.py": "eb972c06fe8c322db2d9a8d9a7d05596e8f40c4ca8e5f42eb6df3c7361b5d517",
+  "layers/c2/kernel-pairs-mw.json": "709cf1e26557c94ee86dff46265518ac903f8f691d5af273bc7f407a9db1f431",
+  "layers/c2/matching-arcs.json": "99029733d575d67ff8a69b91f37d45274478b40a6265f510b96f08c2e417f245",
+  "layers/c2/physical-frames.json": "8fc1c64d2f10ad276818b5886caad1d58a40996868e7704fd358469e279d28a2",
+  "layers/c2/physical-pairs-mw.json": "eb2903eb019c460fad111ce42bcbdf0ee19df1e5361611db12036c1ad4032951",
+  "layers/uniform/kernel-pairs-mw.json": "709cf1e26557c94ee86dff46265518ac903f8f691d5af273bc7f407a9db1f431",
+  "layers/uniform/matching-arcs.json": "99818cca6260ecd2cb010fdb5ccc4f35998ac33e0d98ae9d487e0452254abfec",
+  "layers/uniform/physical-frames.json": "85a57de777bb0e5410612807208e741f3d2688bd4c0ae05a1e356befe609f50d",
+  "layers/uniform/physical-pairs-mw.json": "9cb7988300b3d393ff42e77442382316abe06fa5c03a53ef100242f9f8c89f6b",
+  "lean/companion-7932-evidence.txt": "005f0d3a0dfc02d46999eda86f1dbe1ee0c8d3d18e958072295a4031169bd0da",
+  "module_cut.py": "4004cce8e4b392d90db02862e1d631aca586483a59532de9eca426504ff1293f",
+  "modules/pm_p10.json": "8d71f5004acb0ea902ad594a7d298f8d2099114e5d6d42c6357f09c44ab3ce87",
+  "modules/pointwise/pmod_i0.json": "7d9c0aaf02fbb91a7004821adcd9bdcc577513a4052cd21689a8e1bea7616ce5",
+  "modules/pointwise/pmod_i1.json": "867744aacd6ce119954ad2ba2de51819551e590a22eae4815ba6a111d16ef748",
+  "modules/pointwise/pmod_i2.json": "0c56f9e38be7d6c9e4968012afcc37479c114453a2dad6a0ff64b5a446123f16",
+  "modules/pointwise/pmod_i3.json": "7d9c0aaf02fbb91a7004821adcd9bdcc577513a4052cd21689a8e1bea7616ce5",
+  "modules/pointwise/pmod_i4.json": "867744aacd6ce119954ad2ba2de51819551e590a22eae4815ba6a111d16ef748",
+  "modules/pointwise/pmod_i5.json": "5e7f9239867d066850dcca94106cab8420fd04b494e7718526311ecc08950117",
+  "modules/pointwise/pmod_i6.json": "5e7f9239867d066850dcca94106cab8420fd04b494e7718526311ecc08950117",
+  "modules/pointwise/pmod_i7.json": "a10816b44292874da2d7596b044b9be876e112ca00581bde2ef9a74213b10dc3",
+  "modules/pointwise/pmod_i8.json": "5e7f9239867d066850dcca94106cab8420fd04b494e7718526311ecc08950117",
+  "modules/pointwise/pmod_i9.json": "953e80941984780dfba6952537cace9d1214270bda5735f27dc1cfe020cfcef6",
+  "modules/qmod_p10.json": "40ffb168466bc016bc18a2bbdde65d38b7fd1b406d8a4026f1a6e517fe153459",
+  "modules/tmod_t2_p10.json": "4d39faeedfb5a5283a7ad34a8a18af93072e4d155d61dec6c28d7751bc2e4e04",
+  "normalize_scatter.py": "403ef1db92bafcb973857063bc96ec9ac326838b7595af642d5f11fef3350211",
+  "paircheck.py": "acde7bef664c2b0aa9f0c99424053ff4cf5091e4eb7bba7e048f5a51e0933b31",
+  "pricing/outer.py": "c1ebb52163a7219504c728a5c2b098bf1e50bf20148a2879c5a74c3cadc7c03c",
+  "references/centre46_graph.diff": "229eea46b56d19b262d1498f489f9bca84c347e33b16553079d38c4276700280",
+  "references/pr233-layer/NOTICE": "5826b9f155b70d496d729cbaddeadb881abfb68da77f82dfc1746ddfc753313b",
+  "references/pr233-layer/SOURCE.json": "9ad0549ba2403e8d84d7c0c8e71e5ca952a0604ad626f403426164bd4bc2982c",
+  "references/pr233-layer/baseline-pr202.tar.gz": "5d08386f71c421d2b83b21020e3b74198e9d0c75884d7d81987307740d98883f",
+  "references/pr233-layer/certificate.json": "691cb0aaeb0d6b993e1e1e5116ae7a5c57af058a8c413249016347d1b40d3b90",
+  "references/pr233-layer/verify.py": "cd61a8c61462b4eee95c0858335a9a11bdf1ff8e8e63ebb1e488da29f061ca71",
+  "references/pr233-layer/witness/kernel-pairs.json": "e33b753fc4519170373207b0527b9cb53e0b552e2a27f48f72381a881c7a227f",
+  "references/pr233-layer/witness/physical-frames.json": "1a6c215cdc58216f7ec96fb898a471e25d094fd86de085f6c06e86fd8997bfad",
+  "references/pr233-layer/witness/physical-pairs.json": "e6409fffbf5f3b1ac6434acf2e426503de3a8a18537b8fee761fc4fc931fb896",
+  "references/sussman/pr193-blocks.json": "4049d066f71119fa72bbc37f7db753ce1e79ae5a69aef9cd2651d618bea5c855",
+  "scripts/moment.py": "0c7c68122cea18503e973ccf0d244adf8fa0edab95f104393528c6c57f24863a",
+  "scripts/source527/NOTICE": "c461d8aef9a0c1ec5015a300bdbf37e566610d50139d730ba677eb0df5d7ffe0",
+  "scripts/source527/base_two_moment.py": "aee70c242a2f1d225528fabe2002e1564d1dc884797c07d28a831c7878ee9098",
+  "scripts/source527/moment.py": "9d465c716c6b910ff66e1453e3bf0057608a787b5f5361be93781f42cb3370f7",
+  "spec/c2.json": "569bd70b4d945ccc42e3ff84f8901af49b65f77f97cabe2e2655443244c067b5",
+  "spec/uniform.json": "c0f1bfed8343ed2a0cbb374b175ff2dd194757116edf8c1b6de656ddc3bd042a",
+  "spec_graph.py": "8dc9a58bd6f5a4bc8e29a4550464dba65583dc1a8d3a3e4cb82b66d5489ab3c2",
+  "verify.py": "12c49aa6b943f7ecdc5380c4018b2598b882fd99d8c78f3ecd961a8011bf238a"
+ }
+}

research/w3-p10b-pointwise-complex/NOTICE

@@ -0,0 +1,57 @@
+Prepared by Chafik Boukhalfa with substantial Anthropic Claude assistance. Apache-2.0.
+Inherited files keep their original notices and assistance disclosures. This package claims no exclusive priority
+over concurrent work.
+
+What this package contributes:
+- the per-point p = 10 complex program (claim 7940/10^7, coarse b = 794022782431403/10^18), together with its
+  pointwise pair modules, its frozen layer and its spec;
+- the per-invocation module spec and builder (spec_graph.py, aligned_word_spec.py, and anchors (e) and (f));
+- the composition of that program with PR #346's bit word, an independent recount of that word's paid children,
+  and the reproduction of PR #346's kappa;
+- verify.py, MANIFEST.json and the git-blob pins of SOURCE.json.
+
+Everything else is retained and credited:
+
+- LJH-217 / Louis Harrison (Anthropic Claude assistance), PR #346 (research/w3-p10b-complex-p10 at 11b4de5): the
+  final w3 bit word on PR #325's p10b word. It is vendored unchanged in bit/pr346/, with its records, hash list,
+  kappa receipt, LICENSE and NOTICE.md. PR #346 also composed it with a p = 10 complex supplier and computed the
+  complex-bound kappa that this package reproduces. Its bit word's own checks (Design T verifier, PR #266
+  checkers, primes, bank tiling) are PR #346's and are not re-run here.
+- utcorvusvolat-dotcom: PR #310, the w3 Design T and twin condensation, with their builders and cost model, which
+  PR #346 ported to h = 20.
+- PR #266's official cohort legality and five-stage column checkers, as run by PR #346.
+- DreamingOfClouds (Anthropic Claude assistance):
+  - PR #325 (c4f1b74): the p10b bit word under PR #346's, the re-annealed pair module pm_p10.json (the default pair
+    module of the spec and the start of the pointwise climb) and the all-but-one module qmod_p10.json;
+  - PR #315: the p = 10 five-stage package, qmod_p10.json, the centre-sharing Graph.finish patch, and the outer
+    assembly convention (complex-bound path) used for kappa;
+  - PR #327 (40ed045): the p = 10 complex supplier, its recipe and chain (aligned_word_p.py, centre46.py,
+    paircheck.py, normalize_scatter.py, module_cut.py, discovery/pr327/), the triple module tmod_t2_p10.json, and
+    verify.py, which this verify.py generalises; all vendored byte for byte;
+  - PR #304: the p = 11 recipe.
+- Jacob Sussman (Anthropic Claude assistance): gcert/1, gx.py and gxcore.py (vendored unchanged in gx/,
+  Apache-2.0, Copyright 2026 Jacob Sussman, jacobalansussman/wht-power-saving-lean at f010392c), the bridged
+  five-stage layout B_2, and the Lean generator and Compare.lean used for the companion program.
+- chafreaky / Chafik Boukhalfa (Anthropic Claude and OpenAI Codex assistance):
+  - PR #233: the maximum-weight pairing, and the layer package vendored in references/pr233-layer/;
+  - PR #200: the frame descent and the complete complex checker;
+  - PR #256: the gcert emitter gcert_emit.py;
+  - PR #225: scripts/moment.py;
+  - PR #329: pricing/outer.py, which is PR #315's unchanged.
+- icekylinx (OpenAI GPT-6 Astra and Codex assistance): PR #144 paired cubes and Graph.finish; PR #184 the
+  source-assisted construction, frame flow, exact lift and contract.
+- Avi Eisenberg (ikeboy): PR #191/193/194/202, the source-aligned pipeline and the PR #202 baseline.
+- eumemic (Anthropic Claude and OpenAI Codex assistance):
+  - PR #168 modules and frames;
+  - the source527 rational moment engines (scripts/source527/, see its NOTICE);
+  - outer.py, the 47-constraint outer assembly of PR #315 (from icekylinx's PR #144 and Zhihao Chen's PR #23,
+    with hipotures' balanced prefix).
+- DaysSky: PR #162, the extended carrier closure.
+- hcg890: PR #234, the five-stage architecture and the 10^-16 fallback envelope.
+- SovereignSteak: PR #250.
+- Evan McKinney: the completed banks of the five-stage packages.
+- Rohan Arun: the joint-dual re-pin in PR #327's head.
+- The PR #202 baseline lineage, as credited in references/pr233-layer/NOTICE.
+- OpenAI: the original complex phase network of "Integer multiplication below n log n".
+
+The credits above do not imply review or endorsement by the credited authors.