Improve conditional κ to 0.001717256973467 with credited routing-frame fusion

research/complex-routing-leaf-fusion/CAP-SOURCE.json

@@ -0,0 +1,9 @@
+{
+  "repository": "CrocSwap/integer-mult-bounds",
+  "head": "4cfbb0cc8314d7fb4e8e754545a49a42eb590a69",
+  "path": "research/t74-joint-twelve/vendor/ceiling.py",
+  "local_path": "vendor/ceiling.py",
+  "sha256": "86a1432870b3b21d8454106ec9162fddc0471472d9214c590a1420f2426cedfc",
+  "git_blob": "6c0f54527d879396f689523bfde19928a9b6157c",
+  "credit": "Douglas Colkitt, with Claude assistance; retained unchanged. Adapter derived from Tekalign PR2751 packing_cap.py, with Codex assistance."
+}

research/complex-routing-leaf-fusion/CLAIM.json

@@ -0,0 +1,26 @@
+{
+  "status": "COMPLETE_FINITE_RELEASE_PASSED_CONDITIONAL_KAPPA",
+  "complex_lower": "0.001717256973467002308270",
+  "complex_upper": "0.001717256973467002308271",
+  "kappa": "17172569734670023082699999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
+  "kappa_decimal": "0.0017172569734670023082699999999999999999999998999999999999999999999999",
+  "profile": {
+    "1": 1591740,
+    "2": 430902,
+    "3": 204396,
+    "4": 79920,
+    "5": 22532,
+    "8": 5328,
+    "32": 1,
+    "48": 26558
+  },
+  "comparison_pr": 2751,
+  "comparison_head": "4cfbb0cc8314d7fb4e8e754545a49a42eb590a69",
+  "comparison_kappa": "17171415863484263381089999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
+  "absolute_gain": "115387118575970161/1000000000000000000000000",
+  "relative_gain": "1153871185759701610000000000000000000000000000000000000000000000/17171415863484263381089999999999999999999998999999999999999999999999",
+  "relative_gain_percent_decimal": "0.006719720697076920262999344663512072867487887126182086416724216655132904",
+  "credited_refit_pr": 2733,
+  "credited_refit_head": "a63c55ff56aaa8645d64d1162d1f017b59ded42a",
+  "scope": "New composition of the credited PR2733 frame refit with PR2751 joint twelve-source recovery. Complete finite native, supplier and modern outer release passed; inherited universal hypotheses and selected frontier unchanged."
+}

research/complex-routing-leaf-fusion/CREDIT-PINS.json

@@ -0,0 +1,20 @@
+{
+  "repository": "CrocSwap/integer-mult-bounds",
+  "pr": 2733,
+  "head": "a63c55ff56aaa8645d64d1162d1f017b59ded42a",
+  "root": "references/pr2733",
+  "files": {
+    "PROOF.md": {
+      "sha256": "7e029f68b0ff7beb0b1ba1f9013d525ec97060c0309026b3838d4d2680cc5dd0",
+      "git_blob": "452212aa89fa23a3c058b5485c9f97b8877f4cb6"
+    },
+    "CLAIM.json": {
+      "sha256": "7402be1dcf6225f36fe727f0d0d5ae801de3b5dfda5bf18f8c1290e71d6f25c1",
+      "git_blob": "4d848d5466e2b9b203891ac8a2ad75fd97124c9b"
+    },
+    "NOTICE": {
+      "sha256": "43b0546bcdf17863c8c2199b2da3f436b4fa92b634ae36a0e793ef10ce3f8b98",
+      "git_blob": "6dacc7b2ce7ad75c7574914c8b30fa64611be9b0"
+    }
+  }
+}

research/complex-routing-leaf-fusion/FULL-REPLAY-CHANGES.patch

