Complete pooled complex admission and conditional κ = 1/580 transfer

research/complex-pooled-full-admission/AUDIT-EVIDENCE.json

@@ -0,0 +1,46 @@
+{
+  "schema_version": 1,
+  "status": "RECORDED_BOUNDED_CHECKS_AND_WRITTEN_SOURCE_RELATIVE_PROOFS",
+  "scope": "Fresh local/global source bindings, exact outer coefficient/recovery checks, constructor/cohort scope controls and lossless receipt/canonical-input transport. Optional B2 is separated. No production numerical payload, unconditional theorem, formal kernel or independent human review. The complete heavy finite release has its separate unchanged EVIDENCE.json.",
+  "source_sha256": {
+    "physical_bridge.py": "590c928e290fe8d7cbaa08bcd73fcac4fee6fe21aca193f5c41e3d612f57fd9a",
+    "physical_global_bridge.py": "b9075451d35480be6252b95105b0d9456845bfc62b3f43df9b822b492ad40172",
+    "PHYSICAL-PINS.json": "2ea958a9c87c5202113d84f176972de662fd87b45e5fde57c33a3251c7eeab53",
+    "PHYSICAL-GLOBAL-PINS.json": "66535e3e7aa509a079ec7bd6ffd3db83f577aa1b22103aaf21f03722e05acf9b",
+    "PHYSICAL-BRIDGE.md": "2fa75b9af51d31f68b818aeca7f2cb9e9f9d940ebe509fdb29d77053e05f8218",
+    "PHYSICAL-GLOBAL.md": "1d1f06c714f0f3e5e6ab660084191a080ce4a86c0dfef8022b57c00778085b97",
+    "outer_factory.py": "d61f7637c8235904c5be4dcab54d28f451168f7cdbaae681d034000ee92e8a5d",
+    "outer_domain.py": "7296c03c5d90c464eee59515bd8b3eb81380d62d946c3713bf79ffa8c3f0fe9b",
+    "outer_check.py": "45c3f1255e58ab8ed37c9c1c14defa0f2d59a3ffc57c4823bb80d06bf9b73002",
+    "OUTER-PINS.json": "5cd7e6c92aa5be34cb4f9fd2db475e90954c4bff0f9a2a980d319d2079086dc9",
+    "OUTER-FACTORY-PINS.json": "6e066a1b7f5aa26ce2915ea67186a167614c87ca444c46c25e4a5c57d4c032c5",
+    "OUTER-DOMAIN-PINS.json": "f35c851e78f4eba0df41fb937940acdfcae8048b74c9938eb6a9172f2253fe8d",
+    "OUTER-DOMAIN.md": "280be120c31c88c7d9d906d040f0d851227dd06dc8657773455b0b42d6dddc55",
+    "OUTER-CHECK.md": "f44591b102fd618b0fbe171c9b571f4e109735713beb5b29b9887a6f4fddea9b",
+    "OUTER-JOIN.md": "bfb4677ee82ffc070be880eca87af05fd096686b464dfd5268cee1b27afa453e",
+    "outer_suite.py": "93119ca9ad83eedde376ce9f1b0979ed9020bcd45fb4f6dac6cb9901694777df",
+    "verify.py": "b9de9917f1242c2e3cef20c59b114430d76b8bfbc24185c0a223554bb7bfe386",
+    "INPUT-PINS.json": "fda470ee2346bb4febcc4df088bf82dd32db3b68f69e4eb6daee6467a65f521a",
+    "receipt_transport.py": "572d47cf4d2125b62b6f4ab147d6474908166213d6fb71a123a4e4f739eed4cb",
+    "joint_bound_inputs.py": "0141b3ef68c6bfc669f8a1f5d0a62eef04609d725051ae15f2e10f5604d11dd2",
+    "PACKAGING.json": "4622a5da4353421a67ba46c59293e65dec56190b0beb6cf3e8acd4591b5c50da",
+    "PACKAGING.md": "9960275e39920f30247c8a45c73a0c054d586bf719c963d5b7a658e9a68d41c5"
+  },
+  "receipt_sha256": {
+    "evidence/PHYSICAL-LOCAL.json": "27359fe1d4fa0823a372b85c889fb6ace05d514ee3fb31dc4742fecdfa8a6a2d",
+    "evidence/PHYSICAL-GLOBAL.json": "782ef40f6e1a4fa5e88c3d8757ba064508d184aff6989aab6f1c57de7282897e",
+    "evidence/OUTER-CHECK.json": "68a6906522377502c07552cb74877f0fc8dd8134a1b95d9d75ca086e867d3816",
+    "evidence/OUTER-DOMAIN.json": "8258b918fc549a1e6554e80cba4f27edaf09dd7066e0e39a099efcefee009ff5",
+    "evidence/CRT-3935-COMPATIBILITY.json": "c539b3292ae425282e79ea2cacfbf82263ac6a3b9d0c9370e33ff8b386b4f2e6",
+    "evidence/GAUSSIAN-PHYSICAL-COHORT.json": "b609b81c7937b02263ba1abc254cef369b07813f443f7b2fdbe5b156dcba30e1",
+    "evidence/OUTER-CHECK-PORTABLE.json": "c3606f99d68fdef705d512341c65f1758eff3e4ec2b9f34f28d5f047192724a6"
+  },
+  "review": {
+    "contexts": "Separate specialist contexts within the author/AI process",
+    "global": "Independent review checked all-owner/chart binding, stock, grid, stopped recurrence and production-factory scope. An unhashed local-module loader was fixed and re-reviewed.",
+    "outer": "Independent exact normalization, recovery, CRT format and carry controls; separate asymptotic/domain and physical lifetime reviews. Catalogue metadata storage corrected to polynomial(t_max,p), absorbed by the explicit outer shape.",
+    "remaining": "Inherited native/hosting, completed primitive/refinement and Gaussian/prime analytic hypotheses require scientific admission. Bounded controls do not prove these universal contracts.",
+    "factory": "Separate read-only review confirmed actual constructor argument types, Count/Tape and native ownership, authenticated bridge loading, CRT token sharing and teardown; normal/optimized nine-control receipts agree.",
+    "scope": "Historical specialist reviews of the unchanged proof/bridge sources. Review of the current packaging is separate; this record does not retroactively attribute the historical complete release to new packaging code."
+  }
+}

