From 44749c3a6ddc8cde48c5aa83073f6794e3546b00 Mon Sep 17 00:00:00 2001 From: Chris R Date: Tue, 3 Nov 2026 11:32:44 +1100 Subject: [PATCH] research: reject ambiguous ELF mappings in bounded literal discovery Preserve rejected source and mapping counterexamples; publish accepted v2 helper and 23 synthetic controls. Keep actual-image qualification closed and full C05/V03 incomplete. Correct stage-gate and overall-milestone reporting categories. --- .../.gitattributes | 1 + .../MANIFEST.json | 393 ++++++++++++++ .../NOTICE.md | 20 + .../README.md | 169 ++++++ .../SCOPE.json | 64 +++ .../SOURCE-MAP.json | 498 ++++++++++++++++++ .../SOURCES.json | 56 ++ .../TASK.json | 67 +++ .../VERIFY.json | 38 ++ .../archive/rejected-v1/INERT.txt | 4 + .../passive_image_candidates_v1.py.txt | 232 ++++++++ ...SESSMENT-v21-EXISTING-INPUT-ADDENDUM-v1.md | 9 + .../consultation/ASSESSMENT-v21.md | 31 ++ .../consultation/RESPONSE-v21.txt | 261 +++++++++ .../context/ROUND-CLOSE-v1.json | 437 +++++++++++++++ .../context/ROUND-PLAN-v1.json | 59 +++ .../controls-v1/CONTROLS-v1.json | 78 +++ .../controls-v1/CONTROLS-v1.md | 13 + .../controls-v1/FREEZE-v1.json | 40 ++ .../controls-v1/PLAN.json | 10 + .../controls-v1/literal_fixtures_v1.py | 75 +++ .../controls-v1/test_literal_candidates_v1.py | 162 ++++++ .../controls-execution-v1/GRANT-v1.json | 45 ++ .../controls-execution-v1/LEDGER-001.json | 102 ++++ .../TOOL-RESULTS-v1.json | 16 + .../controls-execution-v1/normal.stderr.raw | 0 .../controls-execution-v1/normal.stdout.raw | 1 + .../controls-execution-v1/normal.time.raw | 1 + .../optimized.stderr.raw | 0 .../optimized.stdout.raw | 1 + .../controls-execution-v1/optimized.time.raw | 1 + .../notices/LICENSE | 201 +++++++ .../notices/NOTICE | 415 +++++++++++++++ .../protocol/MANUAL-CONTROLS-v1.json | 108 ++++ .../protocol/OPERATION-v1.json | 224 ++++++++ .../protocol/OPERATION-v1.md | 17 + .../protocol/ORIGINAL-FREEZE-v1.json | 45 ++ .../protocol/SCOPE.md | 7 + .../repair-v2/HELPER-FREEZE-v2.json | 21 + .../repair-v2/helper-v1-to-v2.diff | 31 ++ .../repair-v2/passive_image_candidates_v2.py | 242 +++++++++ .../reviews/controls-execution/FREEZE-v1.json | 26 + .../reviews/controls-execution/FREEZE-v2.json | 41 ++ .../reviews/controls-execution/REVIEW-v1.json | 248 +++++++++ .../reviews/controls-execution/REVIEW-v1.md | 13 + .../reviews/controls-execution/REVIEW-v2.json | 256 +++++++++ .../reviews/controls-execution/REVIEW-v2.md | 15 + .../guard-blocker/FINAL-DISPOSITION-v3.json | 78 +++ .../guard-blocker/FINAL-DISPOSITION-v3.md | 9 + .../reviews/guard-blocker/REVIEW-v2.json | 184 +++++++ .../reviews/guard-blocker/REVIEW-v2.md | 15 + .../reviews/initial-source/REVIEW-v1.json | 156 ++++++ .../reviews/initial-source/REVIEW-v1.md | 17 + .../HELPER-CONTROLS-SOURCE-v1.json | 71 +++ .../run_export_controls.py | 54 ++ .../verify_integrity.py | 131 +++++ 56 files changed, 5509 insertions(+) create mode 100644 research/h25-elf-literal-discovery-controls/.gitattributes create mode 100644 research/h25-elf-literal-discovery-controls/MANIFEST.json create mode 100644 research/h25-elf-literal-discovery-controls/NOTICE.md create mode 100644 research/h25-elf-literal-discovery-controls/README.md create mode 100644 research/h25-elf-literal-discovery-controls/SCOPE.json create mode 100644 research/h25-elf-literal-discovery-controls/SOURCE-MAP.json create mode 100644 research/h25-elf-literal-discovery-controls/SOURCES.json create mode 100644 research/h25-elf-literal-discovery-controls/TASK.json create mode 100644 research/h25-elf-literal-discovery-controls/VERIFY.json create mode 100644 research/h25-elf-literal-discovery-controls/archive/rejected-v1/INERT.txt create mode 100644 research/h25-elf-literal-discovery-controls/archive/rejected-v1/passive_image_candidates_v1.py.txt create mode 100644 research/h25-elf-literal-discovery-controls/consultation/ASSESSMENT-v21-EXISTING-INPUT-ADDENDUM-v1.md create mode 100644 research/h25-elf-literal-discovery-controls/consultation/ASSESSMENT-v21.md create mode 100644 research/h25-elf-literal-discovery-controls/consultation/RESPONSE-v21.txt create mode 100644 research/h25-elf-literal-discovery-controls/context/ROUND-CLOSE-v1.json create mode 100644 research/h25-elf-literal-discovery-controls/context/ROUND-PLAN-v1.json create mode 100644 research/h25-elf-literal-discovery-controls/controls-v1/CONTROLS-v1.json create mode 100644 research/h25-elf-literal-discovery-controls/controls-v1/CONTROLS-v1.md create mode 100644 research/h25-elf-literal-discovery-controls/controls-v1/FREEZE-v1.json create mode 100644 research/h25-elf-literal-discovery-controls/controls-v1/PLAN.json create mode 100644 research/h25-elf-literal-discovery-controls/controls-v1/literal_fixtures_v1.py create mode 100644 research/h25-elf-literal-discovery-controls/controls-v1/test_literal_candidates_v1.py create mode 100644 research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/GRANT-v1.json create mode 100644 research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/LEDGER-001.json create mode 100644 research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/TOOL-RESULTS-v1.json create mode 100644 research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/normal.stderr.raw create mode 100644 research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/normal.stdout.raw create mode 100644 research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/normal.time.raw create mode 100644 research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/optimized.stderr.raw create mode 100644 research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/optimized.stdout.raw create mode 100644 research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/optimized.time.raw create mode 100644 research/h25-elf-literal-discovery-controls/notices/LICENSE create mode 100644 research/h25-elf-literal-discovery-controls/notices/NOTICE create mode 100644 research/h25-elf-literal-discovery-controls/protocol/MANUAL-CONTROLS-v1.json create mode 100644 research/h25-elf-literal-discovery-controls/protocol/OPERATION-v1.json create mode 100644 research/h25-elf-literal-discovery-controls/protocol/OPERATION-v1.md create mode 100644 research/h25-elf-literal-discovery-controls/protocol/ORIGINAL-FREEZE-v1.json create mode 100644 research/h25-elf-literal-discovery-controls/protocol/SCOPE.md create mode 100644 research/h25-elf-literal-discovery-controls/repair-v2/HELPER-FREEZE-v2.json create mode 100644 research/h25-elf-literal-discovery-controls/repair-v2/helper-v1-to-v2.diff create mode 100644 research/h25-elf-literal-discovery-controls/repair-v2/passive_image_candidates_v2.py create mode 100644 research/h25-elf-literal-discovery-controls/reviews/controls-execution/FREEZE-v1.json create mode 100644 research/h25-elf-literal-discovery-controls/reviews/controls-execution/FREEZE-v2.json create mode 100644 research/h25-elf-literal-discovery-controls/reviews/controls-execution/REVIEW-v1.json create mode 100644 research/h25-elf-literal-discovery-controls/reviews/controls-execution/REVIEW-v1.md create mode 100644 research/h25-elf-literal-discovery-controls/reviews/controls-execution/REVIEW-v2.json create mode 100644 research/h25-elf-literal-discovery-controls/reviews/controls-execution/REVIEW-v2.md create mode 100644 research/h25-elf-literal-discovery-controls/reviews/guard-blocker/FINAL-DISPOSITION-v3.json create mode 100644 research/h25-elf-literal-discovery-controls/reviews/guard-blocker/FINAL-DISPOSITION-v3.md create mode 100644 research/h25-elf-literal-discovery-controls/reviews/guard-blocker/REVIEW-v2.json create mode 100644 research/h25-elf-literal-discovery-controls/reviews/guard-blocker/REVIEW-v2.md create mode 100644 research/h25-elf-literal-discovery-controls/reviews/initial-source/REVIEW-v1.json create mode 100644 research/h25-elf-literal-discovery-controls/reviews/initial-source/REVIEW-v1.md create mode 100644 research/h25-elf-literal-discovery-controls/reviews/repaired-source/HELPER-CONTROLS-SOURCE-v1.json create mode 100644 research/h25-elf-literal-discovery-controls/run_export_controls.py create mode 100644 research/h25-elf-literal-discovery-controls/verify_integrity.py diff --git a/research/h25-elf-literal-discovery-controls/.gitattributes b/research/h25-elf-literal-discovery-controls/.gitattributes new file mode 100644 index 0000000000..48ccbf62be --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/.gitattributes @@ -0,0 +1 @@ +** -text -filter -ident -working-tree-encoding diff --git a/research/h25-elf-literal-discovery-controls/MANIFEST.json b/research/h25-elf-literal-discovery-controls/MANIFEST.json new file mode 100644 index 0000000000..d66d89b373 --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/MANIFEST.json @@ -0,0 +1,393 @@ +{ + "schema": "h25-literal-discovery-archive-manifest-v1", + "base_commit": "7c49fe32c55de02c2c873655c804b16e4c3fef0a", + "base_tree": "e6898c8ba7a27b71587c32ba3f639259ceeeed91", + "self_hash_excluded": "Only MANIFEST.json; publication tree/external freeze authenticates its identity.", + "files": [ + { + "path": ".gitattributes", + "bytes": 47, + "sha256": "515359628a26efcedb88e595fec4579c3365dc4c26144c65b7f055ea1329bc3d", + "git_blob": "48ccbf62bee89e3c2bcc51e2bfe93e2eee2eb989", + "mode": "100644" + }, + { + "path": "NOTICE.md", + "bytes": 1354, + "sha256": "917b19599cede768a50d6f33e5040e8628d1d829b75bb94323020a65785c3c34", + "git_blob": "fdc32d8d8689423bb7b9a0532975bba53e93d973", + "mode": "100644" + }, + { + "path": "README.md", + "bytes": 10614, + "sha256": "59b66b72280a0b3cd8f6229130bc007fe168d3447f776b2487e0bf039772adee", + "git_blob": "35cd0915003f2112103ab64ae5791893e201c456", + "mode": "100644" + }, + { + "path": "SCOPE.json", + "bytes": 2501, + "sha256": "d2cd1af423e20f07ea9cafb41e1bb003b04672627f7420f7a5be5dac0b8d1f58", + "git_blob": "c7c4d1b3cb84ad127dc6aae577bf833644e5dfd6", + "mode": "100644" + }, + { + "path": "SOURCE-MAP.json", + "bytes": 28558, + "sha256": "72493097eb492a643a30b9b28538b19ad613c9628552f21d6912e566016819da", + "git_blob": "ff9c34091d34ec09f26e0f41e5283708331bc4b3", + "mode": "100644" + }, + { + "path": "SOURCES.json", + "bytes": 2506, + "sha256": "149891b3df23ac329bfa13a0cf9cb00f937ccfa0da4f1c7ed4d0b3e66a22de60", + "git_blob": "062cc08f06a2f1040f7291965163963aea6357ad", + "mode": "100644" + }, + { + "path": "TASK.json", + "bytes": 5007, + "sha256": "192d61a0843778b0b9d5ee52c61c4456913f8fed1fe1a95f44f88da6fb7bb274", + "git_blob": "da34bdab89ff1796a4a1ff609bd92b8553bd0778", + "mode": "100644" + }, + { + "path": "VERIFY.json", + "bytes": 1651, + "sha256": "d5954047b2e3d5e1ef9971326c753fcb81a7c52e70b6cb69dacbc327d9ced346", + "git_blob": "9bbb43f1eac2db466ce933eea7c580d1abe960bf", + "mode": "100644" + }, + { + "path": "archive/rejected-v1/INERT.txt", + "bytes": 335, + "sha256": "9b12e3817d3a15475b9895f832a15ec7efaeaed87bbb041b980fdb979f5513de", + "git_blob": "830ce2b6c1ed56fe60752c2a2ed16b3f28a54c5d", + "mode": "100644" + }, + { + "path": "archive/rejected-v1/passive_image_candidates_v1.py.txt", + "bytes": 11272, + "sha256": "c9044f4926cbcc880eb17b579b2cd6e323f1657bf6b6463138fc0b4310fe4b04", + "git_blob": "2f48f7304c48acd33ee0f14e2ef897fe56ea4531", + "mode": "100644" + }, + { + "path": "consultation/ASSESSMENT-v21-EXISTING-INPUT-ADDENDUM-v1.md", + "bytes": 1698, + "sha256": "dd86fdf95c0dee8e6607a38db70435bcb0505d002aed8d7d1fd359649a08b06c", + "git_blob": "ecd07ddbdfd752967e2ce106fda3abbd8a787f6f", + "mode": "100644" + }, + { + "path": "consultation/ASSESSMENT-v21.md", + "bytes": 4959, + "sha256": "0af874f0cc4d065024f6b54c9159e30ba21cc967e5bfe10cff31d52904f146a7", + "git_blob": "d7f97d6da0238eee137b7b332901b6a8dc2845d7", + "mode": "100644" + }, + { + "path": "consultation/RESPONSE-v21.txt", + "bytes": 13716, + "sha256": "6cb8e8b0d7a995f557b89a8ad4fc8d204d5c81edc8dbea00d6eefa6695fb003c", + "git_blob": "d8b7a6a8c30ba0650ceb6f9d03358355310bdee1", + "mode": "100644" + }, + { + "path": "context/ROUND-CLOSE-v1.json", + "bytes": 16231, + "sha256": "e8fc63616c75ad6dd5b5b69620764e29f7e6040ad292c5a5924cd6027a5e2c93", + "git_blob": "1a05c0366b20814309e1f9afc219e9c88fb895ec", + "mode": "100644" + }, + { + "path": "context/ROUND-PLAN-v1.json", + "bytes": 3248, + "sha256": "5b8136541234a49aff9cc2b17e6916377be47581ae86831b86dcdb3d78aedc73", + "git_blob": "c101ddfe4ea2bcee76a8c3402bdc5e4a262952b0", + "mode": "100644" + }, + { + "path": "controls-v1/CONTROLS-v1.json", + "bytes": 4370, + "sha256": "dff80f346111786b6a2622b0039e4aa478aba3cb9c44582c343d1a5fe0dc9f83", + "git_blob": "626de90a0d55245e594814b45ac10e6ebe9490a2", + "mode": "100644" + }, + { + "path": "controls-v1/CONTROLS-v1.md", + "bytes": 2256, + "sha256": "93c78cd47b4e1d4228d3947fcbc96ecabe397d5683355c39c25a8cc6660681a7", + "git_blob": "bd13f69478e89c2ca6a3f1d0ed9994e6ad7ccf40", + "mode": "100644" + }, + { + "path": "controls-v1/FREEZE-v1.json", + "bytes": 1628, + "sha256": "cb1e34650e0d0b8b1d8b20a05f137d26ed84df101140f1423762dd85799402dc", + "git_blob": "6038feef10c0c2eba14dc8ebb81d70b218302657", + "mode": "100644" + }, + { + "path": "controls-v1/PLAN.json", + "bytes": 395, + "sha256": "935e8ab5c31c8f707d6577674b20d2233fa8e4c5a5c284666be8a820748d2b2a", + "git_blob": "550ae1cac14874a7f648e5441c8ee882e09a010c", + "mode": "100644" + }, + { + "path": "controls-v1/literal_fixtures_v1.py", + "bytes": 3022, + "sha256": "979f719820707490920bf39f3c398129ed6e49b2df898e76a1f7292cc8d8d47d", + "git_blob": "35125a744a469e70acc99557f7c58662f4aab3c9", + "mode": "100644" + }, + { + "path": "controls-v1/test_literal_candidates_v1.py", + "bytes": 8023, + "sha256": "cbbe3139f6d67d2da653f5aaf4a62f0ab108f5a1cde37e0f444f3ef826ae9ed6", + "git_blob": "6f8daf055375f4ac0eb009eacefdd917e052aec1", + "mode": "100644" + }, + { + "path": "evidence/controls-execution-v1/GRANT-v1.json", + "bytes": 5408, + "sha256": "845eab937144d8f4079d3558ce5f6649662ab8b29f5a2e95359afe81d59bc0aa", + "git_blob": "0d158fed59d0546ec0a3644a915696f9da26f94f", + "mode": "100644" + }, + { + "path": "evidence/controls-execution-v1/LEDGER-001.json", + "bytes": 3077, + "sha256": "4955efcccf2160f87e75ab02dfca82da6ed733e2690bad8a65dfd15e4f64c7b9", + "git_blob": "c1a2c48b45a96799122eb436bcae02f68c76fb6e", + "mode": "100644" + }, + { + "path": "evidence/controls-execution-v1/TOOL-RESULTS-v1.json", + "bytes": 308, + "sha256": "906e6991446bb1ca42b91c0c2fdf76866e7fbdb3fbcfffb706c79c85acc4883e", + "git_blob": "9907727fe5899fb520ea1f893157c317d0483ec5", + "mode": "100644" + }, + { + "path": "evidence/controls-execution-v1/normal.stderr.raw", + "bytes": 0, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", + "git_blob": "e69de29bb2d1d6434b8b29ae775ad8c2e48c5391", + "mode": "100644" + }, + { + "path": "evidence/controls-execution-v1/normal.stdout.raw", + "bytes": 1389, + "sha256": "b85780ffb728da8b6286156fc744daa603b241d808214dfa63c37b30b18192b6", + "git_blob": "c3e916b8f767e7e4ffeab0754e41c365df32c714", + "mode": "100644" + }, + { + "path": "evidence/controls-execution-v1/normal.time.raw", + "bytes": 138, + "sha256": "69321011fa8f5c14fce0db5edd77e075e142d6318052dd62a1b827bbf6759262", + "git_blob": "6b684766bd1f1504069ec96dfd58f8bc86180e25", + "mode": "100644" + }, + { + "path": "evidence/controls-execution-v1/optimized.stderr.raw", + "bytes": 0, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", + "git_blob": "e69de29bb2d1d6434b8b29ae775ad8c2e48c5391", + "mode": "100644" + }, + { + "path": "evidence/controls-execution-v1/optimized.stdout.raw", + "bytes": 1389, + "sha256": "5e8c791de873ba722aa67b424376a37395e117bde2fd507b4d0a5321c49b0a6d", + "git_blob": "89f0ebb872f55b40740153cf1e978517cd9ca2c2", + "mode": "100644" + }, + { + "path": "evidence/controls-execution-v1/optimized.time.raw", + "bytes": 138, + "sha256": "c824b88e812517016305f2880f2d6de79f710759e157cc5259fb62f3be6fb311", + "git_blob": "bb9e5ca7d689958bc4ad7a020281f247a87098bf", + "mode": "100644" + }, + { + "path": "notices/LICENSE", + "bytes": 11357, + "sha256": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4", + "git_blob": "261eeb9e9f8b2b4b0d119366dda99c6fd7d35c64", + "mode": "100644" + }, + { + "path": "notices/NOTICE", + "bytes": 24973, + "sha256": "b49022cb4104d90b182e4c335f670faf45529025b15db77bf0291835083c28bd", + "git_blob": "59d8e0cf3102e15bd11db430838365531e2d7f18", + "mode": "100644" + }, + { + "path": "protocol/MANUAL-CONTROLS-v1.json", + "bytes": 4663, + "sha256": "22eff45dfe65dcaf4f4c9ffd1963ee4a4bc07d5128de3960259215e0b8a9a446", + "git_blob": "6a742e45647b99045b032ab0d3b0ba38a09bdd10", + "mode": "100644" + }, + { + "path": "protocol/OPERATION-v1.json", + "bytes": 14775, + "sha256": "d39ee50b70ec49ef81be61a3ccdb439fb5d22eb6eac5e2808c2b67ff25d352fd", + "git_blob": "92db157f5c76c7e121d3b9be2a1fd85edfcd03f3", + "mode": "100644" + }, + { + "path": "protocol/OPERATION-v1.md", + "bytes": 4229, + "sha256": "68255ebb4e3136441d132e2a012c7f86308ab90cf7ce6d56f00befffbd0f3df1", + "git_blob": "95d07d4b0115da86ac126e6cd23cf7cdd46fbb92", + "mode": "100644" + }, + { + "path": "protocol/ORIGINAL-FREEZE-v1.json", + "bytes": 1924, + "sha256": "585c4a50407be565b13c808d58fbad3f60e17ff070c58bf0c1d8fd3aebfe84ff", + "git_blob": "1312b2cf9712a4e3e7cc1fa72b4672c3ce05b3b7", + "mode": "100644" + }, + { + "path": "protocol/SCOPE.md", + "bytes": 596, + "sha256": "5576a2e98830e1d2be4ef9babe5314d538426cfb4372310d8835f6f467a2ceac", + "git_blob": "13681aad95ca15d70dbe65e660076ef6ad8d4d6c", + "mode": "100644" + }, + { + "path": "repair-v2/HELPER-FREEZE-v2.json", + "bytes": 1072, + "sha256": "5176450e87784a927509d11995136480344e44eb70468b57e4dd0ff7796f8bbe", + "git_blob": "333d6d42c2b46bfef3aa380d52f7a950ce7861bd", + "mode": "100644" + }, + { + "path": "repair-v2/helper-v1-to-v2.diff", + "bytes": 1704, + "sha256": "d2fffc2943e064cddb4b20a60870ed7b19f6e5beb5eeb70047899d39cea74074", + "git_blob": "a8a6ffa4d5d4c7a850fcff820c84bf10480e5104", + "mode": "100644" + }, + { + "path": "repair-v2/passive_image_candidates_v2.py", + "bytes": 11809, + "sha256": "56b44235f55685d61e5c8b8099d825b4ec5a53987910f506dffad309c12ffb53", + "git_blob": "2aba58de0f18e79d39efd8e379af206e882f37e4", + "mode": "100644" + }, + { + "path": "reviews/controls-execution/FREEZE-v1.json", + "bytes": 1346, + "sha256": "4c8ad18286ecefd537a25fceb8d77c4150f198947509b7880b8abaed94c62697", + "git_blob": "d7e9cebd386156ad6a2e5d73373d4c03c002b6aa", + "mode": "100644" + }, + { + "path": "reviews/controls-execution/FREEZE-v2.json", + "bytes": 1870, + "sha256": "3d9acc63ac7634427d599dbf7c4595d12d90bef07d23890a5bfb2cacaa8fffdc", + "git_blob": "c19bdf648517ccee0cc72076ba2200133cb6d79e", + "mode": "100644" + }, + { + "path": "reviews/controls-execution/REVIEW-v1.json", + "bytes": 11502, + "sha256": "d442c788d7ce91a853cb50a0152364799abedc4191d0277aa4675efdb7a2481d", + "git_blob": "e2ca0617095e9855312ebc365c49daa2528db174", + "mode": "100644" + }, + { + "path": "reviews/controls-execution/REVIEW-v1.md", + "bytes": 2788, + "sha256": "eb1e7671d2dd0c2348974a27223a98bb27f15ecc5ae5a5f26cd0b4ea362d3a87", + "git_blob": "d0debfededcccf32e4dc4a3daf7bf62fb3fa9943", + "mode": "100644" + }, + { + "path": "reviews/controls-execution/REVIEW-v2.json", + "bytes": 12186, + "sha256": "a7bb90acc80f519af72abd87993c31c0b2c3a938d0a6e29508daee7c589520d7", + "git_blob": "c1309928d741c50a1ab5efba867f855a2d29797b", + "mode": "100644" + }, + { + "path": "reviews/controls-execution/REVIEW-v2.md", + "bytes": 3083, + "sha256": "5c1d722fe07d5f48496aeefdaecebcb1970ca1b6aab2dcd1e45cceff902e940f", + "git_blob": "f6612257a4b8dd447fc9187c714de66de7670695", + "mode": "100644" + }, + { + "path": "reviews/guard-blocker/FINAL-DISPOSITION-v3.json", + "bytes": 4251, + "sha256": "6b1b05906144f48c32f4bc6680078726016137e24b9c4be97a4f4efe50307c57", + "git_blob": "0fabcf14c8497407f9af7f241e0d963e0eadea1e", + "mode": "100644" + }, + { + "path": "reviews/guard-blocker/FINAL-DISPOSITION-v3.md", + "bytes": 2117, + "sha256": "9bbf41c4181dfd5842c7272222e57b55216b6bd82b9e130a2edbaf8bbc86dc52", + "git_blob": "4efe0992daa31381012bf5ab7f73c101d052bc2d", + "mode": "100644" + }, + { + "path": "reviews/guard-blocker/REVIEW-v2.json", + "bytes": 9420, + "sha256": "65a211be0af0ea8ae97c98d7007afbc7a18dce7f5167b191711ed3e03f42c18d", + "git_blob": "c8090ff09075044660f6a3b9e4071b1ba1887b3f", + "mode": "100644" + }, + { + "path": "reviews/guard-blocker/REVIEW-v2.md", + "bytes": 3576, + "sha256": "2d9d30c57b380e6f61473b79acc9941d166614496dc5b960183e37e6b29452c4", + "git_blob": "39354e1a49eae8fb75527d577e55bac449193c3d", + "mode": "100644" + }, + { + "path": "reviews/initial-source/REVIEW-v1.json", + "bytes": 11328, + "sha256": "db17ad5ea0f5e260746f17649884f37d2bd434831fb5bf99e3bae28e3d7c289c", + "git_blob": "9ddd22dad10c01c1e74806455870854cadf28330", + "mode": "100644" + }, + { + "path": "reviews/initial-source/REVIEW-v1.md", + "bytes": 3305, + "sha256": "d7a3286042715a54cfbed23d8ddab794f28bb49b7003962f68e568cba2141bd9", + "git_blob": "8d5757e597a25add1fea9624419e29f9fd16f981", + "mode": "100644" + }, + { + "path": "reviews/repaired-source/HELPER-CONTROLS-SOURCE-v1.json", + "bytes": 3252, + "sha256": "cdf88f0eeaff9ca22d9964a086875a43b5e87a0647de41c4b637129acb553f37", + "git_blob": "16b8b2f2f6cd734fb8ea540aedacba0082d3080d", + "mode": "100644" + }, + { + "path": "run_export_controls.py", + "bytes": 2212, + "sha256": "63dbbb8666570eaae04bf1238e39f36e714231b1657f0bdbc7655f633f7cd746", + "git_blob": "2b072f84a92a2af0daf8ebe41a5370e09f20807d", + "mode": "100644" + }, + { + "path": "verify_integrity.py", + "bytes": 7017, + "sha256": "be5b057228c98479938dcbd4ffe66786168ef95f07e9e0cfb107f8e46b2e4a88", + "git_blob": "19c3705462eebb81dc913e46abc53a7b181a2ef5", + "mode": "100644" + } + ] +} diff --git a/research/h25-elf-literal-discovery-controls/NOTICE.md b/research/h25-elf-literal-discovery-controls/NOTICE.md new file mode 100644 index 0000000000..fdc32d8d86 --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/NOTICE.md @@ -0,0 +1,20 @@ +# Attribution and license + +Prepared for Clear1nsight with substantial OpenAI Codex assistance, including assigned +GPT-6.1 Sol Max authoring and independent AI source/evidence reviews. Those reviews +are not human review or proof-kernel acceptance. Original source bytes and notices +are unchanged. New contribution material is under the repository Apache-2.0 license; +notices/LICENSE and notices/NOTICE are exact base-commit copies. The full base +CONTRIBUTORS.md is retained in repository history and pinned in SOURCES.json. + +Credit the authors and contributors of CrocSwap/integer-mult-bounds, the original +H25 criterion (#6397), input constructors (#6362), raw pilot failure accounting +(#6434), and conditional phase-frame prerequisite (#6454). This package adds the +separately repaired bounded literal discovery helper and its finite synthetic controls; +those predecessor results and their admission limits are not claimed anew. + +No GCC binary, GCC source, external decoder, system library or third-party executable +is vendored here. Historical metadata may name such external objects; this export +makes no license claim about them. The helper's guarded main exists in frozen source +but is outside every registered command. Consultation text records provisional AI +advice and local critical assessment; it supplies no execution or scientific authority. diff --git a/research/h25-elf-literal-discovery-controls/README.md b/research/h25-elf-literal-discovery-controls/README.md new file mode 100644 index 0000000000..35cd091500 --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/README.md @@ -0,0 +1,169 @@ +# Bounded ELF literal discovery: mapping repair and synthetic controls + +The v2 helper rejects two ambiguous ELF metadata cases that the original v1 source +accepted: a file-unique literal whose virtual span overlaps a competing LOAD, and +a non-executable entry mapping that shares file bytes with an executable LOAD at a +different virtual address. File-to-VA mapping now checks the reverse mapping over +the full span, including partial/zero-fill memory overlap. Entry PF_X comes from +the unique exact entry-VA LOAD. The rejected source, independent objections and +exact diff remain available. + +This is an accepted component from a **closed partial actual-inspection round**. +The independently accepted result is the repaired source plus **23 passing synthetic +cases in normal mode and 23 in optimized mode, over 20 literal buffers**. There was +no actual GCC image inspection or helper.main/decoder run. Full P1/P2/P3/P4 remain +false: **0/4 complete**, closed 2026-11-02 23:55:37 UTC. The capture guard v2/v3 +remains REJECT/HOLD because a close error can overwrite an earlier read/pin/write +error. This package contains its inert review and closure evidence, not a guard +executable or repair. The actual 60-second grant was never issued or spent. + +## Source and added value + +Base commit: `7c49fe32c55de02c2c873655c804b16e4c3fef0a`, tree +`e6898c8ba7a27b71587c32ba3f639259ceeeed91`. Current retained canonical guidance +was refreshed by the parent at 23:44 UTC on 2026-11-02; parent must refresh live +compatibility again before publication. The original catalogue card is pinned in +TASK.json solely as changed-scope infrastructure provenance. No picker was run. + +| Component | Bytes | SHA256 | +| --- | ---: | --- | +| repair-v2/passive_image_candidates_v2.py | 11809 | 56b44235f55685d61e5c8b8099d825b4ec5a53987910f506dffad309c12ffb53 | +| controls-v1/literal_fixtures_v1.py | 3022 | 979f719820707490920bf39f3c398129ed6e49b2df898e76a1f7292cc8d8d47d | +| controls-v1/test_literal_candidates_v1.py | 8023 | cbbe3139f6d67d2da653f5aaf4a62f0ab108f5a1cde37e0f444f3ef826ae9ed6 | + +The source files and sibling layout are unchanged. The harness authenticates exact +helper/fixture bytes before compiling those same checked bytes into fresh named +non-main modules, calls only inspect on owned synthetic buffers, and checks explicit +conditions without removable asserts. C01 and C02 require actual Stop outcomes; +there is no expected-failure waiver. Synthetic buffers model ELF metadata and are +not claimed to be kernel-loadable executables. The helper retains its guarded +actual-image main as source, but no registered command invokes it. + +Nearest related work: [#6397 criterion](https://github.com/CrocSwap/integer-mult-bounds/pull/6397), +[#6362 input constructors](https://github.com/CrocSwap/integer-mult-bounds/pull/6362), +[#6434 raw pilot error accounting](https://github.com/CrocSwap/integer-mult-bounds/pull/6434), +and [#6454 conditional phase frame](https://github.com/CrocSwap/integer-mult-bounds/pull/6454). +This package contributes the separate mapping repair and finite literal controls. +Parent reports #6454 head `e83090c937b920affc87593f02b535e6c9773615`, hosted run +41547936328 attempt 1 completed success with plan success and replay skipped. +That predecessor status is a 2026-11-02 publication observation, not this package's +hosted status or candidate replay. Bounded parent PR coverage currently spans 39 +nodes/29 edges; older heads remain historical, and finite graph coverage is not +exhaustive novelty or incorporation proof. The graph is not an executable input. + +## Evidence and accounting + +- reviews/initial-source retains the original rejection (M01 and M02). +- reviews/repaired-source/HELPER-CONTROLS-SOURCE-v1.json is the independent source + PASS (`cdf88f0eeaff9ca22d9964a086875a43b5e87a0647de41c4b637129acb553f37`). +- evidence/controls-execution-v1 retains all six raw stdout/stderr/GNU-time files, + the exact grant, tool-result receipts and ledger. Both stdout records show 23 + unique passes, zero failures, and optimize flags 0/1. These runs preceded packaging. +- reviews/controls-execution/REVIEW-v2.json is the separate evidence PASS + (`a7bb90acc80f519af72abd87993c31c0b2c3a938d0a6e29508daee7c589520d7`). Its v1 + and metadata clarification remain preserved; the clarification adds no run. +- context/ROUND-CLOSE-v1.json is the full exact closure receipt + (`e8fc63616c75ad6dd5b5b69620764e29f7e6040ad292c5a5924cd6027a5e2c93`). +- consultation retains only the task-relevant Pro21 response text and local critical + assessments/addendum. It contains no raw accessibility/sidebar/history capture. + +GNU wall observations were 0.16/0.17 seconds, tool wall 0.065126715/0.071047239. +The declared max(toolwall, GNUwall)+0.01 policy charged 0.17+0.18 = 0.35 seconds. +Supplemental combined policy time became 100.130533479 seconds; canonical policy +94.550533479 seconds is unchanged. Individual GNU RSS 22608/22604 KiB does not +measure complete tree peak. Physical costs remain **OPEN_NOT_ZERO**. This archive +adds zero original activity credit: 43.5%, 22/49, full stage gate qualification 20% (2/10), overall milestone qualification 10% (1/10), +and 24 components/52 helpers remain unchanged. Full C05 and V03 are false. A +separate paused application goal remains paused. + +## Reproduction contract + +Python 3.12 and its standard library suffice. All transitive executable inputs are +package-local and explicitly named in VERIFY.json. Its two registered commands run the narrow publication adapter +run_export_controls.py in normal and optimized modes. The adapter resolves its +own package directory to supply the unchanged harness with the required absolute +v2 helper path and SHA256. No external scientific input or actual GCC +image is required. The harness permits only its sibling repair-v2 helper. + +From the repository root, after a separate local parent release: + +```sh +python3 -I -B research/h25-elf-literal-discovery-controls/verify_integrity.py +python3 -B scripts/research_package.py --package research/h25-elf-literal-discovery-controls --check-only +python3 -B scripts/research_package.py --package research/h25-elf-literal-discovery-controls +``` + +The static integrity checker reads data and hashes bytes; it never imports candidate +source. The registered replay executes only the normal/O publication adapter, which calls +only the authenticated NEW synthetic harness main. +For a Git-free export, let PACKAGE be its absolute package directory: + +```sh +python3 -I -B "$PACKAGE/verify_integrity.py" +python3 -I -B "$PACKAGE/run_export_controls.py" +python3 -I -B -O "$PACKAGE/run_export_controls.py" +``` + +These are reproduction instructions, not claims that staging/cold/hosted validation +has already run. At the authoring freeze all new package validation commands remain +UNRUN pending the parent review. Any later outcomes belong in the external +publication receipt bound to the exact commit. No scientific/native/Lean/full +historical suite, target invocation or archived guard execution is authorized here. + +SOURCE-MAP.json maps exact exported and newly authored bytes to origins, mode, +Git blob ID, size and SHA256. MANIFEST.json covers every other package file; its +own identity is supplied by the publication tree/external freeze. The source map +excludes itself and MANIFEST to avoid circular self hashes. The integrity check is +archival byte/metadata validation, not scientific acceptance. .gitattributes disables +text, filter, ident and encoding transformations within this package. + +SOURCES.json binds the genuine base provenance through Git objects. Local creation +uses a read-only alternate; unrelated base PDF blob +`f0d42d430159f3f46dcf447ecb5df8aa9355e208` is known missing and stays unrepaired. +This is separate from the self-contained component export and does not establish +complete repository object availability. Historical absolute paths in protocol, +reviews and receipts remain unchanged inert provenance; none is followed by replay. + +## Publication adapter and read-only export + +The upstream runner substitutes {package} with a repository-relative CLI string; +the frozen harness requires an absolute --helper path. run_export_controls.py +resolves its own package directory, checks the harness's exact 8023 bytes/SHA256 +before compiling those SAME checked bytes into a fresh non-main namespace with +absolute __file__, then calls only harness.main with the absolute sibling v2 +helper path and fixed digest. Unexpected adapter arguments are refused. All +three accepted helper/harness/builder files remain byte-identical. No helper.main, +actual image, decoder, subprocess or network is called by this adapter. + +The static checker accepts physical permissions exactly 0644 or read-only 0444, +while MANIFEST/SOURCE-MAP retain logical Git mode 100644. It rejects executable +permissions and links, and checks the 8 MiB file-length cap before and after each +file read. These are publication-only corrections; no actual round is reopened. +All successor validation remains UNRUN pending exact independent source review. + +## Remaining limits + +Raw literal/reference patterns are candidate discovery only. No instruction +boundary, relocation effect, role/reachability, callee/private-call/alias semantics, +D applicability, runtime frame or operational prefix certificate is qualified. +S04 only retains an interior candidate as unvalidated; S06 only checks nonpromotion +after overwrite. S11role, S12relocations and S13privatecalls are unimplemented +conceptual falsifiers. No complete P1, P2, P3 or P4, feasibility, scientific speedup, +supplier admission, selected-frontier adoption or kappa result follows. + +## Open next questions + +Structured questions, first steps and blockers are in TASK.json. First-error +preservation remains the immediate source blocker: a later separately authorized +round would need a reviewed capture successor that retains the first read/pin/write +failure through close and secondary cleanup. This closed round does not authorize +that repair. Actual-image boundary/role/effect qualification would then require its +own concrete admission and bounded plan, including S11/S12/S13. No automatic +continuation, new funding or actual-image run is requested by this archive. + +## Credit + +See NOTICE.md and the unchanged base LICENSE/NOTICE snapshots in notices/. +The complete base CONTRIBUTORS.md is pinned in SOURCES.json and retained in Git history. New contribution material is Apache-2.0. Substantial OpenAI Codex/assigned +GPT-6.1 Sol Max assistance and independent AI reviews are disclosed. Neither +consultation nor AI source/evidence review is human or proof-kernel acceptance. diff --git a/research/h25-elf-literal-discovery-controls/SCOPE.json b/research/h25-elf-literal-discovery-controls/SCOPE.json new file mode 100644 index 0000000000..c7c4d1b3cb --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/SCOPE.json @@ -0,0 +1,64 @@ +{ + "schema": "h25-literal-discovery-scope-v1", + "status": "ACCEPTED_COMPONENT_ONLY_CLOSED_ACTUAL_ROUND_PARTIAL", + "source_only_archive": true, + "registered_execution": "NEW_OWNED_LITERAL_BUFFERS_ONLY", + "helper_sha256": "56b44235f55685d61e5c8b8099d825b4ec5a53987910f506dffad309c12ffb53", + "active_synthetic_cases": 23, + "literal_fixture_buffers": 20, + "recorded_normal_pass": 23, + "recorded_optimized_pass": 23, + "round_complete": 0, + "round_denominator": 4, + "P1_complete": false, + "P2_complete": false, + "P3_complete": false, + "P4_complete": false, + "actual_image_pass": false, + "actual_guard_60_seconds_granted": false, + "instruction_boundaries_validated": false, + "relocation_effects_audited": false, + "source_role_qualified": false, + "D_applicability_qualified": false, + "certificate_feasible": false, + "full_C05": false, + "full_V03": false, + "original_activity_credit_added": 0, + "original_completion_percent": 43.5, + "original_completed_activities": 22, + "original_activity_denominator": 49, + "full_stage_gate_percent": 20, + "full_stage_gate_numerator": 2, + "full_stage_gate_denominator": 10, + "overall_milestone_percent": 10, + "overall_milestone_numerator": 1, + "overall_milestone_denominator": 10, + "original_components": 24, + "original_helpers": 52, + "canonical_policy_seconds_unchanged": "94.550533479", + "supplemental_combined_policy_seconds": "100.130533479", + "new_synthetic_policy_debit_seconds": "0.35", + "physical_costs": "OPEN_NOT_ZERO", + "semantic_falsifiers_unimplemented": [ + "S11role", + "S12relocations", + "S13privatecalls" + ], + "guard_status": "V2_REJECT_V3_HOLD_FIRST_ERROR_CAN_BE_OVERWRITTEN_BY_CLOSE", + "inspection_round_closed": true, + "new_research_round_authorized": false, + "app_goal_pause": "Separate paused application goal remains paused.", + "publication_adapter": { + "path": "run_export_controls.py", + "purpose": "Resolve absolute package path for the frozen harness under the upstream relative-path runner.", + "harness_sha256": "cbbe3139f6d67d2da653f5aaf4a62f0ab108f5a1cde37e0f444f3ef826ae9ed6", + "harness_bytes": 8023, + "checked_bytes_only": true, + "non_main_namespace": true, + "only_harness_main": true, + "unexpected_arguments_refused": true, + "actual_helper_main": false, + "candidate_bytes_changed": false + }, + "integrity_permissions": "Physical regular-file permissions exactly 0644 or read-only 0444; logical Git mode remains 100644. Links and executable bits rejected." +} diff --git a/research/h25-elf-literal-discovery-controls/SOURCE-MAP.json b/research/h25-elf-literal-discovery-controls/SOURCE-MAP.json new file mode 100644 index 0000000000..ff9c34091d --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/SOURCE-MAP.json @@ -0,0 +1,498 @@ +{ + "schema": "exact-byte-local-to-package-source-map-v1", + "source_root": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453", + "base_commit": "7c49fe32c55de02c2c873655c804b16e4c3fef0a", + "base_tree": "e6898c8ba7a27b71587c32ba3f639259ceeeed91", + "self_exclusions": [ + "SOURCE-MAP.json", + "MANIFEST.json" + ], + "files": [ + { + "source_path": "NEW_PACKAGE_BYTE_PRESERVATION", + "package_path": ".gitattributes", + "bytes": 47, + "sha256": "515359628a26efcedb88e595fec4579c3365dc4c26144c65b7f055ea1329bc3d", + "git_blob": "48ccbf62bee89e3c2bcc51e2bfe93e2eee2eb989", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "NEW_ATTRIBUTION", + "package_path": "NOTICE.md", + "bytes": 1354, + "sha256": "917b19599cede768a50d6f33e5040e8628d1d829b75bb94323020a65785c3c34", + "git_blob": "fdc32d8d8689423bb7b9a0532975bba53e93d973", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "NEW_PUBLICATION_REPORTING_LABEL_CORRECTION_V4_FROM:outputs/c05-v03-completion-20261102T055710Z/publication-literal-discovery-v1/repo-v3/research/h25-elf-literal-discovery-controls/README.md", + "package_path": "README.md", + "bytes": 10614, + "sha256": "59b66b72280a0b3cd8f6229130bc007fe168d3447f776b2487e0bf039772adee", + "git_blob": "35cd0915003f2112103ab64ae5791893e201c456", + "mode": "100644", + "translation": "Explicit documentation/metadata label correction; this successor is not byte-equivalent to its preserved v3 origin. Scientific and raw evidence bytes unchanged." + }, + { + "source_path": "NEW_PUBLICATION_REPORTING_LABEL_CORRECTION_V4_FROM:outputs/c05-v03-completion-20261102T055710Z/publication-literal-discovery-v1/repo-v3/research/h25-elf-literal-discovery-controls/SCOPE.json", + "package_path": "SCOPE.json", + "bytes": 2501, + "sha256": "d2cd1af423e20f07ea9cafb41e1bb003b04672627f7420f7a5be5dac0b8d1f58", + "git_blob": "c7c4d1b3cb84ad127dc6aae577bf833644e5dfd6", + "mode": "100644", + "translation": "Explicit documentation/metadata label correction; this successor is not byte-equivalent to its preserved v3 origin. Scientific and raw evidence bytes unchanged." + }, + { + "source_path": "NEW_PACKAGE_METADATA", + "package_path": "SOURCES.json", + "bytes": 2506, + "sha256": "149891b3df23ac329bfa13a0cf9cb00f937ccfa0da4f1c7ed4d0b3e66a22de60", + "git_blob": "062cc08f06a2f1040f7291965163963aea6357ad", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "NEW_PACKAGE_METADATA", + "package_path": "TASK.json", + "bytes": 5007, + "sha256": "192d61a0843778b0b9d5ee52c61c4456913f8fed1fe1a95f44f88da6fb7bb274", + "git_blob": "da34bdab89ff1796a4a1ff609bd92b8553bd0778", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "NEW_PACKAGE_METADATA", + "package_path": "VERIFY.json", + "bytes": 1651, + "sha256": "d5954047b2e3d5e1ef9971326c753fcb81a7c52e70b6cb69dacbc327d9ced346", + "git_blob": "9bbb43f1eac2db466ce933eea7c580d1abe960bf", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "NEW_INERT_ARCHIVE_NOTE", + "package_path": "archive/rejected-v1/INERT.txt", + "bytes": 335, + "sha256": "9b12e3817d3a15475b9895f832a15ec7efaeaed87bbb041b980fdb979f5513de", + "git_blob": "830ce2b6c1ed56fe60752c2a2ed16b3f28a54c5d", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/plan/passive_image_candidates_v1.py", + "package_path": "archive/rejected-v1/passive_image_candidates_v1.py.txt", + "bytes": 11272, + "sha256": "c9044f4926cbcc880eb17b579b2cd6e323f1657bf6b6463138fc0b4310fe4b04", + "git_blob": "2f48f7304c48acd33ee0f14e2ef897fe56ea4531", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/consultation/ASSESSMENT-v21-EXISTING-INPUT-ADDENDUM-v1.md", + "package_path": "consultation/ASSESSMENT-v21-EXISTING-INPUT-ADDENDUM-v1.md", + "bytes": 1698, + "sha256": "dd86fdf95c0dee8e6607a38db70435bcb0505d002aed8d7d1fd359649a08b06c", + "git_blob": "ecd07ddbdfd752967e2ce106fda3abbd8a787f6f", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/consultation/ASSESSMENT-v21.md", + "package_path": "consultation/ASSESSMENT-v21.md", + "bytes": 4959, + "sha256": "0af874f0cc4d065024f6b54c9159e30ba21cc967e5bfe10cff31d52904f146a7", + "git_blob": "d7f97d6da0238eee137b7b332901b6a8dc2845d7", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/consultation/RESPONSE-v21.txt", + "package_path": "consultation/RESPONSE-v21.txt", + "bytes": 13716, + "sha256": "6cb8e8b0d7a995f557b89a8ad4fc8d204d5c81edc8dbea00d6eefa6695fb003c", + "git_blob": "d8b7a6a8c30ba0650ceb6f9d03358355310bdee1", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/ROUND-CLOSE-v1.json", + "package_path": "context/ROUND-CLOSE-v1.json", + "bytes": 16231, + "sha256": "e8fc63616c75ad6dd5b5b69620764e29f7e6040ad292c5a5924cd6027a5e2c93", + "git_blob": "1a05c0366b20814309e1f9afc219e9c88fb895ec", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/ROUND-PLAN-v1.json", + "package_path": "context/ROUND-PLAN-v1.json", + "bytes": 3248, + "sha256": "5b8136541234a49aff9cc2b17e6916377be47581ae86831b86dcdb3d78aedc73", + "git_blob": "c101ddfe4ea2bcee76a8c3402bdc5e4a262952b0", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/controls-v1/CONTROLS-v1.json", + "package_path": "controls-v1/CONTROLS-v1.json", + "bytes": 4370, + "sha256": "dff80f346111786b6a2622b0039e4aa478aba3cb9c44582c343d1a5fe0dc9f83", + "git_blob": "626de90a0d55245e594814b45ac10e6ebe9490a2", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/controls-v1/CONTROLS-v1.md", + "package_path": "controls-v1/CONTROLS-v1.md", + "bytes": 2256, + "sha256": "93c78cd47b4e1d4228d3947fcbc96ecabe397d5683355c39c25a8cc6660681a7", + "git_blob": "bd13f69478e89c2ca6a3f1d0ed9994e6ad7ccf40", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/controls-v1/FREEZE-v1.json", + "package_path": "controls-v1/FREEZE-v1.json", + "bytes": 1628, + "sha256": "cb1e34650e0d0b8b1d8b20a05f137d26ed84df101140f1423762dd85799402dc", + "git_blob": "6038feef10c0c2eba14dc8ebb81d70b218302657", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/controls-v1/PLAN.json", + "package_path": "controls-v1/PLAN.json", + "bytes": 395, + "sha256": "935e8ab5c31c8f707d6577674b20d2233fa8e4c5a5c284666be8a820748d2b2a", + "git_blob": "550ae1cac14874a7f648e5441c8ee882e09a010c", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/controls-v1/literal_fixtures_v1.py", + "package_path": "controls-v1/literal_fixtures_v1.py", + "bytes": 3022, + "sha256": "979f719820707490920bf39f3c398129ed6e49b2df898e76a1f7292cc8d8d47d", + "git_blob": "35125a744a469e70acc99557f7c58662f4aab3c9", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/controls-v1/test_literal_candidates_v1.py", + "package_path": "controls-v1/test_literal_candidates_v1.py", + "bytes": 8023, + "sha256": "cbbe3139f6d67d2da653f5aaf4a62f0ab108f5a1cde37e0f444f3ef826ae9ed6", + "git_blob": "6f8daf055375f4ac0eb009eacefdd917e052aec1", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/controls-execution-v1/GRANT-v1.json", + "package_path": "evidence/controls-execution-v1/GRANT-v1.json", + "bytes": 5408, + "sha256": "845eab937144d8f4079d3558ce5f6649662ab8b29f5a2e95359afe81d59bc0aa", + "git_blob": "0d158fed59d0546ec0a3644a915696f9da26f94f", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/controls-execution-v1/LEDGER-001.json", + "package_path": "evidence/controls-execution-v1/LEDGER-001.json", + "bytes": 3077, + "sha256": "4955efcccf2160f87e75ab02dfca82da6ed733e2690bad8a65dfd15e4f64c7b9", + "git_blob": "c1a2c48b45a96799122eb436bcae02f68c76fb6e", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/controls-execution-v1/TOOL-RESULTS-v1.json", + "package_path": "evidence/controls-execution-v1/TOOL-RESULTS-v1.json", + "bytes": 308, + "sha256": "906e6991446bb1ca42b91c0c2fdf76866e7fbdb3fbcfffb706c79c85acc4883e", + "git_blob": "9907727fe5899fb520ea1f893157c317d0483ec5", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/controls-execution-v1/normal.stderr.raw", + "package_path": "evidence/controls-execution-v1/normal.stderr.raw", + "bytes": 0, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", + "git_blob": "e69de29bb2d1d6434b8b29ae775ad8c2e48c5391", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/controls-execution-v1/normal.stdout.raw", + "package_path": "evidence/controls-execution-v1/normal.stdout.raw", + "bytes": 1389, + "sha256": "b85780ffb728da8b6286156fc744daa603b241d808214dfa63c37b30b18192b6", + "git_blob": "c3e916b8f767e7e4ffeab0754e41c365df32c714", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/controls-execution-v1/normal.time.raw", + "package_path": "evidence/controls-execution-v1/normal.time.raw", + "bytes": 138, + "sha256": "69321011fa8f5c14fce0db5edd77e075e142d6318052dd62a1b827bbf6759262", + "git_blob": "6b684766bd1f1504069ec96dfd58f8bc86180e25", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/controls-execution-v1/optimized.stderr.raw", + "package_path": "evidence/controls-execution-v1/optimized.stderr.raw", + "bytes": 0, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", + "git_blob": "e69de29bb2d1d6434b8b29ae775ad8c2e48c5391", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/controls-execution-v1/optimized.stdout.raw", + "package_path": "evidence/controls-execution-v1/optimized.stdout.raw", + "bytes": 1389, + "sha256": "5e8c791de873ba722aa67b424376a37395e117bde2fd507b4d0a5321c49b0a6d", + "git_blob": "89f0ebb872f55b40740153cf1e978517cd9ca2c2", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/controls-execution-v1/optimized.time.raw", + "package_path": "evidence/controls-execution-v1/optimized.time.raw", + "bytes": 138, + "sha256": "c824b88e812517016305f2880f2d6de79f710759e157cc5259fb62f3be6fb311", + "git_blob": "bb9e5ca7d689958bc4ad7a020281f247a87098bf", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "git:7c49fe32c55de02c2c873655c804b16e4c3fef0a:LICENSE", + "package_path": "notices/LICENSE", + "bytes": 11357, + "sha256": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4", + "git_blob": "261eeb9e9f8b2b4b0d119366dda99c6fd7d35c64", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "git:7c49fe32c55de02c2c873655c804b16e4c3fef0a:NOTICE", + "package_path": "notices/NOTICE", + "bytes": 24973, + "sha256": "b49022cb4104d90b182e4c335f670faf45529025b15db77bf0291835083c28bd", + "git_blob": "59d8e0cf3102e15bd11db430838365531e2d7f18", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/plan/MANUAL-CONTROLS-v1.json", + "package_path": "protocol/MANUAL-CONTROLS-v1.json", + "bytes": 4663, + "sha256": "22eff45dfe65dcaf4f4c9ffd1963ee4a4bc07d5128de3960259215e0b8a9a446", + "git_blob": "6a742e45647b99045b032ab0d3b0ba38a09bdd10", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/plan/OPERATION-v1.json", + "package_path": "protocol/OPERATION-v1.json", + "bytes": 14775, + "sha256": "d39ee50b70ec49ef81be61a3ccdb439fb5d22eb6eac5e2808c2b67ff25d352fd", + "git_blob": "92db157f5c76c7e121d3b9be2a1fd85edfcd03f3", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/plan/OPERATION-v1.md", + "package_path": "protocol/OPERATION-v1.md", + "bytes": 4229, + "sha256": "68255ebb4e3136441d132e2a012c7f86308ab90cf7ce6d56f00befffbd0f3df1", + "git_blob": "95d07d4b0115da86ac126e6cd23cf7cdd46fbb92", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/plan/FREEZE-v1.json", + "package_path": "protocol/ORIGINAL-FREEZE-v1.json", + "bytes": 1924, + "sha256": "585c4a50407be565b13c808d58fbad3f60e17ff070c58bf0c1d8fd3aebfe84ff", + "git_blob": "1312b2cf9712a4e3e7cc1fa72b4672c3ce05b3b7", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "NEW_PROTOCOL_SCOPE_NOTE", + "package_path": "protocol/SCOPE.md", + "bytes": 596, + "sha256": "5576a2e98830e1d2be4ef9babe5314d538426cfb4372310d8835f6f467a2ceac", + "git_blob": "13681aad95ca15d70dbe65e660076ef6ad8d4d6c", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/repair-v2/HELPER-FREEZE-v2.json", + "package_path": "repair-v2/HELPER-FREEZE-v2.json", + "bytes": 1072, + "sha256": "5176450e87784a927509d11995136480344e44eb70468b57e4dd0ff7796f8bbe", + "git_blob": "333d6d42c2b46bfef3aa380d52f7a950ce7861bd", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/repair-v2/helper-v1-to-v2.diff", + "package_path": "repair-v2/helper-v1-to-v2.diff", + "bytes": 1704, + "sha256": "d2fffc2943e064cddb4b20a60870ed7b19f6e5beb5eeb70047899d39cea74074", + "git_blob": "a8a6ffa4d5d4c7a850fcff820c84bf10480e5104", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/repair-v2/passive_image_candidates_v2.py", + "package_path": "repair-v2/passive_image_candidates_v2.py", + "bytes": 11809, + "sha256": "56b44235f55685d61e5c8b8099d825b4ec5a53987910f506dffad309c12ffb53", + "git_blob": "2aba58de0f18e79d39efd8e379af206e882f37e4", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/review-controls-execution/FREEZE-v1.json", + "package_path": "reviews/controls-execution/FREEZE-v1.json", + "bytes": 1346, + "sha256": "4c8ad18286ecefd537a25fceb8d77c4150f198947509b7880b8abaed94c62697", + "git_blob": "d7e9cebd386156ad6a2e5d73373d4c03c002b6aa", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/review-controls-execution/FREEZE-v2.json", + "package_path": "reviews/controls-execution/FREEZE-v2.json", + "bytes": 1870, + "sha256": "3d9acc63ac7634427d599dbf7c4595d12d90bef07d23890a5bfb2cacaa8fffdc", + "git_blob": "c19bdf648517ccee0cc72076ba2200133cb6d79e", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/review-controls-execution/REVIEW-v1.json", + "package_path": "reviews/controls-execution/REVIEW-v1.json", + "bytes": 11502, + "sha256": "d442c788d7ce91a853cb50a0152364799abedc4191d0277aa4675efdb7a2481d", + "git_blob": "e2ca0617095e9855312ebc365c49daa2528db174", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/review-controls-execution/REVIEW-v1.md", + "package_path": "reviews/controls-execution/REVIEW-v1.md", + "bytes": 2788, + "sha256": "eb1e7671d2dd0c2348974a27223a98bb27f15ecc5ae5a5f26cd0b4ea362d3a87", + "git_blob": "d0debfededcccf32e4dc4a3daf7bf62fb3fa9943", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/review-controls-execution/REVIEW-v2.json", + "package_path": "reviews/controls-execution/REVIEW-v2.json", + "bytes": 12186, + "sha256": "a7bb90acc80f519af72abd87993c31c0b2c3a938d0a6e29508daee7c589520d7", + "git_blob": "c1309928d741c50a1ab5efba867f855a2d29797b", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/review-controls-execution/REVIEW-v2.md", + "package_path": "reviews/controls-execution/REVIEW-v2.md", + "bytes": 3083, + "sha256": "5c1d722fe07d5f48496aeefdaecebcb1970ca1b6aab2dcd1e45cceff902e940f", + "git_blob": "f6612257a4b8dd447fc9187c714de66de7670695", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/review-v2/FINAL-DISPOSITION-v3.json", + "package_path": "reviews/guard-blocker/FINAL-DISPOSITION-v3.json", + "bytes": 4251, + "sha256": "6b1b05906144f48c32f4bc6680078726016137e24b9c4be97a4f4efe50307c57", + "git_blob": "0fabcf14c8497407f9af7f241e0d963e0eadea1e", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/review-v2/FINAL-DISPOSITION-v3.md", + "package_path": "reviews/guard-blocker/FINAL-DISPOSITION-v3.md", + "bytes": 2117, + "sha256": "9bbf41c4181dfd5842c7272222e57b55216b6bd82b9e130a2edbaf8bbc86dc52", + "git_blob": "4efe0992daa31381012bf5ab7f73c101d052bc2d", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/review-v2/REVIEW-v2.json", + "package_path": "reviews/guard-blocker/REVIEW-v2.json", + "bytes": 9420, + "sha256": "65a211be0af0ea8ae97c98d7007afbc7a18dce7f5167b191711ed3e03f42c18d", + "git_blob": "c8090ff09075044660f6a3b9e4071b1ba1887b3f", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/review-v2/REVIEW-v2.md", + "package_path": "reviews/guard-blocker/REVIEW-v2.md", + "bytes": 3576, + "sha256": "2d9d30c57b380e6f61473b79acc9941d166614496dc5b960183e37e6b29452c4", + "git_blob": "39354e1a49eae8fb75527d577e55bac449193c3d", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/review-source/REVIEW-v1.json", + "package_path": "reviews/initial-source/REVIEW-v1.json", + "bytes": 11328, + "sha256": "db17ad5ea0f5e260746f17649884f37d2bd434831fb5bf99e3bae28e3d7c289c", + "git_blob": "9ddd22dad10c01c1e74806455870854cadf28330", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/review-source/REVIEW-v1.md", + "package_path": "reviews/initial-source/REVIEW-v1.md", + "bytes": 3305, + "sha256": "d7a3286042715a54cfbed23d8ddab794f28bb49b7003962f68e568cba2141bd9", + "git_blob": "8d5757e597a25add1fea9624419e29f9fd16f981", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/review-v2/HELPER-CONTROLS-SOURCE-v1.json", + "package_path": "reviews/repaired-source/HELPER-CONTROLS-SOURCE-v1.json", + "bytes": 3252, + "sha256": "cdf88f0eeaff9ca22d9964a086875a43b5e87a0647de41c4b637129acb553f37", + "git_blob": "16b8b2f2f6cd734fb8ea540aedacba0082d3080d", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "NEW_PUBLICATION_ABSOLUTE_PATH_ADAPTER_V3", + "package_path": "run_export_controls.py", + "bytes": 2212, + "sha256": "63dbbb8666570eaae04bf1238e39f36e714231b1657f0bdbc7655f633f7cd746", + "git_blob": "2b072f84a92a2af0daf8ebe41a5370e09f20807d", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + }, + { + "source_path": "NEW_STATIC_INTEGRITY_CHECKER_UNRUN", + "package_path": "verify_integrity.py", + "bytes": 7017, + "sha256": "be5b057228c98479938dcbd4ffe66786168ef95f07e9e0cfb107f8e46b2e4a88", + "git_blob": "19c3705462eebb81dc913e46abc53a7b181a2ef5", + "mode": "100644", + "translation": "NONE for retained scientific/evidence bytes; explicitly NEW publication metadata/adapter successor where declared." + } + ] +} diff --git a/research/h25-elf-literal-discovery-controls/SOURCES.json b/research/h25-elf-literal-discovery-controls/SOURCES.json new file mode 100644 index 0000000000..062cc08f06 --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/SOURCES.json @@ -0,0 +1,56 @@ +{ + "schema_version": 1, + "base_commit": "7c49fe32c55de02c2c873655c804b16e4c3fef0a", + "files": [ + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "3404fbdd5e7529a0674eef26114b5071e4586cec", + "sha256": "ead6cdc9d0af6d58e8a49744d8ec8c7c15e13d2ba93c276c434bcf9b51b93a81" + }, + { + "path": "docs/research/research-package-guide.md", + "usage": "provenance", + "git_blob": "24cf53c403ff4e72a1717d082296c3918c42fe92", + "sha256": "5e3aa8b2ce657f943ef5fd187473a01a92a7073ef7e05b30affa08979daa2c6e" + }, + { + "path": "AGENTS.md", + "usage": "provenance", + "git_blob": "fa006ceb6b6b9d6c0e799f210963f4587ecfb162", + "sha256": "fbee67ab9e0ae4629a35fd9dba69c8f7e29e4a15392eb2d0f75d8768ffb65f40" + }, + { + "path": "CONTRIBUTING.md", + "usage": "provenance", + "git_blob": "5185786f2ec00f215019fb5777d70979429690a9", + "sha256": "fcd1a8d0e52342a23b8ffa9e905e85ccc539fb084145ef016dfc93cedfb3d924" + }, + { + "path": ".github/pull_request_template.md", + "usage": "provenance", + "git_blob": "ae656e706bf992a3c26c710611ff92dde75efe21", + "sha256": "6fffbdcc80d32daa5d6940b21f4c0e61df7e5f588a120374269ff28dac26c562" + }, + { + "path": "LICENSE", + "usage": "provenance", + "git_blob": "261eeb9e9f8b2b4b0d119366dda99c6fd7d35c64", + "sha256": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4" + }, + { + "path": "NOTICE", + "usage": "provenance", + "git_blob": "59d8e0cf3102e15bd11db430838365531e2d7f18", + "sha256": "b49022cb4104d90b182e4c335f670faf45529025b15db77bf0291835083c28bd" + }, + { + "path": "CONTRIBUTORS.md", + "usage": "provenance", + "git_blob": "851861740e793e00ddac072857e579984d31442e", + "sha256": "6b9bf0782bc8559ca4d3df267d9721fdc129133831da6f810ec3e0c66d19e10c" + } + ], + "archive_inputs": "Package-local immutable source, fixture, test and evidence bytes are explicitly listed in SOURCE-MAP.json and MANIFEST.json. All transitive executable inputs are package-local and standard-library-only; no live source is imported from outside the package. Package-local changes trigger CI invalidation. Historical protocol paths are inert data, never implicit inputs.", + "history_limit": "Read-only local Git alternate; unrelated base PDF blob f0d42d430159f3f46dcf447ecb5df8aa9355e208 remains missing and unrepaired. No complete-object-store or scientific source-history claim." +} diff --git a/research/h25-elf-literal-discovery-controls/TASK.json b/research/h25-elf-literal-discovery-controls/TASK.json new file mode 100644 index 0000000000..da34bdab89 --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/TASK.json @@ -0,0 +1,67 @@ +{ + "schema_version": 1, + "task_id": "portable-replay", + "base_commit": "7c49fe32c55de02c2c873655c804b16e4c3fef0a", + "original_card": { + "id": "portable-replay", + "question": "Can one reproducible environment or artifact-comparison failure be repaired?", + "starting_points": [ + "research/gzip-container-reproducibility/README.md", + "docs/ci-verification.md" + ], + "methods": [ + "Reproduce one portability failure and add a minimal cross-environment fix.", + "Audit one canonical-payload comparison for omitted proof-relevant fields." + ], + "acceptance_gate": "Preserve immutable source hashes and proof-relevant content; a different compressed byte stream alone is not a mathematical mismatch.", + "first_step": { + "command": [ + "python3", + "-B", + "scripts/research_selected_baseline.py" + ], + "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY", + "inspect": "Resolve the current selected review, separate complex/ordinary BIT/admitted BIT/outer budgets, and compare the card against live handoffs before starting. Historical ceilings require exact source/model equivalence.", + "scope": "Source-binding orientation only; not a scientific replay or all-size proof. Materialize selected inputs if this checkout is sparse." + }, + "first_experiment": "Reproduce one specific mismatch or audit one canonical comparison for omitted proof-relevant fields.", + "bottleneck_link": "Portable exact checks prevent environment failures from blocking valid contributions.", + "allowed_variations": [ + "One interpreter/version mismatch or one payload field comparison." + ], + "scope_change_triggers": [ + "Removing immutable-source pins because generated compressed bytes differ." + ], + "overlap_terms": [ + "gzip container", + "reproducibility", + "canonical payload" + ] + }, + "scope_status": "changed", + "actual_scope": "Publish the accepted bounded ELF literal-discovery mapping repair and 23-case NEW synthetic control evidence from a closed partial actual-inspection round.", + "scope_change_reason": "Explicit user-directed prerequisite component publication. The pinned catalogue card is infrastructure provenance, not a task-picker result or a claim to close its original question. This contribution repairs two bounded ELF mapping controls rather than a cross-environment payload failure.", + "assignment": "Explicit user assignment; no picker or unrelated task.", + "bottleneck_link": "https://github.com/CrocSwap/integer-mult-bounds/pull/6397", + "stop_rule": "Packaging only 2026-11-02T23:56:35Z to 2026-11-03T00:08:35Z, no extension. Parent owns exact export review, guarded finite validation, commit, remote and Chrome submission. Closed actual-inspection round is not reopened.", + "outcome": "partial", + "evidence": "Independent helper/control source PASS and separate raw-evidence PASS; 23/23 normal and 23/23 optimized historical synthetic runs, 20 literal buffers. 0/4 actual-round checkpoints complete.", + "author": "Prepared for Clear1nsight; predecessor credits in NOTICE.md.", + "ai_assistance": "Substantial OpenAI Codex assistance including assigned GPT-6.1 Sol Max authoring/review. AI reviews are not human or proof-kernel acceptance.", + "original_activity_credit_added": 0, + "open_questions": [ + { + "question": "Can a later capture guard preserve the first pin/read/write error through every close or cleanup failure?", + "why_it_matters": "The closed actual-inspection round cannot advance while close can replace the original ENOSPC or pin/read failure.", + "first_step": "In a separately authorized source round, independently specify and review first-error preservation and secondary close dispositions against the exact frozen v2/v3 objections before considering any execution grant.", + "blocked_by": "Current round is closed; guard v2/v3 remain REJECT/HOLD. No second repair, actual-image pass or new budget is authorized by this archive." + }, + { + "question": "Can instruction boundaries, relocation effects and source roles be established for one admitted actual prefix?", + "why_it_matters": "Raw literal/reference candidates and finite metadata controls cannot establish an operational prefix certificate or D applicability.", + "first_step": "Only after a separately accepted guard and concrete source/tool/context/funding admission, review a bounded actual-image plan and the unimplemented S11/S12/S13 semantic falsifiers.", + "blocked_by": "No actual image pass, decoder grant, source-role/effects qualification, complete prefix certificate or physical-cost bill exists." + } + ], + "publication_adapter": "Narrow source-only packaging successor: exact-byte-pinned wrapper resolves absolute paths required by the unchanged harness; integrity checker permits 0644/0444 while retaining Git100644 and rejecting links/executable files. No scientific source/evidence change or closed-round reopening." +} diff --git a/research/h25-elf-literal-discovery-controls/VERIFY.json b/research/h25-elf-literal-discovery-controls/VERIFY.json new file mode 100644 index 0000000000..9bbb43f1ea --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/VERIFY.json @@ -0,0 +1,38 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [], + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/run_export_controls.py" + ], + "timeout_seconds": 10, + "checks": "Publication absolute-path adapter pins the exact frozen 8023-byte harness before compiling those same bytes in a fresh non-main namespace; harness then pins NEW helper/fixture and calls only inspect on 20 owned literal buffers/23 cases. No helper.main, target, decoder, subprocess or network. Normal mode." + }, + { + "argv": [ + "{python}", + "-I", + "-B", + "-O", + "{package}/run_export_controls.py" + ], + "timeout_seconds": 10, + "checks": "Publication absolute-path adapter pins the exact frozen 8023-byte harness before compiling those same bytes in a fresh non-main namespace; harness then pins NEW helper/fixture and calls only inspect on 20 owned literal buffers/23 cases. No helper.main, target, decoder, subprocess or network. Optimized mode." + } + ], + "scope": "NEW_SYNTHETIC_LITERAL_DISCOVERY_CONTROLS_ONLY", + "transitive_inputs": [ + "repair-v2/passive_image_candidates_v2.py", + "controls-v1/literal_fixtures_v1.py", + "controls-v1/test_literal_candidates_v1.py", + "run_export_controls.py" + ], + "execution_grant": "Only normal/-O run_export_controls.py registered. This publication adapter resolves absolute sibling paths and invokes ONLY the pinned NEW harness main. Local execution awaits parent release; actual-image/helper.main/native/guard/archived source remain excluded." +} diff --git a/research/h25-elf-literal-discovery-controls/archive/rejected-v1/INERT.txt b/research/h25-elf-literal-discovery-controls/archive/rejected-v1/INERT.txt new file mode 100644 index 0000000000..830ce2b6c1 --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/archive/rejected-v1/INERT.txt @@ -0,0 +1,4 @@ +The original v1 helper is preserved as exact bytes with a .py.txt suffix. +It was rejected for M01 reverse virtual mapping and M02 entry PF_X alias errors. +Do not import or execute it. The original review is retained under reviews/initial-source/. +The exact source diff is repair-v2/helper-v1-to-v2.diff. No original failure is waived. diff --git a/research/h25-elf-literal-discovery-controls/archive/rejected-v1/passive_image_candidates_v1.py.txt b/research/h25-elf-literal-discovery-controls/archive/rejected-v1/passive_image_candidates_v1.py.txt new file mode 100644 index 0000000000..2f48f7304c --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/archive/rejected-v1/passive_image_candidates_v1.py.txt @@ -0,0 +1,232 @@ +"""SOURCE ONLY: bounded image/reference candidate discovery, never a proof. + +No subprocess, disassembler, target execution, original-module import or image +copy. Main authenticates the entire nominated image before interpreting ELF. +Inspection returns candidate data ONLY; it validates no instruction boundary, +operand role, callee ABI, reachability, relocation effect or runtime frame. +""" +import hashlib +import json +import os +import stat +import struct +import sys + +EXPECTED_PATH = '/usr/bin/x86_64-linux-gnu-gcc-13' +EXPECTED_SIZE = 1023032 +EXPECTED_SHA = '1b99826121ae6682a634e5efe09bd3e3df58ce58e0b28f849114ab5b89139c26' +LITERAL = b'/usr/libexec/gcc/\0' +LITERAL_OFFSET = 702226 +MAX_INPUT = 2097152 +MAX_CANDIDATES = 8 + + +class Stop(ValueError): + pass + + +def need(value, reason): + if not value: + raise Stop(reason) + + +def sha(data): + return hashlib.sha256(data).hexdigest() + + +def span(offset, size, length): + need(type(offset) is int and type(size) is int and + 0 <= offset <= length and 0 <= size <= length - offset, + 'file span outside image') + + +def inspect(data, literal_offset=LITERAL_OFFSET): + """Pure synthetic-test interface. Main supplies only fully pinned actual B.""" + need(type(data) is bytes and 64 <= len(data) <= MAX_INPUT, 'image byte bound') + h = struct.unpack_from('<16sHHIQQQIHHHHHH', data, 0) + ident, typ, machine, version, entry, phoff, shoff, flags, ehsize, phent, phnum, shent, shnum, shstr = h + need(ident[:4] == b'\x7fELF' and ident[4:7] == b'\x02\x01\x01', 'unsupported ELF class/data/version') + need(machine == 62 and version == 1 and typ in (2, 3), 'unsupported machine/type') + need(ehsize == 64 and phent == 56 and 1 <= phnum <= 128 and phnum != 65535, + 'unsupported/extended program headers') + span(phoff, phent * phnum, len(data)) + loads, dynamic = [], [] + for index in range(phnum): + t, f, off, va, pa, filesz, memsz, align = struct.unpack_from(' /home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/controls-execution-v1/normal.stdout.raw 2> /home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/controls-execution-v1/normal.stderr.raw", + "optimized": "umask 077\nset -o noclobber\nulimit -v 262144\nulimit -f 192\nLC_ALL=C /usr/bin/time -f '{\"schema\":\"gnu-time-observation-v1\",\"wall_seconds\":%e,\"user_seconds\":%U,\"system_seconds\":%S,\"individual_maxrss_kib\":%M,\"exit\":%x}' -o /home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/controls-execution-v1/optimized.time.raw /usr/bin/timeout --signal=TERM --kill-after=0.5s 4.5s /usr/bin/env -i PATH=/nonexistent PYTHONHASHSEED=0 LANG=C.UTF-8 LC_ALL=C.UTF-8 TZ=UTC PYTHONDONTWRITEBYTECODE=1 /usr/bin/python3.12 -I -B -O -X pycache_prefix=/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/controls-execution-v1/cache-optimized /home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/controls-v1/test_literal_candidates_v1.py --helper /home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/repair-v2/passive_image_candidates_v2.py --sha256 56b44235f55685d61e5c8b8099d825b4ec5a53987910f506dffad309c12ffb53 > /home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/controls-execution-v1/optimized.stdout.raw 2> /home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453/outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/controls-execution-v1/optimized.stderr.raw" + }, + "owner": "/root one serializedqueue", + "ceiling_seconds": 12, + "per_mode_seconds": 5, + "residual_seconds": 2, + "sequence": "One normal; if complete23/23PASS then oneoptimized. Any failureSTOP/no retry or source extension.", + "prior_combined_seconds": "99.780533479", + "canonical_seconds_unchanged": "94.550533479", + "policy_debit": "max(toolwall,GNUtimewall)+.01 eachattempt", + "new_budget": false, + "original_initial600_total2400": true, + "actual_pass_authority": false, + "P1_complete": false, + "full_C05": false, + "full_V03": false, + "original_credit": 0, + "physical_costs": "OPEN_NOT_ZERO" +} diff --git a/research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/LEDGER-001.json b/research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/LEDGER-001.json new file mode 100644 index 0000000000..c1a2c48b45 --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/LEDGER-001.json @@ -0,0 +1,102 @@ +{ + "schema": "synthetic-literal-helper-test-ledger-v1", + "recorded_utc": "2026-11-02T23:50:11.513111+00:00", + "status": "PASS23_NEW_SYNTHETIC_CASES_NORMAL_AND_OPTIMIZED", + "rows": [ + { + "mode": "normal", + "tool_result": { + "chunk_id": "bee3ba", + "wall_time_seconds": 0.065126715, + "exit_code": 0, + "original_token_count": 0, + "output": "" + }, + "GNU_time": { + "schema": "gnu-time-observation-v1", + "wall_seconds": 0.16, + "user_seconds": 0.15, + "system_seconds": 0.01, + "individual_maxrss_kib": 22608, + "exit": 0 + }, + "policy_debit_seconds": "0.17", + "raw": [ + { + "path": "normal.stdout.raw", + "bytes": 1389, + "sha256": "b85780ffb728da8b6286156fc744daa603b241d808214dfa63c37b30b18192b6" + }, + { + "path": "normal.stderr.raw", + "bytes": 0, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + { + "path": "normal.time.raw", + "bytes": 138, + "sha256": "69321011fa8f5c14fce0db5edd77e075e142d6318052dd62a1b827bbf6759262" + } + ], + "unique_cases": 23, + "buffers": 20 + }, + { + "mode": "optimized", + "tool_result": { + "chunk_id": "31bca5", + "wall_time_seconds": 0.071047239, + "exit_code": 0, + "original_token_count": 0, + "output": "" + }, + "GNU_time": { + "schema": "gnu-time-observation-v1", + "wall_seconds": 0.17, + "user_seconds": 0.16, + "system_seconds": 0.01, + "individual_maxrss_kib": 22604, + "exit": 0 + }, + "policy_debit_seconds": "0.18", + "raw": [ + { + "path": "optimized.stdout.raw", + "bytes": 1389, + "sha256": "5e8c791de873ba722aa67b424376a37395e117bde2fd507b4d0a5321c49b0a6d" + }, + { + "path": "optimized.stderr.raw", + "bytes": 0, + "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" + }, + { + "path": "optimized.time.raw", + "bytes": 138, + "sha256": "c824b88e812517016305f2880f2d6de79f710759e157cc5259fb62f3be6fb311" + } + ], + "unique_cases": 23, + "buffers": 20 + } + ], + "source_pins_unchanged": true, + "grant_sha256": "845eab937144d8f4079d3558ce5f6649662ab8b29f5a2e95359afe81d59bc0aa", + "new_policy_debit_seconds": "0.35", + "prior_supplemental_combined_seconds": "99.780533479", + "supplemental_combined_seconds": "100.130533479", + "canonical_policy_seconds_unchanged": "94.550533479", + "actual_driver_read_or_main_or_decoder": false, + "original_native_queries": 0, + "P1_complete": false, + "semantic_falsifiers_unimplemented": [ + "S11role", + "S12relocations", + "S13privatecalls" + ], + "full_C05": false, + "full_V03": false, + "original_credit": 0, + "measurement_limits": "GNUtime individual RSS only; toolwall and GNUwall retained. No complete physical bill.", + "physical_costs": "OPEN_NOT_ZERO" +} diff --git a/research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/TOOL-RESULTS-v1.json b/research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/TOOL-RESULTS-v1.json new file mode 100644 index 0000000000..9907727fe5 --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/TOOL-RESULTS-v1.json @@ -0,0 +1,16 @@ +{ + "normal": { + "chunk_id": "bee3ba", + "wall_time_seconds": 0.065126715, + "exit_code": 0, + "original_token_count": 0, + "output": "" + }, + "optimized": { + "chunk_id": "31bca5", + "wall_time_seconds": 0.071047239, + "exit_code": 0, + "original_token_count": 0, + "output": "" + } +} diff --git a/research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/normal.stderr.raw b/research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/normal.stderr.raw new file mode 100644 index 0000000000..e69de29bb2 diff --git a/research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/normal.stdout.raw b/research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/normal.stdout.raw new file mode 100644 index 0000000000..c3e916b8f7 --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/normal.stdout.raw @@ -0,0 +1 @@ +{"case_count": 23, "certificate_feasibility_established": false, "costs": "OPEN_NOT_ZERO", "failed_count": 0, "failures": [], "full_C05": false, "full_V03": false, "helper_sha256": "56b44235f55685d61e5c8b8099d825b4ec5a53987910f506dffad309c12ffb53", "main_or_actual_driver_called": false, "old_v1_preserved_failed_source": "c9044f4926cbcc880eb17b579b2cd6e323f1657bf6b6463138fc0b4310fe4b04", "original_credit": 0, "passed": ["S01_literal_mapping_and_LEA_candidate", "S02_absolute_imm64", "S03_zeroextended_imm32", "S04_interior_pattern_stays_unvalidated", "S05_no_discovery_not_unused_proof", "S06_overwrite_not_semantically_qualified", "S07_required_STOP", "S08_required_STOP", "S09_required_STOP", "C01_required_STOP", "C02_required_STOP", "TRUNC_PHDR_required_STOP", "SHORT_HEADER_required_STOP", "SEGMENT_WRAP_required_STOP", "WRONG_ENDIAN_required_STOP", "WRONG_MACHINE_required_STOP", "S10_ninth_reference_cap", "S14_symbolic_load_bias", "X01_signextended_imm32", "X02_pointer_slot_and_RIP_reference", "literal_expected_span_shift_STOP", "loader_wrong_size_before_compile", "loader_wrong_hash_before_compile"], "passed_count": 23, "python_optimize": 0, "schema": "new-literal-candidate-synthetic-controls-result-v1", "semantic_falsifiers_not_implemented": ["S11 role/reachability", "S12 relocation effects", "S13 private-call/alias effects"], "status": "PASS_DISCOVERY_CONTROLS_ONLY"} diff --git a/research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/normal.time.raw b/research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/normal.time.raw new file mode 100644 index 0000000000..6b684766bd --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/normal.time.raw @@ -0,0 +1 @@ +{"schema":"gnu-time-observation-v1","wall_seconds":0.16,"user_seconds":0.15,"system_seconds":0.01,"individual_maxrss_kib":22608,"exit":0} diff --git a/research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/optimized.stderr.raw b/research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/optimized.stderr.raw new file mode 100644 index 0000000000..e69de29bb2 diff --git a/research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/optimized.stdout.raw b/research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/optimized.stdout.raw new file mode 100644 index 0000000000..89f0ebb872 --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/optimized.stdout.raw @@ -0,0 +1 @@ +{"case_count": 23, "certificate_feasibility_established": false, "costs": "OPEN_NOT_ZERO", "failed_count": 0, "failures": [], "full_C05": false, "full_V03": false, "helper_sha256": "56b44235f55685d61e5c8b8099d825b4ec5a53987910f506dffad309c12ffb53", "main_or_actual_driver_called": false, "old_v1_preserved_failed_source": "c9044f4926cbcc880eb17b579b2cd6e323f1657bf6b6463138fc0b4310fe4b04", "original_credit": 0, "passed": ["S01_literal_mapping_and_LEA_candidate", "S02_absolute_imm64", "S03_zeroextended_imm32", "S04_interior_pattern_stays_unvalidated", "S05_no_discovery_not_unused_proof", "S06_overwrite_not_semantically_qualified", "S07_required_STOP", "S08_required_STOP", "S09_required_STOP", "C01_required_STOP", "C02_required_STOP", "TRUNC_PHDR_required_STOP", "SHORT_HEADER_required_STOP", "SEGMENT_WRAP_required_STOP", "WRONG_ENDIAN_required_STOP", "WRONG_MACHINE_required_STOP", "S10_ninth_reference_cap", "S14_symbolic_load_bias", "X01_signextended_imm32", "X02_pointer_slot_and_RIP_reference", "literal_expected_span_shift_STOP", "loader_wrong_size_before_compile", "loader_wrong_hash_before_compile"], "passed_count": 23, "python_optimize": 1, "schema": "new-literal-candidate-synthetic-controls-result-v1", "semantic_falsifiers_not_implemented": ["S11 role/reachability", "S12 relocation effects", "S13 private-call/alias effects"], "status": "PASS_DISCOVERY_CONTROLS_ONLY"} diff --git a/research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/optimized.time.raw b/research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/optimized.time.raw new file mode 100644 index 0000000000..bb9e5ca7d6 --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/evidence/controls-execution-v1/optimized.time.raw @@ -0,0 +1 @@ +{"schema":"gnu-time-observation-v1","wall_seconds":0.17,"user_seconds":0.16,"system_seconds":0.01,"individual_maxrss_kib":22604,"exit":0} diff --git a/research/h25-elf-literal-discovery-controls/notices/LICENSE b/research/h25-elf-literal-discovery-controls/notices/LICENSE new file mode 100644 index 0000000000..261eeb9e9f --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/notices/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/h25-elf-literal-discovery-controls/notices/NOTICE b/research/h25-elf-literal-discovery-controls/notices/NOTICE new file mode 100644 index 0000000000..59d8e0cf31 --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/notices/NOTICE @@ -0,0 +1,415 @@ +A sharper exponent for integer multiplication +Copyright 2026 Douglas Colkitt + +This project includes unmodified source files from OpenAI's manuscript +"Integer multiplication below n log n" and its accompanying repository: +https://github.com/openai/math +Commit: adc7f1241b42e322a6451854ab7e4b4c146bf78a + +The original manuscript identifies OpenAI as its author. Its Apache-2.0 +license is retained at upstream/LICENSE. The exact source URLs and hashes +are recorded in upstream/manifest.json. Proposed modifications are supplied +as separate files under patches/; upstream source files remain unchanged. + +The original local research note, scripts, certificates, patches, and +documentation were prepared by Douglas Colkitt with assistance from OpenAI +Codex. The community release incorporates work by the contributors identified +in the notices below; it is not solely Douglas Colkitt's work. +This project is not an official OpenAI release or an OpenAI endorsement. + +Related contributions (not imported in this checkpoint): +Zhihao Chen (jacklightChen), PR #7, supplied an earlier ternary five-subset +motif, finite-alphabet transfer and a different compressed producer: +https://github.com/CrocSwap/integer-mult-bounds/pull/7 +The present checkpoint claims no priority for that motif. Related compressed +complex-network work was submitted by eumemic in PR #3: +https://github.com/CrocSwap/integer-mult-bounds/pull/3 +The pending contributions and their stronger bounds require their own review; +this notice does not represent adoption or verification of their claims. + +Additional community work, including parallel and superseded submissions, is +acknowledged in CONTRIBUTORS.md, with pinned submission metadata in +docs/research/contribution-snapshot.json. These acknowledgements do not imply +joint authorship of the checkpoint, incorporation of pending code, or verification +of submitted mathematical claims. Original source-specific notices remain in force. + +Community release (accepted by conditional maintainer audit): +The following original contributor notices apply to the imported PR #39 chain. +The preceding non-import statements describe the preserved 2^-30 checkpoint. + +Ternary five-subset construction and common-four-point resynthesis +Copyright 2026 Zhihao Chen (jacklightChen) + +This is Zhihao Chen's first submission of this specific construction to this +repository. Research, proof development, code and verification were prepared +with substantial assistance from GPT-6 Astra (OpenAI Codex), as identified by +the contributor. This is not independent review or an OpenAI endorsement. +Future research building on this contribution should explicitly acknowledge +Zhihao Chen (jacklightChen), cite the accompanying note and pull request, and +retain the preceding contributors' attribution. This notice records research +provenance; the repository's Apache-2.0 license remains unchanged. + +Dependencies retained from eumemic's Claude-assisted PRs #3 and #5: +https://github.com/CrocSwap/integer-mult-bounds/pull/3 +https://github.com/CrocSwap/integer-mult-bounds/pull/5 +PR #5 commit: d3d370c34937503bd3fa63c83d505a05e8e50893 +These include complex_circuit.py, complex_network.py, fast_gaussian.py, +their generators, construction notes and certificates. The Gaussian input +scaling proof is corrected in this derivative; see the modification notice below. +Aligned pairing also appears in Bortlesboat's PR #2. Retained totals and bank +sharing appear in dleen's PR #4 and cheaper retained centers in eumemic's PR #6. +Their results and ideas are credited separately from this new construction. + +Bulk recursion and controlled tensor basis, 8 October 2026 +Copyright 2026 icekylinx + +The new projector batching, controlled simultaneous basis, mixed-width tape +recursions, whole-residual complex recursion, and dependency-path precision +guard in the batched-23 proof package are contributed by icekylinx, developed +with substantial OpenAI GPT-6 Astra assistance. Review corrections and +repository integration were prepared with OpenAI Codex assistance. They build on the retained +PR #7 finite producers and the preceding contributions credited above. +The new package retains the repository's Apache-2.0 license and the original +authors' attribution. It is not an official OpenAI release or endorsement. + +Modification notice, 8 October 2026 (icekylinx): the retained fast Gaussian +proof now bounds shifted approximation error by F=2^ceil(1.14 alpha^2). +The P=34p precision budget and asymptotic exponent are unchanged. New batching +checks are integrated into make verify. Existing attribution and licenses +are retained. + +Partial-swap extension, 8 October 2026 +Copyright 2026 icekylinx + +The partial-swap framing, binary retained-total triple construction, +dependency-preserving positive labels and carrier reuse, unequal (25,23,57) +common basis, improved complex batching, and exact assembly are contributed +by icekylinx with substantial OpenAI GPT-6 Astra and Codex assistance. +This extension directly inherits PR #10, commit +62691e395a0458ce089a1c7b5d89e74291e95e29. The portable producer adapters +modify the retained paired-exclusion and shared-point implementations credited +above. The original licenses, attribution, and Gaussian correction are retained. + +Endpoint-gauge extension, 8 October 2026 +Copyright 2026 icekylinx + +The complementary auxiliary endpoint gauges, (32,30,40) controlled basis, +general nondegenerate binary phase residuals, retained-center complex producer, +updated path guard and exact assembly are contributed by icekylinx with +substantial OpenAI GPT-6 Astra and Codex assistance. This extension inherits +f2ab41aebad47861caf6316282c1793e5513845e and its PR #10 ancestry. New portable +adapters retain the paired-exclusion and shared-point contributions credited +above. Original licenses, notices and the Gaussian correction are retained. + +Structured-basis and semantic-bulk extension, 8 October 2026 +Copyright 2026 icekylinx + +The selected (32,30,36) bit construction, A1/A5 block refinements, fixed +middle-axis I+J profiles with bounded-minor CRT certificates, mixed dyadic +complex centers, complete data-front batching and circuit-specific assembly +are contributed by icekylinx with substantial OpenAI GPT-6 Astra and Codex +assistance. The immediate parent is ed90fd940279c336ebc45968631bdebfb087b505. + +The semantic/bulk compatibility argument, literal scalar charge, product row +stock and parameterization adapt Zhihao Chen (jacklightChen)'s PR #23, +commit 661ebabc1076c9f525d7ce4967c876b203fa9827. Translated complex endpoints +are adopted from the same contributor's PR #21, +commit 5ba6cf0bfb68f2be8d15610e7972207c50254d6a, following eumemic's source-frame +work and the earlier nested-basis contributions. + +Completed-child semantic precision, arbitrary-coordinate routing, phase-cell +Gaussian inversion and bulk tape transfer are credited to the RaD project +(hipotures), commit 45d9b60355872041f9275f77c057514def0d45bc, exposed through +PR #20 at 4f8d6c8272b5ff307a0da51df545ec3cd96a8b6e. Their selected proof +sources retain their separate CC0 license and original NOTICE under +references/semantic-bulk/rad20. The PR #23 source retains its recorded OpenAI +Codex assistance; RaD retains its recorded Codex and GPT-6.1-Sol Ultra +assistance. These are source attributions, not claims about this session's +runtime model. Related contributions by Rohan Arun and Aurel Prosz remain +acknowledged in the imported notices. No exclusive priority or additional +license condition is asserted. + +Copied retained-center extension, 8 October 2026 +Copyright 2026 icekylinx + +The copied retained-center schedule in both orientations, its complex-phase +transfer, the Wm-N+L rank budget, and the selected (25,23)/(28,28) composition +are contributed by icekylinx with substantial OpenAI GPT-6 Astra and Codex +assistance. This extension inherits PR #32 at +0ef3aeb61f55cc0b321ce6a0ef00acee25cefe52 and the preceding PR #10/#18/#24 work. + +The two-stage topology and paid copied-stream endpoint correction are due +to Aurel Prosz (Paureel), c82d09eb4781b68435e3fa3eb6beea72fa900fab, +through Zhihao Chen (jacklightChen)'s PR #29 unequal-axis composition, +9d963275075fa98f1da821e27757b238dafd6b3c. That source also credits Swapnil +Jain's two-stage development at ae405eb474d1486b2d8aef90139869f927f4836a. + +The contiguous corner method, incidence factorization and exact partition +certificates are due to Rohan Arun (PR #31), method commit +02f68f95369c39955c5ffcfddbd75cd83e26b305. The selected (25,23) certificate +specializes Dominik Scholz's parameterization (PR #33), +a499a345c040aa15b68e984a0904eadc485c7a7e. Their source notices and proof +snapshots are preserved in references/copied-centers. Historical OpenAI +Codex, GPT-6 Astra and Anthropic Claude Opus 5.5 assistance is credited to +the respective imported sources. Existing PR #21/#23 and RaD attribution, +licenses and the Gaussian correction remain in force. + +Copied centers with reversed (23,25) data corners, 2026-10-08 +Rohan Arun with substantial OpenAI Codex assistance supplies the composition, +exact dimension23 controls and cost/assembly integration. James Chang's PR34 +supplies the reversed boundary family; icekylinx's PR36 supplies copied retained +centers and the selected complex graph. The balanced assembly remains attributed +to RaD/hipotures and its PR34 specialization. Retain Dominik Scholz PR33, Rohan +Arun PR31, Zhihao Chen PR29/21/23, Paureel/Aurel Prosz, Swapnil Jain, icekylinx, +eumemic, Douglas Colkitt, OpenAI and all earlier notices and hypotheses. +This is not a claim of formal verification, new foundational rank identities, +global optimality or measured runtime speedup. + +Fixed middle basis with copied reversed corners (2026-10-08): +Rohan Arun, with substantial OpenAI Codex assistance. Composition and +simultaneous-basis proof retain icekylinx PR32/36, James Chang PR34, +Dominik Scholz PR35/38, Zhihao Chen, Paureel, Swapnil Jain, RaD/hipotures, +eumemic and all preceding attribution and licenses. See research/copied-fixed-reversed. + +Changed-graph composition with copied centers and fixed bases, 8 October 2026 +Prepared with OpenAI Codex assistance. +The new composition uses icekylinx PR36 copied centers and PR32 fixed-I+J +projectors/profiler, Dominik Scholz PR35 two fixed factors and CRT argument, +Zhihao Chen (jacklightChen) PR29/23 interfaces, Aurel Prosz (Paureel) and +Swapnil Jain's two-stage development, Rohan Arun PR25/31 corner methods, +Dominik Scholz PR33/38 dimension/composition work; James Chang (jamesyc) +PR34 reversed geometry and balanced transfer; Rohan Arun PR37/39/40 +reversed integration, modular data tests and both-fixed baseline; +RaD (hipotures) PR41 changed scalar DAGs, alternating point order and +independent role compiler; RaD balanced routing/bulk interfaces, and all +retained predecessors. +Complete attribution and the conditional proof boundary are recorded in +research/copied-fixed/PROOF.md; imported originals and source pins are retained. +Original Apache-2.0 and CC0 notices remain applicable. + +Community follow-up integration (PRs #49, #45 and #26), 8 October 2026: +Rohan Arun contributes weighted carrier matching and climbed summand/leave-one-out +orders (PRs #44/#47/#49), with Anthropic Claude assistance. The final construction +composes Chafik Boukhalfa's changed-graph checks, exact rational data recovery and +reordered exclusion sums (PRs #43/#46/#48, OpenAI Codex assistance) with RaD / +hipotures's alternating pair order and independent physical role compiler (#41). +All predecessor attribution and conditional proof interfaces remain in force. + +Alejandro Zarzuelo Urdiales contributes Gaussian parity and canonical arithmetic +proofs, finite tensor execution, profile precision accounting and mixed-center +reference checks (#45), with substantial OpenAI Codex assistance. See +research/gaussian-parity-synthesis/PROVENANCE.md for his full attribution. +Ryan S / princezuda contributes historical Lean certificate arithmetic, algebraic +frame/movement/guard lemmas and independent paired-circuit checks (#26). Original +source notices and historical snapshots are preserved. Neither formal package +claims a full formal proof of the multiplication algorithm or a new kappa. + +Joint frame compilation of skip-prefix strips + +The local compiler and exact finite witnesses were prepared by eumemic with +substantial OpenAI Codex assistance. Avi Eisenberg / ikeboy with Anthropic +Claude assistance supplied the unmodified PR #53 skip-prefix producer. +The pinned PR #48 pipeline is Chafik Boukhalfa's contribution, incorporating +Rohan Arun, RaD / hipotures, icekylinx, Dominik Scholz, James Chang, +Zhihao Chen, Aurel Prosz / Paureel, Swapnil Jain, eumemic, Douglas Colkitt, +OpenAI, David Harvey, Joris van der Hoeven and the earlier contributors +credited in the retained sources. See references/frame-compiler/pr48/NOTICE +and references/frame-compiler/pr53/NOTICE for their original attribution. +No authorship or review by those predecessors is claimed for this compiler. + +Joint dual-skip/frame-compiler composition (2026-10-08) +--------------------------------------------------- +Rohan Gupta / gupt1156 with Anthropic Claude assistance: PR55 dual-skip +scalar graph; original LICENSE and NOTICE are retained under +references/frame-compiler/pr55. eumemic with substantial OpenAI Codex +assistance: PR57 joint reversible frame compiler, serialized physical-word +replay and profile reconstruction. Chafik Boukhalfa with OpenAI Codex +assistance: this composition, independent integration and exact certificate. +Avi Eisenberg / ikeboy, Rohan Arun, RaD / hipotures, icekylinx, and all +predecessor authors retain the notices above and in pinned source files. +No original copyright or Apache-2.0 notice is removed. + +Ranked reclamation after the PR58 joint-dual composition (2026-10-08) +---------------------------------------------------------------- +Chafik Boukhalfa with OpenAI Codex assistance: prioritize retired physical +slots by descending current frame rank, retaining slot ID as the tie-breaker; +complete replay, exact profiles, comparison and adversarial controls. +The dedicated joint_dual_reclaim_compiler.py is derived from eumemic's PR57 +compiler. Its original shared compiler remains byte-identical. The PR55 +producer and all preceding attribution remain unchanged. The complete PR58 +comparison certificate and its original source/proof provenance are retained +under references/frame-compiler/pr58. + +Skip-prefix strip producer, 8 October 2026 +By Avi Eisenberg (ikeboy), with Anthropic Claude (Claude Opus 5.5) +assistance. The skip-prefix leave-one-out strip layout in +research/skip-strips/skip_graph.py is new. Everything else reuses Chafik +Boukhalfa's PR #43/#46/#48 research/copied-fixed pipeline, its verification +code, exact data recovery and support-order sorting, together with: +- Rohan Arun's PR #44 weighted carrier matching optimizer; +- RaD (hipotures) PR #41 alternating point order; +- every predecessor credited above. +Complete attribution and the conditional proof boundary are recorded in +research/skip-strips/PROOF.md. Original Apache-2.0 and CC0 notices remain +applicable. + +Local split-pair skip-prefix research continuation (2026-10-08) +Prepared with substantial OpenAI Codex assistance at the user's request. +New contribution: singleton/pair recursive partition refinement, finite summand +order and moment search, and verified composition with inherited paid clones. +Avi Eisenberg/ikeboy with Anthropic Claude assistance: PR53 skip-prefix strips. +Chafik Boukhalfa with OpenAI Codex assistance: PR54 original-envelope clone +specialization and PR43/46/48 checking interfaces. RaD/hipotures: PR51 +whole-chain/source-partition cloning and earlier producer/interfaces. +Rohan Arun: PR44 weighted matching and earlier fixed/reversed work, with all +stated historical AI assistance. All predecessor notices remain applicable. + +Original-envelope whole-chain clones on skip-prefix strips (research/skip-clones): +Chafik Boukhalfa, prepared with OpenAI Codex assistance. The complete-chain +source-partition clone operation is adapted from RaD / hipotures, PR #51, +with original envelopes retained here. The scalar base is Avi Eisenberg's +PR #53 skip-prefix layout, prepared with Anthropic Claude assistance. +All credited PR #43/#46/#48, PR #44 and earlier code/proof notices remain +in force. This extension is provided under the repository's Apache-2.0 terms. + +Community review checkpoint #50–#61, 8 October 2026 +Maintainer integration and independent arithmetic: Douglas Colkitt, with OpenAI Codex. +Avi Eisenberg / ikeboy: skip-prefix strip framework (#53), with Anthropic Claude. +Rohan Gupta / gupt1156: parallel order search (#50, stated Antigravity assistance) +and dual-suffix strips (#55, Anthropic Claude assistance). +Eumemic: equal-frame joint compilation and paid signal reclamation (#57), with Codex. +Chafik Boukhalfa: original-envelope paid clones (#54), composition (#58) and ranked +reclamation (#60), with Codex. Rohan Arun: order search (#52) and positive-frame +composition (#56), with Anthropic Claude and stated Codex validation assistance. +RaD / hipotures: enlarged frames, source partitions and paid whole-chain clones +(#51), with Codex. Rohan Garg / rohangar1: singleton/pair recursion and paid-clone +composition (#59), with Codex. Alejandro Zarzuelo Urdiales: exact parameter +refinement, scoped Lean arithmetic, matrix/parity and search tools (#61), with +his disclosed multi-tool and Codex assistance. +Parallel #50/#52 records are reviewed and credited without replacing the earlier +climbed-48 implementation; their exact commit history is retained. The separate +#51 witness is retained as research; its source-graph/negative-basis data proof +has not received the same full replay as #56's consumed compiler machinery. +See docs/research/community-round2-review.md for precise validation boundaries. +All earlier licenses, contributions and notices remain applicable. + +Interval strips and core-aware pair assembly + +The interval leave-one-out strips and the core-aware group-pair assembly in +research/pair-assembly were prepared by Avi Eisenberg / ikeboy with Anthropic +Claude assistance. They build on PR #53's skip-prefix pipeline and its +inherited PR #48 sources. The stacked witness in research/pair-assembly/frame +uses eumemic's PR #57 joint frame compiler unchanged; its driver and verifier +are adaptations of PR #57's skip_frame_compiler.py, skip_frame_compose.py and +verify_skip_frame.py. Original notices are retained. + +Stopped product-ring extension, 9 October 2026 +Copyright 2026 icekylinx + +The opposite-bank generic projector factorization, componentwise atom-ring +adapters, stopped recurrence and outer ordinary-interchange conversion, +aligned pair-star producer with rational centers, exact denominator-21 +grid and selected (23,23)/(24,24) composition are contributed by icekylinx +with substantial OpenAI GPT-6 Astra and Codex assistance. This extension +builds on merged PR #36, 11817ccacb564bb7f98789c20dc11d3fece207e3, and is +integrated on upstream main 56b66d58297deca1d7dd130247d720e960f77a37. + +The retained ordinary leaf uses the preceding projector, corner and +copied-center proofs. The selected two-stage topology retains Aurel Prosz +(Paureel), Swapnil Jain and Zhihao Chen's credits; the semantic assembly +retains PR #21/#23 and RaD's attribution. Paired producers, carrier matching, +original source notices and each imported license remain unchanged. + +Partial-gauge extension, 9 October 2026 +Copyright 2026 icekylinx + +The pair-first cube assembly, compatible backward frame enlargement, +partial source-gauge schedule and stopped whole-projector composition are +contributed by icekylinx with substantial OpenAI GPT-6 Astra and Codex +assistance, extending PR #104 at 948ce1510df750f4c18b96bdaef436a86f8bf834. + +The physical deferred bit word, reflected event accounting, fan-order +clarification and signed two-stage endpoint are adopted from Zhihao Chen +(jacklightChen), PR #97, e15350b66e4bf796153a68c240a6cc1b788abe3e, with +Codex assistance. Its deferred readouts, V leaves, lifted frames and frozen +witness originate in Swapnil Jain's 741e7aa078392553815df7926ee17ac5e25a8c38, +with the original Claude disclosure retained. Cyclic interval and core-aware +pair primitives build on Avi Eisenberg (ikeboy), PR #62, +ad0f25ff7b23cff7f08ad237c2254e6ecf74257e, with Anthropic Claude assistance. +Prior two-stage, copied-center, ordinary-leaf, semantic/bulk, routing and +precision credits remain in force. Imported source notices and licenses +are preserved under references/partial-gauge/; see SOURCES.json. + +Three-stage cover extension, 9 October 2026 +Copyright 2026 icekylinx + +The arbitrary-subspace Clifford frame theorem, three-stage Cayley geometry, +weighted q-adic GL cover, unit-lower weighted compiler, charged local-ring +fallback, uniform batching, internal row borrowing and exact composition +are contributed by icekylinx with substantial OpenAI GPT-6 Astra assistance. This +repository integration uses Codex assistance and extends +PR #115, cf60442983c153a3a0f5272ea4713f99eba13c86. + +The selected local complex DAG and support/label replay are adopted from +Copyright 2026 eumemic, PR #117, cbb05ce504d571546d9b7794c186a613c659c3bf, +with its original Apache-2.0 terms and Claude assistance disclosure. +The unchanged bit physical word retains Zhihao Chen (jacklightChen), +PR #97, and Swapnil Jain's underlying witness and assistance notices. +The prior opposite-bank, stopped ordinary-leaf, copied-center, topology, +semantic/bulk, precision and analytic credits remain applicable. +Original source notices and license bytes are preserved in +references/three-stage-cover/pr117/ and references/partial-gauge/. + +Paired-cube and shared-core extension, 9 October 2026 +Copyright 2026 icekylinx + +The paired-coordinate triple-cube identity, signed overlap channels, +original-source involution, coordinate-star centers, concrete frame/carrier +compiler, chronological source gauges, PR97 gauge-subset selection, +orthogonal cross-stage routing and exact supplier/assembly integration +are contributed by icekylinx with substantial OpenAI GPT-6 Astra assistance. +Repository integration uses Codex assistance and extends PR #130 at +6a9970a530119174507904e23592fd59ede19a5d. + +The substantial completed-core workspace-sharing principle is credited to +an664, PR #128, 530588a019b4a74f09180680c9e3961bf649ec89, with its reported +OpenAI Codex assistance. No source code, partition or serialized witness +from that PR is imported. The new routing and paired-motif integration +are described separately and claim no exclusive priority for broad sharing, +paired-coordinate, Fourier or carrier-matching ideas. + +Selected coarse queries restrict the retained eumemic PR #117 positive DAG; +its original Apache-2.0 and Claude assistance notices remain unchanged. +The bit word and original frames retain Zhihao Chen's PR #97 and Swapnil +Jain's frozen witness, notices and historical assistance disclosures. +Earlier generalized Clifford, three-stage, uniform weighted recursion, +ordinary-leaf, semantic/bulk, precision and analytic credits remain in force. +Source-specific license bytes are preserved under references/. + +October 9 recycled-bit integration: +DaysSky (#150), William Porter/hpst3r (#147), Thomas Marchand/Th0rgal (#146), +Rohan Gupta/gupt1156 (#148), James Chang/jamesyc (#124), SovereignSteak (#122). +The original notices and assistance disclosures are retained under research/, +including research/recycled-bit-integration/NOTICE. Andrew Barnes/Bortlesboat +(#101) repairs shared verifiers using rfu08's #64 counterexample. rfu08's +scoped finite and formal-transfer packages are included separately; they do +not establish the full multiplication theorem. Earlier and parallel credits +remain applicable. Douglas Colkitt integrated these with OpenAI Codex assistance. + +SovereignSteak PR151 independently supplies the matching gauge/recycling +composition and the selected 473/10^6 atom refinement; its original package +and assistance disclosure are retained under research/gauge-recycling/. + +October 9 coordinated-frame and completed-entrance-bank integration: +Dugongue PR186, 166a34d75e853e933855f0f7e940fe77c4bb6b8d, builds on +Chafik Boukhalfa/chafreaky's PR181, 7fb2194801e3a10f54772c7f0d5505035a4fc0ad, +and eumemic's PR168 v4, 4a3c769e5c5430e7114c4d3e099ff34664677f17. +The frozen package and prerequisite archive preserve all author, source-license +and assistance notices, including PR175's compiler optimization. DaysSky's +carrier closure, James Chang's terminal substitution and balanced assembly, +geckods' stopping refinements and all preceding framework credits remain. +Rohan Arun's PR185 bootstrap and chafreaky's PR182 bit refinement are reviewed +parallel contributions; their gains are not added to the selected witness. +Douglas Colkitt integrated the package and supplied the bank scheduling +supplement with OpenAI Codex assistance, under Apache-2.0. The all-size +interfaces remain conditional; finite verification is not full formalization. diff --git a/research/h25-elf-literal-discovery-controls/protocol/MANUAL-CONTROLS-v1.json b/research/h25-elf-literal-discovery-controls/protocol/MANUAL-CONTROLS-v1.json new file mode 100644 index 0000000000..6a742e4564 --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/protocol/MANUAL-CONTROLS-v1.json @@ -0,0 +1,108 @@ +{ + "schema": "literal-use-manual-expectations-v1", + "status": "DESIGNED_NOT_RUN", + "common_ELF_fixture": { + "total_bytes": 1024, + "ELF_ident": "7f454c46020101000000000000000000", + "e_type": 2, + "e_machine": 62, + "e_version": 1, + "e_entry": "0x400100", + "e_phoff": 64, + "e_ehsize": 64, + "e_phentsize": 56, + "e_phnum": 1, + "e_shoff": 0, + "e_shnum": 0, + "PT_LOAD": { + "p_offset": 256, + "p_vaddr": "0x400000", + "p_filesz": 768, + "p_memsz": 768, + "p_flags": 5, + "p_align": 256 + }, + "literal_offset": 640, + "literal_hex": "2f7573722f6c6962657865632f6763632f00", + "all_other_bytes": "zero unless a control overrides" + }, + "controls": [ + { + "id": "S01", + "code_offset": 512, + "code_hex": "488d3d790000004889fec3", + "manual_expected": "literalVA0x400180; LEA candidatePC0x400100 length7; if independent ISA/boundary rules are checked from entry, RDI=0x400180 at0x400107 and RSI=0x400180 at0x40010a after MOV. Locator itself does not validate this lemma." + }, + { + "id": "S02", + "code_offset": 512, + "code_hex": "48be8001400000000000c3", + "manual_expected": "MOV RSI,imm64 constructs0x400180; confirms absolute locator route, no RIP-only restriction." + }, + { + "id": "S03", + "code_offset": 512, + "code_hex": "be80014000c3", + "manual_expected": "MOV ESI,imm32 zero-extends to RSI=0x400180; boundary/ISA independent, candidate-only output." + }, + { + "id": "S04", + "code_offset": 512, + "code_hex": "48b8488d3d7700000000c3", + "manual_expected": "LEA-looking bytes at0x202 point arithmetically at0x400180 but lie inside MOV imm64 beginning0x200. Locator may emit candidate; independent boundary check MUST reject instruction claim at0x202." + }, + { + "id": "S05", + "code_offset": 512, + "code_hex": "c3", + "manual_expected": "Dead/unreferenced literal; no named code-reference pattern. Must return partial/no-discovery, never unused/not-operative/native-prefix proof." + }, + { + "id": "S06", + "code_offset": 512, + "code_hex": "488d3d790000004889fe31f6c3", + "manual_expected": "After XOR ESI,ESI RSI=0 at0x40010c, so proposed later use RSI=literal is false. Locator hit is insufficient." + }, + { + "id": "S07", + "mutation": "Make PT_LOAD p_filesz=0x180, p_memsz=0x300, literal remains at0x280", + "manual_expected": "Literal is no longer file-backed by the segment; reject mapping, never substitute zero-fill." + }, + { + "id": "S08", + "mutation": "Two PT_LOAD entries both contain literal file span but assign different VAs", + "manual_expected": "Ambiguous mapping STOP, not choose-first." + }, + { + "id": "S09", + "mutation": "Shift literal content or its expected span by one byte", + "manual_expected": "Exact literal mismatch STOP even if nearby bytes look similar." + }, + { + "id": "S10", + "mutation": "Nine distinct direct named reference candidates in executable file bytes", + "manual_expected": "Candidate cap8 => STOP_CANDIDATE_CAP with first8 retained/overflow true; no reroll or raise." + }, + { + "id": "S11", + "mutation": "Valid defined FUNC symbol/FDE points at logger-only reference or unreachable branch", + "manual_expected": "No source-role/D applicability acceptance. Metadata is a candidate boundary, not entry/reachability proof." + }, + { + "id": "S12", + "mutation": "Relevant RELA/REL/RELR alters literal/slot/instruction or IFUNC/unknown-width effect is unresolved", + "manual_expected": "Relocation-effect/entry-frame STOP; helper descriptor validation cannot claim semantic relocation audit." + }, + { + "id": "S13", + "mutation": "Value carried across unqualified private call/aliased store before nominated use", + "manual_expected": "Local lemma STOP unless exact effect is independently proved; no automatic callee-saved ABI assumption." + }, + { + "id": "S14", + "mutation": "ET_DYN fixture with symbolic load bias beta", + "manual_expected": "Keep L_beta=beta+L; no actual address from linkVA alone; absolute immediates/slots need actual relocation treatment." + } + ], + "builder_and_test_release": "Future separately reviewed stdlib fixture constructor/test harness must realize these literal fields/bytes independently, not call the extractor to choose expected results. No builder/test executed here. Parser synthetic controls must pass under a separate explicit source/test grant before actual B inspection. These finite controls do not qualify actual GCC semantics." +} diff --git a/research/h25-elf-literal-discovery-controls/protocol/OPERATION-v1.json b/research/h25-elf-literal-discovery-controls/protocol/OPERATION-v1.json new file mode 100644 index 0000000000..92db157f5c --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/protocol/OPERATION-v1.json @@ -0,0 +1,224 @@ +{ + "schema": "one-integrated-parent-only-literal-use-operation-v1", + "status": "SOURCE_DESIGN_ONLY_NO_EXECUTION_GRANT", + "clock": { + "start": "2026-11-02T23:26:41Z", + "fixed_stop": "2026-11-02T23:38:41Z", + "frozen_utc": "2026-11-02T23:37:24.988005+00:00" + }, + "inputs": [ + { + "path": "outputs/c05-v03-completion-20261102T055710Z/consultation/RESPONSE-v21.txt", + "bytes": 13716, + "sha256": "6cb8e8b0d7a995f557b89a8ad4fc8d204d5c81edc8dbea00d6eefa6695fb003c" + }, + { + "path": "outputs/c05-v03-completion-20261102T055710Z/consultation/PROMPT-v21.txt", + "bytes": 23307, + "sha256": "11b30ad323e2e08e0e62ad616a6e563d95e40b902df81075838d3ce502ac8ec8" + }, + { + "path": "outputs/c05-v03-completion-20261102T055710Z/consultation/COMPLETE-RECEIPT-v21.json", + "bytes": 537, + "sha256": "11457809b38267f8d7fcedb73a79fd8a0c1fdec25d10014279af535bf3b8eddd" + }, + { + "path": "outputs/c05-v03-completion-20261102T055710Z/consultation/RESPONSE-v21-LINKS.json", + "bytes": 758, + "sha256": "b39c7df41a35f6ce48b3d63f4b93b10c1bf12ce49e813f8801108a33367c9fcd" + }, + { + "path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/input/INPUT-v1.json", + "bytes": 18882, + "sha256": "edaa4c06aa5d72228161691614262ab546a46c7b30396c03c6c0ff8ecc348892" + }, + { + "path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/input/OBSERVATIONS-v1.json", + "bytes": 3379, + "sha256": "55cb5892864260e322192d40ca1cf5003d288438e938f0432e7bf0f11aee6eb3" + }, + { + "path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/input/FREEZE-v1.json", + "bytes": 1873, + "sha256": "7cdc1f01e230e9e657d0999ce926b83d2bc5ad24861fe798a988e96990ffc036" + }, + { + "path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/ROUND-PLAN-v1.json", + "bytes": 3248, + "sha256": "5b8136541234a49aff9cc2b17e6916377be47581ae86831b86dcdb3d78aedc73" + }, + { + "path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/TOOL-PINS-v1.json", + "bytes": 2251, + "sha256": "bcbaa66123875decdfe2781f249e8ec13bf2b023dd390eda1481e48b97a18830" + }, + { + "path": "outputs/c05-v03-completion-20261102T055710Z/qualification-pilot-v2-identity/IDENTITY-v1.json", + "bytes": 67127, + "sha256": "57ac35b03981ef988d7e3cf65ad39908a221c04724bc828fffa6b824eb98dbc9" + } + ], + "proof_object_refinement": "A live operand supplying configured default bytes to prefix construction before relocation/update_path; not historical macro spelling or a required surviving4697store, which later get_relative_prefix paths can overwrite.", + "layers": [ + "Authenticated file-image mapping/reference facts", + "Conditional operational operand lemma plus actual role/invocation bridge", + "Actual future loaded-image/context/interval admission, separate and not established" + ], + "existing_positive_metadata": { + "same_B_report": "qualification-pilot-v2-identity/IDENTITY-v1.json already reports ET_EXEC2/x86_64LE,14PHDR,entry4424656; literalLOADindex4(offset417792,vaddr4612096,filesz589243), nominalL4896530=0x4ab712; executableLOADindex3(offset12288,vaddr4206592,filesz405137); GNU_EH_FRAMEindex11(offset931668,vaddr5125972,filesz13124), RELA/JMPREL tags.", + "limit": "Planning/corroboration only. Recompute from same freshly authenticated B; no new milestone or actual ELF inspection occurred here." + }, + "source_helper": { + "path": "passive_image_candidates_v1.py", + "status": "AUTHORED_NOT_IMPORTED_COMPILED_OR_RUN", + "scope": "Stdlib whole-pin-before-ELF; bounded ELF64LE x86 type2/type3 header/load/section/dynamic relocation-descriptor checks; exact literal mapping and up-to8 raw named reference candidates. No subprocess/image-copy/target execute.", + "does_not_validate": "Instruction boundaries/semantic operands, full symbol/string/unwind tables, relocation effects, code-role/caller ABI/reachability, actual loader or frame. All such flags false. Unsupported/ambiguous metadata or cap is STOP; no-hit is only method-no-discovery.", + "support_limits": "PHDR<=128,SHDR<=512,dynamic<=4096B,relocation-descriptor table<=196608B, input<=2MiB/report<=65536B; extended table encodings unsupported/STOP. These are proposed method limits, not actual image guarantees or original cap changes." + }, + "integrated_steps": [ + { + "id": "I0", + "operation": "Parent authenticates exact source/command/tool/context/funding and exclusive one-pass lock/queue; actual execution authority absent. Predeclare token, fresh output paths, expected input/tool hashes and admission before launch. No existing controller/original imported.", + "stop": "Any missing/pending authority, concrete binding, funding, child domain or retention reservation." + }, + { + "id": "I1", + "operation": "New helper source uses one stable read-only descriptor, verifies1023032B/SHA1b998...39c26 before parsing, then uses this B buffer as authoritative. Recheck literal[702226,702244) and fresh ELF table structures/mappings; record link address and applicable beta.", + "stop": "Wrong hash/length/architecture/endian/type, bounds/overflow, ambiguous map, zero-fill or unsupported encoding. No numericVA adopted from old metadata without recomputation." + }, + { + "id": "I2", + "operation": "Enumerate actual PT_DYNAMIC REL/RELA/RELR/JMPREL descriptors and relocation sections from raw structures; parent independent audit uses real records/types/widths, including referenced slots, instruction operands, literal and needed call targets. Native readelf data may propose records, never validate them by label.", + "stop": "Relevant unsupported relocation/type/resolver/width, table disagreement, truncation or unqualified effect; absence of section-name byte pattern is no exclusion." + }, + { + "id": "I3", + "operation": "Run finite named locators on file-backed executable bytes and raw-address slots. Combined cap8 candidates, deterministic discovery order, preserve duplicates bykind/off and overflow. Scan RIPLEA, RIPMOV-from-slot, MOVimm64, MOVr32imm32 zeroext, MOVr64imm32 signext and rawLE64slot forms. Future unsupported push/moffs/other locators are NOT automatically added.", + "stop": "Ninth candidate =>STOP, or unsupported/ambiguous connection. No hit means this method found none, not unused literal or absence of constructed alternatives." + }, + { + "id": "I4", + "operation": "Use candidate metadata/function labels/unwind ranges to propose bounded anchors; use at most8 exact objdump windows (<=256B each, total<=2048B). Actual start/stopVAs computed from validated file-backed spans, cannot cross loads or substitute arbitraryzero-filled ranges. Discovery windows may start at non-boundaries and remain untrusted.", + "stop": "No independently justified instruction start/needed incoming edge, span/window budget, native output cap or nonzero. No whole image disassembly/decoder swap/automatic wider window." + }, + { + "id": "I5", + "operation": "Independent raw-byte local check recomputes candidate encodings/length/all prefixes/ModRM/SIB/width/sign-extension/PC arithmetic and successors from a justified entry or checked incoming-edge target. Track definitions through nominated consumption; prefer definition after last call. Function symbol/FDE is corroboration, not automatic reachability.", + "stop": "Interior immediate false boundary; branch omitted; overwrite/alias or unqualified relevant private-call effect; assumed SysV argument register/callee-saved conformance without checked mapping." + }, + { + "id": "I6", + "operation": "Bind the actual destination/operand to configured-prefix construction using checked actual caller/callee/data flow and retained source roles; show entry/caller applicability for both originalD2 intended continuations. Record explicit image/loader/no-writer frame up to use; no C07 endpoint=>memory preservation shortcut.", + "stop": "Logger/dead/unreachable/help-only path, unsatisfied original argv/env conditions, missing role or frame. Do not require all future prefix-transform/callee behavior just to establish its input." + }, + { + "id": "I7", + "operation": "Freeze within sharedretention/time, retain all raw/status/partial errors and exact actual costs. Three dispositions only: independently checked bounded conditional certificate; partial localisation; STOPthisroute/envelope.", + "stop": "No certificate/feasibility credit from authoring or pattern hits. No original C05/V03/field qualification; no alternative route launched automatically." + } + ], + "native_commands_proposed_only": { + "helper": [ + "/usr/bin/python3.12", + "-B", + "-S", + "" + ], + "readelf": [ + "/usr/bin/x86_64-linux-gnu-readelf", + "--wide", + "--file-header", + "--program-headers", + "--section-headers", + "--dynamic", + "--relocs", + "--symbols", + "--", + "/proc/self/fd/{bound_input_fd}" + ], + "objdump_window_template": [ + "/usr/bin/x86_64-linux-gnu-objdump", + "--disassemble-all", + "--wide", + "--show-raw-insn", + "--start-address={validated_start_hex}", + "--stop-address={validated_end_hex}", + "--", + "/proc/self/fd/{bound_input_fd}" + ], + "maximum_launches": "1helper+1readelf+up-to8objdump=10; no version/warmup/fallback/disassembler reroll. Tools serve discovery only. Any additional unwind native dump requires a separately reviewed counted operation, not an implicit extra command.", + "input_coherence": "Keep descriptor open and pass explicitly to decoder process. Descriptor/path is NOT immutable B; pre/post identity/hash alone does not exclude in-between mutation. Compare every retained decoder raw byte window to authoritative pinned B before using it. Any mismatch STOP; static lemma uses only B, future actual memory frame separate. No full image copy/memfd/temporary binary is authorized under this retention plan." + }, + "tool_binding": { + "readelf_expected_bytes": 789280, + "readelf_expected_sha256": "64c58e15274bbbb5153f31078e455e9e77ee5f51489e709bba5bb788ce9df2b0", + "objdump_expected_bytes": 390848, + "objdump_expected_sha256": "325c4205a4c658a9d1e1ebc469ae55975a2b897a3d3c1e79d9b158612d37f745", + "source": "TOOL-PINS-v1.json pinned above; parent freshly checks identity/context before run. No tool version command ran here. Tool bytes/labels or agreement between decoders is not semantic validation." + }, + "candidate_boundary_contract": { + "anchors": "Actual raw STT_FUNC entries or valid EH-frame/FDE ranges may nominate starts; ELFentry or independently checked incoming CALL/JMP edges must support boundaries/execution connection. No assumption .dynsym string proves table/label.", + "max_checked_instruction_bytes": 4096, + "max_instructions": 256, + "max_edges": 512, + "max_call_depth": 2, + "rule_source": "Exact primary Intel/ELF/ABI definitions must be identified for forms actually used; this plan inherits only Pro21 links, not an independently checked semantic-rule library. Stop on missing rule rather than guessing.", + "no_whole_program_requirement": "A short local after-last-call definition/use plus independently justified role/applicability/frame can suffice. These bounded caps are method decisions, not universal GCC impossibility thresholds." + }, + "independent_controls": "MANUAL-CONTROLS-v1.json,14 finite manually expected cases. Parser/build/control source and outcomes need separate review/grant; none run here.", + "resource_proposal": { + "execution_granted": false, + "whole_guarded_seconds": 60, + "allocation_seconds": { + "helper": 5, + "readelf": 5, + "eight_objdump_at3each": 24, + "setup_identity_capture": 10, + "raw_local_accounting_checks": 11, + "cleanup_tail": 5 + }, + "per_command_original_ceiling_seconds": 180, + "sampled_memory_bytes": 1073741824, + "certificate_bytes": 65536, + "aggregate_all_new_raw_reports_certificate_fallback_bytes": 1048576, + "combined_raw_ceiling_bytes": 786432, + "reserved_report_bytes": 65536, + "reserved_certificate_bytes": 65536, + "reserved_terminal_tail_bytes": 131072, + "maximum_perstream_bytes": 196608, + "specific_caps": { + "helper_stdout": 65536, + "helper_stderr": 16384, + "readelf_stdout": 196608, + "readelf_stderr": 32768, + "each_objdump_stdout": 16384, + "each_objdump_stderr": 4096 + }, + "simultaneous_accounting": "Shared byte counter counts all new raw/derived reports/certificate/status/fallback/duplicates; reserve256KiB before anyraw. Captures cap+1/aggregate overflow as failure with reserved terminal evidence, nevertruncate-to-success. No fullinput copy inretention; B read/reference separate1023032B input.", + "budgets_not_grants": "Source plan, synthetic controls, actual passive operation and independent review are separately accounted; no automatic60s allocation. Remaining initial600/outer2400 ledger and fixed round clocks must pass parentreview. Canonical94.550533479 and supplemental98.950533479 are distinct; no guessed physicalcosts." + }, + "certificate_schema": { + "bytes": "<=65536; references authenticated B spans instead of embedding B", + "required": [ + "Bsize/hash and literal/span/loadmapping/bias", + "complete applicable relocation effects on checked footprint/targets", + "anchored instruction spans/rawbytes/rules/register/memoryfacts/successors", + "definition-use derivation and consequential call/alias treatment", + "source-equivalent operation role and entry/applicability for bothD commands", + "precise entry-to-use image/loader/context/frame assumptions and separate actual admission limits", + "bounds/controls/source/provenance and independent check receipt" + ], + "acceptance": "Only if all required cells independently checked and fit. Missing role/boundary/applicability/frame means PARTIAL, not certificate feasible." + }, + "original_status": { + "full_C05": false, + "full_V03": false, + "score": 43.5, + "original_credit": 0, + "canonical_seconds": "94.550533479", + "supplemental_seconds": "98.950533479", + "physical_costs": "OPEN_NOT_ZERO", + "old_rounds_pilot": "closed unchanged" + }, + "actual_author_activity": "Only ownedsource/design/data files plus named retained byte/JSON reads/hashes. No helper import/compile/test/native/ELFdecode/decoder/target/query/network/acquisition/processinspection. No original modules imported." +} diff --git a/research/h25-elf-literal-discovery-controls/protocol/OPERATION-v1.md b/research/h25-elf-literal-discovery-controls/protocol/OPERATION-v1.md new file mode 100644 index 0000000000..95d07d4b01 --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/protocol/OPERATION-v1.md @@ -0,0 +1,17 @@ +# One parent-only literal-to-use feasibility pass — design/source only + +The proposed object is a **live operand supplying configured default-prefix bytes before transformation**, not historical macro spelling or a required surviving store at gcc.cc4697. The two get_relative_prefix paths can overwrite that initial source assignment. A static-image fact, conditional operational role/applicability lemma, and actual future image/context/frame admission remain separate. + +Pro21 full response/prompt and exact P0 input were read. P0 supplies one pinned1023032B driver and raw literal at[702226,702244); old same-hash identity metadata positively reports ET_EXEC and nominal literalVA0x4ab712. Fresh inspection must recompute mapping and relocation metadata from the newly authenticated complete B. No actual driver/ELF/decoder inspection ran in this authoring task. + +`passive_image_candidates_v1.py` is a tightly bounded discovery source, **not imported/compiled/tested/run**. It hashes the entire named image before interpretingELF, checks bounded load/section/dynamic-relocation descriptor structures, maps the exact literal and returns up to8 raw reference candidates. It considers RIP LEA, RIP MOV from raw-address slots, absolute imm64, zero-extended imm32 and sign-extended imm32 forms. Every result remains candidate-only; even interior immediate bytes may match. It does not validate relocation effects, instruction boundaries, full symbol/unwind semantics, role, reachability or runtime frame. Unsupported metadata/candidate overflow stops; no hit never proves unused data. + +One integrated parent queue is specified in OPERATION-v1.json: authenticate image/source/tools/context/funding; obtain raw mapping/relocation material and finite references; at most8 exact256B objdump windows; independently check raw encodings/edges/definitions to a nominated use; then bind actual role/applicability and frame or preserve precise partial/STOP. No whole disassembly, decoder swap, wider-span automatic retry or generic whole-program proof is required. A symbol/FDE/section label is discovery evidence only. Prefer a definition after the last intervening call; any relied-on private call effect or specialised argument mapping needs actual proof, not an ABI label. + +Proposed exact readelf/objdump argv and already pinned tool identities are in the JSON. Decoder results are DATA. The descriptor passed via/proc/self/fd is not immutableB; raw decoder windows must equal the authoritative pinned buffer before use. File flags/endpoints do not establish memory preservation through use. Unresolved relocations/resolvers, wrong role/path, false boundaries, overwritten values or absent invocation/frame remain decisive gaps. + +The strengthened provisional envelope is60s guarded overall, max10launches(1newhelper+1readelf+8windows), certificate64KiB and **all new raw/reports/cert/status/fallback combined1MiB**. Before raw reserve256KiB:64KiBreport+64KiBcertificate+128KiBterminaltail. Combinedraw<=768KiB, perstream<=196608B with lower percommand caps. The full input is read byreference, never copied into this retention budget; any copy would need counting/separate grant. These are proposals, not allocations. Actual remaining ledger/round limits, capture/cleanup, failures and review costs remain payable. + +MANUAL-CONTROLS-v1.json supplies14 independently specified mapping/ISA/false-boundary/role/overwrite/relocation/bias/bound expectations, including exact positive LEA/MOV bytes and an embedded false-LEA pattern inside MOV-immediate. No control constructor or test ran. Independent source/control review and a separate test grant are required before actual B execution of the new helper; parent alone owns later passive commands/grants. + +Three honest outcomes: independently accepted bounded conditional certificate; partial localisation with exact role/boundary/effect/frame gap; or STOP this route/envelope. Authoring, a literal, or decoder agreement earns no original credit or certificate-feasibility claim. FullC05/fullV03 false,43.5 unchanged, canonical94.550533479 distinct from supplemental98.950533479, physicalcostsOPEN_NOT_ZERO. Original perstream/wire/512source limits and all closed attempts remain unchanged. diff --git a/research/h25-elf-literal-discovery-controls/protocol/ORIGINAL-FREEZE-v1.json b/research/h25-elf-literal-discovery-controls/protocol/ORIGINAL-FREEZE-v1.json new file mode 100644 index 0000000000..1312b2cf97 --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/protocol/ORIGINAL-FREEZE-v1.json @@ -0,0 +1,45 @@ +{ + "schema": "h25-literal-use-operation-source-freeze-v1", + "frozen_utc": "2026-11-02T23:38:05.075304+00:00", + "fixed_source_stop_utc": "2026-11-02T23:38:41Z", + "status": "FROZEN_SOURCE_DESIGN_ONLY_STOP", + "files": [ + { + "path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/plan/PLAN.json", + "bytes": 618, + "sha256": "0fb895c375404d50af3b3217bb454cc9dd9f2df95f680582944c5891bdcfca6c" + }, + { + "path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/plan/OPERATION-v1.json", + "bytes": 14775, + "sha256": "d39ee50b70ec49ef81be61a3ccdb439fb5d22eb6eac5e2808c2b67ff25d352fd" + }, + { + "path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/plan/OPERATION-v1.md", + "bytes": 4229, + "sha256": "68255ebb4e3136441d132e2a012c7f86308ab90cf7ce6d56f00befffbd0f3df1" + }, + { + "path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/plan/MANUAL-CONTROLS-v1.json", + "bytes": 4663, + "sha256": "22eff45dfe65dcaf4f4c9ffd1963ee4a4bc07d5128de3960259215e0b8a9a446" + }, + { + "path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/plan/passive_image_candidates_v1.py", + "bytes": 11272, + "sha256": "c9044f4926cbcc880eb17b579b2cd6e323f1657bf6b6463138fc0b4310fe4b04" + } + ], + "source_import_compile_tests_executed": false, + "ELF_or_decoder_or_native_run": false, + "manual_control_cases": 14, + "helper_status": "unexecuted candidate-only discovery, not semantic validator", + "certificate_feasible": false, + "full_C05": false, + "full_V03": false, + "original_credit": 0, + "canonical_seconds": "94.550533479", + "supplemental_seconds": "98.950533479", + "physical_costs": "OPEN_NOT_ZERO", + "grants": "NONE; independent source/control/resource review and parent authorization required" +} diff --git a/research/h25-elf-literal-discovery-controls/protocol/SCOPE.md b/research/h25-elf-literal-discovery-controls/protocol/SCOPE.md new file mode 100644 index 0000000000..13681aad95 --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/protocol/SCOPE.md @@ -0,0 +1,7 @@ +These protocol, manual-case and round files are historical source-only data. +Their absolute local paths and proposed commands are provenance, not executable dependencies +or present grants. The actual-inspection round closed partial at 23:55:37 UTC on +2026-11-02, 0/4 complete; helper main, actual image, readelf and objdump never ran. +This package registers only the exact NEW synthetic harness. It contains no guard executable. +The rejected guard source remains outside this export; its exact pins, findings and final +HOLD are retained in reviews/guard-blocker/ and context/ROUND-CLOSE-v1.json. diff --git a/research/h25-elf-literal-discovery-controls/repair-v2/HELPER-FREEZE-v2.json b/research/h25-elf-literal-discovery-controls/repair-v2/HELPER-FREEZE-v2.json new file mode 100644 index 0000000000..333d6d42c2 --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/repair-v2/HELPER-FREEZE-v2.json @@ -0,0 +1,21 @@ +{ + "schema": "source-only-exact-two-fix-helper-v2", + "source_v1_bytes": 11272, + "source_v1_sha256": "c9044f4926cbcc880eb17b579b2cd6e323f1657bf6b6463138fc0b4310fe4b04", + "path": "outputs/c05-v03-completion-20261102T055710Z/driver-libexec-property-slice-v1/repair-v2/passive_image_candidates_v2.py", + "bytes": 11809, + "sha256": "56b44235f55685d61e5c8b8099d825b4ec5a53987910f506dffad309c12ffb53", + "interface": "inspect(data: bytes, literal_offset=LITERAL_OFFSET) -> dict; main() remains exact actual image only; no import/compile/run here", + "changes": [ + "unique_va requires uniquely reverse-mapped VA span returning exact original file offset; any competing memory overlap rejected including partial and zero-fill", + "entry PF_X is checked on the exact unique VA-covering file-backed LOAD; executable aliases at another VA cannot satisfy it" + ], + "actual_image_read": false, + "helper_imported": false, + "helper_compiled": false, + "helper_run": false, + "native_decode": false, + "full_C05": false, + "full_V03": false, + "certificate_feasible": false +} diff --git a/research/h25-elf-literal-discovery-controls/repair-v2/helper-v1-to-v2.diff b/research/h25-elf-literal-discovery-controls/repair-v2/helper-v1-to-v2.diff new file mode 100644 index 0000000000..a8a6ffa4d5 --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/repair-v2/helper-v1-to-v2.diff @@ -0,0 +1,31 @@ +--- plan/passive_image_candidates_v1.py ++++ repair-v2/passive_image_candidates_v2.py +@@ -68,14 +68,24 @@ + def unique_va(off, size): + rows = map_file(off, size) + need(len(rows) == 1, 'ambiguous/unmapped file span') +- return rows[0]['vaddr'] + off - rows[0]['offset'] ++ va = rows[0]['vaddr'] + off - rows[0]['offset'] ++ need(map_va(va, size) == off, 'file/virtual reverse mapping differs') ++ return va + def map_va(va, size): + rows = [x for x in loads if x['vaddr'] <= va and va+size <= x['vaddr']+x['filesz']] + need(len(rows) == 1, 'ambiguous/zero-fill/unmapped virtual span') +- return rows[0]['offset'] + va - rows[0]['vaddr'] ++ row = rows[0] ++ # Reject even partial competing memory mappings, including zero-fill. ++ # A distinct file span mapping over any requested VA is not unique. ++ need(not any(x is not row and max(va, x['vaddr']) < ++ min(va+size, x['vaddr']+x['memsz']) for x in loads), ++ 'overlapping virtual mapping') ++ return row['offset'] + va - row['vaddr'] + if entry: +- entry_off = map_va(entry,1) +- need(any(x['flags'] & 1 for x in map_file(entry_off,1)), 'entry outside executable file bytes') ++ map_va(entry, 1) ++ entry_rows = [x for x in loads if x['vaddr'] <= entry < x['vaddr']+x['filesz']] ++ need(len(entry_rows) == 1 and entry_rows[0]['flags'] & 1, ++ 'entry outside exact executable VA mapping') + span(literal_offset, len(LITERAL), len(data)) + need(data[literal_offset:literal_offset+len(LITERAL)] == LITERAL, 'literal bytes differ') + L = unique_va(literal_offset, len(LITERAL)) diff --git a/research/h25-elf-literal-discovery-controls/repair-v2/passive_image_candidates_v2.py b/research/h25-elf-literal-discovery-controls/repair-v2/passive_image_candidates_v2.py new file mode 100644 index 0000000000..2aba58de0f --- /dev/null +++ b/research/h25-elf-literal-discovery-controls/repair-v2/passive_image_candidates_v2.py @@ -0,0 +1,242 @@ +"""SOURCE ONLY: bounded image/reference candidate discovery, never a proof. + +No subprocess, disassembler, target execution, original-module import or image +copy. Main authenticates the entire nominated image before interpreting ELF. +Inspection returns candidate data ONLY; it validates no instruction boundary, +operand role, callee ABI, reachability, relocation effect or runtime frame. +""" +import hashlib +import json +import os +import stat +import struct +import sys + +EXPECTED_PATH = '/usr/bin/x86_64-linux-gnu-gcc-13' +EXPECTED_SIZE = 1023032 +EXPECTED_SHA = '1b99826121ae6682a634e5efe09bd3e3df58ce58e0b28f849114ab5b89139c26' +LITERAL = b'/usr/libexec/gcc/\0' +LITERAL_OFFSET = 702226 +MAX_INPUT = 2097152 +MAX_CANDIDATES = 8 + + +class Stop(ValueError): + pass + + +def need(value, reason): + if not value: + raise Stop(reason) + + +def sha(data): + return hashlib.sha256(data).hexdigest() + + +def span(offset, size, length): + need(type(offset) is int and type(size) is int and + 0 <= offset <= length and 0 <= size <= length - offset, + 'file span outside image') + + +def inspect(data, literal_offset=LITERAL_OFFSET): + """Pure synthetic-test interface. Main supplies only fully pinned actual B.""" + need(type(data) is bytes and 64 <= len(data) <= MAX_INPUT, 'image byte bound') + h = struct.unpack_from('<16sHHIQQQIHHHHHH', data, 0) + ident, typ, machine, version, entry, phoff, shoff, flags, ehsize, phent, phnum, shent, shnum, shstr = h + need(ident[:4] == b'\x7fELF' and ident[4:7] == b'\x02\x01\x01', 'unsupported ELF class/data/version') + need(machine == 62 and version == 1 and typ in (2, 3), 'unsupported machine/type') + need(ehsize == 64 and phent == 56 and 1 <= phnum <= 128 and phnum != 65535, + 'unsupported/extended program headers') + span(phoff, phent * phnum, len(data)) + loads, dynamic = [], [] + for index in range(phnum): + t, f, off, va, pa, filesz, memsz, align = struct.unpack_from('