{
  "schema_version": 1,
  "fixture_version": "1.0.0",
  "started_at": "2026-11-10T22:47:49.675700+00:00",
  "method": "Real psql sessions against a throwaway PostgreSQL cluster created by initdb",
  "scope": {
    "hosts": [
      "unix socket in a temp directory; no TCP listener"
    ],
    "data": "One synthetic invoices table with two tenants, acme and globex"
  },
  "versions": {
    "python": "3.15.2",
    "os": "Darwin",
    "architecture": "arm64",
    "psql": "psql (PostgreSQL) 16.15 (Homebrew)",
    "postgres": "postgres (PostgreSQL) 16.15 (Homebrew)",
    "server_version_line": "PostgreSQL 16.15 (Homebrew) on aarch64-apple-darwin24.6.0, compiled by Apple clang version 17.0.0 (clang-1700.6.4.2), 64-bit"
  },
  "sha256": {
    "fixture.py": "d08522a0419ac516b759da142be57d53793c93894d0a79f07556983a7f6bb3d9",
    "verify.py": "9c11ee6230a61731a8bbedc709365c2a90dba3c8128b3ba071dd611ae9cafeb0"
  },
  "reproduction_command": "python3 verify.py --output recorded-run",
  "agent_execution": {
    "executed": false,
    "note": "SQL verification was scripted; no model or agent ran"
  },
  "cases": [
    {
      "id": "m1_vulnerable/tenant-reads-all",
      "started_at": "2026-11-10T22:47:50.256532+00:00",
      "elapsed_ms": 8.237,
      "database": "m1_vulnerable",
      "role": "app_user",
      "sql": "SET app.tenant_id = 'acme';\nSELECT id, tenant_id, amount FROM invoices ORDER BY id;\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "(4 rows)",
      "matches_demonstration": true,
      "isolation_expected_text": "(2 rows)",
      "isolation_boundary_holds": false,
      "response_file": "m1_vulnerable-tenant-reads-all.txt",
      "response_sha256": "df8e4625f8740f75c21331cc8b235be4a449420ae1448a0b899576a9be8dac58"
    },
    {
      "id": "m1_vulnerable/tenant-reads-own-with-where",
      "started_at": "2026-11-10T22:47:50.264844+00:00",
      "elapsed_ms": 8.097,
      "database": "m1_vulnerable",
      "role": "app_user",
      "sql": "SET app.tenant_id = 'acme';\nSELECT id, tenant_id, amount FROM invoices WHERE tenant_id = 'acme' ORDER BY id;\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "(2 rows)",
      "matches_demonstration": true,
      "isolation_expected_text": "(2 rows)",
      "isolation_boundary_holds": true,
      "response_file": "m1_vulnerable-tenant-reads-own-with-where.txt",
      "response_sha256": "1997139dad13211566322f091f0aa0ce23dcfd52b39711743da5b18ec1218653"
    },
    {
      "id": "m1_fixed/tenant-reads-all",
      "started_at": "2026-11-10T22:47:50.338357+00:00",
      "elapsed_ms": 9.926,
      "database": "m1_fixed",
      "role": "app_user",
      "sql": "SET app.tenant_id = 'acme';\nSELECT id, tenant_id, amount FROM invoices ORDER BY id;\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "(2 rows)",
      "matches_demonstration": true,
      "isolation_expected_text": "(2 rows)",
      "isolation_boundary_holds": true,
      "response_file": "m1_fixed-tenant-reads-all.txt",
      "response_sha256": "171fa01e911da47a5c5897afa5bf261faf303821eefa3e1e10b86d3865d4a94a"
    },
    {
      "id": "m1_fixed/tenant-reads-own-with-where",
      "started_at": "2026-11-10T22:47:50.348341+00:00",
      "elapsed_ms": 10.277,
      "database": "m1_fixed",
      "role": "app_user",
      "sql": "SET app.tenant_id = 'acme';\nSELECT id, tenant_id, amount FROM invoices WHERE tenant_id = 'acme' ORDER BY id;\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "(2 rows)",
      "matches_demonstration": true,
      "isolation_expected_text": "(2 rows)",
      "isolation_boundary_holds": true,
      "response_file": "m1_fixed-tenant-reads-own-with-where.txt",
      "response_sha256": "1997139dad13211566322f091f0aa0ce23dcfd52b39711743da5b18ec1218653"
    },
    {
      "id": "m2_vulnerable/rls-flags",
      "started_at": "2026-11-10T22:47:50.526696+00:00",
      "elapsed_ms": 9.357,
      "database": "m2_vulnerable",
      "role": "postgres",
      "sql": "SELECT relrowsecurity, relforcerowsecurity FROM pg_class WHERE relname = 'invoices';\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": " t              | f",
      "matches_demonstration": true,
      "isolation_expected_text": null,
      "isolation_boundary_holds": null,
      "response_file": "m2_vulnerable-rls-flags.txt",
      "response_sha256": "3a5e92b7bbb9a238db27002527069b6d5b70ec9dce964e32336d74ac74f30f2c"
    },
    {
      "id": "m2_vulnerable/app-user-reads",
      "started_at": "2026-11-10T22:47:50.536114+00:00",
      "elapsed_ms": 8.687,
      "database": "m2_vulnerable",
      "role": "app_user",
      "sql": "SET app.tenant_id = 'acme';\nSELECT id, tenant_id, amount FROM invoices ORDER BY id;\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "(2 rows)",
      "matches_demonstration": true,
      "isolation_expected_text": "(2 rows)",
      "isolation_boundary_holds": true,
      "response_file": "m2_vulnerable-app-user-reads.txt",
      "response_sha256": "171fa01e911da47a5c5897afa5bf261faf303821eefa3e1e10b86d3865d4a94a"
    },
    {
      "id": "m2_vulnerable/owner-reads",
      "started_at": "2026-11-10T22:47:50.544853+00:00",
      "elapsed_ms": 9.621,
      "database": "m2_vulnerable",
      "role": "app_owner",
      "sql": "SET app.tenant_id = 'acme';\nSELECT id, tenant_id, amount FROM invoices ORDER BY id;\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "(4 rows)",
      "matches_demonstration": true,
      "isolation_expected_text": "(2 rows)",
      "isolation_boundary_holds": false,
      "response_file": "m2_vulnerable-owner-reads.txt",
      "response_sha256": "df8e4625f8740f75c21331cc8b235be4a449420ae1448a0b899576a9be8dac58"
    },
    {
      "id": "m2_vulnerable/superuser-reads",
      "started_at": "2026-11-10T22:47:50.554546+00:00",
      "elapsed_ms": 10.579,
      "database": "m2_vulnerable",
      "role": "postgres",
      "sql": "SET app.tenant_id = 'acme';\nSELECT id, tenant_id, amount FROM invoices ORDER BY id;\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "(4 rows)",
      "matches_demonstration": true,
      "isolation_expected_text": null,
      "isolation_boundary_holds": null,
      "response_file": "m2_vulnerable-superuser-reads.txt",
      "response_sha256": "df8e4625f8740f75c21331cc8b235be4a449420ae1448a0b899576a9be8dac58"
    },
    {
      "id": "m2_fixed/rls-flags",
      "started_at": "2026-11-10T22:47:50.662921+00:00",
      "elapsed_ms": 16.608,
      "database": "m2_fixed",
      "role": "postgres",
      "sql": "SELECT relrowsecurity, relforcerowsecurity FROM pg_class WHERE relname = 'invoices';\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": " t              | t",
      "matches_demonstration": true,
      "isolation_expected_text": null,
      "isolation_boundary_holds": null,
      "response_file": "m2_fixed-rls-flags.txt",
      "response_sha256": "f684763902e8b0853289700216c5a3f6be104cbfbeb746c92f126256343f441c"
    },
    {
      "id": "m2_fixed/app-user-reads",
      "started_at": "2026-11-10T22:47:50.679633+00:00",
      "elapsed_ms": 11.993,
      "database": "m2_fixed",
      "role": "app_user",
      "sql": "SET app.tenant_id = 'acme';\nSELECT id, tenant_id, amount FROM invoices ORDER BY id;\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "(2 rows)",
      "matches_demonstration": true,
      "isolation_expected_text": "(2 rows)",
      "isolation_boundary_holds": true,
      "response_file": "m2_fixed-app-user-reads.txt",
      "response_sha256": "171fa01e911da47a5c5897afa5bf261faf303821eefa3e1e10b86d3865d4a94a"
    },
    {
      "id": "m2_fixed/owner-reads",
      "started_at": "2026-11-10T22:47:50.691700+00:00",
      "elapsed_ms": 20.906,
      "database": "m2_fixed",
      "role": "app_owner",
      "sql": "SET app.tenant_id = 'acme';\nSELECT id, tenant_id, amount FROM invoices ORDER BY id;\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "(2 rows)",
      "matches_demonstration": true,
      "isolation_expected_text": "(2 rows)",
      "isolation_boundary_holds": true,
      "response_file": "m2_fixed-owner-reads.txt",
      "response_sha256": "171fa01e911da47a5c5897afa5bf261faf303821eefa3e1e10b86d3865d4a94a"
    },
    {
      "id": "m2_fixed/superuser-reads",
      "started_at": "2026-11-10T22:47:50.712737+00:00",
      "elapsed_ms": 17.823,
      "database": "m2_fixed",
      "role": "postgres",
      "sql": "SET app.tenant_id = 'acme';\nSELECT id, tenant_id, amount FROM invoices ORDER BY id;\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "(4 rows)",
      "matches_demonstration": true,
      "isolation_expected_text": null,
      "isolation_boundary_holds": null,
      "response_file": "m2_fixed-superuser-reads.txt",
      "response_sha256": "df8e4625f8740f75c21331cc8b235be4a449420ae1448a0b899576a9be8dac58"
    },
    {
      "id": "m3_vulnerable/policies",
      "started_at": "2026-11-10T22:47:50.787285+00:00",
      "elapsed_ms": 10.404,
      "database": "m3_vulnerable",
      "role": "postgres",
      "sql": "SELECT policyname, cmd, with_check FROM pg_policies WHERE tablename = 'invoices' AND cmd <> 'SELECT' ORDER BY policyname;\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "(amount >= 0)",
      "matches_demonstration": true,
      "isolation_expected_text": null,
      "isolation_boundary_holds": null,
      "response_file": "m3_vulnerable-policies.txt",
      "response_sha256": "32d832aa7b151a277abd1bffb7378e2653eacacbba1f7df072a069c47677ada7"
    },
    {
      "id": "m3_vulnerable/insert-other-tenant",
      "started_at": "2026-11-10T22:47:50.797843+00:00",
      "elapsed_ms": 13.262,
      "database": "m3_vulnerable",
      "role": "app_user",
      "sql": "SET app.tenant_id = 'acme';\nINSERT INTO invoices VALUES (5, 'globex', 999);\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "INSERT 0 1",
      "matches_demonstration": true,
      "isolation_expected_text": "new row violates row-level security policy for table \"invoices\"",
      "isolation_boundary_holds": false,
      "response_file": "m3_vulnerable-insert-other-tenant.txt",
      "response_sha256": "bf4cc6b495d70f72f1ea3c7f5698dca3f4e54e3160b1a43bc70440d7a1b7e96b"
    },
    {
      "id": "m3_vulnerable/update-move-row-with-where",
      "started_at": "2026-11-10T22:47:50.811170+00:00",
      "elapsed_ms": 9.886,
      "database": "m3_vulnerable",
      "role": "app_user",
      "sql": "SET app.tenant_id = 'acme';\nUPDATE invoices SET tenant_id = 'globex' WHERE id = 1;\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "new row violates row-level security policy for table \"invoices\"",
      "matches_demonstration": true,
      "isolation_expected_text": "new row violates row-level security policy for table \"invoices\"",
      "isolation_boundary_holds": true,
      "response_file": "m3_vulnerable-update-move-row-with-where.txt",
      "response_sha256": "08a65105ace2d201b43d63e9cbd1981dabc8edc079313da82759b25a9e46615a"
    },
    {
      "id": "m3_vulnerable/insert-own-row",
      "started_at": "2026-11-10T22:47:50.821122+00:00",
      "elapsed_ms": 12.424,
      "database": "m3_vulnerable",
      "role": "app_user",
      "sql": "SET app.tenant_id = 'acme';\nINSERT INTO invoices VALUES (6, 'acme', 10);\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "INSERT 0 1",
      "matches_demonstration": true,
      "isolation_expected_text": "INSERT 0 1",
      "isolation_boundary_holds": true,
      "response_file": "m3_vulnerable-insert-own-row.txt",
      "response_sha256": "045acc873e3e60e96936cfc52675ca77a8368e19b989cd30e32f27a242d51bce"
    },
    {
      "id": "m3_vulnerable/update-own-amount",
      "started_at": "2026-11-10T22:47:50.833630+00:00",
      "elapsed_ms": 12.717,
      "database": "m3_vulnerable",
      "role": "app_user",
      "sql": "SET app.tenant_id = 'acme';\nUPDATE invoices SET amount = 300 WHERE id = 2;\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "UPDATE 1",
      "matches_demonstration": true,
      "isolation_expected_text": "UPDATE 1",
      "isolation_boundary_holds": true,
      "response_file": "m3_vulnerable-update-own-amount.txt",
      "response_sha256": "d50b6a0b7776426ce67276069d2fd1cd4e5bbda39cd657347bde9d00e37b05ca"
    },
    {
      "id": "m3_vulnerable/insert-negative-amount",
      "started_at": "2026-11-10T22:47:50.846402+00:00",
      "elapsed_ms": 8.092,
      "database": "m3_vulnerable",
      "role": "app_user",
      "sql": "SET app.tenant_id = 'acme';\nINSERT INTO invoices VALUES (7, 'acme', -5);\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "new row violates row-level security policy for table \"invoices\"",
      "matches_demonstration": true,
      "isolation_expected_text": "new row violates row-level security policy for table \"invoices\"",
      "isolation_boundary_holds": true,
      "response_file": "m3_vulnerable-insert-negative-amount.txt",
      "response_sha256": "48925ffb24c5e34fc0c65c5a607c204c48c6436ca82ec6b138f89c44e8f50cfd"
    },
    {
      "id": "m3_vulnerable/update-move-visible-rows-no-where",
      "started_at": "2026-11-10T22:47:50.854544+00:00",
      "elapsed_ms": 9.553,
      "database": "m3_vulnerable",
      "role": "app_user",
      "sql": "SET app.tenant_id = 'acme';\nUPDATE invoices SET tenant_id = 'globex';\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "UPDATE 3",
      "matches_demonstration": true,
      "isolation_expected_text": "new row violates row-level security policy for table \"invoices\"",
      "isolation_boundary_holds": false,
      "response_file": "m3_vulnerable-update-move-visible-rows-no-where.txt",
      "response_sha256": "46e4d4effdd6278d03369374444b273294c47f5676143bbd79d03e7996fbaaf1"
    },
    {
      "id": "m3_vulnerable/final-table-superuser",
      "started_at": "2026-11-10T22:47:50.864167+00:00",
      "elapsed_ms": 10.8,
      "database": "m3_vulnerable",
      "role": "postgres",
      "sql": "SELECT id, tenant_id, amount FROM invoices ORDER BY id;\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "(6 rows)",
      "matches_demonstration": true,
      "isolation_expected_text": null,
      "isolation_boundary_holds": null,
      "response_file": "m3_vulnerable-final-table-superuser.txt",
      "response_sha256": "652f285943804e431fd393d3ecc566d7bfeb0a3f7e7cf1eef389d0b27cad88f9"
    },
    {
      "id": "m3_fixed/policies",
      "started_at": "2026-11-10T22:47:50.934381+00:00",
      "elapsed_ms": 9.94,
      "database": "m3_fixed",
      "role": "postgres",
      "sql": "SELECT policyname, cmd, with_check FROM pg_policies WHERE tablename = 'invoices' AND cmd <> 'SELECT' ORDER BY policyname;\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "tenant_id = current_setting",
      "matches_demonstration": true,
      "isolation_expected_text": null,
      "isolation_boundary_holds": null,
      "response_file": "m3_fixed-policies.txt",
      "response_sha256": "2aee8e98b4662041e460c319170e8b053fb1338886a159c82df6ec22fe266ec0"
    },
    {
      "id": "m3_fixed/insert-other-tenant",
      "started_at": "2026-11-10T22:47:50.944478+00:00",
      "elapsed_ms": 27.844,
      "database": "m3_fixed",
      "role": "app_user",
      "sql": "SET app.tenant_id = 'acme';\nINSERT INTO invoices VALUES (5, 'globex', 999);\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "new row violates row-level security policy for table \"invoices\"",
      "matches_demonstration": true,
      "isolation_expected_text": "new row violates row-level security policy for table \"invoices\"",
      "isolation_boundary_holds": true,
      "response_file": "m3_fixed-insert-other-tenant.txt",
      "response_sha256": "9bf352e5b2976656a773b0f52aae469e3bbda5ff88eefc0e9819585082358358"
    },
    {
      "id": "m3_fixed/update-move-row-with-where",
      "started_at": "2026-11-10T22:47:50.972452+00:00",
      "elapsed_ms": 9.97,
      "database": "m3_fixed",
      "role": "app_user",
      "sql": "SET app.tenant_id = 'acme';\nUPDATE invoices SET tenant_id = 'globex' WHERE id = 1;\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "new row violates row-level security policy for table \"invoices\"",
      "matches_demonstration": true,
      "isolation_expected_text": "new row violates row-level security policy for table \"invoices\"",
      "isolation_boundary_holds": true,
      "response_file": "m3_fixed-update-move-row-with-where.txt",
      "response_sha256": "08a65105ace2d201b43d63e9cbd1981dabc8edc079313da82759b25a9e46615a"
    },
    {
      "id": "m3_fixed/insert-own-row",
      "started_at": "2026-11-10T22:47:50.982638+00:00",
      "elapsed_ms": 13.528,
      "database": "m3_fixed",
      "role": "app_user",
      "sql": "SET app.tenant_id = 'acme';\nINSERT INTO invoices VALUES (6, 'acme', 10);\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "INSERT 0 1",
      "matches_demonstration": true,
      "isolation_expected_text": "INSERT 0 1",
      "isolation_boundary_holds": true,
      "response_file": "m3_fixed-insert-own-row.txt",
      "response_sha256": "045acc873e3e60e96936cfc52675ca77a8368e19b989cd30e32f27a242d51bce"
    },
    {
      "id": "m3_fixed/update-own-amount",
      "started_at": "2026-11-10T22:47:50.996245+00:00",
      "elapsed_ms": 10.086,
      "database": "m3_fixed",
      "role": "app_user",
      "sql": "SET app.tenant_id = 'acme';\nUPDATE invoices SET amount = 300 WHERE id = 2;\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "UPDATE 1",
      "matches_demonstration": true,
      "isolation_expected_text": "UPDATE 1",
      "isolation_boundary_holds": true,
      "response_file": "m3_fixed-update-own-amount.txt",
      "response_sha256": "d50b6a0b7776426ce67276069d2fd1cd4e5bbda39cd657347bde9d00e37b05ca"
    },
    {
      "id": "m3_fixed/insert-negative-amount",
      "started_at": "2026-11-10T22:47:51.006391+00:00",
      "elapsed_ms": 11.315,
      "database": "m3_fixed",
      "role": "app_user",
      "sql": "SET app.tenant_id = 'acme';\nINSERT INTO invoices VALUES (7, 'acme', -5);\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "new row violates row-level security policy for table \"invoices\"",
      "matches_demonstration": true,
      "isolation_expected_text": "new row violates row-level security policy for table \"invoices\"",
      "isolation_boundary_holds": true,
      "response_file": "m3_fixed-insert-negative-amount.txt",
      "response_sha256": "48925ffb24c5e34fc0c65c5a607c204c48c6436ca82ec6b138f89c44e8f50cfd"
    },
    {
      "id": "m3_fixed/update-move-visible-rows-no-where",
      "started_at": "2026-11-10T22:47:51.017770+00:00",
      "elapsed_ms": 9.151,
      "database": "m3_fixed",
      "role": "app_user",
      "sql": "SET app.tenant_id = 'acme';\nUPDATE invoices SET tenant_id = 'globex';\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "new row violates row-level security policy for table \"invoices\"",
      "matches_demonstration": true,
      "isolation_expected_text": "new row violates row-level security policy for table \"invoices\"",
      "isolation_boundary_holds": true,
      "response_file": "m3_fixed-update-move-visible-rows-no-where.txt",
      "response_sha256": "1c9ebacd54f0efe46014c995ef2d0b1b39c8b06bddb546e4a014751992e4b4e7"
    },
    {
      "id": "m3_fixed/final-table-superuser",
      "started_at": "2026-11-10T22:47:51.026991+00:00",
      "elapsed_ms": 9.658,
      "database": "m3_fixed",
      "role": "postgres",
      "sql": "SELECT id, tenant_id, amount FROM invoices ORDER BY id;\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "(5 rows)",
      "matches_demonstration": true,
      "isolation_expected_text": null,
      "isolation_boundary_holds": null,
      "response_file": "m3_fixed-final-table-superuser.txt",
      "response_sha256": "fc2675c4be193c33d237a491cdf0bae396c7a6efd2cf06c9cc5d487a6827c92a"
    },
    {
      "id": "m3c_vulnerable/insert-other-tenant",
      "started_at": "2026-11-10T22:47:51.127951+00:00",
      "elapsed_ms": 8.994,
      "database": "m3c_vulnerable",
      "role": "app_user",
      "sql": "SET app.tenant_id = 'acme';\nINSERT INTO invoices VALUES (5, 'globex', 999);\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "new row violates row-level security policy for table \"invoices\"",
      "matches_demonstration": true,
      "isolation_expected_text": "new row violates row-level security policy for table \"invoices\"",
      "isolation_boundary_holds": true,
      "response_file": "m3c_vulnerable-insert-other-tenant.txt",
      "response_sha256": "9bf352e5b2976656a773b0f52aae469e3bbda5ff88eefc0e9819585082358358"
    },
    {
      "id": "m3c_vulnerable/update-move-visible-rows-no-where",
      "started_at": "2026-11-10T22:47:51.137018+00:00",
      "elapsed_ms": 8.185,
      "database": "m3c_vulnerable",
      "role": "app_user",
      "sql": "SET app.tenant_id = 'acme';\nUPDATE invoices SET tenant_id = 'globex';\n",
      "psql_exit_code": 0,
      "demonstration_expected_text": "new row violates row-level security policy for table \"invoices\"",
      "matches_demonstration": true,
      "isolation_expected_text": "new row violates row-level security policy for table \"invoices\"",
      "isolation_boundary_holds": true,
      "response_file": "m3c_vulnerable-update-move-visible-rows-no-where.txt",
      "response_sha256": "1c9ebacd54f0efe46014c995ef2d0b1b39c8b06bddb546e4a014751992e4b4e7"
    }
  ],
  "failures": [],
  "cluster": {
    "port": 53847,
    "socket_dir_prefix": "/tmp/exl-rls-",
    "listen_addresses": "(none, unix socket only)"
  },
  "cluster_deleted": true,
  "finished_at": "2026-11-10T22:47:52.075481+00:00",
  "all_demonstration_checks_passed": true
}