research/complex-pooled-full-admission/EVIDENCE.json

@@ -0,0 +1,98 @@
+{
+  "all_size_admission": false,
+  "bounded_replay_scope": "Fresh mathematical operator/arithmetic and semantic regressions; preserved complete-run integrity is not another full release.",
+  "execution_source_sha256": {
+    "INPUT-PINS.json": "07d6c095d5ed6d45fec6d9a83732ffcefd5eb785e3d7c05234440a9e74c0b284",
+    "common.py": "3f102ae694b0fe55fd9d1638ae3e21d6ba2b564c37481e89ac7f98e3cdba5f8f",
+    "joint_bound.py": "c4740234bee2bab8292aeef7fb561246cff8a060ea6e96f0bc14a7b69c62042c",
+    "operator_admission.py": "75e56e806d7d6a2e90db2039865c2285a0d3d4980dbc1f8d900709b03bf0e63c",
+    "replay.py": "91eef8b82679de027b79f41d69e532818dc884ac93f8c18b70ce976af235b952"
+  },
+  "full_replay_scope": "Complete finite ordinary/strict/outer admission with assertions, 21 exact source adaptations, actual pooled fill and exact active registry. Uniform source-specific physical realization remains conditional.",
+  "independent_review": "Separate Codex contexts audited mathematical obligations and source/invoice bindings; not independent human or formal-kernel verification.",
+  "inherited_scope_string_note": "The unchanged inherited admission result retains an old descriptive phrase Both native providers. Its actual registry, source receipt, invoice and controls contain the three providers listed above; that phrase is not used as evidence.",
+  "native": {
+    "authenticated_retained": [
+      "gauge44",
+      "extra"
+    ],
+    "coverage": "All active providers, both orientations, native source/stage and eleven scientific products each; inactive gauge44-four is not admitted as an active call.",
+    "fresh": [
+      "extra-four"
+    ]
+  },
+  "preflight": {
+    "coverage": "Freshly reconstructed and checked earlier in this same run; original check_preflight authenticates exact engine, source closure and retained non-source inputs before reuse.",
+    "receipt_sha256": "4577bfb2c70e7ad4e88ba13ed11ca724032606ba8433e0f6fbfdc10f725da1f5",
+    "reused": true,
+    "source_closure_files": 676
+  },
+  "receipt_sha256": {
+    "evidence/ADMISSION-RESULT.json": "90378c981ca4def5ea12432ef54cdf66324ec301fa8d489264a48923e89d478b",
+    "evidence/ASSEMBLY.json": "d766b9c5fe811d73a937bd1399ab3581992c6e054eb46522c0a7dee394f812be",
+    "evidence/CHALLENGES-normal.json": "65c402405b6c5b2d96046e953011a4808a7ca0ed3d02b02df6398d4df90af48b",
+    "evidence/CHALLENGES-optimized.json": "65c402405b6c5b2d96046e953011a4808a7ca0ed3d02b02df6398d4df90af48b",
+    "evidence/INHERITED-RESULT.json": "0d2bf59210f6d037e1e064937d1cb8bdafb493c4492888c7fe49dcb21904e927",
+    "evidence/JOINT-BOUND.json": "606fe0627e847443df451222c2e4756a21343cfc8753b6e7d7aa0220b8c2b893",
+    "evidence/MIXED-CONTRACT.json": "d26c9f6b12750c0422bf4616e0f5452c681bb36c5d2e0da2ec1871be1a9f5088",
+    "evidence/OPERATOR.json": "d5cb2582e5b108e2072468e49f1c14b1bcc74be96a5127fbb8bcf06a0a3db571",
+    "evidence/OUTER-LEDGER.json": "5b4ca44b7d8ed5a6b55d192aa1a2157dd78c4aafb521da3921eb47bfa7b09275",
+    "evidence/PREFIX-AND-INVOICE.json": "d600e6c533f3a3d470a3fbb514c0c9cd9d8a8fc3684370d1afb5afa26ba15bdd",
+    "evidence/RELEASE-RECEIPT.json": "5995008c26c103912feeacd7bfdf1fb6abbe75555ed349b902f075b0f12231f4",
+    "evidence/RESULT.json": "66f3a353aeb51411241b2c594a6e1b22f0165a3b39dfe14abcfaa0e014c9037f",
+    "evidence/SPEC.json": "98bb37ad3ae3c6598530120243381ebbe4b04bea785c86ee55f4416f95e628ce",
+    "evidence/STRICT-RESULT.json": "a5f625661cd34af433c07e1bc25f2d3c08d52f6df5fba8feab6bed739c940469"
+  },
+  "recorded_utc": "2026-10-20T22:06:00.635599+00:00",
+  "runtime": {
+    "dependencies": {
+      "mpmath": "1.3.0",
+      "numpy": "2.3.5",
+      "scipy": "1.17.0",
+      "sympy": "1.14.0"
+    },
+    "platform": "darwin",
+    "python": "3.12.12"
+  },
+  "scientific_base": "12fa8c5c844be21bfefb38a19503fbd867a11244",
+  "selected_frontier_changed": false,
+  "stages": [
+    {
+      "exit_code": 0,
+      "log_sha256": "a6bde715fdaa3bac87dde33c570b772e528df26379ad515588a0ed4d335b4c5b",
+      "name": "pr4088-verify",
+      "seconds": 6.426478790992405
+    },
+    {
+      "exit_code": 0,
+      "log_sha256": "85a8931a0fc074835179df714d712bb73adabfac21ec5b756d4ef52d955902fa",
+      "name": "pr4088-owner_verify",
+      "seconds": 2.118935375008732
+    },
+    {
+      "exit_code": 0,
+      "log_sha256": "c2f2fbe53751b5e552b8198903f2b93f2656d2960780928fe458c4b268171f79",
+      "name": "pr4088-operator_verify",
+      "seconds": 4.410793874994852
+    },
+    {
+      "exit_code": 0,
+      "log_sha256": "fc7ff0769f6d0b6697c9f884e5483931a4b6e053a6a2203d3017503e6367a853",
+      "name": "pooled-exact-operator",
+      "seconds": 7.955982082989067
+    },
+    {
+      "exit_code": 0,
+      "log_sha256": "8a110a26ea85a943f4566de70b18191c776fcc280aba4960d896bce8b0680788",
+      "name": "native-four-extra",
+      "seconds": 32.073826417006785
+    },
+    {
+      "exit_code": 0,
+      "log_sha256": "8acfbd54604590a5a0a2c0c9d895a8e68fa2aa663aaf4f049cd24eed22e323cc",
+      "name": "inherited-admission",
+      "seconds": 994.7890521659865
+    }
+  ],
+  "status": "RECORDED_COMPLETE_FINITE_REPLAY"
+}