Conditional κ ≈ 0.0017224999064433: cap-attaining allocation of #2917's unchanged words (+9.11e-7)

research/paired-extension-cap-fill/.gitattributes

@@ -0,0 +1,2 @@
+# Keep vendored, data, allocation and evidence bytes exact (the repository default normalizes text).
+* -text

research/paired-extension-cap-fill/ALLOCATION-PINS.json

@@ -0,0 +1,14 @@
+{
+ "allocation/DISPATCH.json": "65e435bd68e97243c003677271b88485a29d4d0fae2dff1354100404a145e74c",
+ "allocation/FILL.json.gz": "e045aa613f8fba06d81313f5e1c2cbec9ee94552163b8d1eb9205bf2fa7f2285",
+ "allocation/ORDER.json": "519d1d5dbb997a219fcfcad34c0b03e7838bef24199784d7e964fa10090f66e1",
+ "allocation/PROFILE.json": "8b6f825a93cb1fa94047b062f1b1b8d489b2c397ec0c8114d0e53737f56c065e",
+ "allocation/PROVIDERS.json": "1fbbe45a0b70b909bf764fab7d89ec05b10c6c3dec5340a59a69b871d309c6ab",
+ "allocation/SEARCH.json": "9ac59657d263ab7181503020aaae2dad4d73412eb62846b4c6992aebd8891987",
+ "allocation/baseline/CLAIM.json": "e6c836c0178661a53a69cd91f29d83585e876f2511ff40c6b6204cd270fbdeac",
+ "allocation/baseline/ORDER.json": "519d1d5dbb997a219fcfcad34c0b03e7838bef24199784d7e964fa10090f66e1",
+ "allocation/baseline/PROFILE.json": "07ee0cfe8d88073de9b75cd3262a98f4ac428b1bdd3922b5a077dbf3436be00c",
+ "allocation/vendor/PLAN.json.gz": "d566cfb87b71639d4138e1f89b543e2dd6a7772070226a2a14c799a6835bf21e",
+ "allocation/vendor/TEMPLATE.json.gz": "21297b20f1f2dc76eb9dd8124416068c3cb096bab9df17fa4da19bc68dfe082e",
+ "allocation/vendor/independent_owners.py": "77a848729159e271ba64f403dfd59dddb13044b17b2950fa56700f442e2fe461"
+}

research/paired-extension-cap-fill/CLAIM.json

@@ -0,0 +1,38 @@
+{
+ "admitted_package_manifest_sha256": "b690eab49b010091973a4e7d1b8d58306200fd09f4c2281bbeeec57aa1b077d5",
+ "baseline_head": "224bd5e56041c40078ff6b5fa7393733a215de5c",
+ "baseline_kappa": "17215886471978018806049999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
+ "baseline_pr": 2917,
+ "calls": 666,
+ "complex_lower": "1722499906443274564357/1000000000000000000000000",
+ "coverage_law_ceiling_approx": "0.0017580218062580484",
+ "fill_sha256": "e045aa613f8fba06d81313f5e1c2cbec9ee94552163b8d1eb9205bf2fa7f2285",
+ "fixed_inventory_cap": {
+  "cap_lower": "1722499906443274564357/1000000000000000000000000",
+  "cap_upper": "17224999064432745643571/10000000000000000000000000",
+  "realized": "attained (profile equals the fractional optimum)"
+ },
+ "gain": "113907405684085469/125000000000000000000000",
+ "helpers": 408,
+ "independent_inputs": 632,
+ "kappa": "17224999064432745643569999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
+ "kappa_decimal": "0.0017224999064432745643569999999999999999999998999999999999999999999999",
+ "live_families": 66304,
+ "native_receipt_sha256": "9a2e23c80436cf257c6f21fa4bd3f796fdb569bf30005ca2c2bb16d8f2094969",
+ "physical_families": 66804,
+ "profile": {
+  "1": 1626372,
+  "2": 426240,
+  "3": 192474,
+  "4": 73260,
+  "48": 27158,
+  "5": 24198,
+  "8": 5328
+ },
+ "release_receipt_sha256": "efc5eebdc42e976b0500cd032e1b6f4b8755fa33d9a23ac27415e27922e85b75",
+ "replicas": 74,
+ "scope": "Conditional finite supplier/outer certificate for PR2917's unchanged words with a new literal T74 allocation. Inherited all-size/compiler/theorem hypotheses remain. No selected-frontier change or independent-human-review claim.",
+ "source_manifest_sha256": "98d57c82a1c7318be3c330c3b66897844d57232f0aaeaea88fb4bebd0a1bedf1",
+ "status": "CONDITIONAL_CANDIDATE_COMPLETE_FINITE_RELEASE",
+ "zero_buffers": 82
+}

