Route Promotion External Proof Template

real-selector-2-0-save

package captured-selector-2-0-savedata; artifact kind captured gameplay savedat file or savedat zip

accepted signal: 1274-byte save with 0x0002=0x02, 0x0003=0x00, selected pointer 0x00540714, and routeEvidenceProofFound == true

Submit By

• Place captured savedatN.dat or savedatN.zip under SAVEDATA/ or SaveData/
• or pass the file, directory, or zip with --search-root

refresh python3 tools/refresh_savedata_route_proof.py --search-root <file-or-dir-or-zip>

Required Checks

• size == 1274
• offset 0x0002 == 0x02
• offset 0x0003 == 0x00
• selectedPointerHex == 0x00540714
• routeEvidenceProofFound == true
• syntheticDiagnostic == false

Example Record

{
  "inputId": "real-selector-2-0-save",
  "path": "SAVEDATA/savedatN.dat",
  "capturedFromGameplay": true,
  "selector": "2:0",
  "selectedPointerHex": "0x00540714",
  "fieldMaps": [
    "map1_01a",
    "map2_02d"
  ],
  "syntheticDiagnostic": false,
  "notes": "Replace N/path with the captured save slot."
}

normal-route-runtime-trace

package runtime-trace-or-equivalent-selected-root-proof; artifact kind runtime trace, watchpoint log, or equivalent selected-root execution proof

accepted signal: 0x0059de30 becomes 0x00540714, or 0x00542b0c / 0x0040c675 is observed on a non-diagnostic route path

Submit By

• Attach a trace/log artifact that records the normal route path, not a constructed diagnostic
• Refresh selected-root and route-promotion reports after adding the artifact summary

• python3 tools/summarize_selected_root_execution_external_proof_packet.py
• python3 tools/summarize_route_promotion_external_proof_handoff.py
• python3 tools/summarize_completion_audit.py
• python3 tools/verify_web_assets.py

Required Checks

• normalRoutePath == true
• diagnosticRun == false
• selectedPointerGlobalVaHex == 0x0059de30
• selectedPointerValueHex == 0x00540714
• selectedRootExecutionRefFound == true or equivalent proof found
• trace reaches one accepted trace point on the route path

accepted trace points: 0x0059e348 mode1 source write watchpoint, 0x0040c675 opcode24 mode1 read, 0x00542b0c current blocker frontier reader, 0x005428c4 gate-time context base proof

Example Record

{
  "inputId": "normal-route-runtime-trace",
  "traceTool": "external debugger/watchpoint environment",
  "normalRoutePath": true,
  "diagnosticRun": false,
  "selectedPointerGlobalVaHex": "0x0059de30",
  "selectedPointerValueHex": "0x00540714",
  "selectedRootHex": "0x00540714",
  "observedTracePoints": [
    {
      "addressHex": "0x0059de30",
      "event": "selected pointer observed as 0x00540714"
    },
    {
      "addressHex": "0x00542b0c",
      "event": "frontier reader executed on route path"
    }
  ]
}

strict-source-hotspot

package strict-source-hotspot-review; artifact kind strict source coordinate, event row, tile hotspot review, or equivalent trigger proof

accepted signal: strictSourceHotspotProofFound == true and tileHotspotConfirmed == true for the same map1_01a -> map2_02d candidate

Submit By

• Attach the candidate side/source tile/target spawn and supporting review artifact
• Refresh strict-source hotspot and route-promotion reports after adding the review result

• python3 tools/summarize_strict_source_hotspot_external_review_packet.py
• python3 tools/summarize_route_promotion_gate.py
• python3 tools/summarize_completion_audit.py
• python3 tools/verify_web_assets.py

Required Checks

• sourceMap == map1_01a
• targetMap == map2_02d
• strictSourceHotspotProofFound == true
• tileHotspotConfirmed == true
• selector-only scene-list adjacency is not the only evidence

candidate sides: top, bottom, left, right

Example Record

{
  "inputId": "strict-source-hotspot",
  "sourceMap": "map1_01a",
  "targetMap": "map2_02d",
  "candidateSide": "top|bottom|left|right",
  "sourceTile": {
    "x": null,
    "y": null
  },
  "targetSpawn": {
    "x": null,
    "y": null
  },
  "strictSourceHotspotProofFound": true,
  "tileHotspotConfirmed": true,
  "supportingArtifact": "manual-review-or-runtime-trigger-log"
}