{
  "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:05Z",
  "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.148,
      "throughput_ops_per_sec": 677.0
    },
    {
      "worker_processes": 4,
      "total_operations": 200,
      "successful_leases": 60,
      "conflicts_blocked": 140,
      "split_brain_violations": 0,
      "fencing_token_rollbacks": 0,
      "highest_fencing_token": 60,
      "duration_seconds": 0.202,
      "throughput_ops_per_sec": 988.3
    },
    {
      "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.219,
      "throughput_ops_per_sec": 1825.8
    },
    {
      "worker_processes": 16,
      "total_operations": 400,
      "successful_leases": 81,
      "conflicts_blocked": 319,
      "split_brain_violations": 0,
      "fencing_token_rollbacks": 0,
      "highest_fencing_token": 81,
      "duration_seconds": 0.321,
      "throughput_ops_per_sec": 1245.5
    },
    {
      "worker_processes": 32,
      "total_operations": 800,
      "successful_leases": 155,
      "conflicts_blocked": 645,
      "split_brain_violations": 0,
      "fencing_token_rollbacks": 0,
      "highest_fencing_token": 155,
      "duration_seconds": 0.528,
      "throughput_ops_per_sec": 1514.9
    }
  ],
  "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"
  }
}