research/paired-extension-cap-fill/CREDITS.md

@@ -0,0 +1,9 @@
+# Credits
+
+- **PR #2917, Mason Hale**: the nine additional paired extractions, the final 82-endpoint words used here unchanged, the T74 chronology (ORDER/DISPATCH), the allocation checker, moment auditor, extension stage and adapter derivation that this package reuses.
+- **PR #2908, Jeremy Diviney**: the paired input/output extraction, its structural certificate and the closed-adapter admission chain.
+- **PR #2894 / #2833, Jeremy Kothe**: the preload re-synthesis supplier, the frame accounting and cleanup (vendor/preload_move.py), the source materializer and the inherited supplier lineage.
+- **PR #2857 / #2848, Yiyang Lu (Lyy-iiis)**: the shared-kernel words and the chronological flow model and realization (edge colouring) used to construct this allocation; PR2843 (Marius-Paul Dumitrean) is that flow model's starting point.
+- **PR #2863 / #2839, Dugongue**: the precedent of attaining a fixed-inventory packing optimum, and the PR2839 owner engine lineage.
+- **Tekalign**: the independent owner/chronology checker (allocation/vendor/independent_owners.py) and admission tooling.
+- **New here (Marius-Paul Dumitrean, with substantial AI assistance from Anthropic Claude via Claude Code)**: the exact fixed-capacity relaxation of PR2917's inventory and its Fractions-only certificate, the integral pattern mix, the cap-attaining literal T74 allocation of PR2917's unchanged words, the generalized adapter derivation with the PR2917 comparator, and the complete fresh replay.

research/paired-extension-cap-fill/MANIFEST.json

