Replay captured checkpoints with registered handlers and semantic action checks

.github/workflows/tests.yml

@@ -113,6 +113,17 @@ jobs:
         run: PYTHONPATH=src python -m unittest discover -v -s src -t src
       - name: Audit published map inventory and hashes
         run: PYTHONPATH=src python -m pokesim.maps.runtime_map_pack
+      - name: Replay the bound Parcel offline diagnostic
+        if: always() && matrix.python-version == '3.12'
+        run: >-
+          PYTHONPATH=src python -m pokesim.story.checkpoint_replay
+          data/story/parcel-pilot/cases.json --case parcel-all-events --summary
+          --out "${{ runner.temp }}/parcel-trace.json"
+      - uses: actions/upload-artifact@v4
+        if: always() && matrix.python-version == '3.12'
+        with:
+          name: parcel-python-model-trace
+          path: ${{ runner.temp }}/parcel-trace.json
       - name: Upload actual golden routes on failure
         if: failure()
         uses: actions/upload-artifact@v4

data/story/native/README.md

@@ -10,7 +10,10 @@ Artifact: `frlg-checkpoint-ubuntu-26.04-default/frlg-parcel.native.json`.
 Original artifact-file SHA256:
 `6c4a5ece80eba8c9aa2930ebf8a2992cecb02c92c07e236a5e3ea976e66b3b6e`.
 The importer checked the build revision and schema, then compacted the file;
-all parsed values and ordering are preserved. Formatting changes its byte hash.
+all parsed values are preserved. The authored copy orders checkpoint fields as
+`id`, `title`, `start`, `events`, and expands every event into its own block.
+Object-key order and formatting differ from the original artifact; array order
+and values remain unchanged. Formatting changes its byte hash.
 
 The three authored events are route to below the Mart door, step north through
 the door, and the clerk's Parcel scene. The scene declares the arrival pose;

data/story/native/frlg-parcel-00.05.json

@@ -1,5 +1,14 @@
 {
+  "format": "pokesim-native-checkpoint-export/1",
+  "game": "frlg",
   "checkpoint": {
+    "id": "00.05",
+    "title": "Route 1 to Viridian Mart: Oak's Parcel",
+    "start": {
+      "certainty": "tile",
+      "map": "PalletTown_ProfessorOaksLab",
+      "where": {"facing": "south", "kind": "tiles", "tiles": [[7, 8]]}
+    },
     "events": [
       {
         "id": "below_mart_door",
@@ -11,28 +20,23 @@
         },
         "why": "Route 1, running from wild battles"
       },
-      {"id": "mart_door", "kind": "step", "why": "the clerk's scene starts on entering"},
       {
+        "id": "mart_door",
+        "kind": "step",
+        "why": "the clerk's scene starts on entering"
+      },
+      {
+        "id": "parcel_from_clerk",
+        "kind": "scene",
         "declared_after": {
           "certainty": "tile",
           "map": "ViridianCity_Mart",
           "where": {"facing": "west", "kind": "tiles", "tiles": [[4, 3]]}
         },
-        "id": "parcel_from_clerk",
-        "kind": "scene",
         "why": "the clerk gives OAK'S PARCEL"
       }
-    ],
-    "id": "00.05",
-    "start": {
-      "certainty": "tile",
-      "map": "PalletTown_ProfessorOaksLab",
-      "where": {"facing": "south", "kind": "tiles", "tiles": [[7, 8]]}
-    },
-    "title": "Route 1 to Viridian Mart: Oak's Parcel"
+    ]
   },
-  "format": "pokesim-native-checkpoint-export/1",
-  "game": "frlg",
   "native_fields": {
     "menu": "before_pokedex",
     "supplies": {
@@ -61,7 +65,7 @@
     }
   },
   "source_revision": "b170b7d2103e887ded825c37fdbdc19fd654fca8",
-  "state_basis": "native-table-bookkeeping",
   "status": "native-table-export",
+  "state_basis": "native-table-bookkeeping",
   "unbound": ["runtime_configuration", "map_pins", "executor_bindings", "entry_evidence", "effective_save_retry_policy"]
 }

data/story/parcel-pilot/CASES.md

