A p = 10 complex supplier: five-stage complex saving 7795/10⁷ (centre-sharing) and 7737/10⁷ (#304 recipe), both kernel-checked in Lean (no new κ; raises the complex cap above 7727)

.github/workflows/complex-p10.yml

@@ -0,0 +1,35 @@
+name: complex-p10
+
+on:
+  pull_request:
+    paths:
+      - 'research/complex-p10/**'
+      - '.github/workflows/complex-p10.yml'
+  push:
+    paths:
+      - 'research/complex-p10/**'
+      - '.github/workflows/complex-p10.yml'
+
+permissions:
+  contents: read
+
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    timeout-minutes: 90
+    strategy:
+      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: Regenerate the p = 10 words, check the frozen layers and pairs, run flow, lift and contract, emit the gcert/1 programs, run gx.check1 and gxcore, price the five-stage words at h = 20, compare with the committed certificates
+        run: python3 -B research/complex-p10/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/complex-p10/NOTICE

@@ -0,0 +1,85 @@
+Prepared by DreamingOfClouds with Anthropic Claude assistance. Apache-2.0.
+Inherited files retain their original notices and assistance disclosures.
+This package claims no exclusive priority over concurrent work and reports
+no new kappa.
+
+What this package contributes: the source-assisted complex word compiled at
+cube size p = 10 (h = 20) instead of p = 11; four query modules for p = 10
+(modules/: triple module p = 10, pair module n = 9, its centre-sharing
+version with a 37th root, all-but-one module n = 8), each cut from a p = 11
+module file by zero restriction and then annealed at p = 10 against the
+exact compile ledger of the aligned word (README, "Modules"); the control
+modules (PR168 v4's modules cut to p = 10 by module_cut.py); one frozen
+compilation recipe applied to three module sets (layers/); the cube size as
+a parameter of PR304's builder (aligned_word_p.py) and discovery driver
+(discovery/make_layer_p.py); centre46.py (the centre-sharing graph); the
+gauge-rank fix of PR233's maximum-weight pairing for h != 22
+(discovery/pairs_mw_p.py); the record correction in aligned_word_p.py
+(the births of gauges that PR194's source_aligned_local_v4.py drops are
+removed from its record, so that PR200's checker can recount it); the six
+resulting programs with their checks (verify.py). Everything else is
+retained and credited:
+
+- icekylinx (OpenAI GPT-6 Astra and Codex assistance): PR144 paired cubes
+  and signed decoder (the K blocks and the star scatter of every program,
+  and Graph.finish, whose centre-sharing patch centre46.py reproduces),
+  PR184 source-assisted construction: source-parity local factorization,
+  frame flow, exact lifts, contract (complex_frame_flow.py,
+  exact_complex_flow_lift.py, and source_aligned_local.py, from which
+  aligned_word_p.py derives through PR194 and PR304).
+- Avi Eisenberg (ikeboy): PR191/193/194, the rebuild of PR184's
+  construction on the PR168 v4 modules (source_aligned_local_v4.py, whose
+  code aligned_word_p.py keeps, contract_v4.py run here), the
+  parity-erasure-avoiding pairing of PR193 (the "parity" pair recipe) and
+  PR194's frozen pairs of the anchor.
+- chafreaky / Chafik Boukhalfa (Anthropic Claude and OpenAI Codex
+  assistance): PR200 operation-frame descent (the frames of every layer),
+  maximum-weight late compensated reuse pairing (the "mw" pair recipe;
+  pairs_mw_p.py is his pairs_mw.py with the gauge rank read from h) and the
+  complete complex checker complex/physical.py (run here to admit every
+  layer); PR233 layer and package (vendored in references/pr233-layer/, its
+  discovery harness vendored in discovery/pr233/); PR256 gcert emitter
+  (gcert_emit.py, vendored unchanged); PR225 exact moment bounds
+  (scripts/moment.py); PR296, the five-stage package whose complex-supplier
+  checks (with PR234's) read the programs in star form.
+- Jacob Sussman (Anthropic Claude assistance): the certificate format
+  gcert/1, the reference checker gx.py and the Python mirror of the two
+  Lean checks gxcore.py (both 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 (Lean-checked in his
+  repository, stated there for every h) in which the programs are priced,
+  the unit convention of gxconv.py reused by gcert_emit.py and
+  normalize_scatter.py, and the published certificate of #193 whose
+  histogram anchors the chain (references/sussman/).
+- eumemic (Anthropic Claude and OpenAI Codex assistance): PR168 annealed
+  modules (the parents of the control modules and of the p = 10 pair module
+  pmod_p3_p10.json), schedules and physical frames; PR117/155/157/161
+  module infrastructure, physical frames and reuse; the exact-DFT arena
+  (scripts/moment.py adapts eumemic/exact-dft-bounds, Apache-2.0); the
+  source527 package (PR210 lineage, OpenAI Codex assistance), whose two
+  rational moment engines are vendored unchanged in scripts/source527/
+  (see scripts/source527/NOTICE).
+- DaysSky: PR162 extended carrier closure (compile_closure, and the greedy
+  extension in discovery/extend_floor.py).
+- DreamingOfClouds (Anthropic Claude assistance): PR304, the p = 11
+  re-annealed modules (the parents of three of the four p = 10 modules),
+  the frozen-layer recipe, aligned_word.py, paircheck.py,
+  normalize_scatter.py, make_layer.py and verify.py, of which this package
+  is the p = 10 version; PR315, whose 10-line Graph.finish patch
+  (references/centre46_graph.diff, vendored byte for byte) defines the
+  centre-sharing graph, and whose two moment engines' fallback convention is
+  used for the coarse price. The annealing drivers used for the p = 10
+  modules (numba simulated annealing on closed-form compile-ledger
+  evaluators, adapted from the bit side's annealer) are research code and
+  are not included.
+- hcg890 (PR234: the five-stage architecture of the packages that consume
+  a complex supplier; the 10^-16 bad-class fallback envelope priced here is
+  the one their moment engines carry as an inherited assumption),
+  SovereignSteak (PR250: the five-stage ledger statement used for the
+  price), rohanarun (PR209/237).
+- PR202 baseline lineage as credited in references/pr233-layer/NOTICE:
+  jamesyc / James Chang, DaysSky, GamingPuzzled, gupt1156, Abhinav
+  Ramachandran/geckods, jacklightChen / Zhihao Chen, Rohan Arun, an664,
+  Swapnil Jain, hpst3r, Aurel Prosz, dleen, Douglas Colkitt.
+- OpenAI: the original complex phase network of "Integer multiplication
+  below n log n".