{
  "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:46:29Z",
  "multi_process_contention_scenarios": [
    {
      "worker_processes": 2,
      "total_operations": 100,
      "successful_leases": 38,
      "conflicts_blocked": 62,
      "split_brain_violations": 0,
      "fencing_token_rollbacks": 0,
      "highest_fencing_token": 38,
      "duration_seconds": 0.16,
      "throughput_ops_per_sec": 623.2
    },
    {
      "worker_processes": 4,
      "total_operations": 200,
      "successful_leases": 40,
      "conflicts_blocked": 160,
      "split_brain_violations": 0,
      "fencing_token_rollbacks": 0,
      "highest_fencing_token": 40,
      "duration_seconds": 0.162,
      "throughput_ops_per_sec": 1237.6
    },
    {
      "worker_processes": 8,
      "total_operations": 400,
      "successful_leases": 68,
      "conflicts_blocked": 332,
      "split_brain_violations": 0,
      "fencing_token_rollbacks": 0,
      "highest_fencing_token": 68,
      "duration_seconds": 0.217,
      "throughput_ops_per_sec": 1841.4
    },
    {
      "worker_processes": 16,
      "total_operations": 400,
      "successful_leases": 64,
      "conflicts_blocked": 336,
      "split_brain_violations": 0,
      "fencing_token_rollbacks": 0,
      "highest_fencing_token": 64,
      "duration_seconds": 0.321,
      "throughput_ops_per_sec": 1245.8
    },
    {
      "worker_processes": 32,
      "total_operations": 800,
      "successful_leases": 172,
      "conflicts_blocked": 628,
      "split_brain_violations": 0,
      "fencing_token_rollbacks": 0,
      "highest_fencing_token": 172,
      "duration_seconds": 0.566,
      "throughput_ops_per_sec": 1413.3
    }
  ],
  "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"
  }
}