@@ -0,0 +1,201 @@
+# Replay scenarios
+
+Generated from [cases.json](cases.json); edit that file and regenerate this view.
+
+All observations and interruptions are synthetic. Actions are modeled requests,
+not controller timing or verified console behavior. Walk distances are requested, not confirmed displacement.
+An interrupted walk keeps its requested distance; uncertainty/progress is checked separately.
+Scene contents are supplied observations, not simulated button-by-button dialogue.
+A signal is consumed only if its event is reached; listing a receipt does not grant the item at entry.
+
+## parcel-all-events
+
+Walk from Oak’s Lab to Viridian, enter the Mart, and receive Oak’s Parcel.
+
+**Start:** PalletTown_ProfessorOaksLab [7, 8] facing south (elevation 3); screen: overworld.
+
+**Injected observations / interruptions:**
+
+- `parcel_from_clerk`: overworld scene result at ViridianCity_Mart [4, 3] facing west (elevation 3); received: 1 × oak-parcel.
+
+**Expected result:** `model_complete`.
+
+- Completed events: `below_mart_door`, `mart_door`, `parcel_from_clerk`.
+- Pose: ViridianCity_Mart [4, 3] facing west (elevation 3).
+- Received: 1 × oak-parcel.
+
+**Exact action checking:** enabled; the entire ordered list follows.
+
+| # | Event | Expected request |
+|---|---|---|
+| 1 | `below_mart_door` | Walk west for 1 tile on PalletTown_ProfessorOaksLab |
+| 2 | `below_mart_door` | Walk south for 4 tiles on PalletTown_ProfessorOaksLab |
+| 3 | `below_mart_door` | Take warp south: PalletTown_ProfessorOaksLab → PalletTown |
+| 4 | `below_mart_door` | Walk west for 4 tiles on PalletTown |
+| 5 | `below_mart_door` | Walk north for 14 tiles on PalletTown |
+| 6 | `below_mart_door` | Take edge north: PalletTown → Route1 |
+| 7 | `below_mart_door` | Walk north for 7 tiles on Route1 |
+| 8 | `below_mart_door` | Walk west for 4 tiles on Route1 |
+| 9 | `below_mart_door` | Walk north for 5 tiles on Route1 |
+| 10 | `below_mart_door` | Walk east for 4 tiles on Route1 |
+| 11 | `below_mart_door` | Walk north for 6 tiles on Route1 |
+| 12 | `below_mart_door` | Walk west for 2 tiles on Route1 |
+| 13 | `below_mart_door` | Walk north for 4 tiles on Route1 |
+| 14 | `below_mart_door` | Walk east for 6 tiles on Route1 |
+| 15 | `below_mart_door` | Walk north for 15 tiles on Route1 |
+| 16 | `below_mart_door` | Walk west for 6 tiles on Route1 |
+| 17 | `below_mart_door` | Walk north for 2 tiles on Route1 |
+| 18 | `below_mart_door` | Take edge north: Route1 → ViridianCity |
+| 19 | `below_mart_door` | Walk north for 19 tiles on ViridianCity |
+| 20 | `below_mart_door` | Walk east for 14 tiles on ViridianCity |
+| 21 | `below_mart_door` | Face north on ViridianCity |
+| 22 | `mart_door` | Take warp north: ViridianCity → ViridianCity_Mart |
+| 23 | `parcel_from_clerk` | Request scene via scripted-scene/1 |
+
+## entry-not-overworld
+
+A dialogue screen is supplied at entry: request no actions.
+
+**Start:** PalletTown_ProfessorOaksLab [7, 8] facing south (elevation 3); screen: dialogue.
+
+**Injected observations / interruptions:**
+
+- `parcel_from_clerk`: overworld scene result at ViridianCity_Mart [4, 3] facing west (elevation 3); received: 1 × oak-parcel.
+
+**Expected result:** `stopped` / entry_requirement_failed.
+
+- Completed events: none.
+- Pose: PalletTown_ProfessorOaksLab [7, 8] facing south (elevation 3).
+- Received: nothing.
+
+**Exact action checking:** enabled; the entire ordered list follows.
+
+No actions may be requested.
+
+## missing-scene-evidence
+
+Reach the Mart, but the clerk scene has no supplied observation.
+
+**Start:** PalletTown_ProfessorOaksLab [7, 8] facing south (elevation 3); screen: overworld.
+
+**Injected observations / interruptions:**
+
+- None.
+
+**Expected result:** `stopped` / scene_evidence_missing_or_mismatched.
+
+- Completed events: `below_mart_door`, `mart_door`.
+- Pose: unknown.
+- Received: nothing.
+
+**Exact action checking:** disabled; this case checks outcomes only.
+
+## missing-parcel-receipt
+
+The clerk scene reports the right pose but no Parcel receipt.
+
+**Start:** PalletTown_ProfessorOaksLab [7, 8] facing south (elevation 3); screen: overworld.
+
+**Injected observations / interruptions:**
+
+- `parcel_from_clerk`: overworld scene result at ViridianCity_Mart [4, 3] facing west (elevation 3); received: nothing.
+
+**Expected result:** `stopped` / scene_evidence_missing_or_mismatched.
+
+- Completed events: `below_mart_door`, `mart_door`.
+- Pose: unknown.
+- Received: nothing.
+
+**Exact action checking:** disabled; this case checks outcomes only.
+
+## wrong-scene-arrival
+
+The clerk scene reports a Parcel but the wrong facing.
+
+**Start:** PalletTown_ProfessorOaksLab [7, 8] facing south (elevation 3); screen: overworld.
+
+**Injected observations / interruptions:**
+
+- `parcel_from_clerk`: overworld scene result at ViridianCity_Mart [4, 3] facing east (elevation 3); received: 1 × oak-parcel.
+
+**Expected result:** `stopped` / scene_evidence_missing_or_mismatched.
+
+- Completed events: `below_mart_door`, `mart_door`.
+- Pose: unknown.
+- Received: nothing.
+
+**Exact action checking:** disabled; this case checks outcomes only.
+
+## unconfirmed-mart-transition
+
+Request the Mart entry step, but its transition cannot be confirmed.
+
+**Start:** PalletTown_ProfessorOaksLab [7, 8] facing south (elevation 3); screen: overworld.
+
+**Injected observations / interruptions:**
+
+- `parcel_from_clerk`: overworld scene result at ViridianCity_Mart [4, 3] facing west (elevation 3); received: 1 × oak-parcel.
+- `mart_door`: transition cannot be confirmed.
+
+**Expected result:** `stopped` / transition_unconfirmed.
+
+- Completed events: `below_mart_door`.
+- Pose: unknown.
+- Received: nothing.
+
+**Exact action checking:** enabled; the entire ordered list follows.
+
+| # | Event | Expected request |
+|---|---|---|
+| 1 | `below_mart_door` | Walk west for 1 tile on PalletTown_ProfessorOaksLab |
+| 2 | `below_mart_door` | Walk south for 4 tiles on PalletTown_ProfessorOaksLab |
+| 3 | `below_mart_door` | Take warp south: PalletTown_ProfessorOaksLab → PalletTown |
+| 4 | `below_mart_door` | Walk west for 4 tiles on PalletTown |
+| 5 | `below_mart_door` | Walk north for 14 tiles on PalletTown |
+| 6 | `below_mart_door` | Take edge north: PalletTown → Route1 |
+| 7 | `below_mart_door` | Walk north for 7 tiles on Route1 |
+| 8 | `below_mart_door` | Walk west for 4 tiles on Route1 |
+| 9 | `below_mart_door` | Walk north for 5 tiles on Route1 |
+| 10 | `below_mart_door` | Walk east for 4 tiles on Route1 |
+| 11 | `below_mart_door` | Walk north for 6 tiles on Route1 |
+| 12 | `below_mart_door` | Walk west for 2 tiles on Route1 |
+| 13 | `below_mart_door` | Walk north for 4 tiles on Route1 |
+| 14 | `below_mart_door` | Walk east for 6 tiles on Route1 |
+| 15 | `below_mart_door` | Walk north for 15 tiles on Route1 |
+| 16 | `below_mart_door` | Walk west for 6 tiles on Route1 |
+| 17 | `below_mart_door` | Walk north for 2 tiles on Route1 |
+| 18 | `below_mart_door` | Take edge north: Route1 → ViridianCity |
+| 19 | `below_mart_door` | Walk north for 19 tiles on ViridianCity |
+| 20 | `below_mart_door` | Walk east for 14 tiles on ViridianCity |
+| 21 | `below_mart_door` | Face north on ViridianCity |
+| 22 | `mart_door` | Take warp north: ViridianCity → ViridianCity_Mart |
+
+## interrupted-route1-grass
+
+A Route 1 encounter interrupts movement; retain both tiles and stop before the Mart.
+
+**Start:** PalletTown_ProfessorOaksLab [7, 8] facing south (elevation 3); screen: overworld.
+
+**Injected observations / interruptions:**
+
+- `parcel_from_clerk`: overworld scene result at ViridianCity_Mart [4, 3] facing west (elevation 3); received: 1 × oak-parcel.
+- `below_mart_door`: encounter interrupts a northward walk from Route1 [12, 39] facing north (elevation 3).
+
+**Expected result:** `stopped` / encounter_requires_recovery.
+
+- Completed events: none.
+- Pose: unknown.
+- Received: nothing.
+- Candidates: Route1 [12, 39] facing unknown (elevation 3); Route1 [12, 38] facing unknown (elevation 3).
+
+**Exact action checking:** enabled; the entire ordered list follows.
+
+| # | Event | Expected request |
+|---|---|---|
+| 1 | `below_mart_door` | Walk west for 1 tile on PalletTown_ProfessorOaksLab |
+| 2 | `below_mart_door` | Walk south for 4 tiles on PalletTown_ProfessorOaksLab |
+| 3 | `below_mart_door` | Take warp south: PalletTown_ProfessorOaksLab → PalletTown |
+| 4 | `below_mart_door` | Walk west for 4 tiles on PalletTown |
+| 5 | `below_mart_door` | Walk north for 14 tiles on PalletTown |
+| 6 | `below_mart_door` | Take edge north: PalletTown → Route1 |
+| 7 | `below_mart_door` | Walk north for 7 tiles on Route1 |