{
  "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:53Z",
  "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.166,
      "throughput_ops_per_sec": 602.9
    },
    {
      "worker_processes": 4,
      "total_operations": 200,
      "successful_leases": 39,
      "conflicts_blocked": 161,
      "split_brain_violations": 0,
      "fencing_token_rollbacks": 0,
      "highest_fencing_token": 39,
      "duration_seconds": 0.162,
      "throughput_ops_per_sec": 1235.3
    },
    {
      "worker_processes": 8,
      "total_operations": 400,
      "successful_leases": 71,
      "conflicts_blocked": 329,
      "split_brain_violations": 0,
      "fencing_token_rollbacks": 0,
      "highest_fencing_token": 71,
      "duration_seconds": 0.227,
      "throughput_ops_per_sec": 1758.5
    },
    {
      "worker_processes": 16,
      "total_operations": 400,
      "successful_leases": 79,
      "conflicts_blocked": 321,
      "split_brain_violations": 0,
      "fencing_token_rollbacks": 0,
      "highest_fencing_token": 79,
      "duration_seconds": 0.312,
      "throughput_ops_per_sec": 1280.4
    },
    {
      "worker_processes": 32,
      "total_operations": 800,
      "successful_leases": 151,
      "conflicts_blocked": 649,
      "split_brain_violations": 0,
      "fencing_token_rollbacks": 0,
      "highest_fencing_token": 151,
      "duration_seconds": 0.535,
      "throughput_ops_per_sec": 1496.7
    }
  ],
  "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"
  }
}