Research: Complete direct MOVE

research/current-direct-source-move/CHECKPOINT.json

@@ -0,0 +1,14 @@
+{
+  "status": "verified source theorem/interface checkpoint; final manual witness pending",
+  "canonical_base": "7c49fe32c55de02c2c873655c804b16e4c3fef0a",
+  "registered_normal_and_optimized": "PASS_REGISTERED_RESEARCH_PACKAGE",
+  "manual_whole_claim": false,
+  "next": "Exactly one1100s whole attempt with independently validated saved boundaries; no subsequent whole retry.",
+  "source_sha256": {
+    "direct_sources.py": "ba2dd99a050b20206f64ee7e6a9ff0c72d3020498f65193ffc02883e229f9648",
+    "direct_move.py": "24c86d593b8406f2a2a4c0b0d2ceb38d4360f3823a911f02141d2d8231e0eb90",
+    "check_move.py": "7f84589ae4dc6beee1e462c7bbeb05acbcb87c46f21b1f0a6790916e9fcba0f0",
+    "check_protection.py": "8585da3fd8f610e00a4ea92cb17e3c91e424dcf089036503628fa115d0a660a1",
+    "verify.py": "5942956d7c47f34ea23698dbc89ca63bd9a370822fa59573ca7285a386d73f0f"
+  }
+}

research/current-direct-source-move/EVIDENCE-RESULT.json

@@ -0,0 +1,45 @@
+{
+  "final": {
+    "boundary_mutants_rejected": 3,
+    "cap_seconds": 1100,
+    "check_is_saved_evidence_not_numeric_reexecution": true,
+    "complete_raw_MOVE": true,
+    "returned_boundaries": [
+      {
+        "cumulative_run_actions": 2720857385,
+        "factor": "entrance",
+        "materialized_private_body": 2011066,
+        "stage_sha256": "e549613f592fa07d0c7809ea7669752be5f9692a878eef71d1427dad0a011531"
+      },
+      {
+        "cumulative_run_actions": 3037011660,
+        "factor": "positive_child",
+        "materialized_private_body": 3201228,
+        "stage_sha256": "c65e9d033956aaf3559c99241ef7e0817d0606d779f50e133b7e450039318df6"
+      },
+      {
+        "cumulative_run_actions": 5404558200,
+        "factor": "exit",
+        "materialized_private_body": 4311660,
+        "stage_sha256": "9c03ae87c7350a945443faece24deb92ecfe691cde5eec2695a09b6c4c8c1184"
+      },
+      {
+        "cumulative_run_actions": 5405221766,
+        "factor": "commit",
+        "materialized_private_body": 4311660,
+        "stage_sha256": "9c03ae87c7350a945443faece24deb92ecfe691cde5eec2695a09b6c4c8c1184"
+      }
+    ],
+    "total_physical_actions": 5405590413
+  },
+  "final_attempt_unrecorded": false,
+  "first": {
+    "byte_validated_boundaries": false,
+    "cap_seconds": 580,
+    "complete_MOVE": false,
+    "returned_factors": 2,
+    "status": "timeout"
+  },
+  "first_completion_mutant_rejected": true,
+  "no_new_kappa": true
+}

research/current-direct-source-move/FINAL-CHECKS.json