@@ -0,0 +1,72 @@
+{
+ ".gitattributes": "056f4f66161e333f3a8d4c20de323ca05599a7deac1aa02d47ba6f6b96335573",
+ "ALLOCATION-PINS.json": "f07d3079149f056d3948054ed0d3c9af1c7f09582680a05e07a29cfd7c1a5c82",
+ "CLAIM.json": "9c2c14158780a677b3661623d7476acc4f535ac9e0481addfa1d6c4c7633b74b",
+ "CREDITS.md": "8d6cdb5abe3b5df137b502e71b49d96c8305ecbf35fd105c10a8324d7aa8745c",
+ "NOTICE": "efe81e972dedee779c7241d7ae2cead22725658aa3464b454ac2081c5c7293e3",
+ "PINS.json": "e8572a413719715c6537e20238955d2926d5a5659435baadd5d5eee13526f0c5",
+ "README.md": "b0c6a1719fa039551dfdd9a1c20213b4bcae3d5181ad6ae882cd4d375bcc0810",
+ "SOURCES.json": "40decf367d6ff91bdfbac32545f0ff5536f1aa25c1ff5dea90cf0d9f65b2e5c7",
+ "TASK.json": "1b0c80c3f3255c2ed2336f3cfe5e8061bc08975bb195c100157a0e84a54da12b",
+ "VERIFY.json": "4fafdf99d05974d08bc20d9e5500f4742d8253ca2da6758d0563e55aa117b22b",
+ "allocation/DISPATCH.json": "65e435bd68e97243c003677271b88485a29d4d0fae2dff1354100404a145e74c",
+ "allocation/FILL.json.gz": "e045aa613f8fba06d81313f5e1c2cbec9ee94552163b8d1eb9205bf2fa7f2285",
+ "allocation/ORDER.json": "519d1d5dbb997a219fcfcad34c0b03e7838bef24199784d7e964fa10090f66e1",
+ "allocation/PROFILE.json": "8b6f825a93cb1fa94047b062f1b1b8d489b2c397ec0c8114d0e53737f56c065e",
+ "allocation/PROVIDERS.json": "1fbbe45a0b70b909bf764fab7d89ec05b10c6c3dec5340a59a69b871d309c6ab",
+ "allocation/SEARCH.json": "9ac59657d263ab7181503020aaae2dad4d73412eb62846b4c6992aebd8891987",
+ "allocation/baseline/CLAIM.json": "e6c836c0178661a53a69cd91f29d83585e876f2511ff40c6b6204cd270fbdeac",
+ "allocation/baseline/ORDER.json": "519d1d5dbb997a219fcfcad34c0b03e7838bef24199784d7e964fa10090f66e1",
+ "allocation/baseline/PROFILE.json": "07ee0cfe8d88073de9b75cd3262a98f4ac428b1bdd3922b5a077dbf3436be00c",
+ "allocation/vendor/PLAN.json.gz": "d566cfb87b71639d4138e1f89b543e2dd6a7772070226a2a14c799a6835bf21e",
+ "allocation/vendor/TEMPLATE.json.gz": "21297b20f1f2dc76eb9dd8124416068c3cb096bab9df17fa4da19bc68dfe082e",
+ "allocation/vendor/independent_owners.py": "77a848729159e271ba64f403dfd59dddb13044b17b2950fa56700f442e2fe461",
+ "certificates/RELAX-CAP.json": "518ba849ece61bf191d161aa3e61c0f1229c4fda6f8171f8eca5761bc0fc1644",
+ "check_allocation.py": "0672d17458d837a2064b4fc7d26cfdc4931a93a7a3a39a71f6a2ed7b8b7e90a3",
+ "check_cap.py": "19e0502c8f7618f0dc88566f4eac425fa9772c9e75d6109375064685ab4f1ae0",
+ "construction/T37-FLOW.json.gz": "3ff02610ba7bc1e9fc4e141bc9c9233bfa11c0887908529b6fd46d3cf8be956f",
+ "construction/T37-MODEL.json": "db012cdd24470ce5ce7f9ecde44cb849f55e017b58d93914ab2af2a55c0d7308",
+ "construction/T37-PATTERNS.json": "d420d228a051974ee79b3e09e9a2294e085fd1b8c6683977f4675c163569d938",
+ "construction/T37-SOLVER.json": "e02af4643322b4b4e1dde4a0049fd8899a40e77d6c5bb17ea90d74c7086be119",
+ "construction/controls.py": "4f07c315bc66821695fdb3ea92a245a663f3026a9e2c596b7eccffbaed14ab2a",
+ "construction/double.py": "426462c181333b3b56ddeab4b21d0523a2d52874033dbb2a3546ba9990fe15cd",
+ "construction/fill17.py": "ecd49f72a6f42969c4157c5c51370f66cf09db3f82d74b2e852383eeff77b58c",
+ "data/WORD-base.json.gz": "fec3c120db1a35022944628d34b56a36f2456248c274c2eaba1a325cdc690ce8",
+ "data/WORD-extra.json.gz": "e4d0c617df85bf8a824ff68310ca3373dc017c1ebf9ea733056a3ee4a784b36f",
+ "evidence/ADAPTER-DERIVATION.json": "554d6d5f0959f11b122b3700d997d667bd51a467d7c860627e39209d84db75d6",
+ "evidence/ADMISSION-RESULT.json": "75e941faed996af9656b3bdd69e227964033bf080e8dfe2bee2e9faec4a198d9",
+ "evidence/ADMISSION-STAGES.json": "7a075cde897e06ebf080c066d771ffb28635fa1cb1148c1e22e81b974424f4e0",
+ "evidence/ENVIRONMENT.json": "c6faaaa9b538ddbf0ea3c624bbe2f1c7e4074f8cb504d4bee0f3353f1e7f32a1",
+ "evidence/FULL-NATIVE-RECEIPT.json": "9a2e23c80436cf257c6f21fa4bd3f796fdb569bf30005ca2c2bb16d8f2094969",
+ "evidence/FULL-NATIVE-RESULT.json": "32ff4570a520e9f395142c3daf33398d2257027dd51b06c11de283b86effd8a7",
+ "evidence/FULL-REPLAY-RESULT.json": "8712530cf2240ab697af45eb28f91c1775894a6cf5ad16f53162091aba431b84",
+ "evidence/FULL-REPLAY-STAGES.json": "c5cf6c867a4d3cc90bff634caf1ac4e0175558c0476da05a7061008a1d6a1bac",
+ "evidence/RELEASE-RECEIPT.json": "efc5eebdc42e976b0500cd032e1b6f4b8755fa33d9a23ac27415e27922e85b75",
+ "evidence/RETAINED-BOOTSTRAP-RECEIPT.json": "eec93526dafc5d6fb8f6b4318efb57b15209b7a31bbd670d470b1a65de244720",
+ "evidence/RUNTIME-PATCHES.json": "c342c27f065c4710792d181e17c2bade42373b069113e2484ffc711742fa651a",
+ "evidence/logs/admission-discovery.log.txt": "19dec04aaef58a5b7e349eef83a702575d0d747c8a4ab665456dabd9455d7e87",
+ "evidence/logs/admission-outer-check_ledger.py.log.txt": "4d04f73fa3b7dac96c30f5401ab6afe9e0fe83dc5dde59a9007bac53e67e8af5",
+ "evidence/logs/admission-outer-independent_check.py.log.txt": "91a7ed8a166901a19690f2172ddb1066bd6cf4c692b217bcb620bd4a5a13d990",
+ "evidence/logs/admission-owners.log.txt": "3cd9ba8872ab07f8f92a91ffbd26832abb91c5e51f14715a95adf318ae5665da",
+ "evidence/logs/admission-parent-lift.log.txt": "7b6249a123ca39fae7b7a6339dd9e8ae8777b081f4336418f2cc101704b70644",
+ "evidence/logs/admission-rebind.log.txt": "4503a92b598c31af5d39cfafdc0e4bc97bc8a1194576d632a0690ff17d2479ad",
+ "evidence/logs/admission-release.log.txt": "e01086be77ae2169e978708e1f7417f1ea2195ed3fc21579102986f1b2115778",
+ "evidence/logs/complete-admission.log.txt": "9a738eed12d381021f68a5a4221485bbf00e4982d508e5d616631367d9d02672",
+ "evidence/logs/derive-closed-adapters.log.txt": "d39b2faff6f37fffdd06722fea4b58e065b19b886c0b148d5639ec64dbf18938",
+ "evidence/logs/export-pr2833.log.txt": "6727020814b72c6d919999190845a46ffb33f2589ed65c501fcf66142d6f30de",
+ "evidence/logs/export-pr2894.log.txt": "6bd8df30779863897e48441608240db6a7e3fcbd0754511e44f854f3a5c462a6",
+ "evidence/logs/four-kernel-stage.log.txt": "f2bbb6462b3f5bb8a6415bb33c0c35355353b13343ddb90961660f7473caa5a2",
+ "evidence/logs/fresh-current-native.log.txt": "d7581123b0f3330f2598e7758ccbca466018d2599124fc6ceb1b678a9ee27dec",
+ "evidence/logs/fresh-retained-bootstrap.log.txt": "4a1625fdd9a947187583e67492c492f309e28669082f2e6f2aa97b5da345ea29",
+ "evidence/logs/paired-extension-stage.log.txt": "61cc77beeae833d7473b5c5338b176b150f95f6652a888c0307f080674cfde35",
+ "evidence/logs/parent-paired-stage.log.txt": "d80d8494c48816e3acf662db00cc0077a888b82392d736826f73beb1c4248299",
+ "evidence/logs/preload-stage.log.txt": "2eb7601c48840a39c58eb838886aed00a531349b259f0bbc3ea6421376b8ea3c",
+ "reproduce.py": "290a088c82c4f001151dd8e97853c17ff6da51da5ea3f56d5244af559b365fa7",
+ "run_registered.py": "ba2cc644fd3cea513b04e72cc30557456a8559898e072f27049a46979e560922",
+ "tools/audit_allocation_moment.py": "1dd0072f377ed2cea986b0aafcdb4175a4ae397d456b2f0d07d704bff7ace7d4",
+ "tools/derive_adapters.py": "631895d159ca25fd11d3665b2ebecb43d46381355d596d87111b021c9a606800",
+ "tools/relax.py": "0fed1c56b50a2e6d44deeeb6db0f1c7e1f71b86d1747130e1a9202216249a728",
+ "tools/relax_exact.py": "baf1855d6095c951a90d19a0d8094bd33290519940b732e2b758c5647830f044",
+ "tools/root.py": "55f5aca39b5ee2fe4687ac8863e6c24569010f27a332883c069b8e14b8fe09e3",
+ "vendor/preload_move.py": "c8fda4674644fcd5cbf39b6645ce148a21daa90a998b678cbe51f970b78b0044"
+}

