P08-02: 旧配置の安全な変更

2026-10-13 20:54:22 +09:00
parent 6c7c724410
commit e59206b9b2
6 changed files with 17880 additions and 17454 deletions
@@ -0,0 +1,101 @@
+{
+  "classification": "Root coordinator supplied repair input, not worker implementation or acceptance proof",
+  "measured_UIDs": {
+    "tests/fixtures/p08-02/mixed_world.gd.uid": {
+      "text": "uid://dg5n4yme6rk4p\n",
+      "raw_sha256": "d7549f933b74f5e807cd2d3b3adcdd083af4a3bd331614314ff7bfd7b0903f31"
+    },
+    "tests/fixtures/p08-02/reader.gd.uid": {
+      "text": "uid://741t47oxl3ct\n",
+      "raw_sha256": "3e68ce192d5770e3823df9699c5c99ebb618fe0a480b4d56913624941900b08a"
+    },
+    "tests/fixtures/p08-02/writer.gd.uid": {
+      "text": "uid://csw2850g6gjct\n",
+      "raw_sha256": "8f150654767de0c66329d7d9e84d306c4fa5a65c918e04fb520b626b39f68334"
+    }
+  },
+  "replacement_example": {
+    "classification": "Synthetic machine-readable complete index from retained Proof; diagnostic ONLY, never native/OS/regression acceptance evidence.",
+    "construction": "tools/test_p08_migration_evidence.py Proof creates all linked bytes and reachable whole-check positive. Embedded documents illustrate receipts/lifecycle/OS/regression/typed records. Digests belong to the disposable synthetic fixture, not delivered acceptance artifacts; reproduce with Proof in a worktree-local disposable directory.",
+    "complete_example_generator": {
+      "source": "tools/test_p08_migration_evidence.py",
+      "source_raw_sha256": "9924f4cb4f55b15caf9f9733d91f5095553abcf2861e4b335755531480b534a9",
+      "class": "Proof",
+      "constructor": "Proof(Path(fresh_temporary_directory))",
+      "project_root_binding": "module ROOT resolved from unchanged generator inside this exact candidate source tree",
+      "generated_full_index": "proof.index",
+      "generated_representative_documents": "{path: json.loads((proof.path / path).read_text()) for path in representative_artifact_document_paths}",
+      "native_or_os_runs": 0
+    },
+    "index_top_level_fields": [
+      "schema",
+      "commit",
+      "source_map",
+      "spec_sha256",
+      "marker_contract_sha256",
+      "inputs",
+      "cases",
+      "conditions",
+      "artifacts",
+      "acceptance",
+      "collection_error",
+      "phases",
+      "os_proof",
+      "regression"
+    ],
+    "representative_artifact_document_paths": [
+      "runs/off-positive-writer/off-positive-writer-receipt.json",
+      "runs/off-positive-reader/off-positive-reader-receipt.json",
+      "runs/off-positive-writer/off-positive-writer/started.json",
+      "runs/off-positive-writer/off-positive-writer/ended.json",
+      "runs/off-positive-writer/off-positive-writer/outer-owned-finally.json",
+      "os.json",
+      "os/preview/input.json",
+      "regression.json",
+      "regression/input.json",
+      "regression/ended.json",
+      "pairs/off-positive/identity.json",
+      "pairs/off-positive/writer-process.json",
+      "pairs/off-positive/before-members.json"
+    ],
+    "fixture_config_inputs": {
+      "fixture_sources": {
+        "tests/s1/test_p08_combined_migration.gd": "9284a8cfb478b4c8d69f6d8166eec6c41107e3902029289b3c0e9ba48c370855",
+        "tests/s1/test_p08_combined_migration.gd.uid": "8c3a70d0ce619b8cb98dc003eb6c53a31f167a686179a3ffc105f7cd4d856da5",
+        "tests/fixtures/p08-02/README.md": "bc76975e49e7761c2a3540a1e907ab2215ec315653a1d87df6919d1cebd779e0",
+        "tests/fixtures/p08-02/mixed_world.gd": "889bc895888b8c6ad50659a3b23a3ee45e9edf8dde9168f5560792c292070d26",
+        "tests/fixtures/p08-02/reader.gd": "a760d0e45979d747dbd1f8710033bdce13287b00eb879d947d8378ff920ed1be",
+        "tests/fixtures/p08-02/writer.gd": "1a918b5509773b4b07a27d47ee44583b0eb5288138f7bf896088a7913773c260",
+        "tools/run_p08_mixed_migration.py": "7e86737e6354a4734726ba8d3171ad5f58d6c0380aba5a0fa3c57879d580e579",
+        "tools/check_p08_migration_evidence.py": "8d697c8e9a606bcff6a0a8c6ec55e0e9c434ca9682b7ce6915b5bcb1ea4ff3fd",
+        "tools/test_p08_migration_evidence.py": "9924f4cb4f55b15caf9f9733d91f5095553abcf2861e4b335755531480b534a9"
+      },
+      "native_runner_input_shape": {
+        "protocol": "p08-mixed-v1",
+        "commit": "<actual final commit>",
+        "selected_source_map": "<exact source map>",
+        "engine": "<actual executable>",
+        "engine_sha256": "<raw SHA>",
+        "owner_pid": "<actual collector PID>",
+        "default_player": "<protected profile record>",
+        "diagnostic_seed": 42588
+      },
+      "case_environment": {
+        "P08_PAIR_ROOT": "<absolute guarded pair output>",
+        "P08_OPERATIONS": "off|on",
+        "P08_CASE": "positive|refusal"
+      },
+      "timeouts": "unchanged: collection 900s, phase maximum 180s",
+      "formal_validation": "Root copies actual evidence into allocated build directory; --verify-only reads BUILD_OUTPUT_DIR/p08-evidence/index.json"
+    },
+    "exact_reconstruction_verification": {
+      "entire_index_equal": true,
+      "entire_representative_documents_equal": true,
+      "index_canonical_sha256": "456c67833dc6d6d905a1c0543f7a3e6b1ead715b8e88a5fe816dbcb77072efc0",
+      "representative_canonical_sha256": "5727797a0ec11363d1463406be4f1979e279a9c77fff02c284ff7fff60bc32e6",
+      "canonical_encoding": "json.dumps(value,sort_keys=True,ensure_ascii=False).encode()"
+    },
+    "purpose": "Lossless complete synthetic example regeneration from retained code, not a real native/OS acceptance index. Explicit index_schema above remains authoritative. Root proved equality of all original fields before this proposal. Full prior implementation preserved in commit6c7c7244 and byte-verified gzip evidence."
+  },
+  "instructions": "Read this compact input first. Do not cat the entire 1MB old example into model context. Parse implementation.json with stdlib, replace example field, keep all other fields/schema/source logic. Add exact supplied UIDs; update outputs; after source map changes recompute current synthetic example digests with unchanged Proof class. Historical exact old reconstruction remains tied to6c. This input is within allowed scope, not an external path."
+}
@@ -0,0 +1 @@
+uid://dg5n4yme6rk4p
@@ -0,0 +1 @@
+uid://741t47oxl3ct
@@ -0,0 +1 @@
+uid://csw2850g6gjct