{ "cases": [ { "isolated": { "catalog_closure": { "count": 5, "max_ms": 0.453875, "mean_ms": 0.38734999999999997, "min_ms": 0.332875, "p50_ms": 0.360875, "p95_ms": 0.453875, "p99_ms": 0.453875 }, "exact_data_fingerprint": { "count": 1, "max_ms": 40180.133459, "mean_ms": 40180.133459, "min_ms": 40180.133459, "p50_ms": 40180.133459, "p95_ms": 40180.133459, "p99_ms": 40180.133459 }, "kernel_revision_preflight": { "count": 5, "max_ms": 7.9615, "mean_ms": 1.7045084, "min_ms": 0.13125, "p50_ms": 0.14075, "p95_ms": 7.9615, "p99_ms": 7.9615 }, "schema_fingerprint": { "count": 5, "max_ms": 0.490042, "mean_ms": 0.4162502, "min_ms": 0.373333, "p50_ms": 0.394083, "p95_ms": 0.490042, "p99_ms": 0.490042 }, "uncontended_access_exclusive_lock_transaction": { "count": 5, "max_ms": 1.54775, "mean_ms": 0.5177834, "min_ms": 0.235625, "p50_ms": 0.26425, "p95_ms": 1.54775, "p99_ms": 1.54775 } }, "lanes": { "exact_data": { "apply_cold_client": { "count": 1, "max_ms": 28.74725, "mean_ms": 28.74725, "min_ms": 28.74725, "p50_ms": 28.74725, "p95_ms": 28.74725, "p99_ms": 28.74725 }, "apply_resident_connection": { "client_roundtrip_and_commit_remainder": { "count": 1, "max_ms": 16.110042, "mean_ms": 16.110042, "min_ms": 16.110042, "p50_ms": 16.110042, "p95_ms": 16.110042, "p99_ms": 16.110042 }, "end_to_end": { "count": 1, "max_ms": 31.577209, "mean_ms": 31.577209, "min_ms": 31.577209, "p50_ms": 31.577209, "p95_ms": 31.577209, "p99_ms": 31.577209 }, "kernel_revision_preflight": { "count": 1, "max_ms": 0.239167, "mean_ms": 0.239167, "min_ms": 0.239167, "p50_ms": 0.239167, "p95_ms": 0.239167, "p99_ms": 0.239167 }, "lock_closure_precondition": { "count": 1, "max_ms": 12.69, "mean_ms": 12.69, "min_ms": 12.69, "p50_ms": 12.69, "p95_ms": 12.69, "p99_ms": 12.69 }, "server_lock_window_proxy": { "count": 1, "max_ms": 15.228, "mean_ms": 15.228, "min_ms": 15.228, "p50_ms": 15.228, "p95_ms": 15.228, "p99_ms": 15.228 }, "sql_and_postcondition": { "count": 1, "max_ms": 2.538, "mean_ms": 2.538, "min_ms": 2.538, "p50_ms": 2.538, "p95_ms": 2.538, "p99_ms": 2.538 } }, "live_binding_issuance_cold_client": { "count": 2, "max_ms": 52126.712833, "mean_ms": 51580.64, "min_ms": 51034.567167, "p50_ms": 51580.64, "p95_ms": 52126.712833, "p99_ms": 52126.712833 }, "postgres_function_stats_for_resident_apply": { "assert_database_governed": { "calls": 1, "mean_self_ms": 0.921, "mean_total_ms": 1.238, "self_ms": 0.921, "total_ms": 1.238 }, "assert_journal_governed": { "calls": 3, "mean_self_ms": 0.8283333333333333, "mean_total_ms": 0.8283333333333333, "self_ms": 2.485, "total_ms": 2.485 }, "assert_pilot_scope": { "calls": 1, "mean_self_ms": 0.639, "mean_total_ms": 0.639, "self_ms": 0.639, "total_ms": 0.639 }, "attest_permit": { "calls": 0, "mean_self_ms": 0.0, "mean_total_ms": 0.0, "self_ms": 0.0, "total_ms": 0.0 }, "capture_journal_checkpoint": { "calls": 0, "mean_self_ms": 0.0, "mean_total_ms": 0.0, "self_ms": 0.0, "total_ms": 0.0 }, "catalog_touched_closure": { "calls": 1, "mean_self_ms": 3.42, "mean_total_ms": 3.42, "self_ms": 3.42, "total_ms": 3.42 }, "compute_fingerprint": { "calls": 2, "mean_self_ms": 1.4115, "mean_total_ms": 1.4115, "self_ms": 2.823, "total_ms": 2.823 }, "execute_application_sql": { "calls": 1, "mean_self_ms": 0.102, "mean_total_ms": 0.91, "self_ms": 0.102, "total_ms": 0.91 }, "execute_permit": { "calls": 1, "mean_self_ms": 8.754, "mean_total_ms": 28.869, "self_ms": 8.754, "total_ms": 28.869 }, "govern_database": { "calls": 0, "mean_self_ms": 0.0, "mean_total_ms": 0.0, "self_ms": 0.0, "total_ms": 0.0 }, "govern_touched": { "calls": 0, "mean_self_ms": 0.0, "mean_total_ms": 0.0, "self_ms": 0.0, "total_ms": 0.0 }, "kernel_revision": { "calls": 1, "mean_self_ms": 0.028, "mean_total_ms": 0.028, "self_ms": 0.028, "total_ms": 0.028 }, "permit_envelope": { "calls": 1, "mean_self_ms": 8.429, "mean_total_ms": 8.429, "self_ms": 8.429, "total_ms": 8.429 }, "record_ddl_mutation": { "calls": 0, "mean_self_ms": 0.0, "mean_total_ms": 0.0, "self_ms": 0.0, "total_ms": 0.0 }, "record_relation_mutation": { "calls": 0, "mean_self_ms": 0.0, "mean_total_ms": 0.0, "self_ms": 0.0, "total_ms": 0.0 }, "rf_bench_mark": { "calls": 1, "mean_self_ms": 0.808, "mean_total_ms": 0.808, "self_ms": 0.808, "total_ms": 0.808 }, "runtime_identity": { "calls": 1, "mean_self_ms": 0.484, "mean_total_ms": 0.484, "self_ms": 0.484, "total_ms": 0.484 } }, "proof_scope": "exact_data", "repetitions_per_connection_mode": 1 }, "schema": { "apply_cold_client": { "count": 1, "max_ms": 28.534125, "mean_ms": 28.534125, "min_ms": 28.534125, "p50_ms": 28.534125, "p95_ms": 28.534125, "p99_ms": 28.534125 }, "apply_resident_connection": { "client_roundtrip_and_commit_remainder": { "count": 1, "max_ms": 9.739291999999999, "mean_ms": 9.739291999999999, "min_ms": 9.739291999999999, "p50_ms": 9.739291999999999, "p95_ms": 9.739291999999999, "p99_ms": 9.739291999999999 }, "end_to_end": { "count": 1, "max_ms": 22.680625, "mean_ms": 22.680625, "min_ms": 22.680625, "p50_ms": 22.680625, "p95_ms": 22.680625, "p99_ms": 22.680625 }, "kernel_revision_preflight": { "count": 1, "max_ms": 0.171333, "mean_ms": 0.171333, "min_ms": 0.171333, "p50_ms": 0.171333, "p95_ms": 0.171333, "p99_ms": 0.171333 }, "lock_closure_precondition": { "count": 1, "max_ms": 6.518999999999999, "mean_ms": 6.518999999999999, "min_ms": 6.518999999999999, "p50_ms": 6.518999999999999, "p95_ms": 6.518999999999999, "p99_ms": 6.518999999999999 }, "server_lock_window_proxy": { "count": 1, "max_ms": 12.77, "mean_ms": 12.77, "min_ms": 12.77, "p50_ms": 12.77, "p95_ms": 12.77, "p99_ms": 12.77 }, "sql_and_postcondition": { "count": 1, "max_ms": 6.2509999999999994, "mean_ms": 6.2509999999999994, "min_ms": 6.2509999999999994, "p50_ms": 6.2509999999999994, "p95_ms": 6.2509999999999994, "p99_ms": 6.2509999999999994 } }, "live_binding_issuance_cold_client": { "count": 2, "max_ms": 95.980833, "mean_ms": 72.198604, "min_ms": 48.416375, "p50_ms": 72.198604, "p95_ms": 95.980833, "p99_ms": 95.980833 }, "postgres_function_stats_for_resident_apply": { "assert_database_governed": { "calls": 1, "mean_self_ms": 0.376, "mean_total_ms": 1.244, "self_ms": 0.376, "total_ms": 1.244 }, "assert_journal_governed": { "calls": 4, "mean_self_ms": 0.327, "mean_total_ms": 0.327, "self_ms": 1.308, "total_ms": 1.308 }, "assert_pilot_scope": { "calls": 1, "mean_self_ms": 0.335, "mean_total_ms": 0.335, "self_ms": 0.335, "total_ms": 0.335 }, "attest_permit": { "calls": 0, "mean_self_ms": 0.0, "mean_total_ms": 0.0, "self_ms": 0.0, "total_ms": 0.0 }, "catalog_touched_closure": { "calls": 1, "mean_self_ms": 1.921, "mean_total_ms": 1.921, "self_ms": 1.921, "total_ms": 1.921 }, "compute_fingerprint": { "calls": 2, "mean_self_ms": 0.732, "mean_total_ms": 0.732, "self_ms": 1.464, "total_ms": 1.464 }, "execute_application_sql": { "calls": 1, "mean_self_ms": 1.326, "mean_total_ms": 6.03, "self_ms": 1.326, "total_ms": 6.03 }, "execute_permit": { "calls": 1, "mean_self_ms": 4.983, "mean_total_ms": 20.909, "self_ms": 4.983, "total_ms": 20.909 }, "govern_database": { "calls": 3, "mean_self_ms": 0.21866666666666668, "mean_total_ms": 0.8769999999999999, "self_ms": 0.656, "total_ms": 2.631 }, "govern_touched": { "calls": 3, "mean_self_ms": 0.5113333333333333, "mean_total_ms": 0.6583333333333333, "self_ms": 1.534, "total_ms": 1.975 }, "kernel_revision": { "calls": 1, "mean_self_ms": 0.014, "mean_total_ms": 0.014, "self_ms": 0.014, "total_ms": 0.014 }, "permit_envelope": { "calls": 1, "mean_self_ms": 4.672, "mean_total_ms": 4.672, "self_ms": 4.672, "total_ms": 4.672 }, "record_ddl_mutation": { "calls": 3, "mean_self_ms": 0.48666666666666664, "mean_total_ms": 1.3639999999999999, "self_ms": 1.46, "total_ms": 4.092 }, "record_relation_mutation": { "calls": 0, "mean_self_ms": 0.0, "mean_total_ms": 0.0, "self_ms": 0.0, "total_ms": 0.0 }, "rf_bench_mark": { "calls": 1, "mean_self_ms": 0.611, "mean_total_ms": 0.611, "self_ms": 0.611, "total_ms": 0.611 }, "runtime_identity": { "calls": 1, "mean_self_ms": 0.256, "mean_total_ms": 0.256, "self_ms": 0.256, "total_ms": 0.256 } }, "proof_scope": "schema_only", "repetitions_per_connection_mode": 1 } }, "native_ddl": { "count": 1, "max_ms": 2.20375, "mean_ms": 2.20375, "min_ms": 2.20375, "p50_ms": 2.20375, "p95_ms": 2.20375, "p99_ms": 2.20375 }, "repetitions": 1, "rows": 10000000 } ], "duration_seconds": 238.267087, "environment": { "concurrent_application_load": false, "installed_kernel_revision": 6, "platform": "macOS-26.5.2-arm64-arm-64bit-Mach-O", "postgres": { "fsync": "on", "full_page_writes": "on", "server_version": "16.14 (Homebrew)", "server_version_num": "160014", "shared_buffers": "128MB", "synchronous_commit": "on", "track_functions": "all" }, "python": "3.14.0", "required_kernel_revision": 6, "warm_buffer_posture": true }, "finished_at": "2026-08-05T05:14:33.335071+00:00", "method": { "cold_client_opens_connection_per_apply": true, "ddl": "SELECT rf_bench_mark(token); ALTER TABLE ADD nullable integer column; ALTER TABLE DROP same column", "exact_data_cap_tracks_row_count": true, "resident_client_reuses_connection_but_runs_preflight_each_time": true, "server_lock_window_is_proxy_not_exact_dwell": true }, "run_id": "20260805T051035Z", "schema_version": "rf-corrected-kernel-runtime-v2", "source_sha256": { "pyproject.toml": "6364efc78d8fd2548d1da91e5d9b04722ef12310d8a37d73de6b805047f4906d", "src/recoverability_firewall/kernel/client.py": "0d6dde92eaf99227157d09566dc28fe95e2a78f5ffc71307ded30e506bd5e704", "src/recoverability_firewall/kernel/install.sql": "ac30f88ae4590d3e6890d68502754fc71da68a42a5ff5e5acfda45ed85584c54", "src/recoverability_firewall/permit_envelope.py": "aa30a9cc0f849583deb56c615f0abe15f0f4a8ce26d975103aabf5b1fe5af36f", "src/recoverability_firewall/postgres_rehearsal.py": "a68e9315502e2d32ebad933a565e113e4a118d0e12f706e745f5233d2ed64988", "src/recoverability_firewall/rf_cli.py": "bdd6c1eab4009e759f344e2570e741c7a736088000b5f5acfa9bb2e1caed9acf", "validation/benchmark_corrected_kernel.py": "0bae25529451ddcf6ca699e14ef6baa85bdb1bcb78299aa1e4c905cb949f2c7f" }, "started_at": "2026-08-05T05:10:35.067984+00:00" }