Observer Limits and Physical Costs in Native Constructions

research/filtered-native-kappa004/DOCUMENTATION-REVISION.json

@@ -0,0 +1,207 @@
+{
+  "status": "PASS_DOCUMENTATION_REFRAMING_INTEGRITY",
+  "scope": "Editorial title, report and publication metadata only. Executable code, pinned inputs and scientific evidence unchanged; no mathematical replay rerun.",
+  "prior_manifest_sha256": "daf10797c8148d7d7ac43cd04734d6414d5015125f029c7ced452af902577000",
+  "unchanged_executable_input_and_evidence_files": 38,
+  "unchanged_files": {
+    "acceptance_budget.py": {
+      "bytes": 8426,
+      "sha256": "f683d20c977c4557540074f83f4e1c334ed91956eb4fa3491f857e9f71bf65aa"
+    },
+    "evidence/acceptance-budget.json": {
+      "bytes": 9748,
+      "sha256": "ad1ebc679bbbe0665f4aafe20d7f88fc322b9587a7e9eda7dd672ed635eaf41f"
+    },
+    "evidence/core-replay.json": {
+      "bytes": 25514,
+      "sha256": "6e271e57bd74eef4460a05312211d9b177e56d7e4861780303a6d1e6d816324b"
+    },
+    "evidence/exact-pair-check-budget8.json": {
+      "bytes": 884,
+      "sha256": "2ece4ac1b5ca53fc7610d727637cbb7a452163fab9f331017373f8e18232509c"
+    },
+    "evidence/exact-pair-check.json": {
+      "bytes": 818,
+      "sha256": "a7883b008536e633aee5d5ba3b30ae03b056c5bbbbf838e666cd99afe696538c"
+    },
+    "evidence/feedback-scratch1.json": {
+      "bytes": 67637,
+      "sha256": "e6f980d12468dde232569a8546c1eecf1e88c290a8327af7ddba0e744c5ef120"
+    },
+    "evidence/feedback-scratch2-internal.json": {
+      "bytes": 87126,
+      "sha256": "c12130af733b96175b3a8da37d42b9d25aa0109c68e77ca3d4023472dfc1b77f"
+    },
+    "evidence/history-grades.json": {
+      "bytes": 14655,
+      "sha256": "d0b6fb128ea2c1860665299bc0d20538abb610b358dfa85efde59650582b0e87"
+    },
+    "evidence/independent-budget.json": {
+      "bytes": 1884,
+      "sha256": "666f6969e6d0a8520be5d8a39ffdc6d0be75d081fdeaa353216435b1af6870c5"
+    },
+    "evidence/integrity-controls.json": {
+      "bytes": 378,
+      "sha256": "498c10058ca080f17f1db7a79da2d267f89cc784c56a5e8fd4a1ba063c543aa7"
+    },
+    "evidence/observer-milp-mode0-budget8.json": {
+      "bytes": 873,
+      "sha256": "b8241cb09b37db76dbb32a43eedc2886cfe189e7f64504ad9b369c8b78528536"
+    },
+    "evidence/observer-milp-mode0-budget9.json": {
+      "bytes": 1033,
+      "sha256": "94b80d06f285b6a6c330d085dd512be2b6bbcdcc86bad327d28bc15c86dc8278"
+    },
+    "evidence/observer-milp-mode1-budget8.json": {
+      "bytes": 874,
+      "sha256": "d5cd6e6eb7741ed47a14d17c712f818ec9363c237950a3547b1aa7ea6c36f3b9"
+    },
+    "evidence/observer-milp-mode2-budget8.json": {
+      "bytes": 872,
+      "sha256": "3a7928a9c998d5704efc9d9eb99020a6c2d149600e8f2a537107274922bbbd0e"
+    },
+    "evidence/observer-milp-mode3-budget8.json": {
+      "bytes": 873,
+      "sha256": "4527587f27e64bdfb1dfe4d5730996cd4abdb0e2945448dc6cfcc462fe70f22d"
+    },
+    "evidence/observer-milp-mode4-budget8.json": {
+      "bytes": 873,
+      "sha256": "485819868faad14ed7c53d219c2e4ff6a7ade6e0bab05878348ed507a1b314a2"
+    },
+    "evidence/observer-milp-mode5-budget8.json": {
+      "bytes": 873,
+      "sha256": "e9da7ba7b3e25653d69445b24029578d55ed4577a1f957fabbd85a5fab49e343"
+    },
+    "evidence/observer-milp-mode6-budget8.json": {
+      "bytes": 873,
+      "sha256": "4d20ea2ea6c2ddf573b482e45cc9cf9b148bfe884e77af4c6ee5d53e1cb275f0"
+    },
+    "evidence/observer-milp-mode7-budget8.json": {
+      "bytes": 873,
+      "sha256": "788ba2d094ee5c1d28fb09b418a4dd8c78e00ac8ec0876f07247b5646a2967ba"
+    },
+    "evidence/observer-probe.json": {
+      "bytes": 60150,
+      "sha256": "86fa6cda08b42612f8e44b06afd19efb9c446ee707a66577f0f48939e6516f25"
+    },
+    "evidence/observer-subspaces.json.gz": {
+      "bytes": 81375,
+      "sha256": "9740e3a654f175a99014c94f574c55e22295b57659fb1bf306f9c16bfbbc7f44"
+    },
+    "evidence/paired-observer-probe.json": {
+      "bytes": 705,
+      "sha256": "491ede7c5c7ca5a555146e23a94da5982b4f3e3534bf049f30dd92330ee86e50"
+    },
+    "evidence/portable-predecessor-and-milp-replay.json": {
+      "bytes": 39284,
+      "sha256": "7a4c9f8510e5625e6b5ffb0298ea21d5469e916dd0ef93d961cff3c01213918c"
+    },
+    "evidence/predecessor-replay.log": {
+      "bytes": 2919,
+      "sha256": "d3397e770527cd407520a414695c2f0ce5211b65d58753ec7f3b46e6444657e6"
+    },
+    "evidence/repeated-head-probe.json": {
+      "bytes": 35641,
+      "sha256": "2a7d827ea5f93fa770625ab1825d16bbcef4b7b72a2e4577952ffdfc2cc90fd3"
+    },
+    "evidence/snapshot-probe.json": {
+      "bytes": 22590,
+      "sha256": "feec7ed78001a8d34fb7fc4d1cbd329a68acb5168f240babee06bb1ea238abd9"
+    },
+    "exact_pair_check.py": {
+      "bytes": 5039,
+      "sha256": "a3739c61a33a3765f5928ea26ca101dcbc70d7f5e1ae3271cda3f7d6e087e978"
+    },
+    "feedback_search.py": {
+      "bytes": 8275,
+      "sha256": "9fafd822cb081dc3d21cf9b44e5e95424a32ddc221b2825a68185a20fd1e47e0"
+    },
+    "history_grade_probe.py": {
+      "bytes": 5915,
+      "sha256": "347f2f04be861a907829ad0b1d2f6409b6a7aeb25ee3dadffdf4920e46586803"
+    },
+    "independent_budget_check.py": {
+      "bytes": 2508,
+      "sha256": "4255581da69e032964ae2d5e56a65401dbb4d1478d02626866ded3137139ff11"
+    },
+    "inputs/pr5270_p19_word.py": {
+      "bytes": 10715,
+      "sha256": "305acd8258d6615a0d55533d8b876561311741e8e674da7e56123cc61ab28f29"
+    },
+    "inputs/pr5270_physical_gauge_lift.py": {
+      "bytes": 13898,
+      "sha256": "8dc4cb463902a94cc1e6a9c86d780c96f115efb7afb66634637a3b57934c5156"
+    },
+    "observer_milp.py": {
+      "bytes": 5161,
+      "sha256": "47287928388c93a0a6cff8ed295947e92c8f59743082d29e7e51680ee464ab9d"
+    },
+    "observer_probe.py": {
+      "bytes": 8656,
+      "sha256": "fc9805dfcf4f35be84e6a5ab6d0a0934653aa9aeade2905b86aa26031ba943bb"
+    },
+    "paired_observer_probe.py": {
+      "bytes": 5012,
+      "sha256": "18db7e7b570c83c6f37a56c5e842bdf99d894730889799191564394671b3866a"
+    },
+    "repeated_head_probe.py": {
+      "bytes": 4608,
+      "sha256": "63abeb2b0beb128165d1e31283cbe6335a7cee260774b94e01ff4cb1fb40324b"
+    },
+    "snapshot_probe.py": {
+      "bytes": 9089,
+      "sha256": "cd5dd29f62698432f5c7762faf35581c65b4ed7d446e1a9ea98f8e3e1968d033"
+    },
+    "verify_continuation.py": {
+      "bytes": 7560,
+      "sha256": "bd705599bd555f6a82f2a13b205cb8e0ab878073a71c33a7d3d169d855162896"
+    }
+  },
+  "changed_existing_files": [
+    "README.md",
+    "REPORT.html",
+    "RESULTS.json",
+    "TASK.json",
+    "SOURCES.json"
+  ],
+  "title": "Observer Limits and Physical Costs in Native Constructions",
+  "related_pull_requests": [
+    {
+      "pr": 4470,
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/4470"
+    },
+    {
+      "pr": 4929,
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/4929"
+    },
+    {
+      "pr": 4933,
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/4933"
+    },
+    {
+      "pr": 4940,
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/4940"
+    },
+    {
+      "pr": 5036,
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/5036"
+    },
+    {
+      "pr": 5270,
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/5270"
+    },
+    {
+      "pr": 5283,
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/5283"
+    },
+    {
+      "pr": 4760,
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/4760"
+    },
+    {
+      "pr": 589,
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/589"
+    }
+  ],
+  "historical_scope": "This record describes the earlier editorial revision; the later replay-wrapper/archive packaging changes are recorded in SUBMISSION.json."
+}