Independently verify the controller-family ceiling by convexity (no new κ)

research/controller-ceiling-convexity/INTEGRITY.json

@@ -0,0 +1,340 @@
+{
+  "schema": "controller5405-package-integrity-v1",
+  "files": [
+    {
+      "path": "NOTICE.md",
+      "bytes": 819,
+      "sha256": "eb1c15665e10d59e9bf3679b0490ac41d7897261dcff4e398b002d2b62a1cb1e"
+    },
+    {
+      "path": "README.md",
+      "bytes": 7898,
+      "sha256": "04d5acbc07f5b148cf9fa387f42ea485536a8f52c7793eb949d718c0b363b108"
+    },
+    {
+      "path": "SOURCES.json",
+      "bytes": 584,
+      "sha256": "35c1612a830ec22b24b6f844270521333daf1b11c41c82a985069c27a5949828"
+    },
+    {
+      "path": "TASK.json",
+      "bytes": 6982,
+      "sha256": "0918cae1ec15ee7692f9094c5ccc65d00856f0196cb5e137a1494f3a283caf87"
+    },
+    {
+      "path": "VERIFY.json",
+      "bytes": 826,
+      "sha256": "029f72d004705da4eb53e5e629e043f8d5fb09c8c5455baeee974626b1f04b5e"
+    },
+    {
+      "path": "audit/AUDIT-CHECKS.json",
+      "bytes": 2210,
+      "sha256": "9df76d3207f2125c55fbb8b024e1096bc0291a0b23149829c9fdd0c415dda2a1"
+    },
+    {
+      "path": "audit/FREEZE.json",
+      "bytes": 2879,
+      "sha256": "57c19562fa648a8a194e2f779b3c47acdfcf6f010d09dd47b8f67d6142be4f9a"
+    },
+    {
+      "path": "audit/HANDOFF.md",
+      "bytes": 2977,
+      "sha256": "52cbbb5e0eb38a872eddf3e4eba9e611f6e8c0b057d767d0d91aa1c6b8d319cf"
+    },
+    {
+      "path": "audit/REPORT.md",
+      "bytes": 12391,
+      "sha256": "eca3f5606d251f6a782a12144b59fd9aed6ee055a51cddb38a3768597fe516a9"
+    },
+    {
+      "path": "audit/SOURCE-BRIDGE.json",
+      "bytes": 997,
+      "sha256": "69b3623459ea1586abbe0499e2eb9d7dd5526db26d3641747ad9c81191fd2c51"
+    },
+    {
+      "path": "audit/SOURCE-FETCH.json",
+      "bytes": 10676,
+      "sha256": "4771e2948b448e5488bdb33a872e49ce0251c8acff5c294e70c5544d0f2e95f2"
+    },
+    {
+      "path": "audit/STATIC-REVIEW.json",
+      "bytes": 399,
+      "sha256": "2d6cdccc2dbdef21128fd8c71b56bd406340aa000609d5c74ba510600a913a58"
+    },
+    {
+      "path": "canonical/AGENTS.md",
+      "bytes": 5580,
+      "sha256": "eb25d8ec495b80190a4b1a634710819bb74f0fae88d5203285c2b75b6f147347"
+    },
+    {
+      "path": "canonical/CONTRIBUTING.md",
+      "bytes": 7143,
+      "sha256": "8a49fe97e2ad088a2b2e0c5b222aaab08752783b1f9c1260790d7dd13011d215"
+    },
+    {
+      "path": "canonical/LICENSE",
+      "bytes": 11357,
+      "sha256": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4"
+    },
+    {
+      "path": "canonical/NOTICE",
+      "bytes": 24973,
+      "sha256": "b49022cb4104d90b182e4c335f670faf45529025b15db77bf0291835083c28bd"
+    },
+    {
+      "path": "canonical/autoresearch.md",
+      "bytes": 5986,
+      "sha256": "d16f0d3bb4d4b213d06c128db6d6460b0fe9ec1ac5a6c1ea1febf1db40e7b60d"
+    },
+    {
+      "path": "canonical/certificates/selected-result.json",
+      "bytes": 5495,
+      "sha256": "f9ed52bb642cd1e1486cf2743557ac5fa23cf1514a3277d786a644e39a565038"
+    },
+    {
+      "path": "canonical/docs/research/agent-task-catalog.json",
+      "bytes": 77545,
+      "sha256": "f7a48bfa2659b88378282a8eee7d9fe52cdf505594124c4d1686b58510fffd72"
+    },
+    {
+      "path": "canonical/docs/research/coordination.md",
+      "bytes": 7598,
+      "sha256": "26e92961dadecaa08288303ad256d23a637b49f9fb2c972d4f0879e16bf1ccd9"
+    },
+    {
+      "path": "canonical/docs/research/current-priorities.md",
+      "bytes": 11950,
+      "sha256": "7ea971a336bf526719ae1f21617038301ab95d9853a38b92c332a9ffb968297a"
+    },
+    {
+      "path": "canonical/docs/research/research-family-status.md",
+      "bytes": 18401,
+      "sha256": "21ea61004c0270388258c4251b1c586b65f06bc807395b281deacfb886204934"
+    },
+    {
+      "path": "canonical/docs/research/research-package-guide.md",
+      "bytes": 20824,
+      "sha256": "53a9ee0bf04e40ff14964b2a48605a78de513207b7141df451233868453858fa"
+    },
+    {
+      "path": "numerical/FINAL-MANIFEST-v3.json",
+      "bytes": 6505,
+      "sha256": "40a066e930adc821acf08fe6652f38626ef8c776ba111c8b7b8205ec2fa91841"
+    },
+    {
+      "path": "numerical/HANDOFF.md",
+      "bytes": 3712,
+      "sha256": "b22e34a3fc93ca0c3f0c8289c73ed45324b539218a9e6a50deeb8a7e5fa3805d"
+    },
+    {
+      "path": "numerical/PROOF.md",
+      "bytes": 14664,
+      "sha256": "b0aff27dd9203ef42e5b8898d6659819205f13c1d251ff043564fcab656bf7f4"
+    },
+    {
+      "path": "numerical/RUNS-v3.json",
+      "bytes": 4442,
+      "sha256": "ce81ac1a91ef600699e515eab53ab7b830ff3f99109bb5a9099dd452c1ee0d02"
+    },
+    {
+      "path": "numerical/RUNS.json",
+      "bytes": 4442,
+      "sha256": "ce81ac1a91ef600699e515eab53ab7b830ff3f99109bb5a9099dd452c1ee0d02"
+    },
+    {
+      "path": "numerical/SOURCE-MANIFEST.json",
+      "bytes": 2135,
+      "sha256": "c9e036ae8bce17023e6e47682e548e7b23f0eea745175516c66c9f34ba5d1cca"
+    },
+    {
+      "path": "numerical/SOURCE-REPRESENTATION-BRIDGE.json",
+      "bytes": 738,
+      "sha256": "a7cae5f36f5d0cd87b92af22115b46f8e692f8b9a734d0049ed46e7587e522c7"
+    },
+    {
+      "path": "numerical/THEORY-MANIFEST.json",
+      "bytes": 545,
+      "sha256": "21ec2a198c3201c2fc83a2bfd2a4622987e15b490b64c632925e399e84510054"
+    },
+    {
+      "path": "numerical/check_ceiling.py",
+      "bytes": 16531,
+      "sha256": "8f443aa005f5c7c4e2286524e815074787cc109a06cc66e56f362f8cc7854b01"
+    },
+    {
+      "path": "numerical/inputs/5405-PROOF.md",
+      "bytes": 10030,
+      "sha256": "5c82c9f1650b0ffb352f2aa7eaac3aa283754028e41cd85d1ee848af9d18cd37"
+    },
+    {
+      "path": "numerical/inputs/5405-UPSTREAM-EXACT-PROOF.md",
+      "bytes": 10029,
+      "sha256": "77dc9ce552be7dc9c9a32850c2f2cf0eff92cfe2e0a0e316db210a1667a8d32b"
+    },
+    {
+      "path": "numerical/inputs/5405-UPSTREAM-SOURCE-FETCH.json",
+      "bytes": 10676,
+      "sha256": "4771e2948b448e5488bdb33a872e49ce0251c8acff5c294e70c5544d0f2e95f2"
+    },
+    {
+      "path": "numerical/inputs/5405-concavity-exchange-reduction.md",
+      "bytes": 10145,
+      "sha256": "0e575a88d28db5aecc5ccf24504923a0508ff976d05f92e91e6d48408b7688ea"
+    },
+    {
+      "path": "numerical/inputs/5405-discrete-convexity-three-value-gate.md",
+      "bytes": 7372,
+      "sha256": "bdad476f31b450e1ac4d1fd0d9530b43e33ebac48accc0956b38a9634b40a929"
+    },
+    {
+      "path": "numerical/inputs/CHECKPOINT-20261023-5405-DISCRETE-CONVEXITY.json",
+      "bytes": 1795,
+      "sha256": "ce98cb10c028e3a512599e715043e8a26dd9b88278d1c600d2b4b29c7b909d6d"
+    },
+    {
+      "path": "numerical/inputs/guidance__AGENTS.md",
+      "bytes": 5580,
+      "sha256": "eb25d8ec495b80190a4b1a634710819bb74f0fae88d5203285c2b75b6f147347"
+    },
+    {
+      "path": "numerical/inputs/guidance__CONTRIBUTING.md",
+      "bytes": 7143,
+      "sha256": "8a49fe97e2ad088a2b2e0c5b222aaab08752783b1f9c1260790d7dd13011d215"
+    },
+    {
+      "path": "numerical/inputs/guidance__autoresearch.md",
+      "bytes": 5986,
+      "sha256": "d16f0d3bb4d4b213d06c128db6d6460b0fe9ec1ac5a6c1ea1febf1db40e7b60d"
+    },
+    {
+      "path": "numerical/inputs/guidance__docs__research__agent-procedure.md",
+      "bytes": 29397,
+      "sha256": "6433f302cbc129ea986bf88ba1e94422bbf2aa6ba1d1d11b067c92736fa4a139"
+    },
+    {
+      "path": "numerical/inputs/guidance__docs__research__current-priorities.md",
+      "bytes": 11950,
+      "sha256": "7ea971a336bf526719ae1f21617038301ab95d9853a38b92c332a9ffb968297a"
+    },
+    {
+      "path": "numerical/inputs/guidance__docs__research__research-family-status.md",
+      "bytes": 18401,
+      "sha256": "21ea61004c0270388258c4251b1c586b65f06bc807395b281deacfb886204934"
+    },
+    {
+      "path": "numerical/receipts/arithmetic-v1.json",
+      "bytes": 43821,
+      "sha256": "a5a3e35b420ba30407ddeaacc91770e7c03da5ff8139b73585c4ceae9db6d744"
+    },
+    {
+      "path": "numerical/receipts/arithmetic-v1.stderr.log",
+      "bytes": 890,
+      "sha256": "475f7f876455d7e4e115381c138854462e487b182e4a1b9006cb634627ae33dc"
+    },
+    {
+      "path": "numerical/receipts/arithmetic-v1.stdout.log",
+      "bytes": 5061,
+      "sha256": "b9e6beac377d81121cc2fc62f4cb49f70b209209717653418ef17da466e3c6f1"
+    },
+    {
+      "path": "numerical/receipts/arithmetic-v2.json",
+      "bytes": 43820,
+      "sha256": "86f84dd374d831c3e4f907cd3e5f4789cee4ae2efb68f55dd0f679caec7b4736"
+    },
+    {
+      "path": "numerical/receipts/arithmetic-v2.stderr.log",
+      "bytes": 890,
+      "sha256": "6c806fac227571242e9ccc31e1db08b2cd886c843bb24c26e2d21b8faafa4361"
+    },
+    {
+      "path": "numerical/receipts/arithmetic-v2.stdout.log",
+      "bytes": 5060,
+      "sha256": "b7e05a760ad11a7507b662b6d991ae89f05cab80fecb0226d69e2e809fd46714"
+    },
+    {
+      "path": "numerical/receipts/arithmetic-v3-optimized.json",
+      "bytes": 43820,
+      "sha256": "6d4b1c890bed07576ef4f76c47e27ce9effe903b7646f650f0092c03c69a6bda"
+    },
+    {
+      "path": "numerical/receipts/arithmetic-v3-optimized.stderr.log",
+      "bytes": 905,
+      "sha256": "8598ee3084306350af165ab758918f1d4125d2856c1de979ddcee7ae0b0a2e0a"
+    },
+    {
+      "path": "numerical/receipts/arithmetic-v3-optimized.stdout.log",
+      "bytes": 5060,
+      "sha256": "10082755c70523929349bd4310fe6a867e8ae54d225b24c0372bc5f146287de9"
+    },
+    {
+      "path": "numerical/receipts/arithmetic-v3.json",
+      "bytes": 43820,
+      "sha256": "32d3adfc837ba4f66c899e7cb23adea441a3af48d96700f2e14e6c9f8b1c6729"
+    },
+    {
+      "path": "numerical/receipts/arithmetic-v3.stderr.log",
+      "bytes": 890,
+      "sha256": "e7fc3facecd37c1ea1e9f3e9b94221f7f1f456bee467f1ad37b192a49d359df2"
+    },
+    {
+      "path": "numerical/receipts/arithmetic-v3.stdout.log",
+      "bytes": 5060,
+      "sha256": "a98a5c1760fd0c1f69c342d39c9d213872b2e4b3e850742e05caeacf5620f9cc"
+    },
+    {
+      "path": "numerical/receipts/check_ceiling-v1.py",
+      "bytes": 14242,
+      "sha256": "42cec3a635e22785929ca47d1da1d9b11041c1244945f21145a69b25c7527a3e"
+    },
+    {
+      "path": "numerical/receipts/frozen-v2-FINAL-MANIFEST.json",
+      "bytes": 3875,
+      "sha256": "cbcacfbefbe07b32a5df57f31ddaa7baaabe2a2e72f7cb7df9252886339bfcfe"
+    },
+    {
+      "path": "numerical/receipts/frozen-v2-HANDOFF.md",
+      "bytes": 2767,
+      "sha256": "9a49c75d894869c8d37bd6bd983c4e43ef9a7f6f40944539e3dc0bb353a9c5f6"
+    },
+    {
+      "path": "numerical/receipts/frozen-v2-PROOF.md",
+      "bytes": 13468,
+      "sha256": "85f92f5b1a90148ba6a6857c41035d805cc18e4442a618dd107b2b7988bd0f6c"
+    },
+    {
+      "path": "numerical/receipts/frozen-v2-RUNS.json",
+      "bytes": 2009,
+      "sha256": "815146645a539dd9cf5c262fbbe9649101c32fd06da455a339627a62880bcda2"
+    },
+    {
+      "path": "numerical/receipts/frozen-v2-check_ceiling.py",
+      "bytes": 14844,
+      "sha256": "3352d5c6dd0da6e988efcab7b6a8cfd5ff85655390bef472523e7022db431cd9"
+    },
+    {
+      "path": "original/PROOF.md",
+      "bytes": 10029,
+      "sha256": "77dc9ce552be7dc9c9a32850c2f2cf0eff92cfe2e0a0e316db210a1667a8d32b"
+    },
+    {
+      "path": "original/source/NOTICE.md",
+      "bytes": 1933,
+      "sha256": "d4199d37458047d62f374c991de694a7db8579cecdee4dd1d809fab1435c3cb3"
+    },
+    {
+      "path": "origins/CANONICAL.json",
+      "bytes": 134708,
+      "sha256": "9aa65eab0659241548959560260c0c6fdcccc749d8d42e13393d4d64a748209f"
+    },
+    {
+      "path": "origins/PR5405-NOTICE.json",
+      "bytes": 295981,
+      "sha256": "52d4e29b90d097faa3c7dbc5da176d0bb2657b8b3164ada724e37549679a7440"
+    },
+    {
+      "path": "origins/PR5405-PROOF.json",
+      "bytes": 295733,
+      "sha256": "c3f56e426114616aa8229858bcecc1ca5ad10faf5cd0554c5076103e56f8b1e7"
+    }
+  ]
+}

research/controller-ceiling-convexity/NOTICE.md

@@ -0,0 +1,3 @@
+New research, verification and packaging by Chris R / Clear1nsight, with substantial OpenAI Codex assistance. Apache-2.0.
+
+Ali Romman retains credit for PR5405 family, invoice, original unbounded ceiling/DP and owned/transposed profile. Cinna Davis retains paired path/query controller credit; Cao Yifan native source; zxv interval/preflight/compiler/precision; Chris R prior independent admission/controller screening; Dugongue, Jacob Alan Sussman and all original native/helper/compiler/analytic contributors retain their exact source notices. Root proposed exchange/convexity conjectures; the sole Astra theory worker supplied the frozen analytic proofs. No new construction priority, independent human review or formal-kernel proof is claimed. Read original/source/NOTICE.md and unchanged source credit statements.