@@ -0,0 +1,118 @@
+{
+  "base_commit": "7c49fe32c55de02c2c873655c804b16e4c3fef0a",
+  "checks_after_commit": "Committed bytes/modes and archive/export checks recorded by lead or external handoff; not claimed before execution.",
+  "completed_manual": {
+    "cap_seconds": 1100,
+    "elapsed_seconds": 815.504,
+    "exit_code": 0,
+    "ordinary_runtime_entries": 0,
+    "physical_actions": 5405590413,
+    "returned_complete_byte_packets": 4
+  },
+  "conservative_visited_cells": 5405689724,
+  "earlier_manual": {
+    "byte_validated_boundaries": false,
+    "complete_MOVE": false,
+    "elapsed_seconds": 580.003,
+    "exit_code": 124
+  },
+  "evidence_files": [
+    {
+      "bytes": 1434,
+      "path": "evidence/ATTEMPT-580.json",
+      "sha256": "e71ad498dfdfa59a3bc4dd1ac6b98da051740d91712b89a58d02ee108f4405b5"
+    },
+    {
+      "bytes": 251,
+      "path": "evidence/attempt-580-execution.json",
+      "sha256": "a98af142ac3d944607a4f0c308c9216b7cadfb1a150eac8df7e23647d76bac36"
+    },
+    {
+      "bytes": 203,
+      "path": "evidence/attempt-580.log",
+      "sha256": "ce5ba422026cc106c1d63f7c8939db86e0480a5e520decca63c37d085ad82c77"
+    },
+    {
+      "bytes": 492,
+      "path": "evidence/final-1100/EXECUTION.json",
+      "sha256": "ff9e7d917fc5a8da19b782ff279b509a64ca4c30c96227684ae0c4fc256c07d9"
+    },
+    {
+      "bytes": 444,
+      "path": "evidence/final-1100/START.json",
+      "sha256": "b50066cbaeed0c249e3439930496a0b770a0958b1dcee69f8ae121e14b25ffca"
+    },
+    {
+      "bytes": 34533,
+      "path": "evidence/final-1100/commit-boundary.json",
+      "sha256": "d210d0a1d114886520826ecdc424a4ffcee0e7e0080cfc02f1a6bb59f9c59094"
+    },
+    {
+      "bytes": 151,
+      "path": "evidence/final-1100/commit-parent.bits",
+      "sha256": "4b9c34cd91a158c6bf61b53153c4eae6811be3c119f5020c9cf6fdbba0806732"
+    },
+    {
+      "bytes": 73728,
+      "path": "evidence/final-1100/commit-stage.bits",
+      "sha256": "9c03ae87c7350a945443faece24deb92ecfe691cde5eec2695a09b6c4c8c1184"
+    },
+    {
+      "bytes": 32208,
+      "path": "evidence/final-1100/entrance-boundary.json",
+      "sha256": "04926feefc6f856aa706a5fa5f0f12537aa16cced9c2229f21039c0edcc083fe"
+    },
+    {
+      "bytes": 151,
+      "path": "evidence/final-1100/entrance-parent.bits",
+      "sha256": "4b9c34cd91a158c6bf61b53153c4eae6811be3c119f5020c9cf6fdbba0806732"
+    },
+    {
+      "bytes": 73728,
+      "path": "evidence/final-1100/entrance-stage.bits",
+      "sha256": "e549613f592fa07d0c7809ea7669752be5f9692a878eef71d1427dad0a011531"
+    },
+    {
+      "bytes": 19670,
+      "path": "evidence/final-1100/execution.log",
+      "sha256": "1c690a9bb6104aed0675f748cbcabed8b5317f5fea3c4a800bc68fb6e10d0371"
+    },
+    {
+      "bytes": 34531,
+      "path": "evidence/final-1100/exit-boundary.json",
+      "sha256": "0229c4cdcd75f24d79a24e51203072ef178d7ca6493b8350575b2ed6dd5f3567"
+    },
+    {
+      "bytes": 151,
+      "path": "evidence/final-1100/exit-parent.bits",
+      "sha256": "4b9c34cd91a158c6bf61b53153c4eae6811be3c119f5020c9cf6fdbba0806732"
+    },
+    {
+      "bytes": 73728,
+      "path": "evidence/final-1100/exit-stage.bits",
+      "sha256": "9c03ae87c7350a945443faece24deb92ecfe691cde5eec2695a09b6c4c8c1184"
+    },
+    {
+      "bytes": 32617,
+      "path": "evidence/final-1100/positive_child-boundary.json",
+      "sha256": "c578bcb7308ec8b7f3dd77c78b485db6abfd49ca01307c26430da104ae43ddef"
+    },
+    {
+      "bytes": 151,
+      "path": "evidence/final-1100/positive_child-parent.bits",
+      "sha256": "4b9c34cd91a158c6bf61b53153c4eae6811be3c119f5020c9cf6fdbba0806732"
+    },
+    {
+      "bytes": 73728,
+      "path": "evidence/final-1100/positive_child-stage.bits",
+      "sha256": "c65e9d033956aaf3559c99241ef7e0817d0606d779f50e133b7e450039318df6"
+    }
+  ],
+  "executed_manual_source_commit": "fc2c8585d8eb20687aa124c64853b0aeecc4dbde",
+  "executed_manual_source_tree": "1d6ca5f0f23af2e9f85168fcd07052dcbdc65fa0",
+  "materialized_private_extent_sum": 4311660,
+  "no_new_kappa": true,
+  "registered_result": "PASS_REGISTERED_RESEARCH_PACKAGE research/current-direct-source-move outcome=completed",
+  "status": "all four registered normal/optimized gates passed; complete manual witness passed",
+  "verified_global_assumptions_removed": 0
+}