diff --git a/research/fixed-pivot-joint-clifford-ceiling/.gitattributes b/research/fixed-pivot-joint-clifford-ceiling/.gitattributes new file mode 100644 index 0000000000..4f7fc3ef14 --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/.gitattributes @@ -0,0 +1 @@ +* -text whitespace=cr-at-eol diff --git a/research/fixed-pivot-joint-clifford-ceiling/ARCHIVE-CONTENTS.json b/research/fixed-pivot-joint-clifford-ceiling/ARCHIVE-CONTENTS.json new file mode 100644 index 0000000000..08675e00c2 --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/ARCHIVE-CONTENTS.json @@ -0,0 +1,266 @@ +{ + "author_final_manifest_sha256": "a144a59dd9956fce80dd9c8a7c0e5aabe7d78512e1729f0f6565cb665877f04f", + "author_tree_sha256": { + "AUTH-MANIFEST.json": "dd8359ab7657799cd36ce2206ee27b92f9082d5de5ce4521fcf4e207a2845152", + "AUTHOR-FINAL-MANIFEST.json": "a144a59dd9956fce80dd9c8a7c0e5aabe7d78512e1729f0f6565cb665877f04f", + "CONTRACT-ORIGINAL-STATIC-REVIEW.md": "8f29241120f28f6df2541e7fec74fa3a8ad3b03eb79a8b79dd91b6875d7d5a52", + "CONTRACT-REVISION.diff": "f1b8ccf1178482593d65fb73aeb5e5cf63de28ab0125c46b6d4ec6903c7580d4", + "CONTRACT-REVISION.json": "dbaddd5f7bde7e25048ee9e21f00ac5c4cdfaddc1d4567693f259b2a52141216", + "CONTRACT.md": "b5d4d71a3df4d14e6a1c27d096183df63900723ae653cdf18f340f6f282bf98a", + "FREEZE.json": "c396dbbc927461c1c81a7c258b21e0d65ff679b8784bbe41fc8bab7c5e577ae0", + "PIVOT-INVENTORY.json": "9182378f7c7c3c1f50cd32b2c990c0395b596d9edf980b6b4ce4ad7bb592a76b", + "RUN-RECEIPT.json": "e3e15fb11aab664b52a9da8824f4dc2c1406c76f2e9c0e905d434e5ceb5e7604", + "SEARCH-REPORT.md": "3a3eb3ff5ce80ec8b365bc05f4849a4f46d06bb1ce8fef08ee410ec0cddf9269", + "SEARCH-RESULT.json": "d2ea1bd88173a46d8fa59c2958ef234ae9811e44c677aadf012423e77cbf78a9", + "SEARCH-STDERR.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", + "SEARCH-STDOUT.txt": "f37a069f72838190a9f3b4ef4c12ed91e0d2ee97b6842540e69ff9e52089d908", + "ZERO-MODEL-INVENTORY.json": "715342afc9b4e651a120151a41d3b8b9d69e313f679092e67bd85e83e7b23de2", + "ZERO-MODEL-PROOF.md": "51fbc81d7cc1437314ac59ac958a3e3d2fb9b6bc7d132c2a5058e7acdda2914a", + "ZERO-MODEL-WITNESS-BINDING.json": "af46672c959594e0583fe634bf2a851ecd6667c46c588383481de43d7591fce7", + "check_joint.py": "575136ee932e697c97b8a15d2edc1f5ab159de482c66c01a6f211a9dfd301630", + "inputs/contracted-graph.txt": "f5db08a5814b14b11b93b79207afb1a8d5ec2c5803c1cf6bbc3333cccf0a94af", + "inputs/research/general-gaussian-contact-search/inputs/round3-word.json.gz": "7679daa4ec6a40f56fc7f0202379a6f454310e94945aba4f48beaaaafb838d05", + "inputs/research/general-gaussian-contact-search/model.py": "7cc29edccb3679b2a5c9defeeb0a2ec6bcef9b01b97c2390bebc48f366395f1f", + "inputs/research/independent-clifford-expansion/RESULT.json": "458bf999cefd0dd412c7e83b5c9ecbe9ac920290aa4352832b9cd419e1e564f8", + "inputs/research/independent-clifford-expansion/algebra.py": "6c1dde7203fe986f6bdf53d8337730e44de1ae68e5126f9ddb9247c3f343d924", + "inputs/research/independent-clifford-expansion/discover.py": "0453747a19b81ea70fce7469a9c7d4871b88cffe8df2841867983fe835c7d05a", + "inputs/research/independent-clifford-expansion/intervals.py": "fad2a83f026ff7488bd1d731cc01acfa81338a4a8448d3d139e0add56aa32ce4", + "inputs/research/independent-clifford-expansion/search.cpp": "9c4496bfbb75aa2ad5c8e2db9bd0d776e5f555a055fe6c124363d8fada4506c1", + "inputs/research/independent-clifford-expansion/verify.py": "c80267529bc595f6665682b476f677f4ae4f3b597568d43200334c1bf8e93cfb", + "zero-model-inputs/CAPTURE.json": "69346015229c3433c4c6a73905d0245c436edd13ec5543458ffd4fce4e7d0495", + "zero-model-inputs/DISCOVERY-CONNECTOR-RESPONSE.json": "637a2c7786fd721a0938d2024e8deae86b030365303c8bf26c2b18491c4b5aec", + "zero-model-inputs/DISCOVERY.json": "a611408b9d76622acf50d02d8c37a24bec9f5ec2b3f53c46351f8d565ece4b2d" + }, + "compression_runtime": { + "python": "3.12.3", + "zlib": "1.3" + }, + "container_bytes": 722633, + "container_sha256": "929c3b7c44487b0c2c86fa4f91df4190a42d3f19044b18823f6b624f8d960008", + "deterministic_two_builds_same_runtime": true, + "format": "deterministic regular-file-only PAX tar in gzip; uid/gid/mtime zero, no filename header; no links", + "mathematical_comparison": "Exact decompressed member bytes and original manifests; regenerated container equality is not a cross-version mathematical premise.", + "members": { + "author/AUTH-MANIFEST.json": { + "bytes": 1265, + "mode": 420, + "sha256": "dd8359ab7657799cd36ce2206ee27b92f9082d5de5ce4521fcf4e207a2845152" + }, + "author/AUTHOR-FINAL-MANIFEST.json": { + "bytes": 4162, + "mode": 420, + "sha256": "a144a59dd9956fce80dd9c8a7c0e5aabe7d78512e1729f0f6565cb665877f04f" + }, + "author/CONTRACT-ORIGINAL-STATIC-REVIEW.md": { + "bytes": 9295, + "mode": 420, + "sha256": "8f29241120f28f6df2541e7fec74fa3a8ad3b03eb79a8b79dd91b6875d7d5a52" + }, + "author/CONTRACT-REVISION.diff": { + "bytes": 14032, + "mode": 420, + "sha256": "f1b8ccf1178482593d65fb73aeb5e5cf63de28ab0125c46b6d4ec6903c7580d4" + }, + "author/CONTRACT-REVISION.json": { + "bytes": 600, + "mode": 420, + "sha256": "dbaddd5f7bde7e25048ee9e21f00ac5c4cdfaddc1d4567693f259b2a52141216" + }, + "author/CONTRACT.md": { + "bytes": 9911, + "mode": 420, + "sha256": "b5d4d71a3df4d14e6a1c27d096183df63900723ae653cdf18f340f6f282bf98a" + }, + "author/FREEZE.json": { + "bytes": 362, + "mode": 420, + "sha256": "c396dbbc927461c1c81a7c258b21e0d65ff679b8784bbe41fc8bab7c5e577ae0" + }, + "author/PIVOT-INVENTORY.json": { + "bytes": 3509, + "mode": 420, + "sha256": "9182378f7c7c3c1f50cd32b2c990c0395b596d9edf980b6b4ce4ad7bb592a76b" + }, + "author/RUN-RECEIPT.json": { + "bytes": 4128, + "mode": 420, + "sha256": "e3e15fb11aab664b52a9da8824f4dc2c1406c76f2e9c0e905d434e5ceb5e7604" + }, + "author/SEARCH-REPORT.md": { + "bytes": 4454, + "mode": 420, + "sha256": "3a3eb3ff5ce80ec8b365bc05f4849a4f46d06bb1ce8fef08ee410ec0cddf9269" + }, + "author/SEARCH-RESULT.json": { + "bytes": 11009534, + "mode": 420, + "sha256": "d2ea1bd88173a46d8fa59c2958ef234ae9811e44c677aadf012423e77cbf78a9" + }, + "author/SEARCH-STDERR.txt": { + "bytes": 0, + "mode": 420, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "author/SEARCH-STDOUT.txt": { + "bytes": 1158, + "mode": 420, + "sha256": "f37a069f72838190a9f3b4ef4c12ed91e0d2ee97b6842540e69ff9e52089d908" + }, + "author/ZERO-MODEL-INVENTORY.json": { + "bytes": 19948, + "mode": 420, + "sha256": "715342afc9b4e651a120151a41d3b8b9d69e313f679092e67bd85e83e7b23de2" + }, + "author/ZERO-MODEL-PROOF.md": { + "bytes": 5925, + "mode": 420, + "sha256": "51fbc81d7cc1437314ac59ac958a3e3d2fb9b6bc7d132c2a5058e7acdda2914a" + }, + "author/ZERO-MODEL-WITNESS-BINDING.json": { + "bytes": 76702, + "mode": 420, + "sha256": "af46672c959594e0583fe634bf2a851ecd6667c46c588383481de43d7591fce7" + }, + "author/check_joint.py": { + "bytes": 13416, + "mode": 420, + "sha256": "575136ee932e697c97b8a15d2edc1f5ab159de482c66c01a6f211a9dfd301630" + }, + "author/inputs/contracted-graph.txt": { + "bytes": 122199, + "mode": 420, + "sha256": "f5db08a5814b14b11b93b79207afb1a8d5ec2c5803c1cf6bbc3333cccf0a94af" + }, + "author/inputs/research/general-gaussian-contact-search/inputs/round3-word.json.gz": { + "bytes": 207673, + "mode": 420, + "sha256": "7679daa4ec6a40f56fc7f0202379a6f454310e94945aba4f48beaaaafb838d05" + }, + "author/inputs/research/general-gaussian-contact-search/model.py": { + "bytes": 11719, + "mode": 420, + "sha256": "7cc29edccb3679b2a5c9defeeb0a2ec6bcef9b01b97c2390bebc48f366395f1f" + }, + "author/inputs/research/independent-clifford-expansion/RESULT.json": { + "bytes": 174398, + "mode": 420, + "sha256": "458bf999cefd0dd412c7e83b5c9ecbe9ac920290aa4352832b9cd419e1e564f8" + }, + "author/inputs/research/independent-clifford-expansion/algebra.py": { + "bytes": 6674, + "mode": 420, + "sha256": "6c1dde7203fe986f6bdf53d8337730e44de1ae68e5126f9ddb9247c3f343d924" + }, + "author/inputs/research/independent-clifford-expansion/discover.py": { + "bytes": 5558, + "mode": 420, + "sha256": "0453747a19b81ea70fce7469a9c7d4871b88cffe8df2841867983fe835c7d05a" + }, + "author/inputs/research/independent-clifford-expansion/intervals.py": { + "bytes": 3738, + "mode": 420, + "sha256": "fad2a83f026ff7488bd1d731cc01acfa81338a4a8448d3d139e0add56aa32ce4" + }, + "author/inputs/research/independent-clifford-expansion/search.cpp": { + "bytes": 6537, + "mode": 420, + "sha256": "9c4496bfbb75aa2ad5c8e2db9bd0d776e5f555a055fe6c124363d8fada4506c1" + }, + "author/inputs/research/independent-clifford-expansion/verify.py": { + "bytes": 10128, + "mode": 420, + "sha256": "c80267529bc595f6665682b476f677f4ae4f3b597568d43200334c1bf8e93cfb" + }, + "author/zero-model-inputs/CAPTURE.json": { + "bytes": 976, + "mode": 420, + "sha256": "69346015229c3433c4c6a73905d0245c436edd13ec5543458ffd4fce4e7d0495" + }, + "author/zero-model-inputs/DISCOVERY-CONNECTOR-RESPONSE.json": { + "bytes": 304395, + "mode": 420, + "sha256": "637a2c7786fd721a0938d2024e8deae86b030365303c8bf26c2b18491c4b5aec" + }, + "author/zero-model-inputs/DISCOVERY.json": { + "bytes": 139071, + "mode": 420, + "sha256": "a611408b9d76622acf50d02d8c37a24bec9f5ec2b3f53c46351f8d565ece4b2d" + }, + "raw-git/LICENSE": { + "bytes": 11357, + "mode": 420, + "sha256": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4" + }, + "raw-git/research/general-gaussian-contact-search/inputs/round3-word.json.gz": { + "bytes": 207673, + "mode": 420, + "sha256": "7679daa4ec6a40f56fc7f0202379a6f454310e94945aba4f48beaaaafb838d05" + }, + "raw-git/research/general-gaussian-contact-search/model.py": { + "bytes": 11719, + "mode": 420, + "sha256": "7cc29edccb3679b2a5c9defeeb0a2ec6bcef9b01b97c2390bebc48f366395f1f" + }, + "raw-git/research/independent-clifford-expansion/DISCOVERY.json": { + "bytes": 139070, + "mode": 420, + "sha256": "39b1498d06e639c29f69b1ca2d9cb75cd2924d833f612ffcdffea3225b8d554e" + }, + "raw-git/research/independent-clifford-expansion/PROOF.md": { + "bytes": 8023, + "mode": 420, + "sha256": "23715c43c3c0c21e0bdb38e521fcdc0c5e90fda40118bf222fdcb957498972ec" + }, + "raw-git/research/independent-clifford-expansion/README.md": { + "bytes": 5407, + "mode": 420, + "sha256": "8820301199dd8ffed2c3cb3743dc63df39f36234f322e76e91fffeac8983f947" + }, + "raw-git/research/independent-clifford-expansion/RESULT.json": { + "bytes": 174397, + "mode": 420, + "sha256": "3f35cb81f3f7697b7ed64250fc21a5d2eeebf7f4366334014569810d8cdf37fb" + }, + "raw-git/research/independent-clifford-expansion/SOURCES.json": { + "bytes": 2121, + "mode": 420, + "sha256": "bb007022cd811b36ca4985c9a555453253bc72f3ff10b6a366c4707107d98a1b" + }, + "raw-git/research/independent-clifford-expansion/TASK.json": { + "bytes": 5702, + "mode": 420, + "sha256": "6ce931ae34bfc9da2f03b37556c53250a2ece68ad1b1e5da8de120254d16a191" + }, + "raw-git/research/independent-clifford-expansion/VALIDATION.md": { + "bytes": 2750, + "mode": 420, + "sha256": "68f2add6a590fc1220fb6ef146c2810621da22ed91ee8376d3502c24c0989b6f" + }, + "raw-git/research/independent-clifford-expansion/algebra.py": { + "bytes": 6673, + "mode": 420, + "sha256": "426a7ab156cc6266f727e35c3034aa24aa94b3de19fafcad9760daa607e55825" + }, + "raw-git/research/independent-clifford-expansion/discover.py": { + "bytes": 5557, + "mode": 420, + "sha256": "1347f93cb19dc20a99fdc041c55c3ef7a283140fa5305c816fb74d6890d9dbb9" + }, + "raw-git/research/independent-clifford-expansion/intervals.py": { + "bytes": 3737, + "mode": 420, + "sha256": "23fd7f3af2b35fca190ea9217e531e91a4ab9129c46165251a42fb6f4cc5b445" + }, + "raw-git/research/independent-clifford-expansion/search.cpp": { + "bytes": 6536, + "mode": 420, + "sha256": "92f314729720f44c01b9efcc47e5f0678b355089f07e90cbcaea0e28df3e7821" + }, + "raw-git/research/independent-clifford-expansion/verify.py": { + "bytes": 10127, + "mode": 420, + "sha256": "cc5a0a3bdd3ae9474e3abc09046f6be7960675dc256db121163a87a9eefa9bef" + } + }, + "raw_total_bytes": 12772316 +} diff --git a/research/fixed-pivot-joint-clifford-ceiling/ARCHIVE-FILES.json b/research/fixed-pivot-joint-clifford-ceiling/ARCHIVE-FILES.json new file mode 100644 index 0000000000..25df26e393 --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/ARCHIVE-FILES.json @@ -0,0 +1,41 @@ +{ + "ARCHIVE-CONTENTS.json": "516162c42b320a6d00af0badd14ee75adbd7af06e8b73cb1878de0a96ad1d20c", + "CAPTURE-RELATIONS.json": "e9441be6d50f992c5c1ef37926b2ac3eade7743334352586ac74faf311daec37", + "LICENSE": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4", + "SOURCE-REQUESTS.json": "9bc4ca0c7c84549938c48cd7fca3f8472e2602d2464e32f7529d38a5f704de81", + "STAR-ARCHIVE-CONTENTS.json": "005958feb19dd32df73412b1d5bb7fb1cef24814ad70ffb4a12af9f05a63acb0", + "evidence/author-packet.tar.gz": "929c3b7c44487b0c2c86fa4f91df4190a42d3f19044b18823f6b624f8d960008", + "evidence/design/CONTRACT.md": "b5d4d71a3df4d14e6a1c27d096183df63900723ae653cdf18f340f6f282bf98a", + "evidence/design/SEARCH-REPORT.md": "3a3eb3ff5ce80ec8b365bc05f4849a4f46d06bb1ce8fef08ee410ec0cddf9269", + "evidence/design/ZERO-MODEL-PROOF.md": "51fbc81d7cc1437314ac59ac958a3e3d2fb9b6bc7d132c2a5058e7acdda2914a", + "evidence/review/CONTRACT-DIFF-REVIEW.json": "3bfba99d73cfca6b1b5788b00824d64b01533dd1a48d284b35db3972b9c1b95c", + "evidence/review/FREEZE.json": "9595084e5ba4fe69a90eab6428bc20f45fa125122e029cbf58e33fb13834ea5a", + "evidence/review/JOINT-RECEIPT-REVIEW-OPTIMIZED.json": "8b47d817b94a4f124f6600c84b7fdef5e2b448c0278ad41712b501a6bb8adead", + "evidence/review/JOINT-RECEIPT-REVIEW.json": "8b47d817b94a4f124f6600c84b7fdef5e2b448c0278ad41712b501a6bb8adead", + "evidence/review/REVIEW.md": "781e3fcfa0e9fb0e7470bddf6ee172a8800b3b28e0b6748842f6938e9e5cab56", + "evidence/review/SHA256SUMS": "bab80eccb10972165fd6f7674ad9aea0752e0e7b845bdf6a5e7c03290e4e8b68", + "evidence/review/SOURCE-BINDING-REVIEW.md": "48b6625b16b17bd547d2dd610fb3d27f75be5187a90bd849f207c598f39860d5", + "evidence/review/SOURCE-GRAPH-BINDING-OPTIMIZED.json": "66d5cd6ec5f0cf0b237cf31302811da752dea779e12e132907bad1dd853b776a", + "evidence/review/SOURCE-GRAPH-BINDING.json": "66d5cd6ec5f0cf0b237cf31302811da752dea779e12e132907bad1dd853b776a", + "evidence/review/STATIC-CODE-GATE.md": "29eab9285a6d8566962693e26d1d0b73bde14d900c7205b2530dd4c858b97ecd", + "evidence/review/STATIC-INVENTORY-REVIEW.json": "7dfcb8c1dd3e0343146c698e34d9124e0887f37c02078f5c5d0af57c1ecf6cdf", + "evidence/review/ZERO-MODEL-FREEZE.json": "08aa83547485d30af585e7cf7b10efae4939ac7e77c715c34867bb254e917c2f", + "evidence/review/ZERO-MODEL-REVIEW-OPTIMIZED.json": "1b15ccb1878c2a9f885d6da1edfaca3e1876e30eda05cfeccc3fcf4b6a20e5c2", + "evidence/review/ZERO-MODEL-REVIEW.json": "1b15ccb1878c2a9f885d6da1edfaca3e1876e30eda05cfeccc3fcf4b6a20e5c2", + "evidence/review/ZERO-MODEL-REVIEW.md": "46f5fe62fdb549b9d44d461f003dbdec8559a7fafaf7e23a4b2b79ef38456921", + "evidence/review/check_joint_receipt.py": "9bebde39de2e8274506c0cd617ddf62d5edc3271d9b480f8f5f2e1a0147cbc47", + "evidence/review/check_zero_model.py": "07840471fc93079932f02cbbd1357fe440d4fcc26b95ded767c711be3b796435", + "evidence/review/verify_graph_binding.py": "440896172ad8eafe8ba0e1fd0651d759ae2f95aaa759d5a31e6b454b6fac81a4", + "evidence/star-design/CONTRACT.md": "21d8ae8f63310c5397b0d649379452b288d7290962e83544fb70b69cd8848513", + "evidence/star-design/STAR-REPORT.md": "bcdac6466cb5eb14078636fb40120d667a6ee6b8f42a80770cfc4c5b3bfc2c13", + "evidence/star-packet.tar.gz": "458fa4edde439a36677de92d9854df90e91610f4102047ed22e811c5be073fe4", + "evidence/star-review/FREEZE.json": "e885f5a8264fc4b082ae31168a473d06ec498fe120bc21e3b69501531c4c92df", + "evidence/star-review/REVIEW.md": "3d4ada59b80d6640fbf62ee994387de96bd4dffa33fb5892fd254720eb2c0b8a", + "evidence/star-review/SHA256SUMS": "5097eaccbac5862a40af87bae2ca475d41e0bee2d041e75011e753147437b7bf", + "evidence/star-review/STAR-RECEIPT-REVIEW-OPTIMIZED.json": "a52c967a78fc0f3cde5b3b6ecdf601f5813288ecb4634552c34b21107416a175", + "evidence/star-review/STAR-RECEIPT-REVIEW.json": "a52c967a78fc0f3cde5b3b6ecdf601f5813288ecb4634552c34b21107416a175", + "evidence/star-review/STATIC-CODE-GATE.md": "565f362ee5308503d915a7d124c7d6045dc1847f60689bbeab7d8af7dfaa50ba", + "evidence/star-review/STATIC-FREEZE.json": "36284a24e73876674799aea0287cf507b404a3684277a2ed8cc768cae7c32c9b", + "evidence/star-review/STATIC-INVENTORY.json": "cf4d30ad3f0e30d692244f449ff3f4cb66699281b4cee8716b025d5c9c980a39", + "evidence/star-review/check_star_receipt.py": "58fce20989466ea558a8732bf62b3a9592a7bc6e9c780da100ed3b28d00eef9c" +} diff --git a/research/fixed-pivot-joint-clifford-ceiling/CAPTURE-RELATIONS.json b/research/fixed-pivot-joint-clifford-ceiling/CAPTURE-RELATIONS.json new file mode 100644 index 0000000000..972ca3c22e --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/CAPTURE-RELATIONS.json @@ -0,0 +1,70 @@ +{ + "additional_source_text_captures": [ + { + "archive_member": "raw-git/research/independent-clifford-expansion/RESULT.json", + "author_member": "author/inputs/research/independent-clifford-expansion/RESULT.json", + "capture_relation": "raw plus one LF", + "git_blob": "0cba871dc04b99130ec6c00ad632f4086b1cc4b3", + "head": "0335701859182b7bdf31706b0d969c72f5de41c7", + "path": "research/independent-clifford-expansion/RESULT.json", + "sha256": "3f35cb81f3f7697b7ed64250fc21a5d2eeebf7f4366334014569810d8cdf37fb" + }, + { + "archive_member": "raw-git/research/independent-clifford-expansion/algebra.py", + "author_member": "author/inputs/research/independent-clifford-expansion/algebra.py", + "capture_relation": "raw plus one LF", + "git_blob": "b01bb9e86b2dc8e39dff46d1a8daa7ba91913505", + "head": "0335701859182b7bdf31706b0d969c72f5de41c7", + "path": "research/independent-clifford-expansion/algebra.py", + "sha256": "426a7ab156cc6266f727e35c3034aa24aa94b3de19fafcad9760daa607e55825" + }, + { + "archive_member": "raw-git/research/independent-clifford-expansion/discover.py", + "author_member": "author/inputs/research/independent-clifford-expansion/discover.py", + "capture_relation": "raw plus one LF", + "git_blob": "376756ec2c0e8e42cd03578d37fa0bad19cd2247", + "head": "0335701859182b7bdf31706b0d969c72f5de41c7", + "path": "research/independent-clifford-expansion/discover.py", + "sha256": "1347f93cb19dc20a99fdc041c55c3ef7a283140fa5305c816fb74d6890d9dbb9" + }, + { + "archive_member": "raw-git/research/independent-clifford-expansion/intervals.py", + "author_member": "author/inputs/research/independent-clifford-expansion/intervals.py", + "capture_relation": "raw plus one LF", + "git_blob": "729f1088979e5329ab1e002ff7bdeb7ad98a014f", + "head": "0335701859182b7bdf31706b0d969c72f5de41c7", + "path": "research/independent-clifford-expansion/intervals.py", + "sha256": "23fd7f3af2b35fca190ea9217e531e91a4ab9129c46165251a42fb6f4cc5b445" + }, + { + "archive_member": "raw-git/research/independent-clifford-expansion/search.cpp", + "author_member": "author/inputs/research/independent-clifford-expansion/search.cpp", + "capture_relation": "raw plus one LF", + "git_blob": "8447e112e9f587de4ea6cb1f8e6a44d1ebfc37c4", + "head": "0335701859182b7bdf31706b0d969c72f5de41c7", + "path": "research/independent-clifford-expansion/search.cpp", + "sha256": "92f314729720f44c01b9efcc47e5f0678b355089f07e90cbcaea0e28df3e7821" + }, + { + "archive_member": "raw-git/research/independent-clifford-expansion/verify.py", + "author_member": "author/inputs/research/independent-clifford-expansion/verify.py", + "capture_relation": "raw plus one LF", + "git_blob": "1304b9b75f2ed324375ac32894e810a5514a257d", + "head": "0335701859182b7bdf31706b0d969c72f5de41c7", + "path": "research/independent-clifford-expansion/verify.py", + "sha256": "cc5a0a3bdd3ae9474e3abc09046f6be7960675dc256db121163a87a9eefa9bef" + } + ], + "capture_bytes": 139071, + "capture_member": "author/zero-model-inputs/DISCOVERY.json", + "capture_sha256": "a611408b9d76622acf50d02d8c37a24bec9f5ec2b3f53c46351f8d565ece4b2d", + "exact_relation": "capture == raw Git bytes + one LF", + "original_capture_did_not_claim_git_authentication": true, + "original_connector_capture_preserved": true, + "original_head": "0335701859182b7bdf31706b0d969c72f5de41c7", + "original_path": "research/independent-clifford-expansion/DISCOVERY.json", + "packaging_git_authentication_performed": true, + "raw_bytes": 139070, + "raw_git_member": "raw-git/research/independent-clifford-expansion/DISCOVERY.json", + "raw_sha256": "39b1498d06e639c29f69b1ca2d9cb75cd2924d833f612ffcdffea3225b8d554e" +} diff --git a/research/fixed-pivot-joint-clifford-ceiling/LICENSE b/research/fixed-pivot-joint-clifford-ceiling/LICENSE new file mode 100644 index 0000000000..261eeb9e9f --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/LICENSE @@ -0,0 +1,201 @@ + Apache License + Version 2.0, January 2004 + http://www.apache.org/licenses/ + + TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION + + 1. Definitions. + + "License" shall mean the terms and conditions for use, reproduction, + and distribution as defined by Sections 1 through 9 of this document. + + "Licensor" shall mean the copyright owner or entity authorized by + the copyright owner that is granting the License. + + "Legal Entity" shall mean the union of the acting entity and all + other entities that control, are controlled by, or are under common + control with that entity. For the purposes of this definition, + "control" means (i) the power, direct or indirect, to cause the + direction or management of such entity, whether by contract or + otherwise, or (ii) ownership of fifty percent (50%) or more of the + outstanding shares, or (iii) beneficial ownership of such entity. + + "You" (or "Your") shall mean an individual or Legal Entity + exercising permissions granted by this License. + + "Source" form shall mean the preferred form for making modifications, + including but not limited to software source code, documentation + source, and configuration files. + + "Object" form shall mean any form resulting from mechanical + transformation or translation of a Source form, including but + not limited to compiled object code, generated documentation, + and conversions to other media types. + + "Work" shall mean the work of authorship, whether in Source or + Object form, made available under the License, as indicated by a + copyright notice that is included in or attached to the work + (an example is provided in the Appendix below). + + "Derivative Works" shall mean any work, whether in Source or Object + form, that is based on (or derived from) the Work and for which the + editorial revisions, annotations, elaborations, or other modifications + represent, as a whole, an original work of authorship. For the purposes + of this License, Derivative Works shall not include works that remain + separable from, or merely link (or bind by name) to the interfaces of, + the Work and Derivative Works thereof. + + "Contribution" shall mean any work of authorship, including + the original version of the Work and any modifications or additions + to that Work or Derivative Works thereof, that is intentionally + submitted to Licensor for inclusion in the Work by the copyright owner + or by an individual or Legal Entity authorized to submit on behalf of + the copyright owner. For the purposes of this definition, "submitted" + means any form of electronic, verbal, or written communication sent + to the Licensor or its representatives, including but not limited to + communication on electronic mailing lists, source code control systems, + and issue tracking systems that are managed by, or on behalf of, the + Licensor for the purpose of discussing and improving the Work, but + excluding communication that is conspicuously marked or otherwise + designated in writing by the copyright owner as "Not a Contribution." + + "Contributor" shall mean Licensor and any individual or Legal Entity + on behalf of whom a Contribution has been received by Licensor and + subsequently incorporated within the Work. + + 2. Grant of Copyright License. Subject to the terms and conditions of + this License, each Contributor hereby grants to You a perpetual, + worldwide, non-exclusive, no-charge, royalty-free, irrevocable + copyright license to reproduce, prepare Derivative Works of, + publicly display, publicly perform, sublicense, and distribute the + Work and such Derivative Works in Source or Object form. + + 3. Grant of Patent License. Subject to the terms and conditions of + this License, each Contributor hereby grants to You a perpetual, + worldwide, non-exclusive, no-charge, royalty-free, irrevocable + (except as stated in this section) patent license to make, have made, + use, offer to sell, sell, import, and otherwise transfer the Work, + where such license applies only to those patent claims licensable + by such Contributor that are necessarily infringed by their + Contribution(s) alone or by combination of their Contribution(s) + with the Work to which such Contribution(s) was submitted. If You + institute patent litigation against any entity (including a + cross-claim or counterclaim in a lawsuit) alleging that the Work + or a Contribution incorporated within the Work constitutes direct + or contributory patent infringement, then any patent licenses + granted to You under this License for that Work shall terminate + as of the date such litigation is filed. + + 4. Redistribution. You may reproduce and distribute copies of the + Work or Derivative Works thereof in any medium, with or without + modifications, and in Source or Object form, provided that You + meet the following conditions: + + (a) You must give any other recipients of the Work or + Derivative Works a copy of this License; and + + (b) You must cause any modified files to carry prominent notices + stating that You changed the files; and + + (c) You must retain, in the Source form of any Derivative Works + that You distribute, all copyright, patent, trademark, and + attribution notices from the Source form of the Work, + excluding those notices that do not pertain to any part of + the Derivative Works; and + + (d) If the Work includes a "NOTICE" text file as part of its + distribution, then any Derivative Works that You distribute must + include a readable copy of the attribution notices contained + within such NOTICE file, excluding those notices that do not + pertain to any part of the Derivative Works, in at least one + of the following places: within a NOTICE text file distributed + as part of the Derivative Works; within the Source form or + documentation, if provided along with the Derivative Works; or, + within a display generated by the Derivative Works, if and + wherever such third-party notices normally appear. The contents + of the NOTICE file are for informational purposes only and + do not modify the License. You may add Your own attribution + notices within Derivative Works that You distribute, alongside + or as an addendum to the NOTICE text from the Work, provided + that such additional attribution notices cannot be construed + as modifying the License. + + You may add Your own copyright statement to Your modifications and + may provide additional or different license terms and conditions + for use, reproduction, or distribution of Your modifications, or + for any such Derivative Works as a whole, provided Your use, + reproduction, and distribution of the Work otherwise complies with + the conditions stated in this License. + + 5. Submission of Contributions. Unless You explicitly state otherwise, + any Contribution intentionally submitted for inclusion in the Work + by You to the Licensor shall be under the terms and conditions of + this License, without any additional terms or conditions. + Notwithstanding the above, nothing herein shall supersede or modify + the terms of any separate license agreement you may have executed + with Licensor regarding such Contributions. + + 6. Trademarks. This License does not grant permission to use the trade + names, trademarks, service marks, or product names of the Licensor, + except as required for reasonable and customary use in describing the + origin of the Work and reproducing the content of the NOTICE file. + + 7. Disclaimer of Warranty. Unless required by applicable law or + agreed to in writing, Licensor provides the Work (and each + Contributor provides its Contributions) on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or + implied, including, without limitation, any warranties or conditions + of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A + PARTICULAR PURPOSE. You are solely responsible for determining the + appropriateness of using or redistributing the Work and assume any + risks associated with Your exercise of permissions under this License. + + 8. Limitation of Liability. In no event and under no legal theory, + whether in tort (including negligence), contract, or otherwise, + unless required by applicable law (such as deliberate and grossly + negligent acts) or agreed to in writing, shall any Contributor be + liable to You for damages, including any direct, indirect, special, + incidental, or consequential damages of any character arising as a + result of this License or out of the use or inability to use the + Work (including but not limited to damages for loss of goodwill, + work stoppage, computer failure or malfunction, or any and all + other commercial damages or losses), even if such Contributor + has been advised of the possibility of such damages. + + 9. Accepting Warranty or Additional Liability. While redistributing + the Work or Derivative Works thereof, You may choose to offer, + and charge a fee for, acceptance of support, warranty, indemnity, + or other liability obligations and/or rights consistent with this + License. However, in accepting such obligations, You may act only + on Your own behalf and on Your sole responsibility, not on behalf + of any other Contributor, and only if You agree to indemnify, + defend, and hold each Contributor harmless for any liability + incurred by, or claims asserted against, such Contributor by reason + of your accepting any such warranty or additional liability. + + END OF TERMS AND CONDITIONS + + APPENDIX: How to apply the Apache License to your work. + + To apply the Apache License to your work, attach the following + boilerplate notice, with the fields enclosed by brackets "[]" + replaced with your own identifying information. (Don't include + the brackets!) The text should be enclosed in the appropriate + comment syntax for the file format. We also recommend that a + file or class name and description of purpose be included on the + same "printed page" as the copyright notice for easier + identification within third-party archives. + + Copyright [yyyy] [name of copyright owner] + + Licensed under the Apache License, Version 2.0 (the "License"); + you may not use this file except in compliance with the License. + You may obtain a copy of the License at + + http://www.apache.org/licenses/LICENSE-2.0 + + Unless required by applicable law or agreed to in writing, software + distributed under the License is distributed on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + See the License for the specific language governing permissions and + limitations under the License. diff --git a/research/fixed-pivot-joint-clifford-ceiling/NOTICE.md b/research/fixed-pivot-joint-clifford-ceiling/NOTICE.md new file mode 100644 index 0000000000..3d374057ac --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/NOTICE.md @@ -0,0 +1 @@ +Prepared by Chris R / Clear1nsight with substantial OpenAI Codex assistance. Apache-2.0. Credit Cinna Davis / 1337isnot1337 for #5124 geometry, nearest-chart theorem/census and retained zero witnesses; Cao Yifan/#4610 native word; Dugongue/#4654 inverse-chart/phase work; Astra for the bounded joint and star designs; independent source/receipt reviewers; #4470, zxv, Jacob Alan Sussman, E8, Clifford, native/helper/scalar/precision/compiler/outer predecessors. Related #5125 split-contact work is distinct and not imported as a proof. Original code, proof, notices, hashes, failures and run evidence are retained in exact archives. No new kappa or proof-kernel acceptance is claimed. diff --git a/research/fixed-pivot-joint-clifford-ceiling/PACKAGE-FILES.json b/research/fixed-pivot-joint-clifford-ceiling/PACKAGE-FILES.json new file mode 100644 index 0000000000..d9ce243ea5 --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/PACKAGE-FILES.json @@ -0,0 +1,50 @@ +{ + ".gitattributes": "730a35ae3d558080083c3103d9ac8100c3f6561678092abe341701dfa331eb1d", + "ARCHIVE-CONTENTS.json": "516162c42b320a6d00af0badd14ee75adbd7af06e8b73cb1878de0a96ad1d20c", + "ARCHIVE-FILES.json": "75176ca4da0487192327b4929cdbae33f7587f3571d10b538814cdda25043c93", + "CAPTURE-RELATIONS.json": "e9441be6d50f992c5c1ef37926b2ac3eade7743334352586ac74faf311daec37", + "LICENSE": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4", + "NOTICE.md": "b598ec8a701d84fb7d6f250f27937879da531050ffeb778e9cac1d5145836057", + "README.md": "fdb0cff4efb7c5f9f71e0d40c30f26e6547acb03d6f2b47390614c89174c2a08", + "SOURCE-REQUESTS.json": "9bc4ca0c7c84549938c48cd7fca3f8472e2602d2464e32f7529d38a5f704de81", + "SOURCES.json": "22795608b563978cf077ca2a61e73e88cd89bb079900ccaecd037141b40de432", + "STAR-ARCHIVE-CONTENTS.json": "005958feb19dd32df73412b1d5bb7fb1cef24814ad70ffb4a12af9f05a63acb0", + "TASK.json": "efac79e47b0a6538a2c9e22e3d4b2302c2af7c5582ae7e95eb187a390d393b79", + "VERIFY.json": "d04566e12af1de0861816a58ccb7a23e25adb2df5dd5431a5be7c28831d23129", + "evidence/author-packet.tar.gz": "929c3b7c44487b0c2c86fa4f91df4190a42d3f19044b18823f6b624f8d960008", + "evidence/design/CONTRACT.md": "b5d4d71a3df4d14e6a1c27d096183df63900723ae653cdf18f340f6f282bf98a", + "evidence/design/SEARCH-REPORT.md": "3a3eb3ff5ce80ec8b365bc05f4849a4f46d06bb1ce8fef08ee410ec0cddf9269", + "evidence/design/ZERO-MODEL-PROOF.md": "51fbc81d7cc1437314ac59ac958a3e3d2fb9b6bc7d132c2a5058e7acdda2914a", + "evidence/review/CONTRACT-DIFF-REVIEW.json": "3bfba99d73cfca6b1b5788b00824d64b01533dd1a48d284b35db3972b9c1b95c", + "evidence/review/FREEZE.json": "9595084e5ba4fe69a90eab6428bc20f45fa125122e029cbf58e33fb13834ea5a", + "evidence/review/JOINT-RECEIPT-REVIEW-OPTIMIZED.json": "8b47d817b94a4f124f6600c84b7fdef5e2b448c0278ad41712b501a6bb8adead", + "evidence/review/JOINT-RECEIPT-REVIEW.json": "8b47d817b94a4f124f6600c84b7fdef5e2b448c0278ad41712b501a6bb8adead", + "evidence/review/REVIEW.md": "781e3fcfa0e9fb0e7470bddf6ee172a8800b3b28e0b6748842f6938e9e5cab56", + "evidence/review/SHA256SUMS": "bab80eccb10972165fd6f7674ad9aea0752e0e7b845bdf6a5e7c03290e4e8b68", + "evidence/review/SOURCE-BINDING-REVIEW.md": "48b6625b16b17bd547d2dd610fb3d27f75be5187a90bd849f207c598f39860d5", + "evidence/review/SOURCE-GRAPH-BINDING-OPTIMIZED.json": "66d5cd6ec5f0cf0b237cf31302811da752dea779e12e132907bad1dd853b776a", + "evidence/review/SOURCE-GRAPH-BINDING.json": "66d5cd6ec5f0cf0b237cf31302811da752dea779e12e132907bad1dd853b776a", + "evidence/review/STATIC-CODE-GATE.md": "29eab9285a6d8566962693e26d1d0b73bde14d900c7205b2530dd4c858b97ecd", + "evidence/review/STATIC-INVENTORY-REVIEW.json": "7dfcb8c1dd3e0343146c698e34d9124e0887f37c02078f5c5d0af57c1ecf6cdf", + "evidence/review/ZERO-MODEL-FREEZE.json": "08aa83547485d30af585e7cf7b10efae4939ac7e77c715c34867bb254e917c2f", + "evidence/review/ZERO-MODEL-REVIEW-OPTIMIZED.json": "1b15ccb1878c2a9f885d6da1edfaca3e1876e30eda05cfeccc3fcf4b6a20e5c2", + "evidence/review/ZERO-MODEL-REVIEW.json": "1b15ccb1878c2a9f885d6da1edfaca3e1876e30eda05cfeccc3fcf4b6a20e5c2", + "evidence/review/ZERO-MODEL-REVIEW.md": "46f5fe62fdb549b9d44d461f003dbdec8559a7fafaf7e23a4b2b79ef38456921", + "evidence/review/check_joint_receipt.py": "9bebde39de2e8274506c0cd617ddf62d5edc3271d9b480f8f5f2e1a0147cbc47", + "evidence/review/check_zero_model.py": "07840471fc93079932f02cbbd1357fe440d4fcc26b95ded767c711be3b796435", + "evidence/review/verify_graph_binding.py": "440896172ad8eafe8ba0e1fd0651d759ae2f95aaa759d5a31e6b454b6fac81a4", + "evidence/star-design/CONTRACT.md": "21d8ae8f63310c5397b0d649379452b288d7290962e83544fb70b69cd8848513", + "evidence/star-design/STAR-REPORT.md": "bcdac6466cb5eb14078636fb40120d667a6ee6b8f42a80770cfc4c5b3bfc2c13", + "evidence/star-packet.tar.gz": "458fa4edde439a36677de92d9854df90e91610f4102047ed22e811c5be073fe4", + "evidence/star-review/FREEZE.json": "e885f5a8264fc4b082ae31168a473d06ec498fe120bc21e3b69501531c4c92df", + "evidence/star-review/REVIEW.md": "3d4ada59b80d6640fbf62ee994387de96bd4dffa33fb5892fd254720eb2c0b8a", + "evidence/star-review/SHA256SUMS": "5097eaccbac5862a40af87bae2ca475d41e0bee2d041e75011e753147437b7bf", + "evidence/star-review/STAR-RECEIPT-REVIEW-OPTIMIZED.json": "a52c967a78fc0f3cde5b3b6ecdf601f5813288ecb4634552c34b21107416a175", + "evidence/star-review/STAR-RECEIPT-REVIEW.json": "a52c967a78fc0f3cde5b3b6ecdf601f5813288ecb4634552c34b21107416a175", + "evidence/star-review/STATIC-CODE-GATE.md": "565f362ee5308503d915a7d124c7d6045dc1847f60689bbeab7d8af7dfaa50ba", + "evidence/star-review/STATIC-FREEZE.json": "36284a24e73876674799aea0287cf507b404a3684277a2ed8cc768cae7c32c9b", + "evidence/star-review/STATIC-INVENTORY.json": "cf4d30ad3f0e30d692244f449ff3f4cb66699281b4cee8716b025d5c9c980a39", + "evidence/star-review/check_star_receipt.py": "58fce20989466ea558a8732bf62b3a9592a7bc6e9c780da100ed3b28d00eef9c", + "portable.py": "7003f25dccc41248b25adf334f797a67d1ce186746bba07b7978ff196c141b11", + "verify.py": "cdd1bc3ab1a6742724f4464eea6ed075321adb5520cfebd983889c0081946581" +} diff --git a/research/fixed-pivot-joint-clifford-ceiling/README.md b/research/fixed-pivot-joint-clifford-ceiling/README.md new file mode 100644 index 0000000000..d11a20d907 --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/README.md @@ -0,0 +1,58 @@ +# Exact verification of three bounded joint-chart certificates + +Prepared by Chris R / Clear1nsight with substantial OpenAI Codex assistance. This package preserves completed design receipts and independent verification for three **separate** geometric models of Cinna Davis's #5124 common-chart source. It supplies no favorable native witness, physical caller or new κ. + +## Results and exact boundaries + +| Certificate | Declared domain | Independently verified outcome | +| --- | --- | --- | +| Fixed-pivot adjacent pairs | Pivot group 499/axis 7; all 1,022 nearest charts at each partners 172,497,504: 3,066 candidates | Every point energy is strictly positive at C*=15108879/5000000000;24 polynomial buckets certify nonnegativity on 0≤C≤1/200 | +| Retained edgeless zero model | 43 distinct groups with one fixed nearest alternative each;172 paid identity incidences and no selected-selected row | Every one of 2^43 subsets has the original paid profile AND original helper profile, separately, by exact additivity; no assignment enumeration | +| Fixed three-group star | Bridge 172, all 1,022 nearest charts; retained leaf alternatives (499,7),(572,25); four leaf choices per active bridge: 4,088 candidates | All 8,176 complete profiles and 114,464 incidence ranks match;26 exact polynomial buckets certify nonnegativity on 0≤C≤1/200, and all active point energies are positive | + +The pair best-at-C* witness is partner 497/axis 7, with excess `−H1+H2+H3−H4`, approximately +.00259378145148. The star's independently separated active minimum is bridge axis 557 with both leaves on: `−2H1+H2−2H3+2H4`, approximately +1.98225837689. Here `Hr(C)=r^(1−C)`, `H0=0`, and energy is **paid cost minus productive helper reward relative to source**. A positive excess is a loss. The unchanged baseline and declared zero alternatives remain ties; there is no uniqueness claim. + +The pair's 24 certificates comprise 20 increasing-concave dominance proofs and 4 direct 16-cell interval proofs; the star's 26 comprise 20 dominance and 6 direct 16-cell proofs. The independent engine uses its own 64-term rational logarithm and 21/22-term negative-exponential bounds, without importing the source interval implementation. These are exact finite certificates on the declared C domain, not sampled floating comparisons or a universal all-concave theorem. No min-cut solver was used; an interaction regularity sign alone does not imply a saving. + +The two-site, 43-choice and three-site domains are not combined into a larger interacting family. The old zero-model proof's bridge-unrun wording is retained as history; the later star capsule independently closes only its specified 1,022-chart/two-fixed-leaf domain. It does not certify other bridges, leaf alternatives, second-step charts, larger simultaneous sets, other pivots, changed scalar words or helper ownership. + +## Source graph, inventory and credit + +Source #5124 is `0335701859182b7bdf31706b0d969c72f5de41c7`. The independent reconstruction reads literal JSON/gzip only and imports no author model. It reproduces 19,197 chronological nodes, 34,638 contact rows and the contracted 1,075-group/3,938-incidence graph. All 31,108 original zero-paid rows stay internal to one common-chart group. The graph retains 240 native warp rows, 408 helper rows, selfloops and parallel charges, and all 8H8 owned centre calls. Frozen main, owned and adapter boundaries remain fixed. + +The baseline paid profile is `{1:2201,2:412,3:510,4:127,5:40,8:8}` and the helper profile is `{4:28,7:7,8:47,9:326}`. All 408 independent helpers remain strictly productive once. Pair and star selected unions contain only paid identity rows; this fact does not authorize omitting signed helper or source-side warp action in general. Complete four/eight-state profiles are independently reconstructed for every recorded candidate, rather than relying on the author's sampled global checks. Exact controls distinguish both-endpoint selfloops, parallel multiplicity and invalid zero helper rank. + +Credit Cinna Davis / 1337isnot1337 for #5124's geometry, nearest-neighbor theorem, source single-move census and retained witnesses; Cao Yifan/#4610 for the native word; Dugongue/#4654 and the retained inverse-chart/phase lineage; Astra for the precisely bounded designs; the independent graph/receipt reviewers; #4470, zxv, Jacob Alan Sussman, E8, Clifford, native/helper/scalar/precision/compiler/outer predecessors. The related [#5125 split-contact investigation](https://github.com/CrocSwap/integer-mult-bounds/pull/5125) changes a different common-gauge/scalar-contact premise and is not duplicated, imported or dominated by these certificates. Apache-2.0 license and original source credit are preserved. No external paper/PDF is vendored. + +This closes the declared same-graph design round. The code-level and invoice-level results are not emitted actual Clifford lifts, phase/native replay, all-column supplier admission, raw-dual/caller construction, compiler reserve or outer multiplication verification. A future favorable model would still need every chronological transition, warp, boundary, arbitrary-input/helper endpoint and actual inverse-transpose orientation, including any changed helper-entrance direct-sum/zero-transfer premise. + +## Reproduction + +Python 3.12+, standard library only. From any directory, substitute the package path: + +```sh +python3 -I -W error -B research/fixed-pivot-joint-clifford-ceiling/verify.py +python3 -I -O -W error -B research/fixed-pivot-joint-clifford-ceiling/verify.py +``` + +The wrapper authenticates all archive/manifest/source bytes, extracts regular files into private scratch, preserves the original sibling outputs layout, and launches only the four unchanged independent validators: graph binding, pair receipt, zero model and star receipt. Every fresh result must equal its frozen JSON byte-for-byte. No AST/scientific expression or loader is rewritten. The original author check_joint/check_star, neighbors(), discovery/single census, source model/interval engine, native circuits, compiler and Lean are never executed. Default replay writes only private files and prints a compact summary. Measured runtime is recorded in the final publication receipt. + +```sh +python3 -B scripts/research_package.py --package research/fixed-pivot-joint-clifford-ceiling --check-only +python3 -B scripts/research_package.py --package research/fixed-pivot-joint-clifford-ceiling +python3 -B scripts/check_research_commit.py --package research/fixed-pivot-joint-clifford-ceiling --check-source-history +``` + +## Archives and provenance + +The two deterministic regular-file-only tar.gz capsules retain the full author raw receipts, exact original freezes, revision history and run logs. Pair/zero and star capsules are separate; the earlier compressed capsule was not rewritten when the star was added. Together they preserve about 35.48MB of raw members in about 1.32MB compressed. ARCHIVE-CONTENTS and STAR-ARCHIVE-CONTENTS bind each raw member's SHA256/length/mode and record the compressed container hashes separately. Two builds matched in the recorded runtime. Mathematical reproduction compares canonical decompressed bytes, not regeneration of gzip streams across zlib versions. Compact author contracts/reports and all independent reports/checkers are also directly visible under evidence/. + +Raw Git blobs were fetched for every upstream source input before ancestry was claimed. Two predecessor inputs (word gzip/model.py) are byte-exact. Six #5124 text captures and DISCOVERY each equal their raw Git bytes plus exactly one terminal LF. Both variants, original connector response/CAPTURE receipt, original AUTH manifests and exact raw-source request paths/hashes are retained; CAPTURE-RELATIONS verifies the difference. Captured hashes are never silently substituted for raw Git blob hashes. The original reviewer honestly recorded its earlier offline Git limitation; packaging's later successful raw-Git authentication is a separate recorded provenance step. + +The original frozen research base is `20a1e31bc6009b9b3f4d084bbaadc6350e34fcba`; TASK/source requests and scientific evidence preserve that base. Publication integration additionally merges canonical main `a5df48c55ea806d7952b65acc9c76d878ff09b13`, including the separately owned shared-tooling fixes, without changing any scientific capsule. Source 0335701 was not a base ancestor, so a documented provenance-only ours merge `744083e098c600dfb5a3a65fa317f677638e1059` retained its exact history while preserving the tracked base tree. No source modifications were imported outside this package. Original upstream rows remain provenance pins; same-path retained ancestors bind live compressed/source/review inputs. Archive integrity is distinct from authenticated provenance and mathematical acceptance. + +The package uses current shared source/pin tooling without changing it. The publication integration includes the upstream #5123/#5129 fixes; historical receipts remain unchanged, and neither fix is duplicated here. Preflight/export runs with an explicit worktree root and inherited GIT_* plus PYTHONINSPECT/PYTHONSTARTUP/PYTHONPATH removed; scientific replay uses -I and exact return-code/receipt checks. Hosted CI remains pending until an actual result exists. + +## Open next questions + +TASK retains the exact canonical complex-new-helper-inventory card, refined to this supporting verification. Do not widen the same fixed geometry by another seed or unpriced search round. A useful reopening needs an actual changed physical cost lever or a different complete source-bound paid/eligible-target contract, with every original owner/helper retained and all ordinary/precision/compiler/outer costs addressed. These three certificates supply no general obstruction to such changes and no κ update. diff --git a/research/fixed-pivot-joint-clifford-ceiling/SOURCE-REQUESTS.json b/research/fixed-pivot-joint-clifford-ceiling/SOURCE-REQUESTS.json new file mode 100644 index 0000000000..07370306ad --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/SOURCE-REQUESTS.json @@ -0,0 +1,123 @@ +[ + { + "archive_member": "raw-git/research/general-gaussian-contact-search/inputs/round3-word.json.gz", + "author_member": "author/inputs/research/general-gaussian-contact-search/inputs/round3-word.json.gz", + "capture_relation": "exact bytes", + "git_blob": "46d929df83817b85a5387bcdb9745e0627d6366e", + "head": "0335701859182b7bdf31706b0d969c72f5de41c7", + "path": "research/general-gaussian-contact-search/inputs/round3-word.json.gz", + "sha256": "7679daa4ec6a40f56fc7f0202379a6f454310e94945aba4f48beaaaafb838d05" + }, + { + "archive_member": "raw-git/research/general-gaussian-contact-search/model.py", + "author_member": "author/inputs/research/general-gaussian-contact-search/model.py", + "capture_relation": "exact bytes", + "git_blob": "a69138e4014424235345f3301fbe6b097caa1b8c", + "head": "0335701859182b7bdf31706b0d969c72f5de41c7", + "path": "research/general-gaussian-contact-search/model.py", + "sha256": "7cc29edccb3679b2a5c9defeeb0a2ec6bcef9b01b97c2390bebc48f366395f1f" + }, + { + "archive_member": "raw-git/research/independent-clifford-expansion/RESULT.json", + "author_member": "author/inputs/research/independent-clifford-expansion/RESULT.json", + "capture_relation": "raw plus one LF", + "git_blob": "0cba871dc04b99130ec6c00ad632f4086b1cc4b3", + "head": "0335701859182b7bdf31706b0d969c72f5de41c7", + "path": "research/independent-clifford-expansion/RESULT.json", + "sha256": "3f35cb81f3f7697b7ed64250fc21a5d2eeebf7f4366334014569810d8cdf37fb" + }, + { + "archive_member": "raw-git/research/independent-clifford-expansion/algebra.py", + "author_member": "author/inputs/research/independent-clifford-expansion/algebra.py", + "capture_relation": "raw plus one LF", + "git_blob": "b01bb9e86b2dc8e39dff46d1a8daa7ba91913505", + "head": "0335701859182b7bdf31706b0d969c72f5de41c7", + "path": "research/independent-clifford-expansion/algebra.py", + "sha256": "426a7ab156cc6266f727e35c3034aa24aa94b3de19fafcad9760daa607e55825" + }, + { + "archive_member": "raw-git/research/independent-clifford-expansion/discover.py", + "author_member": "author/inputs/research/independent-clifford-expansion/discover.py", + "capture_relation": "raw plus one LF", + "git_blob": "376756ec2c0e8e42cd03578d37fa0bad19cd2247", + "head": "0335701859182b7bdf31706b0d969c72f5de41c7", + "path": "research/independent-clifford-expansion/discover.py", + "sha256": "1347f93cb19dc20a99fdc041c55c3ef7a283140fa5305c816fb74d6890d9dbb9" + }, + { + "archive_member": "raw-git/research/independent-clifford-expansion/intervals.py", + "author_member": "author/inputs/research/independent-clifford-expansion/intervals.py", + "capture_relation": "raw plus one LF", + "git_blob": "729f1088979e5329ab1e002ff7bdeb7ad98a014f", + "head": "0335701859182b7bdf31706b0d969c72f5de41c7", + "path": "research/independent-clifford-expansion/intervals.py", + "sha256": "23fd7f3af2b35fca190ea9217e531e91a4ab9129c46165251a42fb6f4cc5b445" + }, + { + "archive_member": "raw-git/research/independent-clifford-expansion/search.cpp", + "author_member": "author/inputs/research/independent-clifford-expansion/search.cpp", + "capture_relation": "raw plus one LF", + "git_blob": "8447e112e9f587de4ea6cb1f8e6a44d1ebfc37c4", + "head": "0335701859182b7bdf31706b0d969c72f5de41c7", + "path": "research/independent-clifford-expansion/search.cpp", + "sha256": "92f314729720f44c01b9efcc47e5f0678b355089f07e90cbcaea0e28df3e7821" + }, + { + "archive_member": "raw-git/research/independent-clifford-expansion/verify.py", + "author_member": "author/inputs/research/independent-clifford-expansion/verify.py", + "capture_relation": "raw plus one LF", + "git_blob": "1304b9b75f2ed324375ac32894e810a5514a257d", + "head": "0335701859182b7bdf31706b0d969c72f5de41c7", + "path": "research/independent-clifford-expansion/verify.py", + "sha256": "cc5a0a3bdd3ae9474e3abc09046f6be7960675dc256db121163a87a9eefa9bef" + }, + { + "archive_member": "raw-git/research/independent-clifford-expansion/PROOF.md", + "git_blob": "3ad9690503a035b7bed8d2cadb7bd50d95b7236a", + "head": "0335701859182b7bdf31706b0d969c72f5de41c7", + "path": "research/independent-clifford-expansion/PROOF.md", + "sha256": "23715c43c3c0c21e0bdb38e521fcdc0c5e90fda40118bf222fdcb957498972ec" + }, + { + "archive_member": "raw-git/research/independent-clifford-expansion/README.md", + "git_blob": "7b0af058b6613541c27be90632cff3ba5a30ea0a", + "head": "0335701859182b7bdf31706b0d969c72f5de41c7", + "path": "research/independent-clifford-expansion/README.md", + "sha256": "8820301199dd8ffed2c3cb3743dc63df39f36234f322e76e91fffeac8983f947" + }, + { + "archive_member": "raw-git/research/independent-clifford-expansion/TASK.json", + "git_blob": "2bd574ce962f966fac1ca61770cae6171f642b9a", + "head": "0335701859182b7bdf31706b0d969c72f5de41c7", + "path": "research/independent-clifford-expansion/TASK.json", + "sha256": "6ce931ae34bfc9da2f03b37556c53250a2ece68ad1b1e5da8de120254d16a191" + }, + { + "archive_member": "raw-git/research/independent-clifford-expansion/SOURCES.json", + "git_blob": "97860a095442e2ae111da849c89600a496061055", + "head": "0335701859182b7bdf31706b0d969c72f5de41c7", + "path": "research/independent-clifford-expansion/SOURCES.json", + "sha256": "bb007022cd811b36ca4985c9a555453253bc72f3ff10b6a366c4707107d98a1b" + }, + { + "archive_member": "raw-git/research/independent-clifford-expansion/VALIDATION.md", + "git_blob": "ee579c602dcc56ac60204ce0015e9f31fc8c16bd", + "head": "0335701859182b7bdf31706b0d969c72f5de41c7", + "path": "research/independent-clifford-expansion/VALIDATION.md", + "sha256": "68f2add6a590fc1220fb6ef146c2810621da22ed91ee8376d3502c24c0989b6f" + }, + { + "archive_member": "raw-git/research/independent-clifford-expansion/DISCOVERY.json", + "git_blob": "c8557e399b167707a271f804d73f117d26d8e8d3", + "head": "0335701859182b7bdf31706b0d969c72f5de41c7", + "path": "research/independent-clifford-expansion/DISCOVERY.json", + "sha256": "39b1498d06e639c29f69b1ca2d9cb75cd2924d833f612ffcdffea3225b8d554e" + }, + { + "archive_member": "raw-git/LICENSE", + "git_blob": "261eeb9e9f8b2b4b0d119366dda99c6fd7d35c64", + "head": "0335701859182b7bdf31706b0d969c72f5de41c7", + "path": "LICENSE", + "sha256": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4" + } +] diff --git a/research/fixed-pivot-joint-clifford-ceiling/SOURCES.json b/research/fixed-pivot-joint-clifford-ceiling/SOURCES.json new file mode 100644 index 0000000000..2c017eba59 --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/SOURCES.json @@ -0,0 +1,403 @@ +{ + "base_commit": "20a1e31bc6009b9b3f4d084bbaadc6350e34fcba", + "files": [ + { + "git_blob": "c35482cd9035843b15a634cc8276a7e1e40e8395", + "path": "certificates/selected-result.json", + "sha256": "6fe0a099b89aa2aed796a13c3a21dafc63f3388ebf397464e44e0451893b9375", + "usage": "provenance" + }, + { + "git_blob": "f126dd2e2dad2b669e75d1d0d0bd05c600725602", + "path": "docs/research/agent-task-catalog.json", + "sha256": "f7a48bfa2659b88378282a8eee7d9fe52cdf505594124c4d1686b58510fffd72", + "usage": "provenance" + }, + { + "git_blob": "08675e00c2f4ae7eb5cb60e568bff011d4e2e6f9", + "path": "research/fixed-pivot-joint-clifford-ceiling/ARCHIVE-CONTENTS.json", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/ARCHIVE-CONTENTS.json", + "sha256": "516162c42b320a6d00af0badd14ee75adbd7af06e8b73cb1878de0a96ad1d20c", + "usage": "input" + }, + { + "git_blob": "25df26e39322c037b60ad6336b2d59e3417bf7cd", + "path": "research/fixed-pivot-joint-clifford-ceiling/ARCHIVE-FILES.json", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/ARCHIVE-FILES.json", + "sha256": "75176ca4da0487192327b4929cdbae33f7587f3571d10b538814cdda25043c93", + "usage": "input" + }, + { + "git_blob": "972ca3c22ee4bca6739c971a49e36eb33c2ab8bc", + "path": "research/fixed-pivot-joint-clifford-ceiling/CAPTURE-RELATIONS.json", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/CAPTURE-RELATIONS.json", + "sha256": "e9441be6d50f992c5c1ef37926b2ac3eade7743334352586ac74faf311daec37", + "usage": "input" + }, + { + "git_blob": "261eeb9e9f8b2b4b0d119366dda99c6fd7d35c64", + "path": "research/fixed-pivot-joint-clifford-ceiling/LICENSE", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/LICENSE", + "sha256": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4", + "usage": "input" + }, + { + "git_blob": "07370306adfff6cd1de4abdefb889fe57195e079", + "path": "research/fixed-pivot-joint-clifford-ceiling/SOURCE-REQUESTS.json", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/SOURCE-REQUESTS.json", + "sha256": "9bc4ca0c7c84549938c48cd7fca3f8472e2602d2464e32f7529d38a5f704de81", + "usage": "input" + }, + { + "git_blob": "5beed8205d97acfd77f486ef831d2304443eda27", + "path": "research/fixed-pivot-joint-clifford-ceiling/STAR-ARCHIVE-CONTENTS.json", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/STAR-ARCHIVE-CONTENTS.json", + "sha256": "005958feb19dd32df73412b1d5bb7fb1cef24814ad70ffb4a12af9f05a63acb0", + "usage": "input" + }, + { + "git_blob": "eb1dde3f3f29ff849c622a96efd47fb80b6803f8", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/author-packet.tar.gz", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/author-packet.tar.gz", + "sha256": "929c3b7c44487b0c2c86fa4f91df4190a42d3f19044b18823f6b624f8d960008", + "usage": "input" + }, + { + "git_blob": "40e4f38497ebe80efaa435ae077e106677f4a1de", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/design/CONTRACT.md", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/design/CONTRACT.md", + "sha256": "b5d4d71a3df4d14e6a1c27d096183df63900723ae653cdf18f340f6f282bf98a", + "usage": "input" + }, + { + "git_blob": "59590674391105a2c80e93362a3dc470f70d2f5f", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/design/SEARCH-REPORT.md", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/design/SEARCH-REPORT.md", + "sha256": "3a3eb3ff5ce80ec8b365bc05f4849a4f46d06bb1ce8fef08ee410ec0cddf9269", + "usage": "input" + }, + { + "git_blob": "99672a17163050b86e89490aeb69063d46f093e5", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/design/ZERO-MODEL-PROOF.md", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/design/ZERO-MODEL-PROOF.md", + "sha256": "51fbc81d7cc1437314ac59ac958a3e3d2fb9b6bc7d132c2a5058e7acdda2914a", + "usage": "input" + }, + { + "git_blob": "e162e5ccdf2b8464275017fae1c33871fffb9e3c", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/review/CONTRACT-DIFF-REVIEW.json", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/review/CONTRACT-DIFF-REVIEW.json", + "sha256": "3bfba99d73cfca6b1b5788b00824d64b01533dd1a48d284b35db3972b9c1b95c", + "usage": "input" + }, + { + "git_blob": "1833699040aa7e03786445b9baf4548da594045c", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/review/FREEZE.json", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/review/FREEZE.json", + "sha256": "9595084e5ba4fe69a90eab6428bc20f45fa125122e029cbf58e33fb13834ea5a", + "usage": "input" + }, + { + "git_blob": "6d5cac8393889e42092f80bbe3bc32145e2e0c3d", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/review/JOINT-RECEIPT-REVIEW-OPTIMIZED.json", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/review/JOINT-RECEIPT-REVIEW-OPTIMIZED.json", + "sha256": "8b47d817b94a4f124f6600c84b7fdef5e2b448c0278ad41712b501a6bb8adead", + "usage": "input" + }, + { + "git_blob": "6d5cac8393889e42092f80bbe3bc32145e2e0c3d", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/review/JOINT-RECEIPT-REVIEW.json", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/review/JOINT-RECEIPT-REVIEW.json", + "sha256": "8b47d817b94a4f124f6600c84b7fdef5e2b448c0278ad41712b501a6bb8adead", + "usage": "input" + }, + { + "git_blob": "04723fae15741dfa1d0a27e7512378ad605531b4", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/review/REVIEW.md", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/review/REVIEW.md", + "sha256": "781e3fcfa0e9fb0e7470bddf6ee172a8800b3b28e0b6748842f6938e9e5cab56", + "usage": "input" + }, + { + "git_blob": "9714851a9e178b98c3f4032e91f5bfe130436342", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/review/SHA256SUMS", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/review/SHA256SUMS", + "sha256": "bab80eccb10972165fd6f7674ad9aea0752e0e7b845bdf6a5e7c03290e4e8b68", + "usage": "input" + }, + { + "git_blob": "4e0d01728a2764d78a4968340a32edbf26ce4015", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/review/SOURCE-BINDING-REVIEW.md", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/review/SOURCE-BINDING-REVIEW.md", + "sha256": "48b6625b16b17bd547d2dd610fb3d27f75be5187a90bd849f207c598f39860d5", + "usage": "input" + }, + { + "git_blob": "e92ec131dd34dafe071e94c3541eef7cdc8e71ff", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/review/SOURCE-GRAPH-BINDING-OPTIMIZED.json", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/review/SOURCE-GRAPH-BINDING-OPTIMIZED.json", + "sha256": "66d5cd6ec5f0cf0b237cf31302811da752dea779e12e132907bad1dd853b776a", + "usage": "input" + }, + { + "git_blob": "e92ec131dd34dafe071e94c3541eef7cdc8e71ff", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/review/SOURCE-GRAPH-BINDING.json", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/review/SOURCE-GRAPH-BINDING.json", + "sha256": "66d5cd6ec5f0cf0b237cf31302811da752dea779e12e132907bad1dd853b776a", + "usage": "input" + }, + { + "git_blob": "40a1c0e0b7cfb645b0d2ee930417d75be9d16ea0", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/review/STATIC-CODE-GATE.md", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/review/STATIC-CODE-GATE.md", + "sha256": "29eab9285a6d8566962693e26d1d0b73bde14d900c7205b2530dd4c858b97ecd", + "usage": "input" + }, + { + "git_blob": "93fa4ef2db94947162321fe852885a07668b7cf4", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/review/STATIC-INVENTORY-REVIEW.json", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/review/STATIC-INVENTORY-REVIEW.json", + "sha256": "7dfcb8c1dd3e0343146c698e34d9124e0887f37c02078f5c5d0af57c1ecf6cdf", + "usage": "input" + }, + { + "git_blob": "a6aff986c642d11d48a3bcc796f0c2e5d17e5ed8", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-FREEZE.json", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-FREEZE.json", + "sha256": "08aa83547485d30af585e7cf7b10efae4939ac7e77c715c34867bb254e917c2f", + "usage": "input" + }, + { + "git_blob": "bc182d039d0901890882c622c22e4851a5fbab65", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-REVIEW-OPTIMIZED.json", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-REVIEW-OPTIMIZED.json", + "sha256": "1b15ccb1878c2a9f885d6da1edfaca3e1876e30eda05cfeccc3fcf4b6a20e5c2", + "usage": "input" + }, + { + "git_blob": "bc182d039d0901890882c622c22e4851a5fbab65", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-REVIEW.json", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-REVIEW.json", + "sha256": "1b15ccb1878c2a9f885d6da1edfaca3e1876e30eda05cfeccc3fcf4b6a20e5c2", + "usage": "input" + }, + { + "git_blob": "8661acb2ad5d0d3c86e54e011ad6ba9806db8185", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-REVIEW.md", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-REVIEW.md", + "sha256": "46f5fe62fdb549b9d44d461f003dbdec8559a7fafaf7e23a4b2b79ef38456921", + "usage": "input" + }, + { + "git_blob": "d581c0cc22ea91050cd64596e1f78d89a09b296d", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/review/check_joint_receipt.py", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/review/check_joint_receipt.py", + "sha256": "9bebde39de2e8274506c0cd617ddf62d5edc3271d9b480f8f5f2e1a0147cbc47", + "usage": "input" + }, + { + "git_blob": "b109aa6e79cce0fa06dd10ad73353207a316fb03", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/review/check_zero_model.py", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/review/check_zero_model.py", + "sha256": "07840471fc93079932f02cbbd1357fe440d4fcc26b95ded767c711be3b796435", + "usage": "input" + }, + { + "git_blob": "377a607c44bc74909075ef2439f653883af00699", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/review/verify_graph_binding.py", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/review/verify_graph_binding.py", + "sha256": "440896172ad8eafe8ba0e1fd0651d759ae2f95aaa759d5a31e6b454b6fac81a4", + "usage": "input" + }, + { + "git_blob": "b3f2886a942759b0b2993e632dc5e0652f801360", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/star-design/CONTRACT.md", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/star-design/CONTRACT.md", + "sha256": "21d8ae8f63310c5397b0d649379452b288d7290962e83544fb70b69cd8848513", + "usage": "input" + }, + { + "git_blob": "dd76d96257d6a5ac3cf11a8b15f335462613dcd7", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/star-design/STAR-REPORT.md", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/star-design/STAR-REPORT.md", + "sha256": "bcdac6466cb5eb14078636fb40120d667a6ee6b8f42a80770cfc4c5b3bfc2c13", + "usage": "input" + }, + { + "git_blob": "05630097605d275c34091712b7b8f3462ee50d71", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/star-packet.tar.gz", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/star-packet.tar.gz", + "sha256": "458fa4edde439a36677de92d9854df90e91610f4102047ed22e811c5be073fe4", + "usage": "input" + }, + { + "git_blob": "5b59389b71795aad3b5436cb12c9a88ea4f538e6", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/FREEZE.json", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/FREEZE.json", + "sha256": "e885f5a8264fc4b082ae31168a473d06ec498fe120bc21e3b69501531c4c92df", + "usage": "input" + }, + { + "git_blob": "eda0d64e63b3263cfcc4e4e4e667ac9acbef653f", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/REVIEW.md", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/REVIEW.md", + "sha256": "3d4ada59b80d6640fbf62ee994387de96bd4dffa33fb5892fd254720eb2c0b8a", + "usage": "input" + }, + { + "git_blob": "2bb63e2d841fa031e5a813fb9c4a66c66c79a492", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/SHA256SUMS", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/SHA256SUMS", + "sha256": "5097eaccbac5862a40af87bae2ca475d41e0bee2d041e75011e753147437b7bf", + "usage": "input" + }, + { + "git_blob": "33b1fc03a64cbac9e5bbadb21a50b878b7411a58", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/STAR-RECEIPT-REVIEW-OPTIMIZED.json", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/STAR-RECEIPT-REVIEW-OPTIMIZED.json", + "sha256": "a52c967a78fc0f3cde5b3b6ecdf601f5813288ecb4634552c34b21107416a175", + "usage": "input" + }, + { + "git_blob": "33b1fc03a64cbac9e5bbadb21a50b878b7411a58", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/STAR-RECEIPT-REVIEW.json", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/STAR-RECEIPT-REVIEW.json", + "sha256": "a52c967a78fc0f3cde5b3b6ecdf601f5813288ecb4634552c34b21107416a175", + "usage": "input" + }, + { + "git_blob": "e61d45cb5d899c0d44eb6d83f94d08e85fb37860", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/STATIC-CODE-GATE.md", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/STATIC-CODE-GATE.md", + "sha256": "565f362ee5308503d915a7d124c7d6045dc1847f60689bbeab7d8af7dfaa50ba", + "usage": "input" + }, + { + "git_blob": "3bb7bdbc94b7316590d08b504f55754c44dca283", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/STATIC-FREEZE.json", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/STATIC-FREEZE.json", + "sha256": "36284a24e73876674799aea0287cf507b404a3684277a2ed8cc768cae7c32c9b", + "usage": "input" + }, + { + "git_blob": "046f71c20f91b6f02e3566aebd9448bc16883d86", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/STATIC-INVENTORY.json", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/STATIC-INVENTORY.json", + "sha256": "cf4d30ad3f0e30d692244f449ff3f4cb66699281b4cee8716b025d5c9c980a39", + "usage": "input" + }, + { + "git_blob": "e00a2f1125128aa781450a01305811d471b69ae0", + "path": "research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/check_star_receipt.py", + "pin": "head:cbfdf55f509bde4ec3dcfecae95d6a882ae7afa1:research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/check_star_receipt.py", + "sha256": "58fce20989466ea558a8732bf62b3a9592a7bc6e9c780da100ed3b28d00eef9c", + "usage": "input" + }, + { + "git_blob": "46d929df83817b85a5387bcdb9745e0627d6366e", + "path": "research/general-gaussian-contact-search/inputs/round3-word.json.gz", + "pin": "head:0335701859182b7bdf31706b0d969c72f5de41c7:research/general-gaussian-contact-search/inputs/round3-word.json.gz", + "sha256": "7679daa4ec6a40f56fc7f0202379a6f454310e94945aba4f48beaaaafb838d05", + "usage": "provenance" + }, + { + "git_blob": "a69138e4014424235345f3301fbe6b097caa1b8c", + "path": "research/general-gaussian-contact-search/model.py", + "pin": "head:0335701859182b7bdf31706b0d969c72f5de41c7:research/general-gaussian-contact-search/model.py", + "sha256": "7cc29edccb3679b2a5c9defeeb0a2ec6bcef9b01b97c2390bebc48f366395f1f", + "usage": "provenance" + }, + { + "git_blob": "0cba871dc04b99130ec6c00ad632f4086b1cc4b3", + "path": "research/independent-clifford-expansion/RESULT.json", + "pin": "head:0335701859182b7bdf31706b0d969c72f5de41c7:research/independent-clifford-expansion/RESULT.json", + "sha256": "3f35cb81f3f7697b7ed64250fc21a5d2eeebf7f4366334014569810d8cdf37fb", + "usage": "provenance" + }, + { + "git_blob": "b01bb9e86b2dc8e39dff46d1a8daa7ba91913505", + "path": "research/independent-clifford-expansion/algebra.py", + "pin": "head:0335701859182b7bdf31706b0d969c72f5de41c7:research/independent-clifford-expansion/algebra.py", + "sha256": "426a7ab156cc6266f727e35c3034aa24aa94b3de19fafcad9760daa607e55825", + "usage": "provenance" + }, + { + "git_blob": "376756ec2c0e8e42cd03578d37fa0bad19cd2247", + "path": "research/independent-clifford-expansion/discover.py", + "pin": "head:0335701859182b7bdf31706b0d969c72f5de41c7:research/independent-clifford-expansion/discover.py", + "sha256": "1347f93cb19dc20a99fdc041c55c3ef7a283140fa5305c816fb74d6890d9dbb9", + "usage": "provenance" + }, + { + "git_blob": "729f1088979e5329ab1e002ff7bdeb7ad98a014f", + "path": "research/independent-clifford-expansion/intervals.py", + "pin": "head:0335701859182b7bdf31706b0d969c72f5de41c7:research/independent-clifford-expansion/intervals.py", + "sha256": "23fd7f3af2b35fca190ea9217e531e91a4ab9129c46165251a42fb6f4cc5b445", + "usage": "provenance" + }, + { + "git_blob": "8447e112e9f587de4ea6cb1f8e6a44d1ebfc37c4", + "path": "research/independent-clifford-expansion/search.cpp", + "pin": "head:0335701859182b7bdf31706b0d969c72f5de41c7:research/independent-clifford-expansion/search.cpp", + "sha256": "92f314729720f44c01b9efcc47e5f0678b355089f07e90cbcaea0e28df3e7821", + "usage": "provenance" + }, + { + "git_blob": "1304b9b75f2ed324375ac32894e810a5514a257d", + "path": "research/independent-clifford-expansion/verify.py", + "pin": "head:0335701859182b7bdf31706b0d969c72f5de41c7:research/independent-clifford-expansion/verify.py", + "sha256": "cc5a0a3bdd3ae9474e3abc09046f6be7960675dc256db121163a87a9eefa9bef", + "usage": "provenance" + }, + { + "git_blob": "3ad9690503a035b7bed8d2cadb7bd50d95b7236a", + "path": "research/independent-clifford-expansion/PROOF.md", + "pin": "head:0335701859182b7bdf31706b0d969c72f5de41c7:research/independent-clifford-expansion/PROOF.md", + "sha256": "23715c43c3c0c21e0bdb38e521fcdc0c5e90fda40118bf222fdcb957498972ec", + "usage": "provenance" + }, + { + "git_blob": "7b0af058b6613541c27be90632cff3ba5a30ea0a", + "path": "research/independent-clifford-expansion/README.md", + "pin": "head:0335701859182b7bdf31706b0d969c72f5de41c7:research/independent-clifford-expansion/README.md", + "sha256": "8820301199dd8ffed2c3cb3743dc63df39f36234f322e76e91fffeac8983f947", + "usage": "provenance" + }, + { + "git_blob": "2bd574ce962f966fac1ca61770cae6171f642b9a", + "path": "research/independent-clifford-expansion/TASK.json", + "pin": "head:0335701859182b7bdf31706b0d969c72f5de41c7:research/independent-clifford-expansion/TASK.json", + "sha256": "6ce931ae34bfc9da2f03b37556c53250a2ece68ad1b1e5da8de120254d16a191", + "usage": "provenance" + }, + { + "git_blob": "97860a095442e2ae111da849c89600a496061055", + "path": "research/independent-clifford-expansion/SOURCES.json", + "pin": "head:0335701859182b7bdf31706b0d969c72f5de41c7:research/independent-clifford-expansion/SOURCES.json", + "sha256": "bb007022cd811b36ca4985c9a555453253bc72f3ff10b6a366c4707107d98a1b", + "usage": "provenance" + }, + { + "git_blob": "ee579c602dcc56ac60204ce0015e9f31fc8c16bd", + "path": "research/independent-clifford-expansion/VALIDATION.md", + "pin": "head:0335701859182b7bdf31706b0d969c72f5de41c7:research/independent-clifford-expansion/VALIDATION.md", + "sha256": "68f2add6a590fc1220fb6ef146c2810621da22ed91ee8376d3502c24c0989b6f", + "usage": "provenance" + }, + { + "git_blob": "c8557e399b167707a271f804d73f117d26d8e8d3", + "path": "research/independent-clifford-expansion/DISCOVERY.json", + "pin": "head:0335701859182b7bdf31706b0d969c72f5de41c7:research/independent-clifford-expansion/DISCOVERY.json", + "sha256": "39b1498d06e639c29f69b1ca2d9cb75cd2924d833f612ffcdffea3225b8d554e", + "usage": "provenance" + }, + { + "git_blob": "261eeb9e9f8b2b4b0d119366dda99c6fd7d35c64", + "path": "LICENSE", + "pin": "head:0335701859182b7bdf31706b0d969c72f5de41c7:LICENSE", + "sha256": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4", + "usage": "provenance" + } + ], + "schema_version": 1 +} diff --git a/research/fixed-pivot-joint-clifford-ceiling/STAR-ARCHIVE-CONTENTS.json b/research/fixed-pivot-joint-clifford-ceiling/STAR-ARCHIVE-CONTENTS.json new file mode 100644 index 0000000000..5beed8205d --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/STAR-ARCHIVE-CONTENTS.json @@ -0,0 +1,146 @@ +{ + "author_final_manifest_sha256": "3de34303a4350d3deb4b4b75f2ddcf30b9f5fcb34574333be9fb7be4c43b5640", + "compression_runtime": { + "python": "3.12.3", + "zlib": "1.3" + }, + "container_bytes": 595080, + "container_sha256": "458fa4edde439a36677de92d9854df90e91610f4102047ed22e811c5be073fe4", + "deterministic_two_builds_same_runtime": true, + "format": "deterministic regular-file-only PAX tar in gzip", + "mathematical_comparison": "Exact decompressed bytes and original manifests, not regenerated-container equality.", + "members": { + "AUTH-MANIFEST.json": { + "bytes": 1802, + "mode": 420, + "sha256": "3ffb4555b7404620d02e57c08f026b19f7d180bd34129ae69390821df2cfae7c" + }, + "AUTHOR-FINAL-MANIFEST.json": { + "bytes": 3516, + "mode": 420, + "sha256": "3de34303a4350d3deb4b4b75f2ddcf30b9f5fcb34574333be9fb7be4c43b5640" + }, + "CONTRACT.md": { + "bytes": 7565, + "mode": 420, + "sha256": "21d8ae8f63310c5397b0d649379452b288d7290962e83544fb70b69cd8848513" + }, + "FREEZE.json": { + "bytes": 267, + "mode": 420, + "sha256": "7e66d10221165cf3093d961017283ca9b01fcf8d8a8fe0ce17ebe1df26939f77" + }, + "RUN-RECEIPT.json": { + "bytes": 5404, + "mode": 420, + "sha256": "7b5663fec46736081dd762e61aee37f910d8941d1570947ed9e46604b913cf55" + }, + "RUN-START.json": { + "bytes": 2864, + "mode": 420, + "sha256": "3badd2e5c7ccc9efbfda45424f81157f2a2677140ef08710de2ff4289eb36141" + }, + "STAR-REPORT.md": { + "bytes": 4219, + "mode": 420, + "sha256": "bcdac6466cb5eb14078636fb40120d667a6ee6b8f42a80770cfc4c5b3bfc2c13" + }, + "STAR-RESULT.json": { + "bytes": 10568825, + "mode": 420, + "sha256": "4533091920be9e8e71bd93ac7ebf7e13a67c5ae6e179ac7447e60e55f3654a8c" + }, + "STAR-STDERR.txt": { + "bytes": 0, + "mode": 420, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + "STAR-STDOUT.txt": { + "bytes": 1718, + "mode": 420, + "sha256": "3af0e17a6fdb4a1b08b0f01960208b0b40714bcba46976cdec93f3ec44d88aa1" + }, + "check_star.py": { + "bytes": 14321, + "mode": 420, + "sha256": "04a00c93d95928ce3ea93c8f4459ceabab01290be6260a550ca6f21d77436adf" + }, + "inputs/contracted-graph.txt": { + "bytes": 122199, + "mode": 420, + "sha256": "f5db08a5814b14b11b93b79207afb1a8d5ec2c5803c1cf6bbc3333cccf0a94af" + }, + "inputs/research/general-gaussian-contact-search/inputs/round3-word.json.gz": { + "bytes": 207673, + "mode": 420, + "sha256": "7679daa4ec6a40f56fc7f0202379a6f454310e94945aba4f48beaaaafb838d05" + }, + "inputs/research/general-gaussian-contact-search/model.py": { + "bytes": 11719, + "mode": 420, + "sha256": "7cc29edccb3679b2a5c9defeeb0a2ec6bcef9b01b97c2390bebc48f366395f1f" + }, + "inputs/research/independent-clifford-expansion/RESULT.json": { + "bytes": 174398, + "mode": 420, + "sha256": "458bf999cefd0dd412c7e83b5c9ecbe9ac920290aa4352832b9cd419e1e564f8" + }, + "inputs/research/independent-clifford-expansion/algebra.py": { + "bytes": 6674, + "mode": 420, + "sha256": "6c1dde7203fe986f6bdf53d8337730e44de1ae68e5126f9ddb9247c3f343d924" + }, + "inputs/research/independent-clifford-expansion/discover.py": { + "bytes": 5558, + "mode": 420, + "sha256": "0453747a19b81ea70fce7469a9c7d4871b88cffe8df2841867983fe835c7d05a" + }, + "inputs/research/independent-clifford-expansion/intervals.py": { + "bytes": 3738, + "mode": 420, + "sha256": "fad2a83f026ff7488bd1d731cc01acfa81338a4a8448d3d139e0add56aa32ce4" + }, + "inputs/research/independent-clifford-expansion/search.cpp": { + "bytes": 6537, + "mode": 420, + "sha256": "9c4496bfbb75aa2ad5c8e2db9bd0d776e5f555a055fe6c124363d8fada4506c1" + }, + "inputs/research/independent-clifford-expansion/verify.py": { + "bytes": 10128, + "mode": 420, + "sha256": "c80267529bc595f6665682b476f677f4ae4f3b597568d43200334c1bf8e93cfb" + }, + "retained/CAPTURE.json": { + "bytes": 976, + "mode": 420, + "sha256": "69346015229c3433c4c6a73905d0245c436edd13ec5543458ffd4fce4e7d0495" + }, + "retained/DISCOVERY-CONNECTOR-RESPONSE.json": { + "bytes": 304395, + "mode": 420, + "sha256": "637a2c7786fd721a0938d2024e8deae86b030365303c8bf26c2b18491c4b5aec" + }, + "retained/DISCOVERY.json": { + "bytes": 139071, + "mode": 420, + "sha256": "a611408b9d76622acf50d02d8c37a24bec9f5ec2b3f53c46351f8d565ece4b2d" + }, + "retained/SEARCH-RESULT.json": { + "bytes": 11009534, + "mode": 420, + "sha256": "d2ea1bd88173a46d8fa59c2958ef234ae9811e44c677aadf012423e77cbf78a9" + }, + "retained/ZERO-MODEL-INVENTORY.json": { + "bytes": 19948, + "mode": 420, + "sha256": "715342afc9b4e651a120151a41d3b8b9d69e313f679092e67bd85e83e7b23de2" + }, + "retained/ZERO-MODEL-WITNESS-BINDING.json": { + "bytes": 76702, + "mode": 420, + "sha256": "af46672c959594e0583fe634bf2a851ecd6667c46c588383481de43d7591fce7" + } + }, + "prior_pair_zero_container_sha256": "929c3b7c44487b0c2c86fa4f91df4190a42d3f19044b18823f6b624f8d960008", + "raw_total_bytes": 22709751 +} diff --git a/research/fixed-pivot-joint-clifford-ceiling/TASK.json b/research/fixed-pivot-joint-clifford-ceiling/TASK.json new file mode 100644 index 0000000000..3353822fb1 --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/TASK.json @@ -0,0 +1,66 @@ +{ + "actual_scope": "Independent verification of three separate bounded #5124 common-chart models: fixed pivot499/axis7 with3066 adjacent nearest-chart pairs;43 retained edgeless zero alternatives; fixed bridge172 with retained leaves499/7 and572/25,1022 charts and4088 active candidates. No expanded search, physical witness or new kappa.", + "ai_assistance": "Prepared by Chris R / Clear1nsight with substantial OpenAI Codex assistance. Cinna Davis source, Astra design and all independent/source/predecessor credit remain preserved byte-exact.", + "author": "Chris R / Clear1nsight with substantial OpenAI Codex assistance", + "base_commit": "20a1e31bc6009b9b3f4d084bbaadc6350e34fcba", + "bottleneck_link": "These exact joint energy/profile checks decide whether the declared same-word/common-group chart choices change paid-minus-helper cost before any physical lift or caller expansion. Both interacting domains lose at Cstar and are nonnegative on[0,.005]; all subsets of the43 retained moves have identical paid/helper profiles.", + "budget_minutes": 60, + "evidence": "evidence/review/{REVIEW.md,FREEZE.json,ZERO-MODEL-REVIEW.md,ZERO-MODEL-FREEZE.json}; evidence/star-review/{REVIEW.md,FREEZE.json}; exact compressed author receipts and raw-member inventories, source/capture relations and original run logs.", + "open_questions": [ + { + "blocked_by": "No favorable complete invoice, new actual phase-correct native witness, caller, compiler reserve or outer transfer is supplied here.", + "first_step": "Name a changed physical cost lever and complete source-bound paid/eligible-target invoice before another geometry round. Do not widen this fixed graph by another seed alone.", + "question": "Can a genuinely changed paid word, scalar/contact contract or proved consumer change the complete inventory beyond these three fixed models?", + "why_it_matters": "The certificates reject or identify ties only in their declared common-group-chart domains, not arbitrary Clifford schedules or physical suppliers." + } + ], + "original_card": { + "acceptance_gate": "A new physically realizable contract outside the frozen catalogue whose per-call profile, screened with ceiling.ceiling(), beats the selected word's packing ceiling; a lower cap does not establish identical circuitry or order attainable optima, and is insufficient to pass the stronger-budget target under this model. A scoped local result may be retained without a complete supplier. Expanding it into further construction rounds requires the family-level budget and obligation gate in research-family-status.md; an optimistic passing relaxation alone is not acceptance.", + "allowed_variations": [ + "Narrow to one changed boundary or helper type with explicit counts.", + "If the coverage law, template or guard changes, derive an applicable fully charged replacement bound instead of applying the incumbent ceiling outside its scope." + ], + "bottleneck_link": "Packing of the selected word is capped at +0.87% (ceiling model); only a lower local excess spend or a changed coverage law raises the cap.", + "first_experiment": "Before any synthesis, write the candidate per-call local profile (and centre charge / unpaid coordinates if changed) and screen it with ceiling.ceiling(); reject it if even the ideal ceiling does not beat the selected word's by your stated margin.", + "first_step": { + "command": [ + "python3", + "-B", + "research/complex-local-word-ceiling/verify.py" + ], + "expected": "PASS_COMPLEX_LOCAL_WORD_CEILING", + "inspect": "Read the selected word's per-call local profile, its packing ceiling and the lever table; run levers.py for the ideal budget of the lever you target.", + "scope": "Positive control and planning budget only; this is not a new construction or full cold replay." + }, + "id": "complex-new-helper-inventory", + "methods": [ + "Propose a changed helper inventory and derive an optimistic exact moment.", + "Design a small completed instance and independently verify its endpoint and rank bill." + ], + "overlap_terms": [ + "helper inventory", + "heterogeneous-owner", + "mutable leaver" + ], + "question": "Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?", + "scope_change_triggers": [ + "Mixing only providers already inside the pinned catalogue.", + "Only changing helper terminal subspaces and monotone frames within the fixed scalar word, entrances and cleanup contract already covered by #1995/#2013.", + "Continuing a partial cost improvement while leaving the same unpriced consumer, restoration or central-readout obligation unresolved; refresh the family expansion decision first. Local product-retiming evidence has a narrow scope and is not a ban on changed graphs or contracts." + ], + "starting_points": [ + "docs/research/research-family-status.md", + "research/complex-local-word-ceiling/README.md", + "research/heterogeneous-owner-assembly/README.md", + "certificates/selected-result.json", + "research/selected-k8-unrestricted-ends/README.md" + ] + }, + "outcome": "negative-result", + "priority_revision": 7, + "schema_version": 1, + "scope_change_reason": "Explicit donor/root supporting-verification assignment narrows the source card to complete exact receipts and scoped ceilings beyond singles. Three domains remain separate; #5125 split contacts and arbitrary coordinated moves are not included.", + "scope_status": "refined", + "stop_rule": "Preserve all original capsules/history. Replay only independent graph, pair receipt,43-move identity and star receipt validators. No author search/census/model/native/compiler/Lean run or further fixed-graph round.", + "task_id": "complex-new-helper-inventory" +} diff --git a/research/fixed-pivot-joint-clifford-ceiling/VERIFY.json b/research/fixed-pivot-joint-clifford-ceiling/VERIFY.json new file mode 100644 index 0000000000..30e51cb6d2 --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/VERIFY.json @@ -0,0 +1,75 @@ +{ + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-W", + "error", + "-B", + "{package}/verify.py" + ], + "checks": "Exact compressed/raw source and manifest integrity; unchanged independent source graph,3066 pair receipt,43-move additive identity and4088 star receipt checks, exact normal/O outputs. No author search/census/native/compiler.", + "timeout_seconds": 180 + }, + { + "argv": [ + "{python}", + "-I", + "-O", + "-W", + "error", + "-B", + "{package}/verify.py" + ], + "checks": "Exact compressed/raw source and manifest integrity; unchanged independent source graph,3066 pair receipt,43-move additive identity and4088 star receipt checks, exact normal/O outputs. No author search/census/native/compiler.", + "timeout_seconds": 180 + } + ], + "inputs": [ + "research/fixed-pivot-joint-clifford-ceiling/ARCHIVE-CONTENTS.json", + "research/fixed-pivot-joint-clifford-ceiling/ARCHIVE-FILES.json", + "research/fixed-pivot-joint-clifford-ceiling/CAPTURE-RELATIONS.json", + "research/fixed-pivot-joint-clifford-ceiling/LICENSE", + "research/fixed-pivot-joint-clifford-ceiling/SOURCE-REQUESTS.json", + "research/fixed-pivot-joint-clifford-ceiling/STAR-ARCHIVE-CONTENTS.json", + "research/fixed-pivot-joint-clifford-ceiling/evidence/author-packet.tar.gz", + "research/fixed-pivot-joint-clifford-ceiling/evidence/design/CONTRACT.md", + "research/fixed-pivot-joint-clifford-ceiling/evidence/design/SEARCH-REPORT.md", + "research/fixed-pivot-joint-clifford-ceiling/evidence/design/ZERO-MODEL-PROOF.md", + "research/fixed-pivot-joint-clifford-ceiling/evidence/review/CONTRACT-DIFF-REVIEW.json", + "research/fixed-pivot-joint-clifford-ceiling/evidence/review/FREEZE.json", + "research/fixed-pivot-joint-clifford-ceiling/evidence/review/JOINT-RECEIPT-REVIEW-OPTIMIZED.json", + "research/fixed-pivot-joint-clifford-ceiling/evidence/review/JOINT-RECEIPT-REVIEW.json", + "research/fixed-pivot-joint-clifford-ceiling/evidence/review/REVIEW.md", + "research/fixed-pivot-joint-clifford-ceiling/evidence/review/SHA256SUMS", + "research/fixed-pivot-joint-clifford-ceiling/evidence/review/SOURCE-BINDING-REVIEW.md", + "research/fixed-pivot-joint-clifford-ceiling/evidence/review/SOURCE-GRAPH-BINDING-OPTIMIZED.json", + "research/fixed-pivot-joint-clifford-ceiling/evidence/review/SOURCE-GRAPH-BINDING.json", + "research/fixed-pivot-joint-clifford-ceiling/evidence/review/STATIC-CODE-GATE.md", + "research/fixed-pivot-joint-clifford-ceiling/evidence/review/STATIC-INVENTORY-REVIEW.json", + "research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-FREEZE.json", + "research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-REVIEW-OPTIMIZED.json", + "research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-REVIEW.json", + "research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-REVIEW.md", + "research/fixed-pivot-joint-clifford-ceiling/evidence/review/check_joint_receipt.py", + "research/fixed-pivot-joint-clifford-ceiling/evidence/review/check_zero_model.py", + "research/fixed-pivot-joint-clifford-ceiling/evidence/review/verify_graph_binding.py", + "research/fixed-pivot-joint-clifford-ceiling/evidence/star-design/CONTRACT.md", + "research/fixed-pivot-joint-clifford-ceiling/evidence/star-design/STAR-REPORT.md", + "research/fixed-pivot-joint-clifford-ceiling/evidence/star-packet.tar.gz", + "research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/FREEZE.json", + "research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/REVIEW.md", + "research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/SHA256SUMS", + "research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/STAR-RECEIPT-REVIEW-OPTIMIZED.json", + "research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/STAR-RECEIPT-REVIEW.json", + "research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/STATIC-CODE-GATE.md", + "research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/STATIC-FREEZE.json", + "research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/STATIC-INVENTORY.json", + "research/fixed-pivot-joint-clifford-ceiling/evidence/star-review/check_star_receipt.py" + ], + "python": "3.12", + "requirements": [], + "schema_version": 1, + "status": "ready" +} diff --git a/research/fixed-pivot-joint-clifford-ceiling/evidence/author-packet.tar.gz b/research/fixed-pivot-joint-clifford-ceiling/evidence/author-packet.tar.gz new file mode 100644 index 0000000000..eb1dde3f3f Binary files /dev/null and b/research/fixed-pivot-joint-clifford-ceiling/evidence/author-packet.tar.gz differ diff --git a/research/fixed-pivot-joint-clifford-ceiling/evidence/design/CONTRACT.md b/research/fixed-pivot-joint-clifford-ceiling/evidence/design/CONTRACT.md new file mode 100644 index 0000000000..40e4f38497 --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/evidence/design/CONTRACT.md @@ -0,0 +1,53 @@ +# One bounded joint Clifford chart experiment + +Status: implementation and contract ready for independent static review. No joint candidate has been executed. Root authorization is required before the declared run. The construction objective is one favorable complete joint energy; a single-move obstruction does not settle this domain. + +## Source and exact domain + +Source is Cinna Davis / 1337isnot1337 PR5124, head 0335701859182b7bdf31706b0d969c72f5de41c7, research/independent-clifford-expansion. The predecessor graph is research/general-gaussian-contact-search/model.py, Git blob a69138e4014424235345f3301fbe6b097caa1b8c, SHA256 7cc29edccb3679b2a5c9defeeb0a2ec6bcef9b01b97c2390bebc48f366395f1f. Its round3-word.json.gz is blob 46d929df83817b85a5387bcdb9745e0627d6366e, SHA256 7679daa4ec6a40f56fc7f0202379a6f454310e94945aba4f48beaaaafb838d05. Both blob bytes were authenticated. + +The contracted graph has1,075 groups,800 movable groups and3,938 signed incidences. Its exact encoded SHA256 is f5db08a5814b14b11b93b79207afb1a8d5ec2c5803c1cf6bbc3333cccf0a94af. The uncontracted source has19,197 nodes. Original zero paid edges are contracted; each entire group receives one actual common chart/gauge. Frozen main, owned and adapter groups remain unchanged. Scalar order, coefficients and native logical warp maps remain fixed. This excludes the separately owned PR5125 source/destination scalar-contact splitting work. The monitor cleared only this bounded joint-domain question; no exhaustive novelty is claimed. + +Use the retained contracted RESULT zero-polynomial witness: group 499, Pauli axis 7. Its baseline and changed nine-row binary Lagrangian bases are recorded in PIVOT-INVENTORY.json. The original chronological node is11381. Reconstructing the source graph and this ONE retained witness confirms the paid-minus-helper polynomial is identically zero; this was a static source-binding check, not a joint search or a single-neighbor census. + +Fix that pivot move. The complete movable adjacent partner set is exactly {172,497,504}. For each partner, independently choose every one of its 1,022 distinct nearest Lagrangian charts relative to its unchanged baseline chart, in the source neighbors() order. This declares exactly 3,066 joint candidates. No other pivot, second-step neighbor, uncontracted move, plateau walk, common-axis restriction, scalar rewrite or graph expansion is in scope. + +The three shared incidences are 1193:(172,499),1194:(497,499),1204:(499,504), all paid identity transitions. Complete incident unions have 11, 7 and 7 rows respectively. In this specific domain they contain no helper or warp row; this absence is an authenticated graph fact, not an omitted charge. The generic checker nevertheless implements helper signs, strict productivity, source-side warp action, selfloops and parallel incidences. Group 526 is the fourth neighbor of 499 and is frozen. + +A nonadjacent second group cannot improve this fixed-pivot domain: its joint energy equals the pivot's zero polynomial plus its single-move energy, nonnegative on[0,.005] by the retained source certificate. This justifies restricting partners to the complete adjacent set. It does not exclude a different pivot or a move beyond this declared family. + +## Chart, owner and rank contract + +A chart is a full nine-dimensional isotropic subspace in the 18-dimensional binary symplectic space, represented by the canonical nine-row integer basis used by the source. The pivot chart is T7(L499); each partner chart is one source Hermitian-Pauli-transvection neighbor. Both are actual nearest charts, with distinct-neighbor count checked. Every original node in a contracted group uses that same chosen chart. A future physical witness must specify the common actual Clifford lift and phase, not merely the binary basis. + +For an identity transition, rank is d(A,B)=rank(stack(A,B))-9. For a native warp with symplectic action S, rank is d(SA,B): apply S to the SOURCE endpoint before evaluating rank. Replace both endpoints when a selfloop changes. Deduplicate adjacency by incidence ID only; preserve parallel rows and their separate multiplicities. Newly zero ranks are retained in the rank tables and cost H0=0. Original omitted zero identity transitions stay internal to one group and remain free under its common chart. + +The baseline paid profile is {1:2201,2:412,3:510,4:127,5:40,8:8}. The eight rank-eight centers remain paid. The 408 independent arbitrary helper owners remain distinct, with baseline productive profile {4:28,7:7,8:47,9:326}. Every helper uses its complete entrance-to-exit relative rank with sign-1 in the energy. All four states of a proposed pair must retain strictly positive helper rank; joint rank zero is invalid, even if both single moves were valid. Main inputs/outputs, owned scratch and explicit adapter boundaries remain fixed and receive no new reward. + +## Four-state invoice and exact success criterion + +For each candidate emit every incidence in the complete union with its row ID, ordered endpoints, warp operator, sign, and ranks in the order00,10,01,11. State10 is the fixed pivot only, state01 the partner only, state11 both. Emit all four paid-minus-helper DELTA polynomials relative to the complete source baseline. In particular E00=E10=0 as exact integer polynomials. Emit the complete changed paid and helper profiles for state11. + +Use Hr(C)=r^(1-C), H0=0 and energy E=paid cost minus productive helper reward. Main reward and unchanged controller terms cancel in this local comparison. The exact primary test point is C*=15108879/5000000000=.0030217758; the declared saving domain is[0,1/200]=[0,.005]. Strict improvement requires an outward-certified upper bound E11(C*)<0. A floating negative number, a nonpositive interval with unresolved sign, or an unchanged polynomial is not success. + +The cross-difference R=E11-E10-E01+E00 includes every jointly dependent signed incidence. The KZ regularity convention for minimized energy is R<=0; it is not an improvement certificate, which still requires E11<0. One pair needs exact four-state enumeration, so no min-cut solver is used. All parallel rows must be aggregated before any later regularity claim. The existing sole literature worker confirmed these conventions from the already reviewed published binary-cut note; no second literature search occurred. + +The checker uses the source 128-bit outward integer log/exp bounds at the exact rational C*. It groups equal joint delta polynomials losslessly, then attempts a complete-domain nonnegativity certificate by exact concave dominance or outward direct/derivative intervals with 16 and 128 subdivisions. Derivative certificates start from the exact rank-mass value at C=0. Any unproved full-domain sign is reported unresolved, not silently excluded. A positive point witness does not become a complete-domain or new-kappa claim. + +## Implementation, coverage and run cap + +Implementation: check_joint.py. It authenticates AUTH-MANIFEST.json, reconstructs the exact graph and retained pivot, enumerates the declared 3,066 candidates, and writes every candidate's complete rank table and exact polynomials. It checks a full global invoice for the first witness of every joint polynomial bucket, every certified favorable candidate, and the final neighbor of each partner. Independent verification must separately reconstruct the raw-source graph and all candidate tables before accepting either a positive result or a complete negative certificate. + +Proposed first command, held until root GO: + + python3 -I -B outputs/joint-clifford-design-20261023/check_joint.py --max-seconds 60 --output outputs/joint-clifford-design-20261023/SEARCH-RESULT.json + +The anticipated cap is 60 seconds. The checker permits at most 120 seconds only for a separately authorized retry; there is no automatic escalation, larger-domain continuation or fallback random walk. A deadline writes partial coverage and unresolved status. Candidate coverage, certificate-processing completion and full-domain coverage are separate fields. No full native program, C++ census, compiler, Lean process or external write is invoked. The source's 19 million single-move census and optional plateau discovery are not run. + +## Stop and later admission + +If no favorable exact joint energy appears, preserve only this declared domain's outcome and stop. Do not widen the pivot/partner/neighbor set or repack an unchanged invoice without root review. If a favorable point witness appears, freeze both chart bases and axes, source-node mapping, all affected rank rows, complete paid/helper profiles, exact interval evidence and original source hashes. Then independent physical Clifford/phase, native warp/adapter, common-gauge telescoping, all-column, helper/owned restoration, inverse-transpose/caller and complete compiler/precision/ordinary-BIT/outer gates remain. A negative local E is a changed geometric invoice, not an admitted kappa improvement. + +Credit Cinna Davis for5124's source geometry, exact alphabet, zero witness and finite single-move certificate; Cao Yifan/4610 for the native word; Dugongue/4654 for inverse-chart phase geometry; the retained4470, zxv, Jacob Alan Sussman, E8, Clifford, native, scalar, precision and outer contributors. The bounded fixed-pivot joint experiment was designed with OpenAI Codex assistance. + +The separate admission map records an additional primary-source requirement: PR4654's all-column telescoping cannot be invoked across changed helper entrance gauges without an independent direct-sum/zero-transfer statement. This declared pair domain does not touch a helper incidence, but helper autonomy and full-source telescoping must still be authenticated for any physical emission. A dual must use the actual formula F_out^(-T) M_old^(-T) F_in^T. No typed seven-axis invoice from PR4654 is imported. See outputs/joint-chart-admission-map-20261023/ADMISSION-MAP.md. diff --git a/research/fixed-pivot-joint-clifford-ceiling/evidence/design/SEARCH-REPORT.md b/research/fixed-pivot-joint-clifford-ceiling/evidence/design/SEARCH-REPORT.md new file mode 100644 index 0000000000..5959067439 --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/evidence/design/SEARCH-REPORT.md @@ -0,0 +1,35 @@ +# Fixed-pivot joint Clifford search + +The one authorized run found no improvement among all 3,066 declared two-site candidates, with complete nonnegativity certificates on `0 <= C <= 1/200`. Independent result verification accepted this scoped negative result. The separate 43-zero-chart addendum remains outside this receipt and has its own review gate. + +The fixed source is Cinna Davis's PR5124 at `0335701859182b7bdf31706b0d969c72f5de41c7`. The experiment fixes its retained zero-polynomial move at contracted group 499, axis 7, then examines all 1,022 nearest charts of each movable adjacent partner: 172, 497 and 504. It preserves all frozen groups, scalar contacts, warp maps, eight paid rank-eight centres, and 408 independent helper owners. No other pivot, larger support, farther chart, scalar rewrite or change to the source word was searched. + +| Result | Count | +| --- | ---: | +| Declared and completed candidates | 3,066 | +| Distinct joint energy polynomials | 24 | +| Certified favorable candidates at `C = .0030217758` | 0 | +| Unresolved point signs | 0 | +| Identically zero joint energy polynomials | 0 | +| Polynomial buckets certified by concave dominance | 20 | +| Polynomial buckets certified by 16 outward interval subdivisions | 4 | + +The closest candidate changes partner 497 by axis 7. Its paid-minus-helper excess is exactly + +`E(C) = -H1(C) + H2(C) + H3(C) - H4(C)`, where `Hr(C) = r^(1-C)`. + +At `C = 15108879/5000000000`, its certified interval is + +`[882618091587952427213476258648184860, 882618091587952427213476258648185043] / 2^128`. + +This is approximately `0.00259378145148796609`, strictly positive. The complete joint energies cannot improve the source invoice in the declared domain. Separately, 2,037 candidates have a negative four-state cross-difference, five have zero cross-difference, and 1,024 have a positive cross-difference at that point. Thus many interactions satisfy the KZ regularity sign, but none supplies a saving. This pair enumeration uses no min-cut solver. + +`SEARCH-RESULT.json` retains every incidence ID, ordered endpoint, operator, sign and rank in all four states, every changed invoice, exact point intervals, all 24 polynomial certificates, and the authenticated inputs. Its SHA256 is `d2ea1bd88173a46d8fa59c2958ef234ae9811e44c677aadf012423e77cbf78a9`. + +The process completed successfully in 8.15 seconds under an external hard 60-second cap and an internal cooperative 58-second cap. `RUN-RECEIPT.json`, SHA256 `e3e15fb11aab664b52a9da8824f4dc2c1406c76f2e9c0e905d434e5ceb5e7604`, records the command and identical before/after hashes. Standard error is empty. No candidate search has been repeated. + +The independent review reconstructed all 3,066 candidate charts, 12,264 complete four-state profiles, 102,200 rank entries, 24 polynomial buckets, and all point, cross-difference and full-domain certificates. Its separate 64-term logarithm and 21-22-term exponential bound engine imports none of the source interval implementation. Normal and optimized warning-strict receipts were byte-identical. The review is `outputs/joint-clifford-independent-review-20261023/REVIEW.md`, SHA256 `781e3fcfa0e9fb0e7470bddf6ee172a8800b3b28e0b6748842f6938e9e5cab56`; its review freeze SHA256 is `9595084e5ba4fe69a90eab6428bc20f45fa125122e029cbf58e33fb13834ea5a`. + +The original independently reviewed contract is retained as `CONTRACT-ORIGINAL-STATIC-REVIEW.md`, SHA256 `8f29241120f28f6df2541e7fec74fa3a8ad3b03eb79a8b79dd91b6875d7d5a52`. The current contract, SHA256 `b5d4d71a3df4d14e6a1c27d096183df63900723ae653cdf18f340f6f282bf98a`, adds formatting and the physical-admission caveat. `CONTRACT-REVISION.diff` and `CONTRACT-REVISION.json` preserve the exact difference. Independent static acceptance and root authorization extended to the current contract before execution. The checker, source manifest, pivot inventory and domain did not change. + +Stop this declared domain. This finite result does not exclude another pivot, a larger simultaneous chart move, a different source word, an uncontracted move, a different scalar-contact realization, or a distinct paid supplier. It supplies no new native emitter, all-column realization, inverse-transpose caller, compiler admission, or kappa improvement. Credit the source geometry and single-move certificate to Cinna Davis, the native word to Cao Yifan, and the retained Clifford/phase, scalar, precision and outer-construction predecessors listed in `CONTRACT.md`. diff --git a/research/fixed-pivot-joint-clifford-ceiling/evidence/design/ZERO-MODEL-PROOF.md b/research/fixed-pivot-joint-clifford-ceiling/evidence/design/ZERO-MODEL-PROOF.md new file mode 100644 index 0000000000..99672a1716 --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/evidence/design/ZERO-MODEL-PROOF.md @@ -0,0 +1,33 @@ +# The retained zero-chart binary family has exactly the source invoice + +The model with one retained zero-polynomial chart choice at each of 43 groups cannot save any cost. Every one of its `2^43` simultaneous assignments has exactly the original paid profile and the original helper profile. This conclusion uses the source incidence structure and 43 retained witness identities; it does not enumerate the assignments or invoke a solver. + +The source is Cinna Davis's PR5124 at `0335701859182b7bdf31706b0d969c72f5de41c7`. `RESULT.json` records 43 unchanged-polynomial moves in its complete contracted census and retains only the first witness `(499, 7)`. Its separate `DISCOVERY.json` records all 43 distinct groups/axes in the first round of the contracted plateau run. The floating energies in that discovery file are not used as certificates. Each of those 43 specified witnesses was rebound to its exact baseline and changed nine-dimensional Lagrangian chart, and its four incident paid ranks were recomputed exactly. No new Pauli axis, neighboring chart or assignment was generated. + +`ZERO-MODEL-INVENTORY.json` records the 43 retained pairs and all 172 incident rows. `ZERO-MODEL-WITNESS-BINDING.json`, SHA256 `af46672c959594e0583fe634bf2a851ecd6667c46c588383481de43d7591fce7`, records their actual chart bases and rank transitions. Every listed single-move paid-rank polynomial is identically zero. All 43 groups are distinct. Their 172 incident rows are all paid identity transitions, and no row has two selected endpoints. Thus the selected groups form an independent set in the complete signed-incidence graph. There is no selected self-loop, selected helper endpoint, selected warp endpoint, or selected-selected parallel row. + +Let `Z` be these 43 groups. For `g in Z`, let `L_g(0)` be its original chart and `L_g(1)` its listed retained alternative. Write `delta_g(r)` for the change in the count of paid rank-`r` calls caused by changing only `g`. The exact retained-witness check gives `delta_g(r) = 0` for every `g` and rank `r`. For any binary assignment `x in {0,1}^Z`, every paid incidence has at most one endpoint in `Z`. Its rank change therefore depends on at most one bit. Consequently, for every rank `r`, + +`P_x(r) - P_0(r) = sum_(g in Z) x_g delta_g(r) = 0`. + +All helper incidences and the eight paid rank-eight centres stay unchanged. Hence `P_x = P_0` and `T_x = T_0` as multisets, before any moment is evaluated. In particular `E_x(C) = 0` for every real `C` for which the rank moments are defined. The result is stronger than a nonnegative numerical test on `[0,.005]`. + +The binary energy has no interaction terms. Every aggregate four-state cross-difference is identically zero, so the KZ regularity test is vacuous and a min-cut implementation cannot produce a saving. Repackaging the unchanged invoice, walking this binary plateau, or enumerating all `2^43` assignments is unnecessary. + +The completeness statement for the 43-move *source census* retains the authenticated published census premise: this note exactly rechecks the 43 explicit stored witnesses and observes that their count equals the source's recorded total. It does not repeat the 817,600-neighbor census. The all-assignment invoice identity itself requires only the 43 rebound witnesses and the empty induced incidence graph. + +## Concrete extension requiring a separate contract gate + +A different model must move at least one group outside `Z`, change a retained chart choice, or change the source word. The existing incidence inventory identifies a concrete three-group candidate shape: unfrozen bridge group 172 joins zero groups 499 and 572 by incidence IDs 1193 and 1411. Their retained zero axes are 7 and 25. The complete three-group incident union has 14 paid identity rows, including two separate parallel incidences `(119,172)` that must both remain charged. Frozen groups 526 and 592 remain fixed. + +For one future specified chart `B` at group 172, define `E_172(B)` as its complete single-move excess, and `R_499(B)`, `R_572(B)` as the signed four-state cross-differences on the two shared edges. Because the two leaves have no edge between them, the exact model is + +`E(x_172, x_499, x_572) = x_172 E_172(B) + x_172 x_499 R_499(B) + x_172 x_572 R_572(B)`. + +For that fixed `B`, the best leaf choice is determined by `E_172(B) + min(0,R_499(B)) + min(0,R_572(B))`. This can in principle differ from the already tested two-site energy; two favorable interactions could combine. It is not a prediction of a gain. The existing 3,066-candidate receipt supplies `E_172(B)` and `R_499(B)` for the 1,022 previously declared bridge charts, but supplies no `R_572(B)` table. The added term is an unresolved source obligation, not an omitted free adjustment. A fresh gate would need the exact additional tables, helper and boundary checks, explicit domain, interval signs and independent review before any extension runs. + +No three-group table, extended candidate census, optimizer, solver, emitter or compiler was executed. The present recommendation is to stop the 43-zero-chart binary model and preserve the bridge model only as a distinct, untested handoff subject to root review. + +## Provenance and credit + +The captured discovery source is `zero-model-inputs/DISCOVERY.json`, SHA256 `a611408b9d76622acf50d02d8c37a24bec9f5ec2b3f53c46351f8d565ece4b2d`, from [the exact PR5124 source](https://github.com/CrocSwap/integer-mult-bounds/blob/0335701859182b7bdf31706b0d969c72f5de41c7/research/independent-clifford-expansion/DISCOVERY.json). The contracted graph SHA256 remains `f5db08a5814b14b11b93b79207afb1a8d5ec2c5803c1cf6bbc3333cccf0a94af`. Credit Cinna Davis for the complete single-move census, retained witness walk, alphabet and geometry, and the native-word and Clifford predecessors already listed in `CONTRACT.md`. The incidence-factorization proof and bounded joint follow-up were developed with OpenAI Codex assistance. diff --git a/research/fixed-pivot-joint-clifford-ceiling/evidence/review/CONTRACT-DIFF-REVIEW.json b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/CONTRACT-DIFF-REVIEW.json new file mode 100644 index 0000000000..e162e5ccdf --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/CONTRACT-DIFF-REVIEW.json @@ -0,0 +1,11 @@ +{ + "status": "PASS_DOCUMENT_ONLY_REVISION_NO_DOMAIN_OR_CODE_CHANGE", + "old_contract_sha256": "8f29241120f28f6df2541e7fec74fa3a8ad3b03eb79a8b79dd91b6875d7d5a52", + "new_contract_sha256": "b5d4d71a3df4d14e6a1c27d096183df63900723ae653cdf18f340f6f282bf98a", + "exact_diff_sha256": "f1b8ccf1178482593d65fb73aeb5e5cf63de28ab0125c46b6d4ec6903c7580d4", + "normalized_preexisting_body_identical": true, + "normalization": "remove whitespace, thousands/list commas, and numeral-list conjunction and", + "new_paragraph": "The separate admission map records an additional primary-source requirement: PR4654's all-column telescoping cannot be invoked across changed helper entrance gauges without an independent direct-sum/zero-transfer statement. This declared pair domain does not touch a helper incidence, but helper autonomy and full-source telescoping must still be authenticated for any physical emission. A dual must use the actual formula F_out^(-T) M_old^(-T) F_in^T. No typed seven-axis invoice from PR4654 is imported. See outputs/joint-chart-admission-map-20261023/ADMISSION-MAP.md.\n", + "checker_sha256": "575136ee932e697c97b8a15d2edc1f5ab159de482c66c01a6f211a9dfd301630", + "old_static_review_preserved": true +} diff --git a/research/fixed-pivot-joint-clifford-ceiling/evidence/review/FREEZE.json b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/FREEZE.json new file mode 100644 index 0000000000..1833699040 --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/FREEZE.json @@ -0,0 +1,68 @@ +{ + "status": "PASS_INDEPENDENT_ALL3066_TABLES_AND_SCOPED_DOMAIN_NEGATIVE", + "files": [ + { + "path": "CONTRACT-DIFF-REVIEW.json", + "sha256": "3bfba99d73cfca6b1b5788b00824d64b01533dd1a48d284b35db3972b9c1b95c", + "bytes": 1216 + }, + { + "path": "JOINT-RECEIPT-REVIEW-OPTIMIZED.json", + "sha256": "8b47d817b94a4f124f6600c84b7fdef5e2b448c0278ad41712b501a6bb8adead", + "bytes": 10770 + }, + { + "path": "JOINT-RECEIPT-REVIEW.json", + "sha256": "8b47d817b94a4f124f6600c84b7fdef5e2b448c0278ad41712b501a6bb8adead", + "bytes": 10770 + }, + { + "path": "REVIEW.md", + "sha256": "781e3fcfa0e9fb0e7470bddf6ee172a8800b3b28e0b6748842f6938e9e5cab56", + "bytes": 9808 + }, + { + "path": "SOURCE-BINDING-REVIEW.md", + "sha256": "48b6625b16b17bd547d2dd610fb3d27f75be5187a90bd849f207c598f39860d5", + "bytes": 6045 + }, + { + "path": "SOURCE-GRAPH-BINDING-OPTIMIZED.json", + "sha256": "66d5cd6ec5f0cf0b237cf31302811da752dea779e12e132907bad1dd853b776a", + "bytes": 778 + }, + { + "path": "SOURCE-GRAPH-BINDING.json", + "sha256": "66d5cd6ec5f0cf0b237cf31302811da752dea779e12e132907bad1dd853b776a", + "bytes": 778 + }, + { + "path": "STATIC-CODE-GATE.md", + "sha256": "29eab9285a6d8566962693e26d1d0b73bde14d900c7205b2530dd4c858b97ecd", + "bytes": 5997 + }, + { + "path": "STATIC-INVENTORY-REVIEW.json", + "sha256": "7dfcb8c1dd3e0343146c698e34d9124e0887f37c02078f5c5d0af57c1ecf6cdf", + "bytes": 1977 + }, + { + "path": "check_joint_receipt.py", + "sha256": "9bebde39de2e8274506c0cd617ddf62d5edc3271d9b480f8f5f2e1a0147cbc47", + "bytes": 15676 + }, + { + "path": "verify_graph_binding.py", + "sha256": "440896172ad8eafe8ba0e1fd0651d759ae2f95aaa759d5a31e6b454b6fac81a4", + "bytes": 6759 + } + ], + "reviewed_author_result_sha256": "d2ea1bd88173a46d8fa59c2958ef234ae9811e44c677aadf012423e77cbf78a9", + "candidates": 3066, + "full_four_state_profiles": 12264, + "exact_rank_entries": 102200, + "normal_optimized_results_identical": true, + "search_or_single_census_rerun": false, + "native_or_compiler_execution": false, + "new_kappa": null +} diff --git a/research/fixed-pivot-joint-clifford-ceiling/evidence/review/JOINT-RECEIPT-REVIEW-OPTIMIZED.json b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/JOINT-RECEIPT-REVIEW-OPTIMIZED.json new file mode 100644 index 0000000000..6d5cac8393 --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/JOINT-RECEIPT-REVIEW-OPTIMIZED.json @@ -0,0 +1,692 @@ +{ + "status": "PASS_INDEPENDENT_ALL3066_FOUR_STATE_TABLES_AND_SCOPED_NEGATIVE", + "reviewed_result_sha256": "d2ea1bd88173a46d8fa59c2958ef234ae9811e44c677aadf012423e77cbf78a9", + "checker_sha256": "575136ee932e697c97b8a15d2edc1f5ab159de482c66c01a6f211a9dfd301630", + "run_receipt_sha256": "e3e15fb11aab664b52a9da8824f4dc2c1406c76f2e9c0e905d434e5ceb5e7604", + "execution_receipt_bindings_verified": true, + "source_graph_binding": { + "status": "PASS_INDEPENDENT_SOURCE_GRAPH_RECONSTRUCTION_NO_SEARCH", + "source_word_sha256": "7679daa4ec6a40f56fc7f0202379a6f454310e94945aba4f48beaaaafb838d05", + "graph_sha256": "f5db08a5814b14b11b93b79207afb1a8d5ec2c5803c1cf6bbc3333cccf0a94af", + "original_nodes": 19197, + "original_contact_rows": 34638, + "baseline_zero_paid_rows": 31108, + "dropped_internal_identity_rows": 31108, + "contracted_groups": 1075, + "frozen_groups": 275, + "signed_incidences": 3938, + "warp_rows": 240, + "centres_fixed": { + "8": 8 + }, + "original_to_group_sha256": "1b2eb21d545a7aac73c0203c0c516265b607fb437c3de22ced34269156e7219b", + "all_original_zero_paid_edges_preserved_under_group_assignments": true, + "candidate_search_or_single_census_executed": false, + "new_kappa": null + }, + "candidates_independently_checked": 3066, + "full_state_profiles_independently_checked": 12264, + "exact_incidence_rank_entries_independently_checked": 102200, + "four_state_profiles_method": "all unchanged source incidences summed once per partner, plus every candidate affected incidence; no sampled global checks", + "patterns": [ + { + "delta": [ + 0, + -4, + 1, + 2, + 1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 992, + "kind": "concave_dominance", + "values": [ + 0, + 4, + 7, + 8, + 8, + 8, + 8, + 8, + 8 + ] + }, + { + "delta": [ + 0, + -4, + 1, + 3, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "count": 7, + "kind": "concave_dominance", + "values": [ + 0, + 4, + 7, + 7, + 7, + 7, + 7, + 7, + 7 + ] + }, + { + "delta": [ + 0, + -4, + 2, + 2, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "count": 7, + "kind": "concave_dominance", + "values": [ + 0, + 4, + 6, + 6, + 6, + 6, + 6, + 6, + 6 + ] + }, + { + "delta": [ + 0, + -2, + 1, + 0, + 1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 1, + "kind": "concave_dominance", + "values": [ + 0, + 2, + 3, + 4, + 4, + 4, + 4, + 4, + 4 + ] + }, + { + "delta": [ + 0, + -4, + 3, + 0, + 1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 1, + "kind": "concave_dominance", + "values": [ + 0, + 4, + 5, + 6, + 6, + 6, + 6, + 6, + 6 + ] + }, + { + "delta": [ + 0, + -4, + 0, + 2, + 1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 2, + "kind": "nonnegative_direct_intervals", + "subdivisions": 16, + "independent_lower_exceeds_source_scaled_lower": true, + "source_scaled_lower": "2021107788254899089861697838583713687269" + }, + { + "delta": [ + 0, + -3, + 0, + 2, + 1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 2, + "kind": "concave_dominance", + "values": [ + 0, + 3, + 6, + 7, + 7, + 7, + 7, + 7, + 7 + ] + }, + { + "delta": [ + 0, + -3, + 1, + 1, + 1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 3, + "kind": "concave_dominance", + "values": [ + 0, + 3, + 5, + 6, + 6, + 6, + 6, + 6, + 6 + ] + }, + { + "delta": [ + 0, + -4, + 2, + 1, + 1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 3, + "kind": "concave_dominance", + "values": [ + 0, + 4, + 6, + 7, + 7, + 7, + 7, + 7, + 7 + ] + }, + { + "delta": [ + 0, + -3, + 2, + 0, + 1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 2, + "kind": "concave_dominance", + "values": [ + 0, + 3, + 4, + 5, + 5, + 5, + 5, + 5, + 5 + ] + }, + { + "delta": [ + 0, + -2, + 0, + 0, + 1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 2, + "kind": "nonnegative_direct_intervals", + "subdivisions": 16, + "independent_lower_exceeds_source_scaled_lower": true, + "source_scaled_lower": "671162725833066502775074792450194407277" + }, + { + "delta": [ + 0, + -2, + 1, + 1, + -1, + 1, + 0, + 0, + 0, + 0 + ], + "count": 984, + "kind": "concave_dominance", + "values": [ + 0, + 2, + 3, + 3, + 4, + 4, + 4, + 4, + 4 + ] + }, + { + "delta": [ + 0, + -1, + 1, + 0, + -1, + 1, + 0, + 0, + 0, + 0 + ], + "count": 2, + "kind": "concave_dominance", + "values": [ + 0, + 1, + 1, + 1, + 2, + 2, + 2, + 2, + 2 + ] + }, + { + "delta": [ + 0, + -2, + 2, + 0, + -1, + 1, + 0, + 0, + 0, + 0 + ], + "count": 5, + "kind": "concave_dominance", + "values": [ + 0, + 2, + 2, + 2, + 3, + 3, + 3, + 3, + 3 + ] + }, + { + "delta": [ + 0, + -2, + 0, + 1, + -1, + 1, + 0, + 0, + 0, + 0 + ], + "count": 2, + "kind": "nonnegative_direct_intervals", + "subdivisions": 16, + "independent_lower_exceeds_source_scaled_lower": true, + "source_scaled_lower": "670152179411878355976292660568311983324" + }, + { + "delta": [ + 0, + -1, + 0, + 1, + -1, + 1, + 0, + 0, + 0, + 0 + ], + "count": 2, + "kind": "concave_dominance", + "values": [ + 0, + 1, + 2, + 2, + 3, + 3, + 3, + 3, + 3 + ] + }, + { + "delta": [ + 0, + -2, + 1, + 2, + -1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 14, + "kind": "concave_dominance", + "values": [ + 0, + 2, + 3, + 2, + 2, + 2, + 2, + 2, + 2 + ] + }, + { + "delta": [ + 0, + -2, + 1, + 1, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "count": 14, + "kind": "concave_dominance", + "values": [ + 0, + 2, + 3, + 3, + 3, + 3, + 3, + 3, + 3 + ] + }, + { + "delta": [ + 0, + -1, + 1, + 1, + -1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 1, + "kind": "concave_dominance", + "values": [ + 0, + 1, + 1, + 0, + 0, + 0, + 0, + 0, + 0 + ] + }, + { + "delta": [ + 0, + -2, + 2, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "count": 1, + "kind": "concave_dominance", + "values": [ + 0, + 2, + 2, + 2, + 2, + 2, + 2, + 2, + 2 + ] + }, + { + "delta": [ + 0, + -3, + 3, + 1, + -1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 15, + "kind": "concave_dominance", + "values": [ + 0, + 3, + 3, + 2, + 2, + 2, + 2, + 2, + 2 + ] + }, + { + "delta": [ + 0, + -3, + 3, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "count": 15, + "kind": "concave_dominance", + "values": [ + 0, + 3, + 3, + 3, + 3, + 3, + 3, + 3, + 3 + ] + }, + { + "delta": [ + 0, + -3, + 3, + 0, + -1, + 1, + 0, + 0, + 0, + 0 + ], + "count": 986, + "kind": "concave_dominance", + "values": [ + 0, + 3, + 3, + 3, + 4, + 4, + 4, + 4, + 4 + ] + }, + { + "delta": [ + 0, + -3, + 2, + 0, + -1, + 1, + 0, + 0, + 0, + 0 + ], + "count": 3, + "kind": "nonnegative_direct_intervals", + "subdivisions": 16, + "independent_lower_exceeds_source_scaled_lower": true, + "source_scaled_lower": "671035231827409038685503736649358538486" + } + ], + "point_energy": "STRICTLY_POSITIVE_FOR_EVERY_RECORDED_CANDIDATE", + "minimum_point_witness": { + "partner": 497, + "axis": 7, + "delta": [ + 0, + -1, + 1, + 1, + -1, + 0, + 0, + 0, + 0, + 0 + ], + "source128_scaled_interval": [ + "882618091587952427213476258648184860", + "882618091587952427213476258648185043" + ], + "scale": "340282366920938463463374607431768211456" + }, + "cross_difference_point_sign_counts": { + "negative": 2037, + "zero": 5, + "positive": 1024 + }, + "saving_domain": [ + "0", + "1/200" + ], + "domain_result": "NONNEGATIVE_EVERY_CANDIDATE_ON_DECLARED_DOMAIN", + "nearest_coverage": "1022distinctvalidneighbors per partner;511hyperplanes times2 quotient lines", + "interval_method": "fresh64term rational log plus21/22term negative exp; no source interval engine imported", + "generic_controls": { + "selfloop_both_endpoints": "PASS", + "parallel_rows_charged_twice": "PASS", + "helper_zero": "INVALID_AS_REQUIRED" + }, + "single_move_census_rerun": false, + "candidate_search_rerun": false, + "native_or_compiler_execution": false, + "new_kappa": null +} diff --git a/research/fixed-pivot-joint-clifford-ceiling/evidence/review/JOINT-RECEIPT-REVIEW.json b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/JOINT-RECEIPT-REVIEW.json new file mode 100644 index 0000000000..6d5cac8393 --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/JOINT-RECEIPT-REVIEW.json @@ -0,0 +1,692 @@ +{ + "status": "PASS_INDEPENDENT_ALL3066_FOUR_STATE_TABLES_AND_SCOPED_NEGATIVE", + "reviewed_result_sha256": "d2ea1bd88173a46d8fa59c2958ef234ae9811e44c677aadf012423e77cbf78a9", + "checker_sha256": "575136ee932e697c97b8a15d2edc1f5ab159de482c66c01a6f211a9dfd301630", + "run_receipt_sha256": "e3e15fb11aab664b52a9da8824f4dc2c1406c76f2e9c0e905d434e5ceb5e7604", + "execution_receipt_bindings_verified": true, + "source_graph_binding": { + "status": "PASS_INDEPENDENT_SOURCE_GRAPH_RECONSTRUCTION_NO_SEARCH", + "source_word_sha256": "7679daa4ec6a40f56fc7f0202379a6f454310e94945aba4f48beaaaafb838d05", + "graph_sha256": "f5db08a5814b14b11b93b79207afb1a8d5ec2c5803c1cf6bbc3333cccf0a94af", + "original_nodes": 19197, + "original_contact_rows": 34638, + "baseline_zero_paid_rows": 31108, + "dropped_internal_identity_rows": 31108, + "contracted_groups": 1075, + "frozen_groups": 275, + "signed_incidences": 3938, + "warp_rows": 240, + "centres_fixed": { + "8": 8 + }, + "original_to_group_sha256": "1b2eb21d545a7aac73c0203c0c516265b607fb437c3de22ced34269156e7219b", + "all_original_zero_paid_edges_preserved_under_group_assignments": true, + "candidate_search_or_single_census_executed": false, + "new_kappa": null + }, + "candidates_independently_checked": 3066, + "full_state_profiles_independently_checked": 12264, + "exact_incidence_rank_entries_independently_checked": 102200, + "four_state_profiles_method": "all unchanged source incidences summed once per partner, plus every candidate affected incidence; no sampled global checks", + "patterns": [ + { + "delta": [ + 0, + -4, + 1, + 2, + 1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 992, + "kind": "concave_dominance", + "values": [ + 0, + 4, + 7, + 8, + 8, + 8, + 8, + 8, + 8 + ] + }, + { + "delta": [ + 0, + -4, + 1, + 3, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "count": 7, + "kind": "concave_dominance", + "values": [ + 0, + 4, + 7, + 7, + 7, + 7, + 7, + 7, + 7 + ] + }, + { + "delta": [ + 0, + -4, + 2, + 2, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "count": 7, + "kind": "concave_dominance", + "values": [ + 0, + 4, + 6, + 6, + 6, + 6, + 6, + 6, + 6 + ] + }, + { + "delta": [ + 0, + -2, + 1, + 0, + 1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 1, + "kind": "concave_dominance", + "values": [ + 0, + 2, + 3, + 4, + 4, + 4, + 4, + 4, + 4 + ] + }, + { + "delta": [ + 0, + -4, + 3, + 0, + 1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 1, + "kind": "concave_dominance", + "values": [ + 0, + 4, + 5, + 6, + 6, + 6, + 6, + 6, + 6 + ] + }, + { + "delta": [ + 0, + -4, + 0, + 2, + 1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 2, + "kind": "nonnegative_direct_intervals", + "subdivisions": 16, + "independent_lower_exceeds_source_scaled_lower": true, + "source_scaled_lower": "2021107788254899089861697838583713687269" + }, + { + "delta": [ + 0, + -3, + 0, + 2, + 1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 2, + "kind": "concave_dominance", + "values": [ + 0, + 3, + 6, + 7, + 7, + 7, + 7, + 7, + 7 + ] + }, + { + "delta": [ + 0, + -3, + 1, + 1, + 1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 3, + "kind": "concave_dominance", + "values": [ + 0, + 3, + 5, + 6, + 6, + 6, + 6, + 6, + 6 + ] + }, + { + "delta": [ + 0, + -4, + 2, + 1, + 1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 3, + "kind": "concave_dominance", + "values": [ + 0, + 4, + 6, + 7, + 7, + 7, + 7, + 7, + 7 + ] + }, + { + "delta": [ + 0, + -3, + 2, + 0, + 1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 2, + "kind": "concave_dominance", + "values": [ + 0, + 3, + 4, + 5, + 5, + 5, + 5, + 5, + 5 + ] + }, + { + "delta": [ + 0, + -2, + 0, + 0, + 1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 2, + "kind": "nonnegative_direct_intervals", + "subdivisions": 16, + "independent_lower_exceeds_source_scaled_lower": true, + "source_scaled_lower": "671162725833066502775074792450194407277" + }, + { + "delta": [ + 0, + -2, + 1, + 1, + -1, + 1, + 0, + 0, + 0, + 0 + ], + "count": 984, + "kind": "concave_dominance", + "values": [ + 0, + 2, + 3, + 3, + 4, + 4, + 4, + 4, + 4 + ] + }, + { + "delta": [ + 0, + -1, + 1, + 0, + -1, + 1, + 0, + 0, + 0, + 0 + ], + "count": 2, + "kind": "concave_dominance", + "values": [ + 0, + 1, + 1, + 1, + 2, + 2, + 2, + 2, + 2 + ] + }, + { + "delta": [ + 0, + -2, + 2, + 0, + -1, + 1, + 0, + 0, + 0, + 0 + ], + "count": 5, + "kind": "concave_dominance", + "values": [ + 0, + 2, + 2, + 2, + 3, + 3, + 3, + 3, + 3 + ] + }, + { + "delta": [ + 0, + -2, + 0, + 1, + -1, + 1, + 0, + 0, + 0, + 0 + ], + "count": 2, + "kind": "nonnegative_direct_intervals", + "subdivisions": 16, + "independent_lower_exceeds_source_scaled_lower": true, + "source_scaled_lower": "670152179411878355976292660568311983324" + }, + { + "delta": [ + 0, + -1, + 0, + 1, + -1, + 1, + 0, + 0, + 0, + 0 + ], + "count": 2, + "kind": "concave_dominance", + "values": [ + 0, + 1, + 2, + 2, + 3, + 3, + 3, + 3, + 3 + ] + }, + { + "delta": [ + 0, + -2, + 1, + 2, + -1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 14, + "kind": "concave_dominance", + "values": [ + 0, + 2, + 3, + 2, + 2, + 2, + 2, + 2, + 2 + ] + }, + { + "delta": [ + 0, + -2, + 1, + 1, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "count": 14, + "kind": "concave_dominance", + "values": [ + 0, + 2, + 3, + 3, + 3, + 3, + 3, + 3, + 3 + ] + }, + { + "delta": [ + 0, + -1, + 1, + 1, + -1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 1, + "kind": "concave_dominance", + "values": [ + 0, + 1, + 1, + 0, + 0, + 0, + 0, + 0, + 0 + ] + }, + { + "delta": [ + 0, + -2, + 2, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "count": 1, + "kind": "concave_dominance", + "values": [ + 0, + 2, + 2, + 2, + 2, + 2, + 2, + 2, + 2 + ] + }, + { + "delta": [ + 0, + -3, + 3, + 1, + -1, + 0, + 0, + 0, + 0, + 0 + ], + "count": 15, + "kind": "concave_dominance", + "values": [ + 0, + 3, + 3, + 2, + 2, + 2, + 2, + 2, + 2 + ] + }, + { + "delta": [ + 0, + -3, + 3, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "count": 15, + "kind": "concave_dominance", + "values": [ + 0, + 3, + 3, + 3, + 3, + 3, + 3, + 3, + 3 + ] + }, + { + "delta": [ + 0, + -3, + 3, + 0, + -1, + 1, + 0, + 0, + 0, + 0 + ], + "count": 986, + "kind": "concave_dominance", + "values": [ + 0, + 3, + 3, + 3, + 4, + 4, + 4, + 4, + 4 + ] + }, + { + "delta": [ + 0, + -3, + 2, + 0, + -1, + 1, + 0, + 0, + 0, + 0 + ], + "count": 3, + "kind": "nonnegative_direct_intervals", + "subdivisions": 16, + "independent_lower_exceeds_source_scaled_lower": true, + "source_scaled_lower": "671035231827409038685503736649358538486" + } + ], + "point_energy": "STRICTLY_POSITIVE_FOR_EVERY_RECORDED_CANDIDATE", + "minimum_point_witness": { + "partner": 497, + "axis": 7, + "delta": [ + 0, + -1, + 1, + 1, + -1, + 0, + 0, + 0, + 0, + 0 + ], + "source128_scaled_interval": [ + "882618091587952427213476258648184860", + "882618091587952427213476258648185043" + ], + "scale": "340282366920938463463374607431768211456" + }, + "cross_difference_point_sign_counts": { + "negative": 2037, + "zero": 5, + "positive": 1024 + }, + "saving_domain": [ + "0", + "1/200" + ], + "domain_result": "NONNEGATIVE_EVERY_CANDIDATE_ON_DECLARED_DOMAIN", + "nearest_coverage": "1022distinctvalidneighbors per partner;511hyperplanes times2 quotient lines", + "interval_method": "fresh64term rational log plus21/22term negative exp; no source interval engine imported", + "generic_controls": { + "selfloop_both_endpoints": "PASS", + "parallel_rows_charged_twice": "PASS", + "helper_zero": "INVALID_AS_REQUIRED" + }, + "single_move_census_rerun": false, + "candidate_search_rerun": false, + "native_or_compiler_execution": false, + "new_kappa": null +} diff --git a/research/fixed-pivot-joint-clifford-ceiling/evidence/review/REVIEW.md b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/REVIEW.md new file mode 100644 index 0000000000..04723fae15 --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/REVIEW.md @@ -0,0 +1,85 @@ +# Independent result: no improvement in the declared3066 joint-chart alternatives + +2026-10-23. **PASS for the complete scoped negative certificate.** Every tested joint candidate has strictly positive paid-minus-helper delta at C*=.0030217758, and nonnegative delta throughout0≤C≤1/200. This excludes the one fixed pivot/three-partner nearest-neighbor domain. It does not exclude other pivots, larger chart changes, changed words or scalar-contact splitting. + +This review preserves the earlier frozen packing and A/B artifacts. It executes no new candidate search, full single-neighbor census, native circuit, numerical Tensor, compiler, solver or Lean. Substantial OpenAI Codex assistance; no independent human review or new κ is claimed. + +## Pins and execution boundary + +The author result is `outputs/joint-clifford-design-20261023/SEARCH-RESULT.json`, SHA256 `d2ea1bd88173a46d8fa59c2958ef234ae9811e44c677aadf012423e77cbf78a9`. Its checker is `575136ee932e697c97b8a15d2edc1f5ab159de482c66c01a6f211a9dfd301630`. The original reviewed contract remains preserved at `8f29241120f28f6df2541e7fec74fa3a8ad3b03eb79a8b79dd91b6875d7d5a52`; its separately accepted revision is `b5d4d71a3df4d14e6a1c27d096183df63900723ae653cdf18f340f6f282bf98a`. + +CONTRACT-DIFF-REVIEW.json authenticates both original/revised bytes and the exact stored diff. The preexisting body differs only in whitespace/numeral-list formatting; the appended paragraph adds the correct #4654 helper-zero-transfer/raw-dual admission caveat. It does not enlarge the candidate domain or change the checker. The earlier STATIC-CODE-GATE.md retains its old contract binding rather than silently replacing that evidence. + +The one author run used an external60s hard cap and internal58s cooperative deadline. Its receipt records exit0 in8.151694037 seconds, with all13 listed before/after hashes unchanged. The independent checker validates those bindings, current source hashes, output hash and actual stdout/stderr hashes. It does not rerun the author search. The internal checker reported7.520247172 seconds; these are different recorded timing boundaries. + +## Complete source graph and original zero edges + +The exact #5124 source head is `0335701859182b7bdf31706b0d969c72f5de41c7`; the retained compressed word is SHA256 `7679daa4ec6a40f56fc7f0202379a6f454310e94945aba4f48beaaaafb838d05`. The new independent source-data reconstruction imports no predecessor model or algebra. It reproduces the entire contracted graph **byte-for-byte**, SHA256 `f5db08a5814b14b11b93b79207afb1a8d5ec2c5803c1cf6bbc3333cccf0a94af`. + +There are19197 original nodes and34638 original contact rows. All31108 original zero-paid rows join the same actual source frame and remain internal to a contracted group. A common group chart therefore preserves every omitted zero contact at rank zero. The graph has1075 groups,275 frozen and800 movable;3938 signed incidences comprise3290 paid identity rows,240 native warp rows and408 helper boundaries. Eight fixed owned H8 centre calls remain in the paid invoice. + +All1075 chart bases were independently checked for dimension9/isotropy; all144 stored warp maps were checked for invertibility and symplectic pairing. The graph includes78 selfloops and805 additional parallel rows. The baseline profiles independently match + +``` +paid={1:2201,2:412,3:510,4:127,5:40,8:8}, +helpers={4:28,7:7,8:47,9:326}. +``` + +No helper target, scratch or correlated field is added to the reward population. + +## Exact candidate coverage and four-state verification + +The fixed pivot is group499 / axis7. Its four original incidence ranks change2→3,1→2,2→1,3→2, so its exact rank polynomial is zero. The complete movable adjacent partner set is172,497,504; the fourth adjacent group526 is frozen. + +For each partner the receipt contains1022 distinct dimension9 isotropic charts, each at distance one from its own baseline, with valid independently checked transvection axes. There are exactly1022 such neighbors:511 possible hyperplane intersections and two alternative lines in the2-dimensional symplectic quotient. Thus the three sets cover precisely3066 declared candidates. This is not another Pauli-axis enumeration or the source's much larger single-move census. + +The independent checker recomputes every affected row's ordered endpoints/sign/operator convention and all four state ranks, in order00,10,01,11. It uses separate binary elimination and source-side operator application. Every incidence ID is accounted for once; parallel rows retain multiplicity. In the actual declared unions, all11/7/7 affected rows are paid identity contacts, with no helper or warp incidence. Unchanged signed rows and all eight fixed centres are summed independently, then combined with every candidate's changed rows. This establishes every **complete** state profile without sampling candidates or re-eliminating unchanged rows millions of times. + +The totals independently checked are: + +| Object | Count | +|---|---:| +|Candidate chart pairs|3066| +|Complete state profiles|12264| +|Exact incidence-rank entries|102200| +|Distinct joint-delta polynomial buckets|24| + +All four signed delta vectors, all state-validity flags, complete state11 paid/helper profiles and cross-differences match the author receipt. All408 helpers remain present once and strictly productive in every state. Frozen boundary groups remain at baseline. The author checker sampled global invoices per polynomial key; this independent all-candidate verification closes that evidence gap. + +Synthetic exact controls additionally distinguish a selfloop with **both** changed endpoints from an incorrectly changed single endpoint, retain duplicate parallel charges, and exhibit the forbidden zero helper rank. They do not claim that the selected unions exercise every global edge type. + +## Point and complete-domain certificates + +The independent interval implementation imports neither the source128-bit interval engine nor an author numerical evaluator. It uses a64-term rational positive atanh logarithm enclosure and21/22-term alternating negative-exponential bounds for `r exp(-C log r)`. All range and rounding decisions are exact rational calculations. Every independently derived point-energy and point-cross interval lies within the corresponding source128-bit outward enclosure. + +Every one of the3066 point energies is **strictly positive**. The smallest is partner497 / axis7, with + +``` +delta=−H1+H2+H3−H4, +E(C*) ∈ [0.002593781451487966093195, + 0.002593781451487966093196]. +``` + +The author128-bit numerator interval is retained exactly in JOINT-RECEIPT-REVIEW.json. This is a positive cost increase, not a saving. + +Twenty joint polynomial buckets satisfy exact discrete increasing-concave dominance: `sum delta[r] min(r,k)≥0` for every integer k=1..9. Since increasing concave functions vanishing at zero are nonnegative combinations of these min-functions on the rank grid, those buckets are nonnegative throughout the declared domain. The remaining four buckets have positive independently verified direct interval lower bounds on each of16 cells covering[0,1/200]. Their recorded minimum lower bounds are conservative relative to the independent rational bounds. No unresolved point or full-domain sign remains. + +The cross-difference signs at C* are2037 negative,5 zero and1024 positive. A favorable regularity sign is not an improvement certificate: E11 itself is positive for all candidates. No min-cut problem was solved, and the single-pair four-state calculation makes no unearned graph-cut claim. + +## Reproduction and interpretation + +From the workspace root: + +``` +python3 -I -W error -B outputs/joint-clifford-independent-review-20261023/check_joint_receipt.py +python3 -I -O -W error -B outputs/joint-clifford-independent-review-20261023/check_joint_receipt.py +cmp outputs/joint-clifford-independent-review-20261023/JOINT-RECEIPT-REVIEW.json outputs/joint-clifford-independent-review-20261023/JOINT-RECEIPT-REVIEW-OPTIMIZED.json +``` + +Normal/optimized warning-strict checks pass with byte-identical JSON. The checker reads the frozen search receipt and recomputes its mathematics; it does not import or execute check_joint.py, neighbors(), the source census or a native implementation. The independent source binding is also reproducible with verify_graph_binding.py. + +Stop this fixed-pivot/three-neighborhood experiment. Other zero pivots, second-step neighborhoods, larger simultaneous chart sets, alternate operator words and the separately owned #5125 split-contact question remain outside the certificate. The retained source single-move certificate can support a separate conditional nonadjacent-partner separability argument; it was not rerun here. + +There is no favorable geometric witness to transfer from this run. For any different future favorable witness, the first missing physical packet is a common actual phase-correct Clifford lift per changed group, every chronological paid transition/native warp and frozen boundary, all arbitrary-input/helper endpoints with raw inverse-transpose orientation, and its all-column and complete ordinary invoice. Changed helper entrance gauges additionally require the direct-sum/zero-transfer premise identified in the separate admission map. Compiler54+4 predicates, precision/stock, strict reserve and outer transfer remain later obligations; none can turn this nonnegative local energy into a κ claim. + +Credit Cinna Davis's #5124 source geometry, source nearest-neighbor theorem/census and zero witness; Cao Yifan's #4610 native word; Dugongue's inverse-chart/phase work; the contact, #4470, zxv, Jacob Alan Sussman, native, helper, Clifford, scalar, precision, compiler and outer lineage; and Astra's specifically declared joint experiment. No literature or publication-priority claim is made. diff --git a/research/fixed-pivot-joint-clifford-ceiling/evidence/review/SHA256SUMS b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/SHA256SUMS new file mode 100644 index 0000000000..9714851a9e --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/SHA256SUMS @@ -0,0 +1,11 @@ +3bfba99d73cfca6b1b5788b00824d64b01533dd1a48d284b35db3972b9c1b95c CONTRACT-DIFF-REVIEW.json +8b47d817b94a4f124f6600c84b7fdef5e2b448c0278ad41712b501a6bb8adead JOINT-RECEIPT-REVIEW-OPTIMIZED.json +8b47d817b94a4f124f6600c84b7fdef5e2b448c0278ad41712b501a6bb8adead JOINT-RECEIPT-REVIEW.json +781e3fcfa0e9fb0e7470bddf6ee172a8800b3b28e0b6748842f6938e9e5cab56 REVIEW.md +48b6625b16b17bd547d2dd610fb3d27f75be5187a90bd849f207c598f39860d5 SOURCE-BINDING-REVIEW.md +66d5cd6ec5f0cf0b237cf31302811da752dea779e12e132907bad1dd853b776a SOURCE-GRAPH-BINDING-OPTIMIZED.json +66d5cd6ec5f0cf0b237cf31302811da752dea779e12e132907bad1dd853b776a SOURCE-GRAPH-BINDING.json +29eab9285a6d8566962693e26d1d0b73bde14d900c7205b2530dd4c858b97ecd STATIC-CODE-GATE.md +7dfcb8c1dd3e0343146c698e34d9124e0887f37c02078f5c5d0af57c1ecf6cdf STATIC-INVENTORY-REVIEW.json +9bebde39de2e8274506c0cd617ddf62d5edc3271d9b480f8f5f2e1a0147cbc47 check_joint_receipt.py +440896172ad8eafe8ba0e1fd0651d759ae2f95aaa759d5a31e6b454b6fac81a4 verify_graph_binding.py diff --git a/research/fixed-pivot-joint-clifford-ceiling/evidence/review/SOURCE-BINDING-REVIEW.md b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/SOURCE-BINDING-REVIEW.md new file mode 100644 index 0000000000..4e0d01728a --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/SOURCE-BINDING-REVIEW.md @@ -0,0 +1,49 @@ +# Independent joint-chart source binding before the candidate execution gate + +2026-10-23. **PASS for the frozen graph, fixed pivot and incidence inventory. The actual joint candidate code gate is pending.** No candidate search, optimizer, single-move census, native circuit, numerical Tensor, compiler or Lean execution is included. + +The source-design packet currently supplies PIVOT-INVENTORY.json and the frozen inputs under `outputs/joint-clifford-design-20261023/`. Its source head is `0335701859182b7bdf31706b0d969c72f5de41c7`. The literal compressed forward word has SHA256 `7679daa4ec6a40f56fc7f0202379a6f454310e94945aba4f48beaaaafb838d05`; the contracted graph is `f5db08a5814b14b11b93b79207afb1a8d5ec2c5803c1cf6bbc3333cccf0a94af`; the pivot inventory is `9182378f7c7c3c1f50cd32b2c990c0395b596d9edf980b6b4ce4ad7bb592a76b`. + +## Independent reconstruction and all original zero contacts + +`verify_graph_binding.py` reads the literal source JSON/gzip as data and independently rebuilds the chronology, zero-contact contraction, Lagrangian charts, signed native warp operators and helper boundary rows. It imports none of the predecessor model, algebra, discovery or verifier implementations. It reproduces the complete encoded contracted graph byte-for-byte. + +There are 19,197 original chronological nodes and 34,638 original paid/warp contact rows. Exactly31,108 original zero-paid rows connect identical source frames and are contracted. The contracted graph has1,075 groups,275 frozen groups,800 movable groups,144 exact binary symplectic warp operators and3,938 signed incidences. Those incidences comprise3,290 paid identity contacts,240 warp contacts and408 helper rewards. The eight fixed owned centre calls contribute8H8 separately. + +Every original zero-paid row lies within one contracted group. Assigning a single chart to each complete group therefore leaves all31,108 omitted original zero contacts at rank zero. They are not silently dropped across different trial assignments. Frozen main, adapter and owned-contact boundaries are represented by the union of their frozen groups. + +Independent binary row elimination verifies every stored chart has dimension9 and is isotropic. Every one of the144 stored operators is invertible and preserves the exact symplectic pairing. The full graph has78 selfloop incidence rows and805 additional parallel rows under the exact ordered endpoint/operator/sign key. These are genuine multiplicities and must remain separately charged where affected. + +The independently reconstructed full baseline invoice is + +``` +paid={1:2201,2:412,3:510,4:127,5:40,8:8}, +helpers={4:28,7:7,8:47,9:326}. +``` + +The reconstruction and output JSON are byte-identical under normal and optimized Python. This reconstruction is a small data audit and does not rerun the credited full nearest-chart census. + +## Fixed zero pivot and three declared joint neighborhoods + +The fixed pivot is group499, Pauli axis7. Direct independent transvection/rank calculations give its four incident row transitions: + +| Row | Baseline rank | Pivot-only rank | +|---:|---:|---:| +|1193|2|3| +|1194|1|2| +|1204|2|1| +|1212|3|2| + +The resulting signed rank polynomial is identically zero; this is stronger than a floating near-tie at one C. Both the old and changed chart are valid distance-one Lagrangians. Group499 and all three partners are movable. + +The partner172 union is exactly rows `{130,131,1181,1187,1193,1194,1204,1212,1399,1405,1411}`. Partner497 uses `{1189,1190,1193,1194,1204,1208,1212}`. Partner504 uses `{1193,1194,1203,1204,1205,1212,1213}`. These unions contain11,7,7 distinct incidence IDs respectively, all paid identity contacts. No helper or warp row changes in these particular neighborhoods. The global generic evaluator must nevertheless handle selfloops, parallel rows, native operators and signed helper feasibility correctly; absence from the selected unions is not a general omission license. + +For a9-dimensional binary Lagrangian L, every distance-one neighbor intersects L in one hyperplane H. There are2^9−1=511 such hyperplanes. The symplectic quotient H-perp/H has dimension2 and three lines; one corresponds to L/H and the other two to its two neighbors. Hence there are exactly1,022 distinct distance-one neighbors. A receipt containing1,022 unique isotropic dimension9 charts, each at distance one from the partner baseline, establishes coverage of that partner's nearest neighborhood without another exhaustive Pauli-axis sweep. The declared total is3,066 partner candidates with the one fixed pivot move. + +## Required actual-code gate and downstream scope + +The actual search must use the union of incidence **IDs**, counting a selfloop once and retaining distinct parallel rows. For every affected row it must substitute both endpoint trial charts, apply a native operator to the source chart before measuring distance, and record exact ranks for all four pivot/partner states. Helpers, if present in a generic control, must retain strictly positive rank in every feasible state. All four state invoices and their signed rank polynomials must be retained, rather than only a floating objective delta. A failed domain search is scoped to this one pivot and these three nearest neighborhoods. + +A graph rank transition is not an emitted physical circuit. Even a strict gain still needs literal phase-correct legal new charts, paid transitions at every chronological contact, all original arbitrary-input/helper endpoints and inverse-transpose/boundary conventions, exact all-width tariffs and ordinary cost, and a completed supplier/caller/precision/stock binding before compiler or κ transfer. A nearest-domain negative result is not a universal obstruction to joint Clifford changes. + +Credit Cinna Davis's independent-chart mathematics and census, the contact/chronological source model and PR4610/PR4470/native lineage, and Astra's specifically declared new joint neighborhood. Substantial OpenAI Codex assistance. This reviewer creates no separate literature feed and makes no priority or κ claim. diff --git a/research/fixed-pivot-joint-clifford-ceiling/evidence/review/SOURCE-GRAPH-BINDING-OPTIMIZED.json b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/SOURCE-GRAPH-BINDING-OPTIMIZED.json new file mode 100644 index 0000000000..e92ec131dd --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/SOURCE-GRAPH-BINDING-OPTIMIZED.json @@ -0,0 +1,20 @@ +{ + "status": "PASS_INDEPENDENT_SOURCE_GRAPH_RECONSTRUCTION_NO_SEARCH", + "source_word_sha256": "7679daa4ec6a40f56fc7f0202379a6f454310e94945aba4f48beaaaafb838d05", + "graph_sha256": "f5db08a5814b14b11b93b79207afb1a8d5ec2c5803c1cf6bbc3333cccf0a94af", + "original_nodes": 19197, + "original_contact_rows": 34638, + "baseline_zero_paid_rows": 31108, + "dropped_internal_identity_rows": 31108, + "contracted_groups": 1075, + "frozen_groups": 275, + "signed_incidences": 3938, + "warp_rows": 240, + "centres_fixed": { + "8": 8 + }, + "original_to_group_sha256": "1b2eb21d545a7aac73c0203c0c516265b607fb437c3de22ced34269156e7219b", + "all_original_zero_paid_edges_preserved_under_group_assignments": true, + "candidate_search_or_single_census_executed": false, + "new_kappa": null +} diff --git a/research/fixed-pivot-joint-clifford-ceiling/evidence/review/SOURCE-GRAPH-BINDING.json b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/SOURCE-GRAPH-BINDING.json new file mode 100644 index 0000000000..e92ec131dd --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/SOURCE-GRAPH-BINDING.json @@ -0,0 +1,20 @@ +{ + "status": "PASS_INDEPENDENT_SOURCE_GRAPH_RECONSTRUCTION_NO_SEARCH", + "source_word_sha256": "7679daa4ec6a40f56fc7f0202379a6f454310e94945aba4f48beaaaafb838d05", + "graph_sha256": "f5db08a5814b14b11b93b79207afb1a8d5ec2c5803c1cf6bbc3333cccf0a94af", + "original_nodes": 19197, + "original_contact_rows": 34638, + "baseline_zero_paid_rows": 31108, + "dropped_internal_identity_rows": 31108, + "contracted_groups": 1075, + "frozen_groups": 275, + "signed_incidences": 3938, + "warp_rows": 240, + "centres_fixed": { + "8": 8 + }, + "original_to_group_sha256": "1b2eb21d545a7aac73c0203c0c516265b607fb437c3de22ced34269156e7219b", + "all_original_zero_paid_edges_preserved_under_group_assignments": true, + "candidate_search_or_single_census_executed": false, + "new_kappa": null +} diff --git a/research/fixed-pivot-joint-clifford-ceiling/evidence/review/STATIC-CODE-GATE.md b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/STATIC-CODE-GATE.md new file mode 100644 index 0000000000..40a1c0e0b7 --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/STATIC-CODE-GATE.md @@ -0,0 +1,34 @@ +# Independent static gate for the bounded joint-chart checker + +2026-10-23. **PASS to root's decision on one bounded60s execution.** This reviewer has not executed the joint checker, a single-neighbor census, native circuit, Tensor, compiler, solver or Lean. Source graph reconstruction and fixed-pivot data checks are documented separately. + +Reviewed `outputs/joint-clifford-design-20261023/check_joint.py` SHA256 `575136ee932e697c97b8a15d2edc1f5ab159de482c66c01a6f211a9dfd301630` and CONTRACT.md SHA256 `8f29241120f28f6df2541e7fec74fa3a8ad3b03eb79a8b79dd91b6875d7d5a52`. The author AUTH-MANIFEST pins the source graph, actual literal word, source model/algebra and interval implementation. The frozen graph was independently reproduced byte-for-byte without importing those source routines; all31,108 original omitted zero-paid contacts remain internal to groups. + +## Rank tables and complete incidence accounting + +The checker fixes pivot499 axis7 and derives the complete movable adjacent set `{172,497,504}`. It enumerates1,022 distinct nearest charts for each partner relative to that partner's baseline, totaling3,066 candidate pairs. It checks distance one and uniqueness. The source nearest-neighbor grammar is justified by511 hyperplanes and two other lines in each2-dimensional symplectic quotient; this does not require rerunning the credited exhaustive single census. + +The union is built by enumerating incidence IDs once. Parallel rows remain distinct. A selfloop is one row and both of its endpoints receive the trial chart. Native warp action is applied to the source endpoint before rank computation. Four states are recorded explicitly in the order00,10,01,11. The signed delta calculation correctly subtracts each baseline cost/reward and adds the new one. Helper rank zero invalidates the affected state; each feasible joint profile still contains408 independent helpers. + +The profile updater begins with the complete baseline, including all8H8 owned centres, then changes exactly the affected incidence rows. Zero ranks cost H0=0 and do not become a productive helper. In the declared three neighborhoods every union row happens to be a paid identity incidence; the generic code still handles warps, helpers and selfloops. The fixed pivot's E10 polynomial is checked to be identically zero, rather than numerically close to zero. + +The checker performs a complete global invoice for the first occurrence of each joint-delta polynomial, each certified favorable candidate and the last neighbor of each partner. This is a useful internal cross-check, **not independent verification of all candidates**. The independent reviewer must recompute every recorded four-state table and complete profile after execution before accepting either a favorable witness or a complete scoped negative result. + +## Outward bounds and classification + +The imported source interval engine has128-bit integer endpoints. Its logarithm uses a48-term positive atanh series after reducing the integer rank to a power of2 times a factor in[1,2), with a valid geometric tail. exp(C log r) is bounded by positive terms with floor/ceiling at every operation and twice the first omitted upper term. On0≤C≤1/200 and1≤r≤9, the exponent is below1/2, so that remainder bound is valid. Reciprocating positive exp bounds reverses endpoints and gives outward bounds on H_r(C)=r^(1-C). No floating decision is made. + +For an interval[a,b], H_r decreases, so the lower term uses H_r(b) and upper uses H_r(a). Negative coefficients correctly exchange endpoints. Derivative bounds multiply by nonnegative outward log intervals, then negate delta coefficients. A zero rank-mass polynomial has E(0)=0, so nonnegative derivative across every subinterval proves nonnegativity. A positive-mass polynomial is certified only by direct nonnegative intervals or discrete concave dominance; no derivative extrapolation from a positive initial value is used. + +The concave-dominance condition `sum delta[r] min(r,k)≥0` for each integer k=1..9 is sufficient: any increasing concave function with f(0)=0 on these ranks is a nonnegative linear combination of the min(r,k) functions. It therefore applies throughout the declared power domain. Point success requires a strictly negative outward upper endpoint at the exact rational C*. Nonpositive or uncertain intervals are not promoted. Full-domain unresolved certificates stay unresolved. + +Coverage-complete, certificate-processing-complete and full-domain-complete fields are distinct. A deadline during certification can retain all3,066 candidate rows while honestly reporting incomplete processing. No solver, wider pivot domain, random walk or automatic120s retry appears. + +## Two nonblocking reporting/budget qualifications + +1. `complete_global_invoice_checks=len(full_checked)` counts distinct joint-delta polynomial keys that received a global check. It is not the number of literal check invocations and does not count all independently reverified candidate profiles. Interpret it as checked polynomial-key coverage or rename it in a future separately frozen revision. +2. `--max-seconds` is a cooperative deadline checked between candidates and certification subdivisions. Source binding, one in-progress calculation and final JSON serialization are outside a strict interrupt guarantee. If60s is an absolute process limit, root should enforce it externally; a killed process may not produce the cooperative partial receipt. No automatic budget extension is implied. + +Neither qualification invalidates the mathematical gate. No author source file was changed by this review. Root controls the execution and any retry. + +A negative geometric energy is only an improved rank invoice. Literal phase-correct chart lifts, chronological paid transitions, legal native maps, complete arbitrary-input/helper restoration and raw-dual/frozen boundary conventions, all-column costs, actual caller/precision/stock and compiler/outer transfer remain separate. No new κ is inferred. diff --git a/research/fixed-pivot-joint-clifford-ceiling/evidence/review/STATIC-INVENTORY-REVIEW.json b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/STATIC-INVENTORY-REVIEW.json new file mode 100644 index 0000000000..93fa4ef2db --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/STATIC-INVENTORY-REVIEW.json @@ -0,0 +1,114 @@ +{ + "status": "PASS_STATIC_FROZEN_GRAPH_AND_FIXED_PIVOT_ONLY_NO_SEARCH", + "graph_sha256": "f5db08a5814b14b11b93b79207afb1a8d5ec2c5803c1cf6bbc3333cccf0a94af", + "inventory_sha256": "9182378f7c7c3c1f50cd32b2c990c0395b596d9edf980b6b4ce4ad7bb592a76b", + "groups": 1075, + "frozen": 275, + "movable": 800, + "incidences": 3938, + "operators": 144, + "all_charts_Lagrangian": true, + "all_maps_symplectic": true, + "incidence_types": { + "warp": 240, + "paid_identity": 3290, + "helper": 408 + }, + "selfloop_incidences": 78, + "parallel_extra_rows": 805, + "baseline_paid": { + "1": 2201, + "2": 412, + "3": 510, + "4": 127, + "5": 40, + "8": 8 + }, + "baseline_helpers": { + "4": 28, + "7": 7, + "8": 47, + "9": 326 + }, + "pivot_exact_delta": { + "1": 0, + "2": 0, + "3": 0 + }, + "pivot_rank_rows": [ + { + "id": 1193, + "baseline": 2, + "pivot_only": 3 + }, + { + "id": 1194, + "baseline": 1, + "pivot_only": 2 + }, + { + "id": 1204, + "baseline": 2, + "pivot_only": 1 + }, + { + "id": 1212, + "baseline": 3, + "pivot_only": 2 + } + ], + "partners": [ + { + "partner": 172, + "union_ids": [ + 130, + 131, + 1181, + 1187, + 1193, + 1194, + 1204, + 1212, + 1399, + 1405, + 1411 + ], + "types": { + "paid_identity": 11 + } + }, + { + "partner": 497, + "union_ids": [ + 1189, + 1190, + 1193, + 1194, + 1204, + 1208, + 1212 + ], + "types": { + "paid_identity": 7 + } + }, + { + "partner": 504, + "union_ids": [ + 1193, + 1194, + 1203, + 1204, + 1205, + 1212, + 1213 + ], + "types": { + "paid_identity": 7 + } + } + ], + "candidate_search_executed": false, + "uncontracted_zeroedge_mapping": "await actual code/source gate", + "new_kappa": null +} diff --git a/research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-FREEZE.json b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-FREEZE.json new file mode 100644 index 0000000000..a6aff986c6 --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-FREEZE.json @@ -0,0 +1,23 @@ +{ + "author_input_sha256": { + "ZERO-MODEL-INVENTORY.json": "715342afc9b4e651a120151a41d3b8b9d69e313f679092e67bd85e83e7b23de2", + "ZERO-MODEL-PROOF.md": "51fbc81d7cc1437314ac59ac958a3e3d2fb9b6bc7d132c2a5058e7acdda2914a", + "ZERO-MODEL-WITNESS-BINDING.json": "af46672c959594e0583fe634bf2a851ecd6667c46c588383481de43d7591fce7", + "inputs/contracted-graph.txt": "f5db08a5814b14b11b93b79207afb1a8d5ec2c5803c1cf6bbc3333cccf0a94af", + "inputs/research/independent-clifford-expansion/RESULT.json": "458bf999cefd0dd412c7e83b5c9ecbe9ac920290aa4352832b9cd419e1e564f8", + "zero-model-inputs/DISCOVERY.json": "a611408b9d76622acf50d02d8c37a24bec9f5ec2b3f53c46351f8d565ece4b2d" + }, + "bridge_only_structural": true, + "files": { + "FREEZE.json": "9595084e5ba4fe69a90eab6428bc20f45fa125122e029cbf58e33fb13834ea5a", + "ZERO-MODEL-REVIEW-OPTIMIZED.json": "1b15ccb1878c2a9f885d6da1edfaca3e1876e30eda05cfeccc3fcf4b6a20e5c2", + "ZERO-MODEL-REVIEW.json": "1b15ccb1878c2a9f885d6da1edfaca3e1876e30eda05cfeccc3fcf4b6a20e5c2", + "ZERO-MODEL-REVIEW.md": "46f5fe62fdb549b9d44d461f003dbdec8559a7fafaf7e23a4b2b79ef38456921", + "check_joint_receipt.py": "9bebde39de2e8274506c0cd617ddf62d5edc3271d9b480f8f5f2e1a0147cbc47", + "check_zero_model.py": "07840471fc93079932f02cbbd1357fe440d4fcc26b95ded767c711be3b796435", + "verify_graph_binding.py": "440896172ad8eafe8ba0e1fd0651d759ae2f95aaa759d5a31e6b454b6fac81a4" + }, + "new_search_executed": false, + "prior_joint_freeze_preserved": true, + "status": "FROZEN_INDEPENDENT_43_ZERO_MODEL_REVIEW" +} diff --git a/research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-REVIEW-OPTIMIZED.json b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-REVIEW-OPTIMIZED.json new file mode 100644 index 0000000000..bc182d039d --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-REVIEW-OPTIMIZED.json @@ -0,0 +1,1019 @@ +{ + "all_incident_rows_paid_identity": true, + "all_real_C_invoice_identity": true, + "assignment_enumeration_executed": false, + "baseline_helpers": { + "4": 28, + "7": 7, + "8": 47, + "9": 326 + }, + "baseline_paid": { + "1": 2201, + "2": 412, + "3": 510, + "4": 127, + "5": 40, + "8": 8 + }, + "bridge_structure_only": { + "full_binary_minimum": "min(0,E172(B)+min(0,R499(B))+min(0,R572(B)))", + "groups": [ + 172, + 499, + 572 + ], + "incidence_ids": [ + 130, + 131, + 1181, + 1187, + 1193, + 1194, + 1204, + 1212, + 1399, + 1405, + 1411, + 1412, + 1422, + 1430 + ], + "parallel_119_172": [ + 1181, + 1399 + ], + "tables_evaluated": false + }, + "exact_rank_transitions_checked": 172, + "external_neighbor_count": 132, + "helper_rows_unchanged": 408, + "independent_source_graph_binding": "f5db08a5814b14b11b93b79207afb1a8d5ec2c5803c1cf6bbc3333cccf0a94af", + "induced_incidence_count": 0, + "input_sha256": { + "ZERO-MODEL-INVENTORY.json": "715342afc9b4e651a120151a41d3b8b9d69e313f679092e67bd85e83e7b23de2", + "ZERO-MODEL-PROOF.md": "51fbc81d7cc1437314ac59ac958a3e3d2fb9b6bc7d132c2a5058e7acdda2914a", + "ZERO-MODEL-WITNESS-BINDING.json": "af46672c959594e0583fe634bf2a851ecd6667c46c588383481de43d7591fce7", + "inputs/contracted-graph.txt": "f5db08a5814b14b11b93b79207afb1a8d5ec2c5803c1cf6bbc3333cccf0a94af", + "inputs/research/independent-clifford-expansion/RESULT.json": "458bf999cefd0dd412c7e83b5c9ecbe9ac920290aa4352832b9cd419e1e564f8", + "zero-model-inputs/DISCOVERY.json": "a611408b9d76622acf50d02d8c37a24bec9f5ec2b3f53c46351f8d565ece4b2d" + }, + "inputs_unchanged": true, + "native_compiler_caller_transfer_admitted": false, + "new_axis_or_neighbor_enumeration_executed": false, + "original_zero_paid_rows_preserved": 31108, + "paid_owned_H8_centres_unchanged": 8, + "recorded_pairs_checked": 43, + "simultaneous_assignments_covered_by_additivity": 8796093022208, + "source_census_completeness": "inherited authenticated source result; only stored43 rebound", + "source_census_repeated": false, + "status": "PASS_RETAINED_43_ZERO_MODEL_INVOICE_IDENTITY", + "witnesses": [ + { + "axis": 7, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 499, + "incidence_ids": [ + 1193, + 1194, + 1204, + 1212 + ] + }, + { + "axis": 7, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 500, + "incidence_ids": [ + 1195, + 1196, + 1202, + 1216 + ] + }, + { + "axis": 7, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 501, + "incidence_ids": [ + 1197, + 1198, + 1200, + 1206 + ] + }, + { + "axis": 25, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 508, + "incidence_ids": [ + 1229, + 1230, + 1240, + 1248 + ] + }, + { + "axis": 25, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 509, + "incidence_ids": [ + 1231, + 1232, + 1238, + 1252 + ] + }, + { + "axis": 25, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 510, + "incidence_ids": [ + 1233, + 1234, + 1236, + 1242 + ] + }, + { + "axis": 82, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 519, + "incidence_ids": [ + 1265, + 1266, + 1276, + 1286 + ] + }, + { + "axis": 82, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 520, + "incidence_ids": [ + 1267, + 1268, + 1274, + 1290 + ] + }, + { + "axis": 82, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 521, + "incidence_ids": [ + 1269, + 1270, + 1272, + 1280 + ] + }, + { + "axis": 76, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 533, + "incidence_ids": [ + 1303, + 1304, + 1314, + 1322 + ] + }, + { + "axis": 76, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 534, + "incidence_ids": [ + 1305, + 1306, + 1312, + 1326 + ] + }, + { + "axis": 76, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 535, + "incidence_ids": [ + 1307, + 1308, + 1310, + 1316 + ] + }, + { + "axis": 76, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 548, + "incidence_ids": [ + 1339, + 1340, + 1350, + 1358 + ] + }, + { + "axis": 76, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 549, + "incidence_ids": [ + 1341, + 1342, + 1348, + 1362 + ] + }, + { + "axis": 76, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 550, + "incidence_ids": [ + 1343, + 1344, + 1346, + 1352 + ] + }, + { + "axis": 7, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 563, + "incidence_ids": [ + 1375, + 1376, + 1386, + 1394 + ] + }, + { + "axis": 7, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 564, + "incidence_ids": [ + 1377, + 1378, + 1384, + 1398 + ] + }, + { + "axis": 7, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 565, + "incidence_ids": [ + 1379, + 1380, + 1382, + 1388 + ] + }, + { + "axis": 25, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 572, + "incidence_ids": [ + 1411, + 1412, + 1422, + 1430 + ] + }, + { + "axis": 25, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 573, + "incidence_ids": [ + 1413, + 1414, + 1420, + 1434 + ] + }, + { + "axis": 25, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 574, + "incidence_ids": [ + 1415, + 1416, + 1418, + 1424 + ] + }, + { + "axis": 82, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 583, + "incidence_ids": [ + 1447, + 1448, + 1458, + 1466 + ] + }, + { + "axis": 82, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 584, + "incidence_ids": [ + 1449, + 1450, + 1456, + 1470 + ] + }, + { + "axis": 82, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 585, + "incidence_ids": [ + 1451, + 1452, + 1454, + 1460 + ] + }, + { + "axis": 82, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 647, + "incidence_ids": [ + 1750, + 1751, + 2035, + 2272 + ] + }, + { + "axis": 82, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 648, + "incidence_ids": [ + 1752, + 1753, + 1813, + 2274 + ] + }, + { + "axis": 82, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 649, + "incidence_ids": [ + 1754, + 1755, + 2037, + 2276 + ] + }, + { + "axis": 76, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 652, + "incidence_ids": [ + 1760, + 1761, + 2047, + 2288 + ] + }, + { + "axis": 76, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 653, + "incidence_ids": [ + 1762, + 1763, + 1823, + 2290 + ] + }, + { + "axis": 76, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 654, + "incidence_ids": [ + 1764, + 1765, + 2049, + 2292 + ] + }, + { + "axis": 76, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 658, + "incidence_ids": [ + 1772, + 1773, + 1793, + 2338 + ] + }, + { + "axis": 76, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 659, + "incidence_ids": [ + 1774, + 1775, + 2041, + 2308 + ] + }, + { + "axis": 97, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 663, + "incidence_ids": [ + 1782, + 1783, + 1803, + 2354 + ] + }, + { + "axis": 97, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 664, + "incidence_ids": [ + 1784, + 1785, + 2045, + 2324 + ] + }, + { + "axis": 131271, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 842, + "incidence_ids": [ + 2392, + 2393, + 2395, + 2397 + ] + }, + { + "axis": 131289, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 845, + "incidence_ids": [ + 2398, + 2399, + 2401, + 2403 + ] + }, + { + "axis": 131306, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 848, + "incidence_ids": [ + 2404, + 2405, + 2406, + 2407 + ] + }, + { + "axis": 131271, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 849, + "incidence_ids": [ + 2408, + 2409, + 2410, + 2411 + ] + }, + { + "axis": 4570, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 850, + "incidence_ids": [ + 2412, + 2413, + 2415, + 2417 + ] + }, + { + "axis": 8707, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 853, + "incidence_ids": [ + 2418, + 2419, + 2421, + 2423 + ] + }, + { + "axis": 5126, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 856, + "incidence_ids": [ + 2424, + 2425, + 2426, + 2427 + ] + }, + { + "axis": 16876, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 857, + "incidence_ids": [ + 2428, + 2429, + 2430, + 2431 + ] + }, + { + "axis": 131181, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 1056, + "incidence_ids": [ + 2924, + 2925, + 2926, + 2927 + ] + } + ] +} diff --git a/research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-REVIEW.json b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-REVIEW.json new file mode 100644 index 0000000000..bc182d039d --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-REVIEW.json @@ -0,0 +1,1019 @@ +{ + "all_incident_rows_paid_identity": true, + "all_real_C_invoice_identity": true, + "assignment_enumeration_executed": false, + "baseline_helpers": { + "4": 28, + "7": 7, + "8": 47, + "9": 326 + }, + "baseline_paid": { + "1": 2201, + "2": 412, + "3": 510, + "4": 127, + "5": 40, + "8": 8 + }, + "bridge_structure_only": { + "full_binary_minimum": "min(0,E172(B)+min(0,R499(B))+min(0,R572(B)))", + "groups": [ + 172, + 499, + 572 + ], + "incidence_ids": [ + 130, + 131, + 1181, + 1187, + 1193, + 1194, + 1204, + 1212, + 1399, + 1405, + 1411, + 1412, + 1422, + 1430 + ], + "parallel_119_172": [ + 1181, + 1399 + ], + "tables_evaluated": false + }, + "exact_rank_transitions_checked": 172, + "external_neighbor_count": 132, + "helper_rows_unchanged": 408, + "independent_source_graph_binding": "f5db08a5814b14b11b93b79207afb1a8d5ec2c5803c1cf6bbc3333cccf0a94af", + "induced_incidence_count": 0, + "input_sha256": { + "ZERO-MODEL-INVENTORY.json": "715342afc9b4e651a120151a41d3b8b9d69e313f679092e67bd85e83e7b23de2", + "ZERO-MODEL-PROOF.md": "51fbc81d7cc1437314ac59ac958a3e3d2fb9b6bc7d132c2a5058e7acdda2914a", + "ZERO-MODEL-WITNESS-BINDING.json": "af46672c959594e0583fe634bf2a851ecd6667c46c588383481de43d7591fce7", + "inputs/contracted-graph.txt": "f5db08a5814b14b11b93b79207afb1a8d5ec2c5803c1cf6bbc3333cccf0a94af", + "inputs/research/independent-clifford-expansion/RESULT.json": "458bf999cefd0dd412c7e83b5c9ecbe9ac920290aa4352832b9cd419e1e564f8", + "zero-model-inputs/DISCOVERY.json": "a611408b9d76622acf50d02d8c37a24bec9f5ec2b3f53c46351f8d565ece4b2d" + }, + "inputs_unchanged": true, + "native_compiler_caller_transfer_admitted": false, + "new_axis_or_neighbor_enumeration_executed": false, + "original_zero_paid_rows_preserved": 31108, + "paid_owned_H8_centres_unchanged": 8, + "recorded_pairs_checked": 43, + "simultaneous_assignments_covered_by_additivity": 8796093022208, + "source_census_completeness": "inherited authenticated source result; only stored43 rebound", + "source_census_repeated": false, + "status": "PASS_RETAINED_43_ZERO_MODEL_INVOICE_IDENTITY", + "witnesses": [ + { + "axis": 7, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 499, + "incidence_ids": [ + 1193, + 1194, + 1204, + 1212 + ] + }, + { + "axis": 7, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 500, + "incidence_ids": [ + 1195, + 1196, + 1202, + 1216 + ] + }, + { + "axis": 7, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 501, + "incidence_ids": [ + 1197, + 1198, + 1200, + 1206 + ] + }, + { + "axis": 25, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 508, + "incidence_ids": [ + 1229, + 1230, + 1240, + 1248 + ] + }, + { + "axis": 25, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 509, + "incidence_ids": [ + 1231, + 1232, + 1238, + 1252 + ] + }, + { + "axis": 25, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 510, + "incidence_ids": [ + 1233, + 1234, + 1236, + 1242 + ] + }, + { + "axis": 82, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 519, + "incidence_ids": [ + 1265, + 1266, + 1276, + 1286 + ] + }, + { + "axis": 82, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 520, + "incidence_ids": [ + 1267, + 1268, + 1274, + 1290 + ] + }, + { + "axis": 82, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 521, + "incidence_ids": [ + 1269, + 1270, + 1272, + 1280 + ] + }, + { + "axis": 76, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 533, + "incidence_ids": [ + 1303, + 1304, + 1314, + 1322 + ] + }, + { + "axis": 76, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 534, + "incidence_ids": [ + 1305, + 1306, + 1312, + 1326 + ] + }, + { + "axis": 76, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 535, + "incidence_ids": [ + 1307, + 1308, + 1310, + 1316 + ] + }, + { + "axis": 76, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 548, + "incidence_ids": [ + 1339, + 1340, + 1350, + 1358 + ] + }, + { + "axis": 76, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 549, + "incidence_ids": [ + 1341, + 1342, + 1348, + 1362 + ] + }, + { + "axis": 76, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 550, + "incidence_ids": [ + 1343, + 1344, + 1346, + 1352 + ] + }, + { + "axis": 7, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 563, + "incidence_ids": [ + 1375, + 1376, + 1386, + 1394 + ] + }, + { + "axis": 7, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 564, + "incidence_ids": [ + 1377, + 1378, + 1384, + 1398 + ] + }, + { + "axis": 7, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 565, + "incidence_ids": [ + 1379, + 1380, + 1382, + 1388 + ] + }, + { + "axis": 25, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 572, + "incidence_ids": [ + 1411, + 1412, + 1422, + 1430 + ] + }, + { + "axis": 25, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 573, + "incidence_ids": [ + 1413, + 1414, + 1420, + 1434 + ] + }, + { + "axis": 25, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 574, + "incidence_ids": [ + 1415, + 1416, + 1418, + 1424 + ] + }, + { + "axis": 82, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 583, + "incidence_ids": [ + 1447, + 1448, + 1458, + 1466 + ] + }, + { + "axis": 82, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 584, + "incidence_ids": [ + 1449, + 1450, + 1456, + 1470 + ] + }, + { + "axis": 82, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 585, + "incidence_ids": [ + 1451, + 1452, + 1454, + 1460 + ] + }, + { + "axis": 82, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 647, + "incidence_ids": [ + 1750, + 1751, + 2035, + 2272 + ] + }, + { + "axis": 82, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 648, + "incidence_ids": [ + 1752, + 1753, + 1813, + 2274 + ] + }, + { + "axis": 82, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 649, + "incidence_ids": [ + 1754, + 1755, + 2037, + 2276 + ] + }, + { + "axis": 76, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 652, + "incidence_ids": [ + 1760, + 1761, + 2047, + 2288 + ] + }, + { + "axis": 76, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 653, + "incidence_ids": [ + 1762, + 1763, + 1823, + 2290 + ] + }, + { + "axis": 76, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 654, + "incidence_ids": [ + 1764, + 1765, + 2049, + 2292 + ] + }, + { + "axis": 76, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 658, + "incidence_ids": [ + 1772, + 1773, + 1793, + 2338 + ] + }, + { + "axis": 76, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 659, + "incidence_ids": [ + 1774, + 1775, + 2041, + 2308 + ] + }, + { + "axis": 97, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 663, + "incidence_ids": [ + 1782, + 1783, + 1803, + 2354 + ] + }, + { + "axis": 97, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 664, + "incidence_ids": [ + 1784, + 1785, + 2045, + 2324 + ] + }, + { + "axis": 131271, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 842, + "incidence_ids": [ + 2392, + 2393, + 2395, + 2397 + ] + }, + { + "axis": 131289, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 845, + "incidence_ids": [ + 2398, + 2399, + 2401, + 2403 + ] + }, + { + "axis": 131306, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 848, + "incidence_ids": [ + 2404, + 2405, + 2406, + 2407 + ] + }, + { + "axis": 131271, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 849, + "incidence_ids": [ + 2408, + 2409, + 2410, + 2411 + ] + }, + { + "axis": 4570, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 850, + "incidence_ids": [ + 2412, + 2413, + 2415, + 2417 + ] + }, + { + "axis": 8707, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 853, + "incidence_ids": [ + 2418, + 2419, + 2421, + 2423 + ] + }, + { + "axis": 5126, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 856, + "incidence_ids": [ + 2424, + 2425, + 2426, + 2427 + ] + }, + { + "axis": 16876, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 857, + "incidence_ids": [ + 2428, + 2429, + 2430, + 2431 + ] + }, + { + "axis": 131181, + "delta": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ], + "group": 1056, + "incidence_ids": [ + 2924, + 2925, + 2926, + 2927 + ] + } + ] +} diff --git a/research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-REVIEW.md b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-REVIEW.md new file mode 100644 index 0000000000..8661acb2ad --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/ZERO-MODEL-REVIEW.md @@ -0,0 +1,23 @@ +# Independent review of the retained 43-zero-chart model + +**PASS, scoped to the 43 explicit stored baseline alternatives.** All 8,796,093,022,208 binary assignments have exactly the original paid rank profile and exactly the original helper rank profile. This is a multiset identity before evaluating a moment, so it holds for every real parameter for which the rank moments are defined. It supplies no saving and admits no new physical implementation or kappa. + +The independent checker reads the captured discovery data, the source result, the complete contracted graph, and the author's inventory and witness binding. It imports only this review's own graph reconstruction and exact binary-linear-algebra routines. It rechecks the complete graph against the chronological source reconstruction, then derives each of the 43 specified chart transvections and its four incident ranks from the original baseline. The discovery walk's floating energies are never used. In particular, the verification does not assume that a later sequential zero move is zero at the original baseline. + +Every changed chart is a distinct nine-dimensional isotropic Lagrangian at distance one from its baseline. All 172 incidence identities, orientations, multiplicities, and old/new ranks agree with the frozen witness binding. Each single-move paid delta is zero separately at every rank. All 172 rows are paid identity transitions, and no row has two selected endpoints. There is no selected self-loop, helper endpoint, warp endpoint, or selected-selected parallel row. The complete external adjacency also agrees with the binding. + +For a paid rank r and binary choices x, each incidence depends on at most one selected bit, hence its change can be assigned to that single group. Summing incidences gives + +`P_x(r) - P_0(r) = sum_g x_g delta_g(r) = 0`. + +The 408 helper rows and eight owned H8 centres are untouched. The source reconstruction also preserves all 31,108 original zero paid rows under common assignments to contracted groups. Consequently no omitted baseline zero row becomes a hidden charge, and no signed cancellation between paid and helper changes is involved. The common paid profile is H1:2201, H2:412, H3:510, H4:127, H5:40, H8:8; the common helper profile is H4:28, H7:7, H8:47, H9:326. + +The source's recorded complete contracted census has 817,600 valid moves and a zero-polynomial bucket of count 43, first witness (499,7). Its count agrees with the 43 distinct stored round-zero group/axis pairs. This review independently rebinds those explicit witnesses; it does not repeat or independently certify the completeness of the source census. The all-assignment theorem needs only these 43 exact witnesses and the empty induced incidence graph, so that inherited completeness premise does not weaken the stated model identity. + +The proposed bridge (172,499,572) remains outside both the completed pair certificate and this zero-model certificate. Its stated structural inventory is correct: 14 paid identity incidences, shared rows 1193 and 1411, both parallel (119,172) charges retained, and frozen neighbours 526 and 592. No chart B, third-leaf interaction table, larger neighbourhood or assignment was generated here. For the bridge-active branch, the algebraic minimum over the two leaves is `E172(B)+min(0,R499(B))+min(0,R572(B))`. If all three activation bits are minimized, the expression additionally has the outer `min(0, ...)`, representing the unchanged baseline. This is an exposition qualifier, not an evaluated bridge result. + +The normal and optimized runs use `python3 -I [-O] -B -W error check_zero_model.py`; they finish in under one second locally and produce byte-identical JSON. No source model, discovery search, solver, native circuit, numerical Tensor, emitter or compiler runs. Replay requires the existing sibling `joint-clifford-design-20261023` input layout and the two unchanged own verifier modules. The checker uses no Git or network. Before/after input hashes are identical, and the prior completed joint-review FREEZE remains unchanged. + +The new discovery capture is pinned at a611408b9d76622acf50d02d8c37a24bec9f5ec2b3f53c46351f8d565ece4b2d and the witness binding at af46672c959594e0583fe634bf2a851ecd6667c46c588383481de43d7591fce7. The author's capture was obtained from the exact #5124 blob URL through its GitHub connector. A local Git reauthentication attempt could not obtain the missing partial-clone blob while offline and is not claimed as successful. The proof is exact for the frozen captured bytes and independently source-bound graph; source capture provenance remains separately recorded. + +Credit Cinna Davis for #5124's census, retained witness walk, alphabet and source geometry, and retain the predecessor credit in the original contract. This independent reconstruction and incidence-additivity check were produced with OpenAI Codex assistance. diff --git a/research/fixed-pivot-joint-clifford-ceiling/evidence/review/check_joint_receipt.py b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/check_joint_receipt.py new file mode 100644 index 0000000000..d581c0cc22 --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/check_joint_receipt.py @@ -0,0 +1,279 @@ +#!/usr/bin/env python3 +"""Independent verification of the already recorded3066 candidates. + +No neighbor search, source-model import, native circuit or compiler executes. +Exact powers use a fresh rational negative-exp enclosure, not source128 code. +""" +from collections import Counter,defaultdict +from fractions import Fraction as Q +from functools import lru_cache +from hashlib import sha256 +from pathlib import Path +import importlib.util +import json +import sys + +HERE=Path(__file__).resolve().parent +ROOT=HERE.parents[1] +AUTHOR=ROOT/'outputs/joint-clifford-design-20261023' +RESULT_SHA='d2ea1bd88173a46d8fa59c2958ef234ae9811e44c677aadf012423e77cbf78a9' +CODE_SHA='575136ee932e697c97b8a15d2edc1f5ab159de482c66c01a6f211a9dfd301630' +C=Q(15108879,5000000000) + + +def need(ok,why): + if not ok:raise RuntimeError(why) + + +def rank(rows): + pivots={} + for value in rows: + while value: + bit=value.bit_length()-1 + if bit in pivots:value^=pivots[bit] + else:pivots[bit]=value;break + return len(pivots) + + +def canonical(rows): + rows=list(rows);i=0 + for bit in range(17,-1,-1): + p=next((j for j in range(i,len(rows))if rows[j]>>bit&1),None) + if p is None:continue + rows[i],rows[p]=rows[p],rows[i] + for j in range(len(rows)): + if j!=i and rows[j]>>bit&1:rows[j]^=rows[i] + i+=1 + return tuple(rows[:i]) + + +def pairing(x,y): + return (((x&511)&(y>>9)).bit_count()+((x>>9)&(y&511)).bit_count())%2 + + +def transvection(chart,axis): + return canonical(x^(axis if pairing(x,axis)else 0)for x in chart) + + +def image(columns,value): + out=0 + for i,c in enumerate(columns): + if value>>i&1:out^=c + return out + + +def edge_rank(edge,assignment,maps): + a,b,op,sgn=edge + left=assignment[a] + if op>=0:left=tuple(image(maps[op],x)for x in left) + return rank((*left,*assignment[b]))-len(left) + + +@lru_cache(maxsize=None) +def logs(r): + def series(z): + N=64 + lo=sum((2*z**(2*i+1)/Q(2*i+1)for i in range(N)),Q()) + return lo,lo+2*z**(2*N+1)/((2*N+1)*(1-z*z)) + k=r.bit_length()-1;t=Q(r,1<=0 else u) + hi+=coef*(u if coef>=0 else l) + return lo,hi + + +def main(): + raw=(AUTHOR/'SEARCH-RESULT.json').read_bytes() + need(sha256(raw).hexdigest()==RESULT_SHA,'recorded result pin') + need(sha256((AUTHOR/'check_joint.py').read_bytes()).hexdigest()==CODE_SHA,'search checker pin') + result=json.loads(raw) + run_raw=(AUTHOR/'RUN-RECEIPT.json').read_bytes();run=json.loads(run_raw) + need(run['before']==run['after'] and run['inputs_unchanged'],'search before/after inputs unchanged') + for name,digest in run['before'].items(): + need(sha256((AUTHOR/name).read_bytes()).hexdigest()==digest,'execution bound input '+name) + need(run['output_sha256']==RESULT_SHA and run['exit_code']==0,'successful bound execution receipt') + need(run['external_hard_cap_seconds']==60 and run['internal_cooperative_cap_seconds']==58,'one authorized cap') + need(sha256((AUTHOR/'SEARCH-STDOUT.txt').read_bytes()).hexdigest()==run['stdout_sha256'],'stdout hash') + need(sha256((AUTHOR/'SEARCH-STDERR.txt').read_bytes()).hexdigest()==run['stderr_sha256'],'stderr hash') + for name,digest in result['source_input_hashes'].items(): + need(sha256((AUTHOR/name).read_bytes()).hexdigest()==digest,'frozen source '+name) + # Execute only this review's independent source-data reconstruction. + spec=importlib.util.spec_from_file_location('own_graph_binding',HERE/'verify_graph_binding.py') + own=importlib.util.module_from_spec(spec);spec.loader.exec_module(own) + binding=own.reconstruct() + graph=(AUTHOR/'inputs/contracted-graph.txt').read_bytes() + need(sha256(graph).hexdigest()==binding['graph_sha256']==result['graph_sha256'],'full source binding') + rows=graph.decode().splitlines();n,m,k=map(int,rows[0].split()) + charts=[tuple(map(int,row.split()[1:]))for row in rows[1:n+1]] + frozen={i for i,row in enumerate(rows[1:n+1])if int(row.split()[0])} + maps=[tuple(map(int,row.split()))for row in rows[n+1:n+1+k]] + edges=[tuple(map(int,row.split()))for row in rows[n+1+k:]] + need(len(edges)==m==3938,'complete signed incidence list') + base_paid=Counter({8:8});base_helpers=Counter();base_ranks=[] + for e in edges: + r=edge_rank(e,charts,maps);base_ranks.append(r) + if e[3]<0:need(r>0,'every baseline helper strictly productive');base_helpers[r]+=1 + elif r:base_paid[r]+=1 + ints=lambda d:{int(r):v for r,v in d.items()if v} + need(dict(base_paid)==ints(result['baseline_paid'])and dict(base_helpers)==ints(result['baseline_helpers']),'complete baseline') + pivot,axis=result['pivot'];need((pivot,axis)==(499,7),'declared pivot') + pivot_chart=transvection(charts[pivot],axis) + need(list(pivot_chart)==result['pivot_chart'],'independent pivot transvection') + partners=[172,497,504];need(result['partners']==partners,'declared partner set') + outside={};unions={} + for partner in partners: + need(partner not in frozen and pivot not in frozen,'frozen boundaries') + union={i for i,e in enumerate(edges)if pivot in e[:2]or partner in e[:2]} + unions[partner]=sorted(union);p,h=Counter({8:8}),Counter() + for eid,e in enumerate(edges): + if eid in union:continue + rr=base_ranks[eid] + if e[3]<0:h[rr]+=1 + elif rr:p[rr]+=1 + outside[partner]=(p,h) + # Consequence of independently checked source partition: every omitted + # original zero row stays zero for these common group-chart assignments. + need(binding['all_original_zero_paid_edges_preserved_under_group_assignments'],'original zero rows') + records=result['candidates'];need(len(records)==3066,'complete receipt candidate count') + seen_charts=defaultdict(set);seen_ordinals=defaultdict(set);buckets=Counter();first={} + point_cache={};all_deltas=[];checked_rank_entries=0;profiles_checked=0 + cross_sign_counts=Counter();minimum=None + scale=int(result['scale']);need(scale==1<<128,'128-bit receipt scale') + for row in records: + partner=row['partner'];need(partner in partners,'unexpected partner') + ordinal=row['neighbor_ordinal'];alt=tuple(row['partner_chart']);move=row['partner_axis'] + need(0<=ordinal<1022 and ordinal not in seen_ordinals[partner],'unique ordinal') + need(0=0 for c in paid.values())and all(c>=0 for c in helper.values()),'nonnegative complete invoice') + need(sum(helper.values())==408 and 0 not in helper,'all408helpers once, strictly productive') + state_profiles.append((dict(sorted(paid.items())),dict(sorted(helper.items()))));profiles_checked+=1 + need(valid==row['valid_states']==[True]*4,'all state helper feasibility') + need(deltas==row['energy_deltas']and not any(deltas[0])and not any(deltas[1]),'all signed integer polynomials') + paid,helpers=state_profiles[3] + need(paid==ints(row['joint_paid'])and helpers==ints(row['joint_helpers']),'complete joint paid/helper profile') + delta=tuple(deltas[3]);cross=tuple(deltas[3][r]-deltas[1][r]-deltas[2][r]+deltas[0][r]for r in range(10)) + need(list(cross)==row['cross_difference'],'exact cross difference') + for coeffs,field in ((delta,'point_energy_scaled'),(cross,'point_cross_scaled')): + if coeffs not in point_cache:point_cache[coeffs]=bound(coeffs,C,C) + lo,hi=point_cache[coeffs];stored_lo,stored_hi=map(int,row[field]) + need(Q(stored_lo,scale)<=lo<=hi<=Q(stored_hi,scale),'fresh rational point bound inside source128 enclosure') + need(point_cache[delta][0]>0 and row['outcome']=='nonnegative_at_test_C','strict positive point energy') + cross_lo,cross_hi=point_cache[cross] + if not any(cross):cross_sign_counts['zero']+=1 + elif cross_hi<0:cross_sign_counts['negative']+=1 + elif cross_lo>0:cross_sign_counts['positive']+=1 + else:raise RuntimeError('independent cross sign unresolved') + if minimum is None or point_cache[delta][0]=0,'exact discrete concave dominance') + certificates.append({'delta':d,'count':buckets[d],'kind':kind,'values':values}) + elif kind in ('nonnegative_direct_intervals','nonnegative_derivative_from_zero'): + pieces=cert['subdivisions'];need(pieces in (16,128),'declared subdivisions') + derivative=kind=='nonnegative_derivative_from_zero' + if derivative:need(sum(r*d[r]for r in range(1,10))==0,'exact zero initial rank mass') + interval_bounds=[bound(d,Q(i,200*pieces),Q(i+1,200*pieces),derivative)for i in range(pieces)] + least=min(x[0]for x in interval_bounds) + need(least>0 and Q(int(cert['minimum_scaled_lower']),scale)<=least,'independent uniform interval proof') + certificates.append({'delta':d,'count':buckets[d],'kind':kind,'subdivisions':pieces, + 'independent_lower_exceeds_source_scaled_lower':True, + 'source_scaled_lower':cert['minimum_scaled_lower']}) + else:raise RuntimeError('unproved domain pattern '+str(cert)) + need(result['status']=='NO_IMPROVEMENT_ON_DECLARED_DOMAIN'and result['candidate_coverage_complete'] + and result['processing_complete']and result['domain_nonnegative_certificate_complete'],'negative header consistent') + need(result['certified_negative_count']==0 and result['point_unresolved_candidates']==0 + and result['first_certified_negative']is None,'no positive witness misclassification') + # Synthetic incidence controls: selfloop must substitute both endpoints; + # parallel duplicate rows count twice rather than once. + z,x=(2,),(1,);swap=(2,1) + selfloop_old=rank((image(swap,z[0]),*z))-1 + selfloop_both=rank((image(swap,x[0]),*x))-1 + selfloop_wrong_one=rank((image(swap,x[0]),*z))-1 + need((selfloop_old,selfloop_both,selfloop_wrong_one)==(1,1,0),'selfloop both-endpoint control') + need(sum([selfloop_both,selfloop_both])==2 and selfloop_both!=2,'parallel incidence multiplicity control') + need(rank((*x,*x))-1==0,'zero helper rank rejection control has invalid target') + need(sha256((AUTHOR/'SEARCH-RESULT.json').read_bytes()).hexdigest()==RESULT_SHA,'result unchanged after review') + output={'status':'PASS_INDEPENDENT_ALL3066_FOUR_STATE_TABLES_AND_SCOPED_NEGATIVE', + 'reviewed_result_sha256':RESULT_SHA,'checker_sha256':CODE_SHA, + 'run_receipt_sha256':sha256(run_raw).hexdigest(), + 'execution_receipt_bindings_verified':True, + 'source_graph_binding':binding,'candidates_independently_checked':len(records), + 'full_state_profiles_independently_checked':profiles_checked, + 'exact_incidence_rank_entries_independently_checked':checked_rank_entries, + 'four_state_profiles_method':'all unchanged source incidences summed once per partner, plus every candidate affected incidence; no sampled global checks', + 'patterns':certificates,'point_energy':'STRICTLY_POSITIVE_FOR_EVERY_RECORDED_CANDIDATE', + 'minimum_point_witness':{'partner':minimum[1],'axis':minimum[2],'delta':minimum[3], + 'source128_scaled_interval':minimum[4],'scale':str(scale)}, + 'cross_difference_point_sign_counts':dict(cross_sign_counts), + 'saving_domain':['0','1/200'],'domain_result':'NONNEGATIVE_EVERY_CANDIDATE_ON_DECLARED_DOMAIN', + 'nearest_coverage':'1022distinctvalidneighbors per partner;511hyperplanes times2 quotient lines', + 'interval_method':'fresh64term rational log plus21/22term negative exp; no source interval engine imported', + 'generic_controls':{'selfloop_both_endpoints':'PASS','parallel_rows_charged_twice':'PASS','helper_zero':'INVALID_AS_REQUIRED'}, + 'single_move_census_rerun':False,'candidate_search_rerun':False,'native_or_compiler_execution':False, + 'new_kappa':None} + path=HERE/('JOINT-RECEIPT-REVIEW-OPTIMIZED.json'if sys.flags.optimize else 'JOINT-RECEIPT-REVIEW.json') + path.write_text(json.dumps(output,indent=2)+'\n') + print(json.dumps({k:output[k]for k in ('status','candidates_independently_checked','full_state_profiles_independently_checked','exact_incidence_rank_entries_independently_checked')})) + + +if __name__=='__main__':main() diff --git a/research/fixed-pivot-joint-clifford-ceiling/evidence/review/check_zero_model.py b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/check_zero_model.py new file mode 100644 index 0000000000..b109aa6e79 --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/evidence/review/check_zero_model.py @@ -0,0 +1,114 @@ +#!/usr/bin/env python3 +"""Rebind only the 43 recorded zero witnesses; no neighbor/assignment search.""" +from collections import Counter, defaultdict +from hashlib import sha256 +from pathlib import Path +import importlib.util +import json + +HERE=Path(__file__).resolve().parent +AUTHOR=HERE.parent/'joint-clifford-design-20261023' + +def need(ok, why): + if not ok: raise RuntimeError(why) + +def load_own(name, filename): + spec=importlib.util.spec_from_file_location(name,HERE/filename) + module=importlib.util.module_from_spec(spec);spec.loader.exec_module(module) + return module + +def main(): + own=load_own('own_joint_review','check_joint_receipt.py') + graph_binding=load_own('own_graph_binding','verify_graph_binding.py').reconstruct() + names=['ZERO-MODEL-PROOF.md','ZERO-MODEL-INVENTORY.json', + 'ZERO-MODEL-WITNESS-BINDING.json','zero-model-inputs/DISCOVERY.json', + 'inputs/contracted-graph.txt','inputs/research/independent-clifford-expansion/RESULT.json'] + before={n:sha256((AUTHOR/n).read_bytes()).hexdigest() for n in names} + need(before['ZERO-MODEL-WITNESS-BINDING.json']=='af46672c959594e0583fe634bf2a851ecd6667c46c588383481de43d7591fce7','witness pin') + need(before['zero-model-inputs/DISCOVERY.json']=='a611408b9d76622acf50d02d8c37a24bec9f5ec2b3f53c46351f8d565ece4b2d','discovery pin') + inventory=json.loads((AUTHOR/names[1]).read_text()) + binding=json.loads((AUTHOR/names[2]).read_text()) + discovery=json.loads((AUTHOR/names[3]).read_text()) + source_result=json.loads((AUTHOR/names[5]).read_text()) + need(inventory['source_head']=='0335701859182b7bdf31706b0d969c72f5de41c7','declared source head') + need(inventory['graph_sha256']==graph_binding['graph_sha256']==before[names[4]],'independent full graph binding') + need(inventory['discovery_sha256']==before[names[3]],'discovery inventory binding') + plateau=discovery[1] + need(plateau['collapse_zero'] and plateau['plateau'],'contracted plateau row') + pairs=sorted((g,a) for rnd,g,a,_ in plateau['moves'] if rnd==0) + need(len(pairs)==len(set(pairs))==43,'43 distinct recorded pairs') + need(pairs==sorted(map(tuple,inventory['retained_moves'])),'exact discovery witness selection') + selected={g for g,a in pairs} + need(len(selected)==43==inventory['distinct_groups']==binding['retained_zero_count'],'43 distinct groups') + census=source_result['census'][0] + zeros=[p for p in census['patterns'] if not any(p['delta'])] + need(census['collapse_zero'] and census['unchanged_rank_polynomial_moves']==43,'recorded source census count') + need(zeros==[{'count':43,'delta':[0]*10,'witness':[499,7]}],'recorded zero bucket') + rows=(AUTHOR/names[4]).read_text().splitlines();n,m,k=map(int,rows[0].split()) + charts=[tuple(map(int,row.split()[1:])) for row in rows[1:n+1]] + frozen={i for i,row in enumerate(rows[1:n+1]) if int(row.split()[0])} + maps=[tuple(map(int,row.split())) for row in rows[n+1:n+1+k]] + edges=[tuple(map(int,row.split())) for row in rows[n+1+k:]] + need(len(edges)==m==3938 and not(selected&frozen),'all incidences and frozen boundaries') + induced=[i for i,e in enumerate(edges) if e[0] in selected and e[1] in selected] + incident=[i for i,e in enumerate(edges) if e[0] in selected or e[1] in selected] + need(induced==inventory['induced_incidences']==[],'empty induced graph, including self-loops') + need(len(incident)==172 and all(edges[i][2:]==(-1,1) for i in incident),'172 paid identity incidences only') + expected_rows=[dict(id=i,a=edges[i][0],b=edges[i][1],operator_id=edges[i][2],sign=edges[i][3]) for i in incident] + need(expected_rows==inventory['all_incident_rows'],'all incidence identities and multiplicities') + stored={w['group']:w for w in binding['witnesses']} + need(len(stored)==43 and set(stored)==selected,'one stored witness per selected group') + base_paid=Counter({8:8});base_helpers=Counter();baseline=[] + for e in edges: + r=own.edge_rank(e,charts,maps);baseline.append(r) + if e[3]<0:need(r>0,'strict baseline helper');base_helpers[r]+=1 + elif r:base_paid[r]+=1 + checked=[] + for g,a in pairs: + w=stored[g];changed=own.transvection(charts[g],a) + need(0>bit&1),None) + if pivot is None:continue + rows[i],rows[pivot]=rows[pivot],rows[i] + for j in range(len(rows)): + if j!=i and rows[j]>>bit&1:rows[j]^=rows[i] + i+=1 + return tuple(rows[:i]) + + +def orthogonal(basis): + rows=list(basis);pivots=[];i=0 + for bit in range(9): + pivot=next((j for j in range(i,len(rows))if rows[j]>>bit&1),None) + if pivot is None:continue + rows[i],rows[pivot]=rows[pivot],rows[i] + for j in range(len(rows)): + if j!=i and rows[j]>>bit&1:rows[j]^=rows[i] + pivots.append(bit);i+=1 + return [(1<>bit)&1)<>i)&1)<>i&1),None) + need(pivot is not None,'invertible native binary warp') + rows[i],rows[pivot]=rows[pivot],rows[i] + for j in range(9): + if j!=i and rows[j]>>i&1:rows[j]^=rows[i] + return [sum(((rows[i]>>(9+j))&1)<=0,'nonnegative original paid contact') + current[role]=b + centres=Counter();warp_count=0 + for event in payload['programs']['forward']: + kind=event[0] + if kind=='scalar': + op,frame=event[1:];refs=op[1:3]if op[0]in ('add','copy')else op[1:2] + dst=new(frame,any(ref[0]!='L'for ref in refs)) + for typ,role in refs: + if typ=='L':contact(role,frame,dst) + elif kind=='warp': + _,role,op,a,b=event;need(role[0]=='L','persistent warp owner');contact(role[1],a) + src=current[role[1]];dst=new(b);edges.append((src,dst,op,None));current[role[1]]=dst;warp_count+=1 + elif kind=='adapter':fixed.add(current[event[2]]) + elif kind=='center':centres[event[4]]+=1 + else:need(kind in ('phase','climb'),'known chronological event') + for role,frame in enumerate(c['final']):contact(role,frame,new(frame,role<224)) + need(len(nodes)-2==19197,'complete original node count') + parent=list(range(len(nodes))) + def find(x): + while parent[x]!=x: + parent[x]=parent[parent[x]];x=parent[x] + return x + zero=0 + for a,b,op,rank in edges: + if op==0 and rank==0: + need(nodes[a]==nodes[b],'baseline zero contact has same actual frame') + parent[find(b)]=find(a);zero+=1 + roots=sorted({find(i)for i in range(2,len(nodes))});index={r:i for i,r in enumerate(roots)} + group={i:index[find(i)]for i in range(2,len(nodes))} + charts=[canonical([x|(x<<9)for x in frames[nodes[r]]]+[z<<9 for z in orthogonal(frames[nodes[r]])])for r in roots] + frozen=sorted({group[i]for i in fixed});maps={w['op']:tuple(w['G_columns'])for w in c['warps']} + maps.update({-op:tuple(inverse(cols))for op,cols in list(maps.items())}) + operators={} + for op,cols in maps.items(): + inv=inverse(cols);it=[sum(((inv[j]>>i)&1)<>9;gx=mv(cols,x) + return gx|((mv(it,x^z)^gx)<<9) + operators[op]=tuple(image(1<0,'strict baseline helper');base_helpers[rank]+=1 + if i not in union:outside_helpers[rank]+=1 + elif rank: + base_paid[rank]+=1 + if i not in union:outside_paid[rank]+=1 + need(dict(base_paid)==ints(result['baseline_paid']) and dict(base_helpers)==ints(result['baseline_helpers']),'complete baseline source profile') + records=result['bridge_records'];need(len(records)==1022,'complete bridge receipt') + seen_axes=set();seen_charts=set();seen_ordinals=set();buckets=Counter();first={};point_cache={};cross_signs={499:Counter(),572:Counter()} + rank_entries=profiles_checked=0;negatives=[];unresolved=0;minimum=None + scale=int(result['scale']);need(scale==1<<128 and result['fixed_point_bits']==128,'128-bit scale') + need(Q(result['test_C'])==own.C and list(map(Q,result['saving_domain']))==[Q(0),Q(1,200)],'exact point/domain') + for record in records: + ordinal=record['bridge_neighbor_ordinal'];axis=record['bridge_axis'];bridge=tuple(record['bridge_chart']) + need(0<=ordinal<1022 and ordinal not in seen_ordinals,'unique ordinal') + need(00,'strict state helper');helpers[r]+=1 + elif r:paid[r]+=1 + need(sum(helpers.values())==408 and 0 not in helpers,'every arbitrary helper once/productive') + profile=dict(paid=dict(sorted(paid.items())),helpers=dict(sorted(helpers.items()))) + saved=record['profiles'][state] + need(profile=={key:ints(saved[key]) for key in ('paid','helpers')},'all complete state invoices') + deltas.append(delta);profiles.append(profile);all_ranks.append(state_ranks);profiles_checked+=1 + need(record['valid_states']==[True]*8 and record['energy_deltas']==deltas,'all feasible signed deltas') + need(not any(v for d in deltas[:4] for v in d),'all bridge-off polynomials zero') + for s,t in ((0,0),(2,1),(4,2),(6,3)): + need(deltas[s]==previous['energy_deltas'][t],'accepted pair energy projection') + prior_rows={r['id']:r for r in previous['incidences']} + for j,i in enumerate(union): + if i in prior_rows:need([all_ranks[s][j] for s in (0,2,4,6)]==prior_rows[i]['ranks'],'all overlapping pair rank projections') + r499=[deltas[6][r]-deltas[4][r]-deltas[2][r]+deltas[0][r] for r in range(10)] + r572=[deltas[5][r]-deltas[4][r]-deltas[1][r]+deltas[0][r] for r in range(10)] + need(r499==record['R499']==previous['cross_difference'] and r572==record['R572'],'both exact interactions') + need(deltas[7]==[deltas[4][r]+r499[r]+r572[r] for r in range(10)],'full star factorization') + for group,d,field in ((499,r499,'point_R499_scaled'),(572,r572,'point_R572_scaled')): + key=tuple(d) + if key not in point_cache:point_cache[key]=own.bound(key,own.C,own.C) + lo,hi=point_cache[key];sl,sh=map(int,record[field]) + need(Q(sl,scale)<=lo<=hi<=Q(sh,scale),'fresh rational interaction interval within source128') + sign='zero' if not any(d) else 'negative' if hi<0 else 'positive' if lo>0 else 'unresolved' + cross_signs[group][sign]+=1 + need([a['state_index'] for a in record['active_candidates']]==list(range(4,8)),'exact four active states') + for active in record['active_candidates']: + state=active['state_index'];need(active['bits']==STATES[state],'active state bits') + key=tuple(deltas[state]);buckets[key]+=1;first.setdefault(key,[axis,state]) + if key not in point_cache:point_cache[key]=own.bound(key,own.C,own.C) + lo,hi=point_cache[key];sl,sh=map(int,active['point_energy_scaled']) + need(Q(sl,scale)<=lo<=hi<=Q(sh,scale),'fresh rational full energy inside source128') + outcome='strict_improvement_at_test_C' if sh<0 else 'identically_zero' if not any(key) else 'nonnegative_at_test_C' if sl>=0 else 'unresolved_at_test_C' + need(active['outcome']==outcome,'exact source endpoint classification') + if outcome=='strict_improvement_at_test_C':need(hi<0,'independent strict gain');negatives.append([axis,state]) + elif outcome=='nonnegative_at_test_C':need(lo>=0,'independent nonnegative point') + elif outcome=='unresolved_at_test_C':unresolved+=1 + if minimum is None or lo=minimum[1] for d in buckets),'certified global point minimum, allowing identical-polynomial ties') + patterns=result['patterns'];need(len(patterns)==len(buckets),'lossless polynomial buckets') + certs=Counter();domain_complete=True + for pattern in patterns: + d=tuple(pattern['delta']);need(pattern['count']==buckets[d] and pattern['first_witness']==first[d],'bucket multiplicity/witness') + cert=pattern.get('domain_certificate',{});kind=cert.get('kind');certs[kind]+=1 + if kind=='identically_zero':need(not any(d),'zero certificate') + elif kind=='concave_dominance': + values=[sum(d[r]*min(r,k) for r in range(1,10)) for k in range(1,10)] + need(values==cert['values'] and min(values)>=0,'exact concave dominance') + elif kind in ('nonnegative_direct_intervals','nonnegative_derivative_from_zero'): + pieces=cert['subdivisions'];need(pieces in (16,128),'declared subdivisions') + derivative=kind=='nonnegative_derivative_from_zero' + if derivative:need(sum(r*d[r] for r in range(1,10))==0,'zero initial mass') + least=min(own.bound(d,Q(i,200*pieces),Q(i+1,200*pieces),derivative)[0] for i in range(pieces)) + need(least>=0 and Q(int(cert['minimum_scaled_lower']),scale)<=least,'fresh independent uniform interval certificate') + else:need(kind in (None,'unresolved_on_full_domain'),'known certificate kind');domain_complete=False + need(result['declared_bridge_charts']==result['completed_bridge_charts']==1022,'bridge coverage fields') + need(result['declared_active_candidates']==result['completed_active_candidates']==4088,'active coverage fields') + need(result['candidate_coverage_complete'] and result['processing_complete'],'completed process') + need(result['domain_nonnegative_certificate_complete']==domain_complete,'full domain completeness') + need(result['certified_negative_count']==len(negatives) and result['first_certified_negative']==(negatives[0] if negatives else None),'negative count/first') + need(result['point_unresolved_candidates']==unresolved,'unresolved count') + need(result['mincut_used'] is False and result['native_emitter_executed'] is False and result['compiler_executed'] is False and result['new_kappa'] is None,'execution scope') + expected='EXACT_STAR_IMPROVEMENT_FOUND' if negatives else 'NO_STAR_IMPROVEMENT_ON_DECLARED_DOMAIN' if domain_complete else 'NO_STAR_IMPROVEMENT_AT_TEST_C' if not unresolved else 'INCONCLUSIVE_EXACT_POINT_SIGN' + need(result['status']==expected,'scoped final status') + need(original['all_original_zero_paid_edges_preserved_under_group_assignments'],'all original zero contacts preserved') + receipt=dict(status='PASS_INDEPENDENT_STAR_RECEIPT',author_result_sha256=sha256(raw).hexdigest(),author_status=result['status'], + source_graph_sha256=original['graph_sha256'],bridge_charts_checked=1022,active_candidates_checked=4088, + complete_profiles_checked=profiles_checked,exact_rank_entries_checked=rank_entries, + polynomial_buckets=len(buckets),uniform_certificate_kinds=dict(certs),domain_nonnegative_complete=domain_complete, + strict_negative_candidates=negatives,point_unresolved_candidates=unresolved, + point_minimum=dict(axis=minimum[2],state=minimum[3],bits=STATES[minimum[3]],delta=minimum[4], + independent_interval_scale=str(1<<160), + independent_scaled_lower=str((minimum[0]*(1<<160)).numerator//(minimum[0]*(1<<160)).denominator), + independent_scaled_upper=str(-(-(minimum[1]*(1<<160)).numerator//(minimum[1]*(1<<160)).denominator)), + source_scaled=minimum[5]), + interaction_sign_counts={g:dict(v) for g,v in cross_signs.items()}, + baseline_paid=dict(sorted(base_paid.items())),baseline_helpers=dict(sorted(base_helpers.items())), + all_original_zero_paid_rows_preserved=True,new_neighbors_generated=False,source_runtime_imported=False, + native_compiler_or_outer_transfer_admitted=False, + execution_receipt_sha256=sha256((AUTHOR/'RUN-RECEIPT.json').read_bytes()).hexdigest(), + execution_exit_code=run['exit_code'],execution_inputs_unchanged=True) + (HERE/'STAR-RECEIPT-REVIEW.json').write_text(json.dumps(receipt,sort_keys=True,indent=2)+'\n') + print(json.dumps({k:receipt[k] for k in ['status','author_status','bridge_charts_checked','active_candidates_checked','complete_profiles_checked','exact_rank_entries_checked','polynomial_buckets','uniform_certificate_kinds','domain_nonnegative_complete']},sort_keys=True)) + +if __name__=='__main__':main() diff --git a/research/fixed-pivot-joint-clifford-ceiling/portable.py b/research/fixed-pivot-joint-clifford-ceiling/portable.py new file mode 100644 index 0000000000..5b2cae1458 --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/portable.py @@ -0,0 +1,178 @@ +"""Private byte/path transport for frozen independent verifiers only. +Prepared by Chris R / Clear1nsight with substantial OpenAI Codex assistance. +Apache-2.0; no author search/model/native code is imported or executed. +""" +from pathlib import Path, PurePosixPath +from hashlib import sha256 +import json +import os +import shutil +import subprocess +import sys +import tarfile +import tempfile + +HERE = Path(__file__).resolve().parent + + +def need(ok, why): + if not ok: + raise ValueError(why) + + +def authenticate(root, manifest): + for name, expected in manifest.items(): + p = root / name + need(p.is_file() and not p.is_symlink(), 'Missing regular input: ' + name) + need(sha256(p.read_bytes()).hexdigest() == expected, 'Input hash mismatch: ' + name) + + +def safe_name(name): + p = PurePosixPath(name) + need(name and not p.is_absolute() and p.as_posix() == name and + '..' not in p.parts and '.' not in p.parts and '\\' not in name and ':' not in name, + 'Unsafe archive path') + return p + + +def extract(container, contents, destination): + need(sha256(container.read_bytes()).hexdigest() == contents['container_sha256'], 'Archive container changed') + records = contents['members'] + seen = set() + with tarfile.open(container, 'r:gz') as archive: + for member in archive: + safe_name(member.name) + need(member.name in records and member.name not in seen and member.isfile(), 'Archive inventory/type mismatch') + record = records[member.name] + need(member.size == record['bytes'] and member.mode == record['mode'], 'Archive member size/mode mismatch') + need(member.uid == member.gid == member.mtime == 0 and not member.uname and not member.gname, + 'Archive normalization mismatch') + stream = archive.extractfile(member) + need(stream is not None, 'Missing archive stream') + data = stream.read(record['bytes'] + 1) + need(len(data) == record['bytes'] and sha256(data).hexdigest() == record['sha256'], 'Archive raw member changed') + path = destination / member.name + path.parent.mkdir(parents=True, exist_ok=True) + path.write_bytes(data) + seen.add(member.name) + need(seen == set(records), 'Archive inventory incomplete') + + +def copy_review_bytes(source, destination): + # Copy only bytes into fresh writable private directories, even when the + # publication export is read-only. Never preserve source directory modes. + for item in source.rglob('*'): + if item.is_file() and '__pycache__' not in item.parts: + path = destination / item.relative_to(source) + path.parent.mkdir(parents=True, exist_ok=True) + path.write_bytes(item.read_bytes()) + + +def run_checker(script, root, label): + command = [sys.executable, '-I'] + if sys.flags.optimize: + command.append('-O') + command += ['-X', 'pycache_prefix=' + str(root / ('cache-' + label)), '-W', 'error', '-B', str(script)] + env = {k: v for k, v in os.environ.items() if not k.startswith('GIT_') and k not in + ('PYTHONINSPECT', 'PYTHONSTARTUP', 'PYTHONPATH', 'PYTHONOPTIMIZE')} + result = subprocess.run(command, cwd=root, env=env, stdout=subprocess.PIPE, + stderr=subprocess.PIPE, check=False, timeout=150) + need(result.returncode == 0, label + ' failed: ' + result.stderr.decode(errors='replace')[-3000:]) + need(not result.stderr, label + ' unexpected stderr') + return result.stdout + + +def stage_pair(root): + contents = json.loads((HERE / 'ARCHIVE-CONTENTS.json').read_bytes()) + extracted = root / 'pair-archive' + extract(HERE / 'evidence/author-packet.tar.gz', contents, extracted) + author = root / 'outputs/joint-clifford-design-20261023' + author.parent.mkdir(parents=True, exist_ok=True) + shutil.move(str(extracted / 'author'), author) + review = root / 'outputs/joint-clifford-independent-review-20261023' + copy_review_bytes(HERE / 'evidence/review', review) + manifest = json.loads((author / 'AUTHOR-FINAL-MANIFEST.json').read_bytes()) + authenticate(author, manifest['files']) + need(manifest['claims_not_combined'] and manifest['three_group_star_excluded'], 'Original two-claim scope preserved') + for path, expected in manifest['independent_review_anchors'].items(): + need(sha256((root / path).read_bytes()).hexdigest() == expected, 'Original independent anchor mismatch') + for request in json.loads((HERE / 'SOURCE-REQUESTS.json').read_bytes()): + raw = extracted / request['archive_member'] + data = raw.read_bytes() + need(sha256(data).hexdigest() == request['sha256'], 'Raw Git source mismatch') + if request.get('author_member'): + capture = author / request['author_member'].removeprefix('author/') + if request['capture_relation'] == 'exact bytes': + need(capture.read_bytes() == data, 'Exact source capture changed') + else: + need(capture.read_bytes() == data + b'\n', 'Source LF capture relation changed') + capture_record = json.loads((author / 'zero-model-inputs/CAPTURE.json').read_bytes()) + relation = json.loads((HERE / 'CAPTURE-RELATIONS.json').read_bytes()) + raw = (extracted / relation['raw_git_member']).read_bytes() + capture = (author / relation['capture_member'].removeprefix('author/')).read_bytes() + need(capture == raw + b'\n', 'Discovery LF capture relation changed') + need(sha256(raw).hexdigest() == capture_record['source_text_sha256'] == relation['raw_sha256'], 'Raw DISCOVERY source pin') + need(sha256(capture).hexdigest() == capture_record['captured_file_sha256'], 'Original connector capture pin') + need(sha256((author / 'zero-model-inputs/DISCOVERY-CONNECTOR-RESPONSE.json').read_bytes()).hexdigest() == + capture_record['response_sha256'], 'Original connector response pin') + return author, review + + +def run_pair(root, review): + suffix = '-OPTIMIZED' if sys.flags.optimize else '' + run_checker(review / 'verify_graph_binding.py', root, 'graph') + need((review / ('SOURCE-GRAPH-BINDING' + suffix + '.json')).read_bytes() == + (HERE / 'evidence/review/SOURCE-GRAPH-BINDING.json').read_bytes(), 'Fresh graph receipt differs') + run_checker(review / 'check_joint_receipt.py', root, 'pair') + need((review / ('JOINT-RECEIPT-REVIEW' + suffix + '.json')).read_bytes() == + (HERE / 'evidence/review/JOINT-RECEIPT-REVIEW.json').read_bytes(), 'Fresh pair receipt differs') + run_checker(review / 'check_zero_model.py', root, 'zero') + need((review / 'ZERO-MODEL-REVIEW.json').read_bytes() == + (HERE / 'evidence/review/ZERO-MODEL-REVIEW.json').read_bytes(), 'Fresh zero-model receipt differs') + return {'pair_candidates': 3066, 'pair_profiles': 12264, 'pair_rank_entries': 102200, + 'zero_moves': 43, 'zero_incidence_rows': 172, 'zero_assignments_by_additivity': 2**43} + + +def stage_star(root): + contents = json.loads((HERE / 'STAR-ARCHIVE-CONTENTS.json').read_bytes()) + star = root / 'outputs/joint-clifford-three-group-star-20261023' + extract(HERE / 'evidence/star-packet.tar.gz', contents, star) + review = root / 'outputs/joint-star-independent-review-20261023' + copy_review_bytes(HERE / 'evidence/star-review', review) + manifest = json.loads((star / 'AUTHOR-FINAL-MANIFEST.json').read_bytes()) + authenticate(star, manifest['files']) + freeze = json.loads((review / 'FREEZE.json').read_bytes()) + authenticate(star, freeze['author_packet_files']) + authenticate(star, freeze['source_input_hashes']) + authenticate(root / 'outputs/joint-clifford-independent-review-20261023', freeze['prior_own_dependencies']) + prior = root / 'outputs/joint-clifford-design-20261023' + need((star / 'retained/SEARCH-RESULT.json').read_bytes() == (prior / 'SEARCH-RESULT.json').read_bytes(), + 'Star retains the same completed pair receipt') + return star, review + + +def run_star(root, review): + run_checker(review / 'check_star_receipt.py', root, 'star') + # The frozen star verifier writes this same output filename in both modes. + need((review / 'STAR-RECEIPT-REVIEW.json').read_bytes() == + (HERE / 'evidence/star-review/STAR-RECEIPT-REVIEW.json').read_bytes(), 'Fresh star receipt differs') + need((HERE / 'evidence/star-review/STAR-RECEIPT-REVIEW.json').read_bytes() == + (HERE / 'evidence/star-review/STAR-RECEIPT-REVIEW-OPTIMIZED.json').read_bytes(), 'Frozen star mode equality') + return {'star_bridge_charts': 1022, 'star_active_candidates': 4088, + 'star_profiles': 8176, 'star_rank_entries': 114464} + + +def run(): + try: + safe_name('../escape') + except ValueError: + pass + else: + raise ValueError('Archive path rejection guard accepted parent traversal') + with tempfile.TemporaryDirectory(prefix='joint-clifford-independent-') as d: + root = Path(d) + _, review = stage_pair(root) + _, star_review = stage_star(root) + result = run_pair(root, review) + result.update(run_star(root, star_review)) + return result diff --git a/research/fixed-pivot-joint-clifford-ceiling/verify.py b/research/fixed-pivot-joint-clifford-ceiling/verify.py new file mode 100644 index 0000000000..6e744a87c0 --- /dev/null +++ b/research/fixed-pivot-joint-clifford-ceiling/verify.py @@ -0,0 +1,29 @@ +#!/usr/bin/env python3 +"""Read-only replay of three separate frozen geometric certificates. +Prepared by Chris R / Clear1nsight with substantial OpenAI Codex assistance. +Apache-2.0. No author search/census/model/native/compiler is executed. +""" +from pathlib import Path +import importlib.util +import json + +HERE = Path(__file__).resolve().parent + + +def main(): + spec = importlib.util.spec_from_file_location('joint_clifford_portable', HERE / 'portable.py') + module = importlib.util.module_from_spec(spec) + spec.loader.exec_module(module) + manifest = json.loads((HERE / 'PACKAGE-FILES.json').read_bytes()) + module.authenticate(HERE, manifest) + module.authenticate(HERE, json.loads((HERE / 'ARCHIVE-FILES.json').read_bytes())) + result = module.run() + module.authenticate(HERE, manifest) + print(json.dumps({'status': 'PASS_THREE_SEPARATE_JOINT_CHART_CERTIFICATES', **result, + 'saving_domain': '[0,1/200]', 'claims_combined_as_global_class': False, + 'author_search_rerun': False, 'source_census_rerun': False, + 'native_or_compiler_execution': False, 'new_kappa': None}, sort_keys=True)) + + +if __name__ == '__main__': + main()