Shrunk-frame birth and terminal composition: conditional kappa = 1.12802185097556e-4

.gitattributes

@@ -8,3 +8,8 @@ upstream/** -whitespace
 references/copied-centers/pr29/** -whitespace
 references/copied-centers/pr33/** -whitespace
 references/semantic-bulk/** -whitespace
+
+# Preserve exact imported sources and saved compiler-command bytes.
+research/shrunk-birth-terminal/arithmetic/references/pr100/binary_frame_math.py -whitespace
+research/shrunk-birth-terminal/lean/receipts/compile/command.txt -whitespace
+research/shrunk-birth-terminal/references/pr122/research/terminal-elision/verify_portable_118.py -whitespace

.github/workflows/verify.yml

@@ -16,7 +16,7 @@ jobs:
       fail-fast: false
       matrix:
         python-version: ['3.11', '3.13', '3.14']
-        group: [community, producers, certificates, ternary, research, tests, strips, clones, positive, joint, pair]
+        group: [community, producers, certificates, ternary, research, tests, strips, clones, positive, joint, pair, shrunk-terminal]
     steps:
       - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
         with:

Makefile

@@ -23,6 +23,7 @@ verify:
 	$(MAKE) verify-positive
 	$(MAKE) verify-joint
 	$(MAKE) verify-pair
+	$(MAKE) verify-shrunk-terminal
 	$(MAKE) verify-tests
 
 verify-community: community-audit-check community-followup-check copied-reversed-producer copied-reversed-check copied-fixed-reversed-producer copied-fixed-reversed-check
@@ -428,3 +429,7 @@ pair-assembly-verify: pair-assembly-producer pair-assembly-check
 .PHONY: verify-pair
 verify-pair: pair-assembly-verify
 	python3 scripts/audit_pair_candidate.py --check docs/research/community-pair-arithmetic.json
+
+.PHONY: verify-shrunk-terminal
+verify-shrunk-terminal:
+	python3 research/shrunk-birth-terminal/verify.py

NOTICE

@@ -302,3 +302,25 @@ inherited PR #48 sources. The stacked witness in research/pair-assembly/frame
 uses eumemic's PR #57 joint frame compiler unchanged; its driver and verifier
 are adaptations of PR #57's skip_frame_compiler.py, skip_frame_compose.py and
 verify_skip_frame.py. Original notices are retained.
+
+Selected shrunk-frame / birth-reuse / terminal-elision composition
+Copyright 2026 Chafik Boukhalfa
+
+The portable package research/shrunk-birth-terminal combines the PR117 scalar
+DAG by eumemic, PR125 shrunk logical frames by Joel Pulikkan (GamingPuzzled),
+PR124 birth-slot reuse by James Chang (jamesyc), and PR122 terminal elimination
+by SovereignSteak. It also retains Daniele Corso's PR126 endpoint-search ideas,
+Rohan Arun's deferred/signed and unit-shear work, Avi Eisenberg's compiler
+contributions, Swapnil Jain's (Swapnil-jain) round-seven bit word, and icekylinx's stopped
+product-ring and rational-center interfaces. The paid balanced transfer retains
+the Zhihao Chen (jacklightChen) / RaD (hipotures) / James Chang (jamesyc) semantic-layout lineage and Rohan Arun's
+deferred/signed integration. Original source-specific notices and Anthropic
+Claude and other AI-assistance disclosures are preserved in the archives.
+
+Chafik Boukhalfa with OpenAI Codex assistance prepared the selected endpoint
+and placement composition, joint birth/terminal optimization, full chronological
+physical word, exact source/dirty and frame checks, three-stock adaptation,
+independent arithmetic, scoped Lean companion and portable package. This is a
+conditional research candidate, not human peer review or an OpenAI endorsement.
+Its exact finite/rational claims and retained all-size assumptions are stated
+in the package proof. Existing contributor notices remain in force.

README.md

@@ -92,6 +92,20 @@ fresh maintainer checks from contributor-supplied evidence. Earlier witnesses,
 patches and attribution remain available. Submissions after #62 are outside this checkpoint's review; exact reviewed heads
 are recorded in the ledger.
 
+## Additional conditional composition
+
+The separate [shrunk-frame / birth-reuse / terminal-elision package](research/shrunk-birth-terminal/README.md)
+certifies `kappa = 112802185097556/10^18 > 2^-14` under the inherited OpenAI #109
+all-size interfaces. It combines Joel Pulikkan's shrunk frames (PR125), James
+Chang's birth identity (PR124), SovereignSteak's terminal identity (PR122) and
+eumemic's PR117 graph with protected placement, joint matching and a paid
+three-stock balanced transfer. The explicit word has 26,216 physical auxiliary
+roles. Complete source/dirty and frame audits, two exact arithmetic methods and
+240 scoped Lean theorems accompany the [proof](research/shrunk-birth-terminal/PROOF.md)
+and [reproduction commands](research/shrunk-birth-terminal/REPRODUCE.md).
+Original authorship and assistance disclosures are retained. This separate
+candidate does not change the historical maintainer-review ledger above.
+
 ## Reproduce
 
 ```sh

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": "fd1aab7d75753b4b55b2377f26119dae74f367b0b4fab66cba42d944b3042cc9",
+  "source_manifest_sha256": "900d2c4d716cd547c44e5ea3d0e340e940f431e7e0e809bfffe0851a8b8ee106",
   "sources": [
     {
       "files": {

certificates/joint-dual-validation.json

@@ -226,7 +226,7 @@
     }
   },
   "bit_saving": "2382370177/50000000000000",
-  "certificate_sha256": "2ed658f05365b28825e24a6e7bac9fc9cc015d5a5d63d9579f4ac6e0640ae559",
+  "certificate_sha256": "b673aada7e16fd981d5b02c48c8c76e188871c5b05e5dcafc23589d1e709fcc7",
   "kappa": "4764513337/100000000000000",
   "margins": 7,
   "producer_words_regenerated_and_matched": true,