{
  "benchmark": "telarch-gap3-kibisis-multiproc-crashes",
  "suite": "Telarch Suite (TCI)",
  "host": "Linux x86_64, Intel Core i5-13500 (20 threads)",
  "timestamp_utc": "2026-10-19T20:47:17Z",
  "multi_process_contention_scenarios": [
    {
      "worker_processes": 2,
      "total_operations": 100,
      "successful_leases": 36,
      "conflicts_blocked": 64,
      "split_brain_violations": 0,
      "fencing_token_rollbacks": 0,
      "highest_fencing_token": 36,
      "duration_seconds": 0.157,
      "throughput_ops_per_sec": 636.8
    },
    {
      "worker_processes": 4,
      "total_operations": 200,
      "successful_leases": 35,
      "conflicts_blocked": 165,
      "split_brain_violations": 0,
      "fencing_token_rollbacks": 0,
      "highest_fencing_token": 35,
      "duration_seconds": 0.16,
      "throughput_ops_per_sec": 1252.7
    },
    {
      "worker_processes": 8,
      "total_operations": 400,
      "successful_leases": 78,
      "conflicts_blocked": 322,
      "split_brain_violations": 0,
      "fencing_token_rollbacks": 0,
      "highest_fencing_token": 78,
      "duration_seconds": 0.236,
      "throughput_ops_per_sec": 1691.6
    },
    {
      "worker_processes": 16,
      "total_operations": 400,
      "successful_leases": 76,
      "conflicts_blocked": 324,
      "split_brain_violations": 0,
      "fencing_token_rollbacks": 0,
      "highest_fencing_token": 76,
      "duration_seconds": 0.316,
      "throughput_ops_per_sec": 1265.5
    },
    {
      "worker_processes": 32,
      "total_operations": 800,
      "successful_leases": 147,
      "conflicts_blocked": 653,
      "split_brain_violations": 0,
      "fencing_token_rollbacks": 0,
      "highest_fencing_token": 147,
      "duration_seconds": 0.57,
      "throughput_ops_per_sec": 1404.2
    }
  ],
  "sigstop_fencing_verification": {
    "worker_1_initial_token": 1,
    "worker_2_preempting_token": 2,
    "worker_2_write_accepted": true,
    "worker_1_stale_write_rejected": true,
    "stale_writes_evading_sink": 0,
    "invariant_preserved": true
  },
  "sigkill_wal_recovery": {
    "crashed_worker_signal": "SIGKILL (kill -9)",
    "crashed_worker_exit_code": -9,
    "integrity_check": "ok",
    "wal_recovery_successful": true,
    "database_corruption_detected": false,
    "post_crash_lease_acquired": true,
    "post_crash_fencing_token": 2
  },
  "ttl_granularity_documentation": {
    "sqlite_coordinator_ttl_resolution": "seconds (floating point timestamps)",
    "in_memory_coordinator_ttl_resolution": "whole seconds (deadline rounded up)",
    "fencing_guarantee": "monotonic integer token increments on every re-acquisition"
  }
}