{
  "exp1_lockscope": {
    "after": {
      "hold_ms": 5000,
      "same_tenant_ms": {
        "n": 30,
        "p50": 41.334999999999994,
        "p95": 171.94050000000001,
        "min": 11.84,
        "max": 190.12,
        "mean": 61.269999999999996
      },
      "other_tenant_ms": {
        "n": 30,
        "p50": 42.465,
        "p95": 166.06400000000002,
        "min": 11.96,
        "max": 269.33,
        "mean": 64.18433333333333
      },
      "holder_commit_ms": {
        "n": 30,
        "p50": 25.38,
        "p95": 134.2955,
        "min": 11.48,
        "max": 314.36,
        "mean": 51.614333333333335
      }
    },
    "before": {
      "hold_ms": 5000,
      "same_tenant_ms": {
        "n": 30,
        "p50": 4919.085,
        "p95": 4945.4995,
        "min": 4905.52,
        "max": 4962.02,
        "mean": 4921.714666666667
      },
      "other_tenant_ms": {
        "n": 30,
        "p50": 21.835,
        "p95": 57.5155,
        "min": 11.36,
        "max": 93.15,
        "mean": 27.127333333333333
      },
      "holder_commit_ms": {
        "n": 30,
        "p50": 3.935,
        "p95": 16.3555,
        "min": 0.63,
        "max": 31.87,
        "mean": 5.922
      }
    },
    "head": {
      "hold_ms": 5000,
      "same_tenant_ms": {
        "n": 30,
        "p50": 105.15,
        "p95": 289.62200000000007,
        "min": 24,
        "max": 663.78,
        "mean": 127.33933333333333
      },
      "other_tenant_ms": {
        "n": 30,
        "p50": 109.195,
        "p95": 385.1365000000002,
        "min": 23.77,
        "max": 568.53,
        "mean": 144.45766666666665
      },
      "holder_commit_ms": {
        "n": 30,
        "p50": 75.31,
        "p95": 337.8190000000001,
        "min": 15.87,
        "max": 629.92,
        "mean": 112.53466666666667
      }
    },
    "head_immediate": {
      "hold_ms": 5000,
      "same_tenant_ms": {
        "n": 30,
        "p50": 4972.280000000001,
        "p95": 5103.9225,
        "min": 4914.23,
        "max": 5244.16,
        "mean": 4996.026666666667
      },
      "other_tenant_ms": {
        "n": 30,
        "p50": 71.82,
        "p95": 271.851,
        "min": 18.33,
        "max": 311.79,
        "mean": 112.53466666666667
      },
      "holder_commit_ms": {
        "n": 30,
        "p50": 14.120000000000001,
        "p95": 60.415,
        "min": 3.2,
        "max": 63.91,
        "mean": 19.972333333333335
      }
    }
  },
  "exp4_audit_chain": {
    "after": {
      "interleave": {
        "trials": 200,
        "chains_failing_verification": 0,
        "trials_with_shared_prev_hash": 0,
        "trials_with_more_than_one_tip": 0,
        "trials_with_writer_errors": 0,
        "rows_per_trial": {
          "n": 200,
          "p50": 3.0,
          "p95": 3.0,
          "min": 3,
          "max": 3,
          "mean": 3
        },
        "breaks_per_trial": {
          "n": 200,
          "p50": 0.0,
          "p95": 0.0,
          "min": 0,
          "max": 0,
          "mean": 0
        }
      },
      "tamper": [
        {
          "case": "owner_update_attempt",
          "result": "blocked WC403",
          "detected": null,
          "clean_before": null,
          "after": {
            "rows": 101,
            "breaks": 0,
            "gaps": 0,
            "shared_prev": 0,
            "tips": 1,
            "ok": true
          }
        },
        {
          "case": "edit_detail_of_interior_row",
          "result": null,
          "detected": true,
          "clean_before": true,
          "after": {
            "rows": 10,
            "breaks": 1,
            "gaps": 0,
            "shared_prev": 0,
            "tips": 1,
            "ok": false
          }
        },
        {
          "case": "delete_interior_row",
          "result": null,
          "detected": true,
          "clean_before": true,
          "after": {
            "rows": 9,
            "breaks": 1,
            "gaps": 4,
            "shared_prev": 0,
            "tips": 2,
            "ok": false
          }
        },
        {
          "case": "delete_last_row (tail truncation)",
          "result": null,
          "detected": false,
          "clean_before": true,
          "after": {
            "rows": 9,
            "breaks": 0,
            "gaps": 0,
            "shared_prev": 0,
            "tips": 1,
            "ok": true
          }
        },
        {
          "case": "edit_and_rehash_suffix (full suffix rewrite)",
          "result": null,
          "detected": false,
          "clean_before": true,
          "after": {
            "rows": 10,
            "breaks": 0,
            "gaps": 0,
            "shared_prev": 0,
            "tips": 1,
            "ok": true
          }
        }
      ],
      "stress": {
        "trials": 100,
        "chains_failing_verification": 0,
        "trials_with_shared_prev_hash": 0,
        "trials_with_more_than_one_tip": 0,
        "trials_with_writer_errors": 0,
        "rows_per_trial": {
          "n": 100,
          "p50": 40.0,
          "p95": 40.0,
          "min": 40,
          "max": 40,
          "mean": 40
        },
        "breaks_per_trial": {
          "n": 100,
          "p50": 0.0,
          "p95": 0.0,
          "min": 0,
          "max": 0,
          "mean": 0
        }
      }
    },
    "before": {
      "interleave": {
        "trials": 200,
        "chains_failing_verification": 200,
        "trials_with_shared_prev_hash": 0,
        "trials_with_more_than_one_tip": 0,
        "trials_with_writer_errors": 0,
        "rows_per_trial": {
          "n": 200,
          "p50": 3.0,
          "p95": 3.0,
          "min": 3,
          "max": 3,
          "mean": 3
        },
        "breaks_per_trial": {
          "n": 200,
          "p50": 2.0,
          "p95": 2.0,
          "min": 2,
          "max": 2,
          "mean": 2
        }
      },
      "tamper": [
        {
          "case": "owner_update_attempt",
          "result": "blocked WC403",
          "detected": null,
          "clean_before": null,
          "after": {
            "rows": 75,
            "breaks": 2,
            "gaps": 0,
            "shared_prev": 1,
            "tips": 2,
            "ok": false
          }
        },
        {
          "case": "edit_detail_of_interior_row",
          "result": null,
          "detected": true,
          "clean_before": true,
          "after": {
            "rows": 10,
            "breaks": 1,
            "gaps": 0,
            "shared_prev": 0,
            "tips": 1,
            "ok": false
          }
        },
        {
          "case": "delete_interior_row",
          "result": null,
          "detected": true,
          "clean_before": true,
          "after": {
            "rows": 9,
            "breaks": 1,
            "gaps": 0,
            "shared_prev": 0,
            "tips": 2,
            "ok": false
          }
        },
        {
          "case": "delete_last_row (tail truncation)",
          "result": null,
          "detected": false,
          "clean_before": true,
          "after": {
            "rows": 9,
            "breaks": 0,
            "gaps": 0,
            "shared_prev": 0,
            "tips": 1,
            "ok": true
          }
        },
        {
          "case": "edit_and_rehash_suffix (full suffix rewrite)",
          "result": null,
          "detected": false,
          "clean_before": true,
          "after": {
            "rows": 10,
            "breaks": 0,
            "gaps": 0,
            "shared_prev": 0,
            "tips": 1,
            "ok": true
          }
        }
      ],
      "stress": {
        "trials": 100,
        "chains_failing_verification": 100,
        "trials_with_shared_prev_hash": 100,
        "trials_with_more_than_one_tip": 100,
        "trials_with_writer_errors": 0,
        "rows_per_trial": {
          "n": 100,
          "p50": 40.0,
          "p95": 40.0,
          "min": 40,
          "max": 40,
          "mean": 40
        },
        "breaks_per_trial": {
          "n": 100,
          "p50": 9.0,
          "p95": 9.0,
          "min": 8,
          "max": 10,
          "mean": 8.67
        }
      }
    },
    "head": {
      "interleave": {
        "trials": 200,
        "chains_failing_verification": 0,
        "trials_with_shared_prev_hash": 0,
        "trials_with_more_than_one_tip": 0,
        "trials_with_writer_errors": 0,
        "rows_per_trial": {
          "n": 200,
          "p50": 3.0,
          "p95": 3.0,
          "min": 3,
          "max": 3,
          "mean": 3
        },
        "breaks_per_trial": {
          "n": 200,
          "p50": 0.0,
          "p95": 0.0,
          "min": 0,
          "max": 0,
          "mean": 0
        }
      },
      "tamper": [
        {
          "case": "owner_update_attempt",
          "result": "blocked WC403",
          "detected": null,
          "clean_before": null,
          "after": {
            "rows": 146,
            "breaks": 0,
            "gaps": 0,
            "shared_prev": 0,
            "tips": 1,
            "ok": true
          }
        },
        {
          "case": "edit_detail_of_interior_row",
          "result": null,
          "detected": true,
          "clean_before": true,
          "after": {
            "rows": 10,
            "breaks": 1,
            "gaps": 0,
            "shared_prev": 0,
            "tips": 1,
            "ok": false
          }
        },
        {
          "case": "delete_interior_row",
          "result": null,
          "detected": true,
          "clean_before": true,
          "after": {
            "rows": 9,
            "breaks": 1,
            "gaps": 4,
            "shared_prev": 0,
            "tips": 2,
            "ok": false
          }
        },
        {
          "case": "delete_last_row (tail truncation)",
          "result": null,
          "detected": false,
          "clean_before": true,
          "after": {
            "rows": 9,
            "breaks": 0,
            "gaps": 0,
            "shared_prev": 0,
            "tips": 1,
            "ok": true
          }
        },
        {
          "case": "edit_and_rehash_suffix (full suffix rewrite)",
          "result": null,
          "detected": false,
          "clean_before": true,
          "after": {
            "rows": 10,
            "breaks": 0,
            "gaps": 0,
            "shared_prev": 0,
            "tips": 1,
            "ok": true
          }
        }
      ],
      "stress": {
        "trials": 100,
        "chains_failing_verification": 0,
        "trials_with_shared_prev_hash": 0,
        "trials_with_more_than_one_tip": 0,
        "trials_with_writer_errors": 0,
        "rows_per_trial": {
          "n": 100,
          "p50": 40.0,
          "p95": 40.0,
          "min": 40,
          "max": 40,
          "mean": 40
        },
        "breaks_per_trial": {
          "n": 100,
          "p50": 0.0,
          "p95": 0.0,
          "min": 0,
          "max": 0,
          "mean": 0
        }
      }
    }
  },
  "exp2_query_timing": {
    "x0": {
      "club": {
        "measurements": 80,
        "rls_exec_ms": {
          "n": 80,
          "p50": 4.462,
          "p95": 185.48399999999987,
          "min": 0.081,
          "max": 389.37,
          "mean": 32.943625
        },
        "owner_filter_exec_ms": {
          "n": 80,
          "p50": 0.0345,
          "p95": 0.6053499999999999,
          "min": 0.021,
          "max": 18.035,
          "mean": 0.32175
        },
        "ratio_median": 84.11582809224319,
        "rows_equal_fraction": 1.0,
        "rls_rows_mean": 4.6875,
        "owner_rows_mean": 4.6875
      },
      "discovery": {
        "measurements": 80,
        "rls_exec_ms": {
          "n": 80,
          "p50": 4.2505,
          "p95": 163.323,
          "min": 0.073,
          "max": 497.97,
          "mean": 31.658450000000002
        },
        "owner_filter_exec_ms": {
          "n": 80,
          "p50": 0.032,
          "p95": 0.25894999999999996,
          "min": 0.019,
          "max": 3.076,
          "mean": 0.107725
        },
        "ratio_median": 96.76785714285714,
        "rows_equal_fraction": 1.0,
        "rls_rows_mean": 3.1875,
        "owner_rows_mean": 3.1875
      }
    },
    "x1000": {
      "club": {
        "measurements": 4,
        "rls_exec_ms": {
          "n": 4,
          "p50": 10762.882999999998,
          "p95": 27751.666250000002,
          "min": 1940.918,
          "max": 29653.694,
          "mean": 13280.0945
        },
        "owner_filter_exec_ms": {
          "n": 4,
          "p50": 10.5955,
          "p95": 41.532450000000004,
          "min": 4.727,
          "max": 46.53,
          "mean": 18.112000000000002
        },
        "ratio_median": 523.95259136836,
        "rows_equal_fraction": 1.0,
        "rls_rows_mean": 20,
        "owner_rows_mean": 20
      },
      "discovery": {
        "measurements": 4,
        "rls_exec_ms": {
          "n": 4,
          "p50": 5436.268,
          "p95": 124394.60220000002,
          "min": 2691.527,
          "max": 145163.931,
          "mean": 39681.9985
        },
        "owner_filter_exec_ms": {
          "n": 4,
          "p50": 65.809,
          "p95": 249.78455000000002,
          "min": 7.033,
          "max": 272.876,
          "mean": 102.88175
        },
        "ratio_median": 372.0797551038746,
        "rows_equal_fraction": 1.0,
        "rls_rows_mean": 50,
        "owner_rows_mean": 50
      }
    },
    "x50": {
      "club": {
        "measurements": 80,
        "rls_exec_ms": {
          "n": 80,
          "p50": 1168.8455,
          "p95": 6062.480349999999,
          "min": 17.072,
          "max": 10311.463,
          "mean": 1892.3917875
        },
        "owner_filter_exec_ms": {
          "n": 80,
          "p50": 0.93,
          "p95": 13.716749999999994,
          "min": 0.077,
          "max": 33.19,
          "mean": 3.52455
        },
        "ratio_median": 855.6172560213763,
        "rows_equal_fraction": 1.0,
        "rls_rows_mean": 20,
        "owner_rows_mean": 20
      },
      "discovery": {
        "measurements": 80,
        "rls_exec_ms": {
          "n": 80,
          "p50": 999.6410000000001,
          "p95": 7680.575999999999,
          "min": 11.375,
          "max": 12328.172,
          "mean": 2353.060125
        },
        "owner_filter_exec_ms": {
          "n": 80,
          "p50": 0.92,
          "p95": 13.315099999999985,
          "min": 0.092,
          "max": 118.066,
          "mean": 4.070075
        },
        "ratio_median": 1656.3843597696055,
        "rows_equal_fraction": 1.0,
        "rls_rows_mean": 50,
        "owner_rows_mean": 50
      }
    }
  },
  "exp2_pgbench": {
    "wc_bench_x0": {
      "owner_filter": {
        "tps": [
          371.98755,
          285.966691,
          266.809543,
          414.39179,
          452.163196
        ],
        "latency_ms": [
          21.506,
          27.975,
          29.984,
          19.305,
          17.693
        ],
        "failed": 0,
        "txns": 35515,
        "tps_ci": {
          "mean": 358.263754,
          "ci95": 99.60105066619626,
          "lo": 258.66270333380373,
          "hi": 457.8648046661963,
          "sd": 80.22864550432838,
          "n": 5
        },
        "latency_ci": {
          "mean": 23.2926,
          "ci95": 6.7184968899740785,
          "lo": 16.574103110025924,
          "hi": 30.011096889974077,
          "sd": 5.411749190418936,
          "n": 5
        },
        "stmt_mean_ms": {
          "\\set p random(1, 16)": 0.008,
          "BEGIN;": 1.9002,
          "SELECT set_config('request.jwt.claims', claims::text, true) ": 2.2234,
          "SELECT id, title, status FROM public.event WHERE club_id = (": 2.4916,
          "SELECT count(*) FROM (SELECT id FROM public.event WHERE stat": 2.5986000000000002,
          "INSERT INTO public.event_save (account_id, user_id, event_id": 6.8746,
          "DELETE FROM public.event_save WHERE user_id = (SELECT uid FR": 3.2434,
          "COMMIT;": 3.824
        }
      },
      "rls_plus_filter": {
        "tps": [
          31.624374,
          76.486738,
          66.487037,
          54.840105,
          60.564057
        ],
        "latency_ms": [
          252.969,
          104.593,
          120.324,
          145.879,
          132.092
        ],
        "failed": 0,
        "txns": 5874,
        "tps_ci": {
          "mean": 58.0004622,
          "ci95": 20.829457067106397,
          "lo": 37.171005132893605,
          "hi": 78.82991926710639,
          "sd": 16.778127498725976,
          "n": 5
        },
        "latency_ci": {
          "mean": 151.1714,
          "ci95": 73.11979205022269,
          "lo": 78.05160794977732,
          "hi": 224.2911920502227,
          "sd": 58.89799190379923,
          "n": 5
        },
        "stmt_mean_ms": {
          "\\set p random(1, 16)": 0.0104,
          "BEGIN;": 4.4058,
          "SELECT set_config('request.jwt.claims', claims::text, true) ": 6.0482,
          "SELECT id, title, status FROM public.event WHERE club_id = (": 40.9622,
          "SELECT count(*) FROM (SELECT id FROM public.event WHERE stat": 43.4208,
          "INSERT INTO public.event_save (account_id, user_id, event_id": 33.6524,
          "DELETE FROM public.event_save WHERE user_id = (SELECT uid FR": 11.4616,
          "COMMIT;": 9.5982
        }
      },
      "rls": {
        "tps": [
          83.7086,
          65.697019,
          54.728467,
          46.853072,
          76.269418
        ],
        "latency_ms": [
          95.57,
          121.771,
          146.176,
          170.747,
          104.891
        ],
        "failed": 0,
        "txns": 6597,
        "tps_ci": {
          "mean": 65.4513152,
          "ci95": 18.738455366048242,
          "lo": 46.712859833951754,
          "hi": 84.18977056604824,
          "sd": 15.093825645471751,
          "n": 5
        },
        "latency_ci": {
          "mean": 127.831,
          "ci95": 38.174095147507266,
          "lo": 89.65690485249274,
          "hi": 166.00509514750726,
          "sd": 30.74923333190602,
          "n": 5
        },
        "stmt_mean_ms": {
          "\\set p random(1, 16)": 0.009,
          "BEGIN;": 4.0016,
          "SELECT set_config('request.jwt.claims', claims::text, true) ": 5.5854,
          "SELECT id, title, status FROM public.event WHERE club_id = (": 31.4512,
          "SELECT count(*) FROM (SELECT id FROM public.event WHERE stat": 33.2646,
          "INSERT INTO public.event_save (account_id, user_id, event_id": 31.697,
          "DELETE FROM public.event_save WHERE user_id = (SELECT uid FR": 10.372399999999999,
          "COMMIT;": 9.1228
        }
      }
    },
    "wc_bench_x50": {
      "owner_filter": {
        "tps": [
          235.982916,
          131.015359,
          216.305799,
          136.763813,
          230.121023
        ],
        "latency_ms": [
          33.901,
          61.062,
          36.985,
          58.495,
          34.764
        ],
        "failed": 0,
        "txns": 18895,
        "tps_ci": {
          "mean": 190.037782,
          "ci95": 64.29719536091203,
          "lo": 125.74058663908797,
          "hi": 254.33497736091203,
          "sd": 51.791390342068965,
          "n": 5
        },
        "latency_ci": {
          "mean": 45.0414,
          "ci95": 16.797644828693883,
          "lo": 28.24375517130612,
          "hi": 61.839044828693886,
          "sd": 13.530502773363596,
          "n": 5
        },
        "stmt_mean_ms": {
          "\\set p random(1, 16)": 0.0116,
          "BEGIN;": 3.423,
          "SELECT set_config('request.jwt.claims', claims::text, true) ": 4.031,
          "SELECT id, title, status FROM public.event WHERE club_id = (": 6.1718,
          "SELECT count(*) FROM (SELECT id FROM public.event WHERE stat": 7.019,
          "INSERT INTO public.event_save (account_id, user_id, event_id": 11.561,
          "DELETE FROM public.event_save WHERE user_id = (SELECT uid FR": 6.1074,
          "COMMIT;": 6.5088
        }
      },
      "rls_plus_filter": {
        "tps": [
          2.409552,
          1.30306,
          1.796717,
          2.49752,
          1.977276
        ],
        "latency_ms": [
          3320.119,
          6139.393,
          4452.564,
          3203.178,
          4045.971
        ],
        "failed": 0,
        "txns": 269,
        "tps_ci": {
          "mean": 1.996825,
          "ci95": 0.6027099119782416,
          "lo": 1.3941150880217585,
          "hi": 2.5995349119782416,
          "sd": 0.48548282921335134,
          "n": 5
        },
        "latency_ci": {
          "mean": 4232.245,
          "ci95": 1470.4161339817397,
          "lo": 2761.82886601826,
          "hi": 5702.661133981739,
          "sd": 1184.420184004182,
          "n": 5
        },
        "stmt_mean_ms": {
          "\\set p random(1, 16)": 0.0486,
          "BEGIN;": 5.8658,
          "SELECT set_config('request.jwt.claims', claims::text, true) ": 8.0672,
          "SELECT id, title, status FROM public.event WHERE club_id = (": 1570.4786,
          "SELECT count(*) FROM (SELECT id FROM public.event WHERE stat": 1990.721,
          "INSERT INTO public.event_save (account_id, user_id, event_id": 58.28,
          "DELETE FROM public.event_save WHERE user_id = (SELECT uid FR": 11.8288,
          "COMMIT;": 10.009
        }
      },
      "rls": {
        "tps": [
          1.913669,
          2.640438,
          1.016505,
          1.59966,
          1.448553
        ],
        "latency_ms": [
          4180.451,
          3029.801,
          7870.106,
          5001.063,
          5522.754
        ],
        "failed": 0,
        "txns": 244,
        "tps_ci": {
          "mean": 1.723765,
          "ci95": 0.7520125389470812,
          "lo": 0.9717524610529188,
          "hi": 2.475777538947081,
          "sd": 0.6057460940266145,
          "n": 5
        },
        "latency_ci": {
          "mean": 5120.835,
          "ci95": 2237.318272287479,
          "lo": 2883.516727712521,
          "hi": 7358.153272287479,
          "sd": 1802.1598501935114,
          "n": 5
        },
        "stmt_mean_ms": {
          "\\set p random(1, 16)": 0.0258,
          "BEGIN;": 7.8396,
          "SELECT set_config('request.jwt.claims', claims::text, true) ": 16.999,
          "SELECT id, title, status FROM public.event WHERE club_id = (": 1904.382,
          "SELECT count(*) FROM (SELECT id FROM public.event WHERE stat": 2210.6436,
          "INSERT INTO public.event_save (account_id, user_id, event_id": 68.5798,
          "DELETE FROM public.event_save WHERE user_id = (SELECT uid FR": 17.2558,
          "COMMIT;": 10.664200000000001
        }
      }
    }
  },
  "exp2_helper_overhead": {
    "shipped_definer_with_set": {
      "exec_ms": {
        "n": 5,
        "p50": 3369.068,
        "p95": 5607.6488,
        "min": 2532.815,
        "max": 5734.197,
        "mean": 4014.5684
      },
      "count": [
        1001
      ]
    },
    "definer_without_set": {
      "exec_ms": {
        "n": 5,
        "p50": 2766.193,
        "p95": 4505.6208,
        "min": 2061.676,
        "max": 4760.969,
        "mean": 3036.8736
      },
      "count": [
        1001
      ]
    },
    "invoker_inlinable": {
      "exec_ms": {
        "n": 5,
        "p50": 2191.469,
        "p95": 3868.8106,
        "min": 1032.847,
        "max": 4153.069,
        "mean": 2273.5552000000002
      },
      "count": [
        1001
      ]
    },
    "set_based_definer_once": {
      "exec_ms": {
        "n": 5,
        "p50": 126.945,
        "p95": 174.8964,
        "min": 40.159,
        "max": 177.983,
        "mean": 118.1986
      },
      "count": [
        1001
      ]
    },
    "no_membership_test": {
      "exec_ms": {
        "n": 5,
        "p50": 3.404,
        "p95": 42.98179999999999,
        "min": 1.971,
        "max": 52.271,
        "mean": 13.152000000000001
      },
      "count": [
        14014
      ]
    },
    "university_admin_per_row": {
      "exec_ms": {
        "n": 5,
        "p50": 39727.828,
        "p95": 51617.578799999996,
        "min": 26919.543,
        "max": 54180.947,
        "mean": 38024.6224
      },
      "count": [
        0
      ]
    },
    "university_admin_hoisted": {
      "exec_ms": {
        "n": 5,
        "p50": 214.326,
        "p95": 1369.0313999999998,
        "min": 98.877,
        "max": 1621.922,
        "mean": 497.3918
      },
      "count": [
        0
      ]
    }
  }
}