research/paired-extension-cap-fill/NOTICE

@@ -0,0 +1,14 @@
+research/paired-extension-cap-fill
+Copyright 2026 Marius-Paul Dumitrean. Licensed under the Apache License, Version 2.0.
+Prepared with substantial AI assistance (Anthropic Claude, via Claude Code).
+
+This package retains, byte-identical, Apache-2.0 files from PR #2917 (Mason Hale, head
+224bd5e56041c40078ff6b5fa7393733a215de5c, research/paired-helper-extension): data/WORD-base.json.gz,
+data/WORD-extra.json.gz, vendor/preload_move.py (Jeremy Kothe's PR2894 frame accounting and cleanup),
+allocation/ORDER.json, allocation/DISPATCH.json, allocation/PROVIDERS.json, allocation/vendor/
+(independent_owners.py: Tekalign's independent owner checker as vendored by PR2839/PR2917; PLAN.json.gz,
+TEMPLATE.json.gz) and allocation/baseline/ (PR2917's CLAIM.json, ORDER.json, PROFILE.json).
+tools/audit_allocation_moment.py is PR2917's exact moment auditor with only its authenticated baseline
+changed; tools/derive_adapters.py generalizes PR2917's adapter derivation (PR2908, Jeremy Diviney) by an
+extra comparator. construction/ retains the flow model of PR2857/PR2843 (Yiyang Lu, Marius-Paul Dumitrean)
+as adapted for this allocation. All original notices of the exported predecessor packages remain in force.

research/paired-extension-cap-fill/PINS.json

@@ -0,0 +1,10 @@
+{
+ "data/WORD-base.json.gz": "fec3c120db1a35022944628d34b56a36f2456248c274c2eaba1a325cdc690ce8",
+ "data/WORD-extra.json.gz": "e4d0c617df85bf8a824ff68310ca3373dc017c1ebf9ea733056a3ee4a784b36f",
+ "tools/audit_allocation_moment.py": "1dd0072f377ed2cea986b0aafcdb4175a4ae397d456b2f0d07d704bff7ace7d4",
+ "tools/derive_adapters.py": "631895d159ca25fd11d3665b2ebecb43d46381355d596d87111b021c9a606800",
+ "tools/relax.py": "0fed1c56b50a2e6d44deeeb6db0f1c7e1f71b86d1747130e1a9202216249a728",
+ "tools/relax_exact.py": "baf1855d6095c951a90d19a0d8094bd33290519940b732e2b758c5647830f044",
+ "tools/root.py": "55f5aca39b5ee2fe4687ac8863e6c24569010f27a332883c069b8e14b8fe09e3",
+ "vendor/preload_move.py": "c8fda4674644fcd5cbf39b6645ce148a21daa90a998b678cbe51f970b78b0044"
+}