@@ -0,0 +1,118 @@
+--- pr2751/full_replay.py
++++ full_replay.py
+@@ -1,7 +1,8 @@
+ #!/usr/bin/env python3
+ # SPDX-License-Identifier: Apache-2.0
+-# Tekalign (@tekuuu), with substantial OpenAI Codex assistance.
+-"""Cold reproduction of the joint twelve-source/pre-life composition.
++# Derived from Tekalign / PR2751 full_replay.py, with substantial OpenAI Codex assistance.
++# This derivative composes Marius-Paul Dumitrean / PR2733's exact frame refit.
++"""Cold reproduction of the twelve-source / five-frame composition.
+
+ Default: authenticated source download, fresh native providers and retained
+ parent admission, then the complete original supplier/release verifier. An
+@@ -27,6 +28,8 @@
+ from urllib.parse import quote
+ from urllib.request import Request, urlopen
+
++from derive_runtime import derive_runtime
++
+ HERE = Path(__file__).resolve().parent
+ REPOSITORY = HERE.parents[1]
+ STEPS = ['native', 'ledgers', 'local-replay', 'wrappers', 'phases']
+@@ -116,6 +119,7 @@
+     ap = argparse.ArgumentParser(description=__doc__)
+     ap.add_argument('--source', type=Path, help='Exact original PR2679 package directory; otherwise download pinned files.')
+     ap.add_argument('--work', type=Path, required=True)
++    ap.add_argument('--composition-source', type=Path, help='Exact PR2751 package; otherwise fetch four pinned composition files.')
+     ap.add_argument('--prepared-native-cache', type=Path, help='Explicit reuse of the complete published pinned cache.')
+     ap.add_argument('--jobs', type=int, default=4)
+     a = ap.parse_args()
+@@ -129,10 +133,22 @@
+     need(versions['sympy'] == '1.14.0', 'pinned predecessor evidence requires sympy==1.14.0')
+     work = a.work.resolve()
+     need(not work.exists() and not work.is_relative_to(REPOSITORY), 'fresh external work required')
+-    for path in (a.source, a.prepared_native_cache):
++    for path in (a.source, a.composition_source, a.prepared_native_cache):
+         need(path is None or (path.is_dir() and not work.is_relative_to(path.resolve())), 'input/work separation')
+-    pins, reuse, claim = read(HERE / 'SOURCE-FILES.json'), read(HERE / 'REUSE-PINS.json'), read(HERE / 'CLAIM.json')
++    config, claim = read(HERE / 'FULL-REPLAY-PINS.json'), read(HERE / 'CLAIM.json')
++    reuse = read(HERE / 'evidence/NATIVE-RECEIPT.json') if a.prepared_native_cache else None
+     work.mkdir(parents=True)
++    composition = work / 'composition'
++    composition.mkdir()
++    for name, expected in config['files'].items():
++        safe(name)
++        body = ((a.composition_source / name).read_bytes() if a.composition_source
++                else download(config['base_url'] + quote(name, safe='/'), expected))
++        need(hashlib.sha256(body).hexdigest() == expected, 'composition source bytes: ' + name)
++        destination = composition / name
++        destination.parent.mkdir(parents=True, exist_ok=True)
++        destination.write_bytes(body)
++    pins = read(composition / 'SOURCE-FILES.json')
+     env = dict(os.environ, PYTHONDONTWRITEBYTECODE='1', PYTHONUTF8='1', PYTHONINTMAXSTRDIGITS='0',
+                OPENBLAS_NUM_THREADS='1', OMP_NUM_THREADS='1')
+     for name in ('PYTHONOPTIMIZE', 'WITNESS_SPEC', 'WITNESS_DISCOVER', 'WITNESS_RECORD'):
+@@ -157,10 +173,10 @@
+     run('literal-review', HERE / 'verify.py')
+     source = work / 'source'
+     source_copy(a.source.resolve() if a.source else None, source, pins, a.jobs)
+-    overlay = read(HERE / 'OVERLAY-PINS.json')
++    overlay = read(composition / 'OVERLAY-PINS.json')
+     need(sha(source/'MANIFEST.json') == overlay['original_manifest_sha256'], 'overlay base manifest')
+-    need(sha(HERE/'DERIVATIVE-OVERLAY.tar.gz') == overlay['archive_sha256'], 'overlay archive')
+-    with tarfile.open(HERE/'DERIVATIVE-OVERLAY.tar.gz') as archive:
++    need(sha(composition/'DERIVATIVE-OVERLAY.tar.gz') == overlay['archive_sha256'], 'overlay archive')
++    with tarfile.open(composition/'DERIVATIVE-OVERLAY.tar.gz') as archive:
+         members=archive.getmembers()
+         need(set(m.name for m in members)==set(overlay['files']) and len(members)==len(overlay['files']), 'exact overlay paths')
+         for member in members:
+@@ -170,7 +186,25 @@
+             (source/member.name).write_bytes(body)
+     need(sha(source/'MANIFEST.json')==overlay['derived_manifest_sha256'] and
+          tree(source,('MANIFEST.json',))==read(source/'MANIFEST.json'), 'complete derived source tree')
+-    pins=dict(pins,commit='local-joint12-pr2733',manifest_sha256=overlay['derived_manifest_sha256'])
++    changes = derive_runtime(source, HERE)
++    need(sha(source/'MANIFEST.json') == config['derived_manifest_sha256']
++         and tree(source, ('MANIFEST.json',)) == read(source/'MANIFEST.json'), 'complete refit source tree')
++    write(work/'DERIVATION.json', changes)
++    pins=dict(pins,commit=config['source_commit'],manifest_sha256=config['derived_manifest_sha256'])
++    # Only source bindings and the strict predecessor comparison change in the
++    # authenticated admission driver. Its physical costs and controls remain.
++    admission = (composition/'workflow/admit.py').read_text()
++    edits = [("SOURCE_COMMIT = 'local-joint12-pr2733'", "SOURCE_COMMIT = " + repr(config['source_commit'])),
++             ("SOURCE_MANIFEST = '7980dbde79b63de4093cde89d1564a18c6bf16a2e35d810e38cf9797fe09e0cf'",
++              "SOURCE_MANIFEST = " + repr(config['derived_manifest_sha256'])),
++             ("previous = Q('0.0017161404259974415161889999999999999999999998999999999999999999999999')",
++              "previous = Q(" + repr(read(HERE/'vendor/pr2751/CLAIM.json')['kappa']) + ")")]
++    for before, after in edits:
++        need(admission.count(before) == 1, 'exact admission patch preimage')
++        admission = admission.replace(before, after)
++    (work/'admit.py').write_text(admission)
++    write(work/'ADMISSION-CHANGES.json', edits)
++
+     cache = work / 'native-cache'
+     if a.prepared_native_cache:
+         need(tree(a.prepared_native_cache.resolve()) == reuse['cache_files'], 'published complete cache pins')
+@@ -221,8 +255,8 @@
+                               source_commit=pins['commit'], manifest_sha256=pins['manifest_sha256'], providers=providers,
+                               retained_parent_receipt_sha256=sha(receipts / 'RECEIPT.json'), cache_files=tree(cache))
+     write(work / 'NATIVE-RECEIPT.json', native_receipt)
+-    run('complete-admission', HERE / 'workflow/admit.py', '--source', source,
+-        '--fill', HERE / 'inputs/FILL.json.gz', '--order', HERE / 'inputs/ORDER.json',
++    run('complete-admission', work / 'admit.py', '--source', source,
++        '--fill', HERE / 'vendor/pr2751/inputs/FILL.json.gz', '--order', HERE / 'vendor/pr2751/inputs/ORDER.json',
+         '--native-cache', cache, '--native-receipt', work / 'NATIVE-RECEIPT.json',
+         '--work', work / 'admission', '--jobs', a.jobs)
+     result = read(work / 'admission/RESULT.json')
+@@ -230,8 +264,8 @@
+          and Q(result['kappa']) == Q(claim['kappa']) and Q(result['complex_lower']) == Q(claim['complex_lower']),
+          'published complete claim binding')
+     need(result['profile'] == {str(k):v for k,v in read(HERE / 'CLAIM.json')['profile'].items()}, 'published complete profile binding')
+-    result.update(status='PASS_T74_JOINT_TWELVE_COLD_COMPLETE_RELEASE', explicit_native_cache_reuse=bool(a.prepared_native_cache),
+-                  source_files_sha256=sha(HERE / 'SOURCE-FILES.json'), native_receipt_sha256=sha(work / 'NATIVE-RECEIPT.json'),
++    result.update(status='PASS_T74_JOINT_TWELVE_REFIT_COLD_COMPLETE_RELEASE', explicit_native_cache_reuse=bool(a.prepared_native_cache),
++                  source_files_sha256=sha(composition / 'SOURCE-FILES.json'), native_receipt_sha256=sha(work / 'NATIVE-RECEIPT.json'),
+                   cold_stages=stages, cold_seconds=time.monotonic()-started,
+                   environment=dict(python=platform.python_version(), executable=sys.executable, versions=versions))
+     write(work / 'RESULT.json', result)

research/complex-routing-leaf-fusion/FULL-REPLAY-PINS.json

@@ -0,0 +1,12 @@
+{
+  "base_url": "https://raw.githubusercontent.com/CrocSwap/integer-mult-bounds/4cfbb0cc8314d7fb4e8e754545a49a42eb590a69/research/t74-joint-twelve/",
+  "derived_manifest_sha256": "1e75eabffe1ce311cc3bddc05e76118cbdedfc806200a906c57fbc5a5dd213eb",
+  "files": {
+    "DERIVATIVE-OVERLAY.tar.gz": "16468f7428c6e01522fcb15a8e3040d13de6cb8856428e32dcfbce8dbe46b8ec",
+    "OVERLAY-PINS.json": "c5aab657b189d1324b75c2a35dd21063877229ebfd58b4b64261fdf0e5861e75",
+    "SOURCE-FILES.json": "4191b13800d48048f8b3b736c888040445d02c31ee7756915c21e011da62f5a1",
+    "workflow/admit.py": "f0d510b46a5f05b033b13fecb706389ab374b783bd46ef30e7386195d9e56d3e"
+  },
+  "source_commit": "local-joint12-refit393",
+  "source_head": "4cfbb0cc8314d7fb4e8e754545a49a42eb590a69"
+}

research/complex-routing-leaf-fusion/OVERLAP.json

@@ -0,0 +1,55 @@
+{
+  "status": "POSSIBLE_OVERLAP_NOT_A_NOVELTY_CERTIFICATE",
+  "searched_at": "2026-10-15T20:50:51.799511+00:00",
+  "terms": [
+    "routing",
+    "leaf",
+    "H2",
+    "bootstrap",
+    "2751",
+    "2733",
+    "refit"
+  ],
+  "coverage": {
+    "open_prs": {
+      "fetched_at": "2026-10-15T20:48:19.409017+00:00",
+      "complete_pagination": true,
+      "records": 711
+    },
+    "discussions": {
+      "fetched_at": "2026-10-15T20:50:51.632152+00:00",
+      "complete_pagination": true,
+      "records": 1400
+    }
+  },
+  "local_records": 1961,
+  "warnings": [],
+  "limits": "Remote PR scope is open PRs including drafts. Closed work is searched through local READMEs, TASK metadata and ledger only. No code diffs or arbitrary package files are searched. Recheck relevant heads before submission.",
+  "matches_total": 979,
+  "reviewed_distinctions": [
+    {
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/2751",
+      "head": "4cfbb0cc8314d7fb4e8e754545a49a42eb590a69",
+      "finding": "Latest twelve-source words retain the old rank-six frame at B1151. This package composes the credited earlier refit and validates full native/outer admission."
+    },
+    {
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/2733",
+      "head": "a63c55ff56aaa8645d64d1162d1f017b59ded42a",
+      "finding": "Credited rank-five refit on a different predecessor word at B1149; not new authorship of the refit."
+    },
+    {
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/discussions/2755",
+      "finding": "Native replay acceleration, not a changed paid leaf profile."
+    },
+    {
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/discussions/2319",
+      "finding": "BIT caller, control and numerical storage work; does not supply this changed binding complex paid moment."
+    },
+    {
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/2399",
+      "finding": "Conditional fast-callee substitution already overlaps an initial BIT target; not replicated here."
+    }
+  ],
+  "source_heads_checked_at_utc": "2026-10-15T20:48:00Z",
+  "decision": "No duplicate composition found in the inspected metadata and relevant source words. Metadata is not a novelty certificate."
+}

research/complex-routing-leaf-fusion/PACKING-CAP.json

@@ -0,0 +1,25 @@
+{
+  "status": "PASS_FIXED_WORD_PACKING_CEILING",
+  "source_sha256": "86a1432870b3b21d8454106ec9162fddc0471472d9214c590a1420f2426cedfc",
+  "local_per_call": {
+    "1": "2364",
+    "2": "647",
+    "3": "297",
+    "4": "120",
+    "5": "26",
+    "8": "8"
+  },
+  "dimension": 73,
+  "families": 896,
+  "stages": 9,
+  "centre_rank_per_call": 64,
+  "max_idle_rank": 51,
+  "complex_cap_bracket": [
+    "875246617611/500000000000000",
+    "1750493235223/1000000000000000"
+  ],
+  "complex_cap_upper_decimal": "0.001750493235223",
+  "realized_fraction_lower": "171725697346700230827/175049323522300000000",
+  "realized_fraction_decimal": "0.98101320182950399363412598930700232291074148709344",
+  "scope": "Fixed joint-twelve local word and hosted nine-stage coverage law; all remaining mass is relaxed to fractional rank51 children. This generic coverage-law ceiling is weaker than a window-aware packing or lattice bound. It does not certify or import the predecessor advertised lattice ceiling. It bounds this complex model, not different words or coverage laws. Modern outer admission is separate; no historical a/(1+a) conversion is used."
+}

research/complex-routing-leaf-fusion/PATCH.json

@@ -0,0 +1,111 @@
+{
+  "status": "EXACT_CREDITED_FRAME_REFIT_COMPOSITION",
+  "source_head": "4cfbb0cc8314d7fb4e8e754545a49a42eb590a69",
+  "refit_head": "a63c55ff56aaa8645d64d1162d1f017b59ded42a",
+  "providers": {
+    "base": {
+      "source_sha256": "ae8b6b4d62a9da29331062fae1bd68b0341edf83152f5a5ef50c5109ba578f9a",
+      "canonical_source_sha256": "f01476ff54463854b4bf0d76ab8880335d4352d2c9835a3f9e04f861833f3a0c",
+      "canonical_result_sha256": "af1a684d3ae4a6fb7f8709a3ff5a84e4449e10a97f5b415f5733016cab9997c4",
+      "section": "B",
+      "index": 1151,
+      "old": [
+        "add",
+        393,
+        515,
+        1,
+        1,
+        [
+          259,
+          132,
+          66,
+          36,
+          16,
+          9
+        ]
+      ],
+      "new": [
+        "add",
+        393,
+        515,
+        1,
+        1,
+        [
+          259,
+          148,
+          66,
+          36,
+          9
+        ]
+      ],
+      "local_profile": {
+        "1": 2364,
+        "2": 647,
+        "3": 297,
+        "4": 120,
+        "5": 26,
+        "8": 8
+      }
+    },
+    "extra": {
+      "source_sha256": "1bb44a73d5841afb954b49ae94dba2e0c536b1eea9436ae5d89de87d8a04e127",
+      "canonical_source_sha256": "4c29482885c1a189186c4641bfe34b8a95936f5536ac607ffbb1a9f17d94800e",
+      "canonical_result_sha256": "d2c596ce4aecf9af92f294bbc1d7e9450cf83b9d80dfe347faa6be849d7f6cbc",
+      "section": "B",
+      "index": 1151,
+      "old": [
+        "add",
+        393,
+        515,
+        1,
+        1,
+        [
+          259,
+          132,
+          66,
+          36,
+          16,
+          9
+        ]
+      ],
+      "new": [
+        "add",
+        393,
+        515,
+        1,
+        1,
+        [
+          259,
+          148,
+          66,
+          36,
+          9
+        ]
+      ],
+      "local_profile": {
+        "1": 2364,
+        "2": 647,
+        "3": 297,
+        "4": 120,
+        "5": 26,
+        "8": 8
+      }
+    }
+  },
+  "global_delta": {
+    "1": -1332,
+    "2": 666
+  },
+  "global_profile": {
+    "1": 1591740,
+    "2": 430902,
+    "3": 204396,
+    "4": 79920,
+    "5": 22532,
+    "8": 5328,
+    "32": 1,
+    "48": 26558
+  },
+  "source_refit_authorship": "Marius-Paul Dumitrean PR2733; joint twelve-source recovery Tekalign PR2751",
+  "scope": "Generator only; independent algebra/frame checks and native/global/outer replay remain separate."
+}