{
  "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:45:40Z",
  "multi_process_contention_scenarios": [
    {
      "worker_processes": 2,
      "total_operations": 100,
      "successful_leases": 34,
      "conflicts_blocked": 66,
      "split_brain_violations": 0,
      "fencing_token_rollbacks": 0,
      "highest_fencing_token": 34,
      "duration_seconds": 0.154,
      "throughput_ops_per_sec": 651.0
    },
    {
      "worker_processes": 4,
      "total_operations": 200,
      "successful_leases": 31,
      "conflicts_blocked": 169,
      "split_brain_violations": 0,
      "fencing_token_rollbacks": 0,
      "highest_fencing_token": 31,
      "duration_seconds": 0.149,
      "throughput_ops_per_sec": 1340.1
    },
    {
      "worker_processes": 8,
      "total_operations": 400,
      "successful_leases": 76,
      "conflicts_blocked": 324,
      "split_brain_violations": 0,
      "fencing_token_rollbacks": 0,
      "highest_fencing_token": 76,
      "duration_seconds": 0.225,
      "throughput_ops_per_sec": 1779.6
    },
    {
      "worker_processes": 16,
      "total_operations": 400,
      "successful_leases": 84,
      "conflicts_blocked": 316,
      "split_brain_violations": 0,
      "fencing_token_rollbacks": 0,
      "highest_fencing_token": 84,
      "duration_seconds": 0.32,
      "throughput_ops_per_sec": 1249.1
    },
    {
      "worker_processes": 32,
      "total_operations": 800,
      "successful_leases": 133,
      "conflicts_blocked": 667,
      "split_brain_violations": 0,
      "fencing_token_rollbacks": 0,
      "highest_fencing_token": 133,
      "duration_seconds": 0.54,
      "throughput_ops_per_sec": 1481.8
    }
  ],
  "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"
  }
}