{
  "actual_worker_termination": "self-controlled subprocess os._exit(75)",
  "ai_model_used": false,
  "all_verifications_passed": true,
  "batch_size": 3,
  "cases": [
    {
      "computation_reduction_vs_no_checkpoint_percent": 0.0,
      "interrupted_after_batch": 1,
      "saved_item_computations": 0,
      "with_checkpoint": {
        "checkpoint_interval_batches": 2,
        "exact_item_results_match_reference": true,
        "expected_redo_items": 3,
        "final_digest": "0ad254cd41060ffac208a515f877b1d141e186f728fa48ce29d3d8124dfb7f5d",
        "final_digest_matches_reference": true,
        "interrupted_after_batch": 1,
        "process_runs": [
          {
            "elapsed_seconds_including_process_startup": 0.11022999999840977,
            "exit_code": 75,
            "phase": "initial",
            "stdout": "worker initial: restored_items=0\nworker initial: deliberate os._exit(75) after batch 1"
          },
          {
            "elapsed_seconds_including_process_startup": 0.287650999998732,
            "exit_code": 0,
            "phase": "restart",
            "stdout": "worker restart: restored_items=0\nworker restart: completed_items=36"
          }
        ],
        "redo_items": 3,
        "restored_items": 0,
        "total_counted_item_computations": 39,
        "unique_completed_items": 36,
        "verification_passed": true
      },
      "without_checkpoint": {
        "checkpoint_interval_batches": 0,
        "exact_item_results_match_reference": true,
        "expected_redo_items": 3,
        "final_digest": "0ad254cd41060ffac208a515f877b1d141e186f728fa48ce29d3d8124dfb7f5d",
        "final_digest_matches_reference": true,
        "interrupted_after_batch": 1,
        "process_runs": [
          {
            "elapsed_seconds_including_process_startup": 0.10484340000039083,
            "exit_code": 75,
            "phase": "initial",
            "stdout": "worker initial: restored_items=0\nworker initial: deliberate os._exit(75) after batch 1"
          },
          {
            "elapsed_seconds_including_process_startup": 0.2359911000021384,
            "exit_code": 0,
            "phase": "restart",
            "stdout": "worker restart: restored_items=0\nworker restart: completed_items=36"
          }
        ],
        "redo_items": 3,
        "restored_items": 0,
        "total_counted_item_computations": 39,
        "unique_completed_items": 36,
        "verification_passed": true
      }
    },
    {
      "computation_reduction_vs_no_checkpoint_percent": 25.0,
      "interrupted_after_batch": 4,
      "saved_item_computations": 12,
      "with_checkpoint": {
        "checkpoint_interval_batches": 2,
        "exact_item_results_match_reference": true,
        "expected_redo_items": 0,
        "final_digest": "0ad254cd41060ffac208a515f877b1d141e186f728fa48ce29d3d8124dfb7f5d",
        "final_digest_matches_reference": true,
        "interrupted_after_batch": 4,
        "process_runs": [
          {
            "elapsed_seconds_including_process_startup": 0.1521541999973124,
            "exit_code": 75,
            "phase": "initial",
            "stdout": "worker initial: restored_items=0\nworker initial: deliberate os._exit(75) after batch 4"
          },
          {
            "elapsed_seconds_including_process_startup": 0.201219200000196,
            "exit_code": 0,
            "phase": "restart",
            "stdout": "worker restart: restored_items=12\nworker restart: completed_items=36"
          }
        ],
        "redo_items": 0,
        "restored_items": 12,
        "total_counted_item_computations": 36,
        "unique_completed_items": 36,
        "verification_passed": true
      },
      "without_checkpoint": {
        "checkpoint_interval_batches": 0,
        "exact_item_results_match_reference": true,
        "expected_redo_items": 12,
        "final_digest": "0ad254cd41060ffac208a515f877b1d141e186f728fa48ce29d3d8124dfb7f5d",
        "final_digest_matches_reference": true,
        "interrupted_after_batch": 4,
        "process_runs": [
          {
            "elapsed_seconds_including_process_startup": 0.13981259999854956,
            "exit_code": 75,
            "phase": "initial",
            "stdout": "worker initial: restored_items=0\nworker initial: deliberate os._exit(75) after batch 4"
          },
          {
            "elapsed_seconds_including_process_startup": 0.2334618999993836,
            "exit_code": 0,
            "phase": "restart",
            "stdout": "worker restart: restored_items=0\nworker restart: completed_items=36"
          }
        ],
        "redo_items": 12,
        "restored_items": 0,
        "total_counted_item_computations": 48,
        "unique_completed_items": 36,
        "verification_passed": true
      }
    },
    {
      "computation_reduction_vs_no_checkpoint_percent": 23.529412,
      "interrupted_after_batch": 5,
      "saved_item_computations": 12,
      "with_checkpoint": {
        "checkpoint_interval_batches": 2,
        "exact_item_results_match_reference": true,
        "expected_redo_items": 3,
        "final_digest": "0ad254cd41060ffac208a515f877b1d141e186f728fa48ce29d3d8124dfb7f5d",
        "final_digest_matches_reference": true,
        "interrupted_after_batch": 5,
        "process_runs": [
          {
            "elapsed_seconds_including_process_startup": 0.1658233999987715,
            "exit_code": 75,
            "phase": "initial",
            "stdout": "worker initial: restored_items=0\nworker initial: deliberate os._exit(75) after batch 5"
          },
          {
            "elapsed_seconds_including_process_startup": 0.19860960000005434,
            "exit_code": 0,
            "phase": "restart",
            "stdout": "worker restart: restored_items=12\nworker restart: completed_items=36"
          }
        ],
        "redo_items": 3,
        "restored_items": 12,
        "total_counted_item_computations": 39,
        "unique_completed_items": 36,
        "verification_passed": true
      },
      "without_checkpoint": {
        "checkpoint_interval_batches": 0,
        "exact_item_results_match_reference": true,
        "expected_redo_items": 15,
        "final_digest": "0ad254cd41060ffac208a515f877b1d141e186f728fa48ce29d3d8124dfb7f5d",
        "final_digest_matches_reference": true,
        "interrupted_after_batch": 5,
        "process_runs": [
          {
            "elapsed_seconds_including_process_startup": 0.1566089000007196,
            "exit_code": 75,
            "phase": "initial",
            "stdout": "worker initial: restored_items=0\nworker initial: deliberate os._exit(75) after batch 5"
          },
          {
            "elapsed_seconds_including_process_startup": 0.22768279999945662,
            "exit_code": 0,
            "phase": "restart",
            "stdout": "worker restart: restored_items=0\nworker restart: completed_items=36"
          }
        ],
        "redo_items": 15,
        "restored_items": 0,
        "total_counted_item_computations": 51,
        "unique_completed_items": 36,
        "verification_passed": true
      }
    },
    {
      "computation_reduction_vs_no_checkpoint_percent": 43.478261,
      "interrupted_after_batch": 11,
      "saved_item_computations": 30,
      "with_checkpoint": {
        "checkpoint_interval_batches": 2,
        "exact_item_results_match_reference": true,
        "expected_redo_items": 3,
        "final_digest": "0ad254cd41060ffac208a515f877b1d141e186f728fa48ce29d3d8124dfb7f5d",
        "final_digest_matches_reference": true,
        "interrupted_after_batch": 11,
        "process_runs": [
          {
            "elapsed_seconds_including_process_startup": 0.23160799999823212,
            "exit_code": 75,
            "phase": "initial",
            "stdout": "worker initial: restored_items=0\nworker initial: deliberate os._exit(75) after batch 11"
          },
          {
            "elapsed_seconds_including_process_startup": 0.11903280000115046,
            "exit_code": 0,
            "phase": "restart",
            "stdout": "worker restart: restored_items=30\nworker restart: completed_items=36"
          }
        ],
        "redo_items": 3,
        "restored_items": 30,
        "total_counted_item_computations": 39,
        "unique_completed_items": 36,
        "verification_passed": true
      },
      "without_checkpoint": {
        "checkpoint_interval_batches": 0,
        "exact_item_results_match_reference": true,
        "expected_redo_items": 33,
        "final_digest": "0ad254cd41060ffac208a515f877b1d141e186f728fa48ce29d3d8124dfb7f5d",
        "final_digest_matches_reference": true,
        "interrupted_after_batch": 11,
        "process_runs": [
          {
            "elapsed_seconds_including_process_startup": 0.2150805000019318,
            "exit_code": 75,
            "phase": "initial",
            "stdout": "worker initial: restored_items=0\nworker initial: deliberate os._exit(75) after batch 11"
          },
          {
            "elapsed_seconds_including_process_startup": 0.24208939999880386,
            "exit_code": 0,
            "phase": "restart",
            "stdout": "worker restart: restored_items=0\nworker restart: completed_items=36"
          }
        ],
        "redo_items": 33,
        "restored_items": 0,
        "total_counted_item_computations": 69,
        "unique_completed_items": 36,
        "verification_passed": true
      }
    }
  ],
  "checkpoint_interval_batches": 2,
  "contains_user_files": false,
  "dataset_fingerprint": "094e468657d2a881e0b80ab39d517f82ccec1ed1b8f07db4b95e50e1b3aefe33",
  "hash_rounds_per_item": 3000,
  "items": 36,
  "limitations": [
    "Demonstrates application batch boundary recovery, not LLM KV cache recovery.",
    "No physical power failure, UPS transition, battery hardware or sodium chemistry was tested.",
    "Synthetic deterministic workload and chosen interruption positions; not user research.",
    "Atomic file replacement does not establish hardware crash durability under real power loss.",
    "Audit instrumentation is part of the demonstration and changes elapsed-time overhead.",
    "Saved item computations are not claimed to equal energy, time or money saved."
  ],
  "measurement_scope": "Actual software computations counted from durable audit logs; time includes instrumentation and I/O. No power or battery energy measurement.",
  "reference_final_digest": "0ad254cd41060ffac208a515f877b1d141e186f728fa48ce29d3d8124dfb7f5d",
  "schema": "xuhang.checkpoint-demo.v1",
  "workload": "synthetic text statistics and repeated SHA-256 hashing"
}