Skip to content

Independent verification: all eight K492 emitter controls (no new bound) #1162

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Mister-Meeseeks merged 1 commit into from
Oct 15, 2026
Merged

Independent verification: all eight K492 emitter controls (no new bound) #1162

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
108 changes: 108 additions & 0 deletions research/k492-emitter-independent-controls/INPUT-PINS.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,108 @@
{
"base_commit": "66849e1475c930fd7732b1a0067ffee7e1e95f60",
"files": {
"research/community-k492-audit/pr626/replay/mixed-global/PLAN.json": {
"bytes": 474252,
"sha256": "2956331d3ba73c564ac757c6667bba5dea7d19207582341d7c829d8401049c04"
},
"research/community-k492-audit/pr626/replay/mixed-global/base/providers/ck/CANONICAL-WORD.json.gz": {
"bytes": 92137,
"payload_sha256": "9bbc75dede090cfd7a0a0252424ea9d9f6211e2350d2a801d4e4f2f0784167c7",
"sha256": "ae3018c0646be06f47d345bb8baf0e6ea9220096a949fa30a8f7656aa4ad6f45"
},
"research/community-k492-audit/pr626/replay/mixed-global/base/providers/ck/CLIFFORD-RECIPES.json": {
"bytes": 1044060,
"sha256": "dfb64e71409a395f9375d9cc2258365d462bab2d28b707dcfba38994dd5aa0b9"
},
"research/community-k492-audit/pr626/replay/mixed-global/base/providers/ck/CLIFFORD-REVIEW.json": {
"bytes": 655,
"sha256": "35591083acb26fad551358b9fd1efc3a3a825fff02b1b51403bc2b8934b09faf"
},
"research/community-k492-audit/pr626/replay/mixed-global/base/providers/ck/INDEPENDENT-LOCAL-REPLAY.json": {
"bytes": 2309,
"sha256": "ecefb9e661301d8081522be68bbe6640e175c011eb1177f643383d193c6fb2f0"
},
"research/community-k492-audit/pr626/replay/mixed-global/base/providers/ck/LOCAL-CHECKS.json": {
"bytes": 920,
"sha256": "059c4e59142bdf5c19dc7c0afebcddfec28e6e60cbc7299b8bdcc624afbc0cbe"
},
"research/community-k492-audit/pr626/replay/mixed-global/base/providers/ck/LOCAL-PROGRAMS.json.gz": {
"bytes": 227308,
"payload_sha256": "854f17274092263dc25e60367f4cd0d29f60a8446becd17cc1883ebed7a97900",
"sha256": "b5da54e049cc127a1065190a647cb71cac0c6ba03d9ccdb71719f4fcbfa886f3"
},
"research/community-k492-audit/pr626/replay/mixed-global/base/providers/ck/RESIDUAL-ADAPTERS.json": {
"bytes": 21482,
"sha256": "4697965c1b466fd3eaf37fa1fbbd45bb06c78cb0fe0b3a253744efb4013581b9"
},
"research/community-k492-audit/pr626/replay/mixed-global/base/providers/jp8/CANONICAL-WORD.json.gz": {
"bytes": 94957,
"payload_sha256": "fb4a8d14ed2a8048698bea6ae16f86163a1aa6c80f2eb622222eee5cdbce9b3b",
"sha256": "7a3fec1022d3b2b1bd986302a327735ec521d17b043f4a5acb96253a56f6193c"
},
"research/community-k492-audit/pr626/replay/mixed-global/base/providers/jp8/CLIFFORD-RECIPES.json": {
"bytes": 1015814,
"sha256": "2799d73dd08c4435e5900ff2ae6ebc7f34535c153e173ab88d66d1f0b5e6dcde"
},
"research/community-k492-audit/pr626/replay/mixed-global/base/providers/jp8/CLIFFORD-REVIEW.json": {
"bytes": 655,
"sha256": "c134b7ce364791051d755c4d91e1c594215302b3ebffb807fdb41aff325f97a1"
},
"research/community-k492-audit/pr626/replay/mixed-global/base/providers/jp8/INDEPENDENT-LOCAL-REPLAY.json": {
"bytes": 2370,
"sha256": "cb2f99ed351925dd35434b73de16f4085884fe81a35a69e1c7ce2d5e96cb975b"
},
"research/community-k492-audit/pr626/replay/mixed-global/base/providers/jp8/LOCAL-CHECKS.json": {
"bytes": 920,
"sha256": "0fad744aa863eedb288a9f87b1c23225a36b316b6275cc3b1bcedd42afe28a67"
},
"research/community-k492-audit/pr626/replay/mixed-global/base/providers/jp8/LOCAL-PROGRAMS.json.gz": {
"bytes": 233037,
"payload_sha256": "efe45ce7fb025a6f53cc9eb54e951ac2211a5ed927e689a049e4f68ca680654b",
"sha256": "fa0c196f65bd6ec1424fdf7d789f6972075c7bb02bf43f573ea85eafab31be98"
},
"research/community-k492-audit/pr626/replay/mixed-global/base/providers/jp8/RESIDUAL-ADAPTERS.json": {
"bytes": 15417,
"sha256": "bdb44cf523636f307ebb3617da548f2e3a8af74321eabe24aef40186e280a917"
},
"research/community-k492-audit/pr626/replay/mixed-global/base/split-centres/CANONICAL-WORD.json.gz": {
"bytes": 70587,
"payload_sha256": "62684fd4d4ffabf3b2f2ce4bc8ccdad07bcc7f2685aec86761cfebe1c39e7a0c",
"sha256": "66d3c3c70983224650643a0a05a21ac6c6959f84d0f4528650601016f5a76844"
},
"research/community-k492-audit/pr626/replay/mixed-global/base/work/complex-nine-native/DATA-PHASES.json": {
"bytes": 814141,
"sha256": "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa"
},
"research/community-k492-audit/pr626/replay/mixed-global/hosted/HOSTED.json": {
"bytes": 2904,
"sha256": "29073870df4e5e2b15fa51624599a1a30a5accb93e6d4557a77b86cfbfb8cbbc"
},
"research/complex-k492-owner-repair/PROOF-NOTE-R.md": {
"bytes": 9555,
"sha256": "22312bb347bdf159e6a01a45c47675e6170d33b258e2fd9ed52aee88fb92c0ed"
},
"research/complex-k492-owner-repair/code/emit_allcold.py": {
"bytes": 13090,
"sha256": "fe26f10fe5d30ed407a37540a45ef94f44576dd241d09e19aef5db1efb072746"
},
"research/complex-k492-owner-repair/code/witness.py": {
"bytes": 2102,
"sha256": "00789c911a8f32cfe9d52207c7aa78305dc3fce4a8b6305ba402b7e74117103d"
},
"research/complex-k492-owner-repair/data/OWNERS.json.gz": {
"bytes": 415526,
"payload_sha256": "cacbaa6b27e0d612b77f2d6fed40eb99a6245f690eb771ffbf76655484866201",
"sha256": "251e82cec1f40e6c1289703667f403104b957f1254dc4f6baa6df9a3d0c751de"
},
"research/complex-k492-owner-repair/data/SPEC.json": {
"bytes": 47328,
"sha256": "2a2577ac526535826fed9d5f7f83f6e2e0ec058a146c64f7286720b995fa2323"
},
"research/structural-gain/frontier-composition/global-replay/base/split-centres/GLOBAL-TEMPLATE.json.gz": {
"bytes": 398090,
"payload_sha256": "7db047a427a7979d69e163c78a1e32bd445628fb86723e131a3138361355a9c3",
"sha256": "ab8448de2036a23d9b55a196a8846512dc24fdf09855c1e0f0caa5b7a6965f7b"
}
}
}
72 changes: 72 additions & 0 deletions research/k492-emitter-independent-controls/MANIFEST.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,72 @@
{
"algorithm": "sha256",
"files": {
"INPUT-PINS.json": "22292db50241f5a8865dd20a7b67903635a93d0460a55f4998e633833d627dea",
"OVERLAP.md": "57b6d02bda5a975709eeb05f013d2dfcfd6b3534d540c772bfd1612413f079f4",
"PUBLICATION.md": "68b7279a8fc124f54253220a0580790efcb25c334d055b1cbe275f1fa2b2da33",
"README.md": "4943c75fd3ce8f7e385795f264ba27e11c978ec6e1af1ec5eb37dc8295b9343b",
"REVIEW.md": "b36e60b09f0441bea764b4623bbb4ef8ef426e8cde93697c57b1a96088f7d774",
"evidence/BASELINE.json": "648cf66e67fe6bb92676ae2d1aa780afe62858336478a034e54e1587879f4c1c",
"evidence/ENVIRONMENT.json": "f295be1c3457a2fe4730a5cb664ae7327a14c47a0e8fafb56ac48614124858a0",
"evidence/INPUT-PINS.json": "22292db50241f5a8865dd20a7b67903635a93d0460a55f4998e633833d627dea",
"evidence/PUBLICATION-NORMALIZATION.json": "88975cbb024076910ec5790f5c15d854ffafd4b65bd94aaa9c0f9da568368efd",
"evidence/PUBLICATION-OVERLAP.json": "ae77eee0e280f37fcaf07899d8e749242e40e6b830e293cced36d04633021d9b",
"evidence/RESULT.json": "2ece1e706252c810df6e8a73d09dd66ae6c9b2b940c83049a7c7767aec6856e9",
"evidence/SEMANTIC-CONTROLS.json": "963ce82ddb5baa4c1c8555ceab60a2bccbbbc11bd72c553e3b15520b45062337",
"evidence/SOURCE-REVERTS.json": "89af5468f28d22f99d4f10b30c95864e546b332c8b4d2e66225d714602c2dadf",
"evidence/astra-receipt-review.json": "3cf4f94e784d1288018649c4d9f1d79e7bba52907e1bf3e732b55641d21b90b0",
"evidence/astra-run-command.json": "6a05dba263a2c45d8d65a91d8e9be9d4f1ae139b3612a1a7608cb6015eb18eae",
"evidence/astra-run-stdout.txt": "b00f16b4c6384da6bcb26fa07a5b8c35c7ba58cba793d3098c3f3b6e7c969d8a",
"evidence/baseline-preservation.json": "98ad0da20ba01f5e2220d3755846c9320f9ed0e42300cd67f80c68fe332b6a81",
"evidence/baseline/COMMAND.json": "b29c0936243036305b94cf28db4c777ff0dba22455a935a2dc00a0ec94be8f7c",
"evidence/baseline/emitted/ACTUAL-SIGMAS.json.gz": "422568f2ccb849b36a1ae5440edfdee6c53b0a1501e77132ad352e6296fa4b5d",
"evidence/baseline/emitted/GLOBAL-TEMPLATE.json.gz": "e9b0432d25980181c2168869baaa469e8849d16aa0b9af6c3c6ea28d04fc5a13",
"evidence/baseline/emitted/HOSTED.json": "29073870df4e5e2b15fa51624599a1a30a5accb93e6d4557a77b86cfbfb8cbbc",
"evidence/baseline/stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"evidence/baseline/stdout.txt": "29073870df4e5e2b15fa51624599a1a30a5accb93e6d4557a77b86cfbfb8cbbc",
"evidence/emit.R_from_providers/COMMAND.json": "6ef62d77423ff46b3c723ce43e70f7002d1fa21786441afe49d0a2a3d624c620",
"evidence/emit.R_from_providers/source.patch": "7e3ab5b75e822f0fc682175797b29e9501d01bd81851b2cc6a0596686c926196",
"evidence/emit.R_from_providers/stderr.txt": "da6603310b6fb689386abcf980e1bee487947deaed52811adb92a5ee3b0919ae",
"evidence/emit.R_from_providers/stdout.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"evidence/emit.all_helpers_owned/COMMAND.json": "334c7c891dbfdef09072d116aa276aaa3352ac7793dcbd2e76914fc622f47b8e",
"evidence/emit.all_helpers_owned/source.patch": "a7e77a0870253a572cbdfaa98b91659806542e19e6b7f7ba63b11786c5e4deb3",
"evidence/emit.all_helpers_owned/stderr.txt": "0044b1a6d4f16f2c524815647ca95a6316f9ffc9edac7deb9dc8ec2d75263af5",
"evidence/emit.all_helpers_owned/stdout.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"evidence/emit.parent_R0/COMMAND.json": "ff9c68bce1850a4c7903a4a9484c557ed63fc8e8eb09e47e0d793d382af1d0af",
"evidence/emit.parent_R0/source.patch": "857a3cb1b7b41f5b20559ccdc87eef6871f9ea04c6bcdaed505274f15030199a",
"evidence/emit.parent_R0/stderr.txt": "2e55da1811367dd65a0c4820ddc413355ef329daa88241e62b9b2a1a9492415b",
"evidence/emit.parent_R0/stdout.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"evidence/emit.physical/COMMAND.json": "e3dcdd9f7873f1f3a2caeadbeab90daf0c5bb0bc93721307e6546bfec7a5dede",
"evidence/emit.physical/emitted/ACTUAL-SIGMAS.json.gz": "422568f2ccb849b36a1ae5440edfdee6c53b0a1501e77132ad352e6296fa4b5d",
"evidence/emit.physical/emitted/GLOBAL-TEMPLATE.json.gz": "0e44480276f3c5f2fefaf606c86cc27065503055e6fa4075cc08df3acabf1f7c",
"evidence/emit.physical/emitted/HOSTED.json": "fdbf2adc8e75ef0b867fceef7ce67f341dc90d9ff078ea7c1c9fb514fe4dafac",
"evidence/emit.physical/source.patch": "5aee9de2b1eca3e094e991fd4db471151b96216fa2f999889d47fedcba5110a9",
"evidence/emit.physical/stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"evidence/emit.physical/stdout.txt": "fdbf2adc8e75ef0b867fceef7ce67f341dc90d9ff078ea7c1c9fb514fe4dafac",
"evidence/emit.reserved_tableau/COMMAND.json": "193ec9005755acdcf369aeb00324a376adf5ae4e56cdf5e5d62c69921abef351",
"evidence/emit.reserved_tableau/emitted/ACTUAL-SIGMAS.json.gz": "422568f2ccb849b36a1ae5440edfdee6c53b0a1501e77132ad352e6296fa4b5d",
"evidence/emit.reserved_tableau/emitted/GLOBAL-TEMPLATE.json.gz": "8353644263c4143ccf177994ad9cb682991ac0285eebe51964e058cd8b035977",
"evidence/emit.reserved_tableau/emitted/HOSTED.json": "7c7c6b20c48e6f301ad48666443c7f71728285552a63fc146d8c300165258b09",
"evidence/emit.reserved_tableau/source.patch": "301c6ce54d528fd7d5cb764cc136c6c7b5eb46c7453ece8d3d0be6e0e78f98d8",
"evidence/emit.reserved_tableau/stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"evidence/emit.reserved_tableau/stdout.txt": "7c7c6b20c48e6f301ad48666443c7f71728285552a63fc146d8c300165258b09",
"evidence/emit.roles_72R/COMMAND.json": "7822e3b9916b38329eba7b6389c4fa00a075ee867a631cfe8f3b24e5a93125c4",
"evidence/emit.roles_72R/source.patch": "5d2116d58e86c99d55ae572fd80160c664ae47d3831a52b5b5fa1678d253e904",
"evidence/emit.roles_72R/stderr.txt": "cc2b024bae007f75c2a0c8d542166f8f615297a04281485d76899d14fb8821cc",
"evidence/emit.roles_72R/stdout.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"evidence/emit.version_label/COMMAND.json": "00ab2a1976da007d0554f36cf998bd04a2d6ea4b259f249b89f0a638b21f2506",
"evidence/emit.version_label/emitted/ACTUAL-SIGMAS.json.gz": "422568f2ccb849b36a1ae5440edfdee6c53b0a1501e77132ad352e6296fa4b5d",
"evidence/emit.version_label/emitted/GLOBAL-TEMPLATE.json.gz": "6c51fc435fb42e1216c9a41c70ee3f70c1bb168b47b44df8bf13bd4ce2bb9a61",
"evidence/emit.version_label/emitted/HOSTED.json": "62a2e8722535f3f34acda6843516b1601272832be17d2917577fb9d1491e06c7",
"evidence/emit.version_label/source.patch": "6f6cb22a3e7f0c3e451eda198ce23d4223abf360bf911068838bbae11510d1cf",
"evidence/emit.version_label/stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"evidence/emit.version_label/stdout.txt": "62a2e8722535f3f34acda6843516b1601272832be17d2917577fb9d1491e06c7",
"evidence/emit.widths_range/COMMAND.json": "dab77d88e1d0786660dfa754a272e615b0945bafefe27982f414d7250a900af3",
"evidence/emit.widths_range/source.patch": "1d7d20404d5e9e36f8fc3b7e448fa737e5bd75c334ea074b291e8e47337bd3ff",
"evidence/emit.widths_range/stderr.txt": "f1c096f9dd9b4732a2ec254b351e5fc74e27eac881cb8466875979bbbe2d9476",
"evidence/emit.widths_range/stdout.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"evidence/overlap-summary.json": "f740780fbfec7af0a512af96f3a7b443074219ae2955c727a434f6456c04701f",
"independent.py": "755f2c39697d33f2f2c431605dcdc59c7753e4cfae497d40482ab40b7d0f9016",
"run.py": "fbb04bc8c097b82db4a09af69ae62c1b7ab07f522a9726ff573ea64e485a9aa8"
}
}
Loading