{
  "commands": 15,
  "all_expected_exit_codes": true,
  "formal_model_sha256_before": "4e715acea97f6651512894cb255b2db67a7c3bfc7c0b78fc870882bb9677a2e4",
  "formal_model_sha256_after": "4e715acea97f6651512894cb255b2db67a7c3bfc7c0b78fc870882bb9677a2e4",
  "run_directory": "artifacts/runs/illustrated-demo",
  "note": "短跑用于演示启动、保存与恢复；正式模型仍为原先完成的 18000 步版本。"
}