{
  "application": {
    "container_images": {
      "backend": "ghcr.io/openimis/openimis-be:25.10@sha256:a77228c7469fab5f3523d3f7b9877d62aa116b303fd87a6d55aa3a46c1892592",
      "database": "ghcr.io/openimis/openimis-pgsql:25.10@sha256:d4bc881e408b74b4cf47fb718534fe0f10940bb951b6cb7ee9a1a30048adf29d",
      "frontend": "ghcr.io/openimis/openimis-fe:25.10@sha256:ed0e0b1dbe91308d4df3322a1aee40176b42d47bbf72fea79a59fa84ef63db4a"
    },
    "environment": "local synthetic public-application reference",
    "name": "openIMIS",
    "surface": "browser",
    "version": "25.10"
  },
  "catalog_version": 1,
  "data_classification": "synthetic",
  "evidence_class": "public_application_reference",
  "halt": {
    "binding": {
      "bytes": 872,
      "path": "fail-safe-halt/expired-halt.media-binding.json",
      "sha256": "63a57ac0b15785ca5e6569f1b5243241934df60af92613998368a23c4d315a9c"
    },
    "contexts": {
      "bytes": 6692,
      "path": "fail-safe-halt/expired-halt.contexts.json",
      "sha256": "d0615c48ce87db0e910c4c51b3661d67502abe34ccc4eef6201975b3a07cd222"
    },
    "declared_format_duration_us": 27736000,
    "declared_stream_duration_us": 27736000,
    "decoded_frame_count": 20,
    "evidence_class": "public_application_reference",
    "execution_profile": "standard",
    "id": "fail_safe_halt",
    "kind": "halt",
    "label": "Fail-safe halt",
    "media": {
      "bytes": 166215,
      "codec": "h264",
      "declared_format_duration_us": 27736000,
      "declared_stream_duration_us": 27736000,
      "decoded_frame_count": 20,
      "height": 800,
      "path": "fail-safe-halt/expired-halt.mp4",
      "presentation_times_us": [
        0,
        217000,
        556000,
        2216000,
        2400000,
        2764000,
        3595000,
        3716000,
        4066000,
        6110000,
        6515000,
        6827000,
        8576000,
        8709000,
        9139000,
        18192000,
        18519000,
        18739000,
        25985000,
        27735000
      ],
      "sha256": "0bacb22000d2f4ffdcba8468b79860375a42db779b5c734cb8a6985de2d07db2",
      "time_base": "1/1000000",
      "width": 1280
    },
    "minimum_effect_tier": 1,
    "model_calls": 0,
    "observed_silent_incorrect_success": 0,
    "outcome": "HALTED",
    "poster": {
      "bytes": 74291,
      "height": 800,
      "path": "fail-safe-halt/expired-halt.poster.png",
      "sha256": "f8c79fbb24c6d4d517b5fa06689fae402586132a67860c711901c686724ad408",
      "width": 1280
    },
    "presentation_times_us": [
      0,
      217000,
      556000,
      2216000,
      2400000,
      2764000,
      3595000,
      3716000,
      4066000,
      6110000,
      6515000,
      6827000,
      8576000,
      8709000,
      9139000,
      18192000,
      18519000,
      18739000,
      25985000,
      27735000
    ],
    "relationship": "exact runtime-observation presentation derivative",
    "timeline": {
      "bytes": 18160,
      "path": "fail-safe-halt/expired-halt.control-overlay.v2.json",
      "sha256": "7badf37d8da3efbaeddee12d6f5e549809289031c5baffa57321959309d7f62a"
    },
    "trial_denominator": 3,
    "verifier_summary": "Independent read-only SQL eligibility query"
  },
  "links": [
    {
      "href": "/demo#evidence",
      "label": "Evidence walkthrough",
      "type": "evidence"
    },
    {
      "href": "https://docs.openadapt.ai/concepts/effect-verification/",
      "label": "Effect verification",
      "type": "methodology"
    },
    {
      "href": "https://docs.openadapt.ai/concepts/execution-profiles/",
      "label": "Execution profiles",
      "type": "methodology"
    },
    {
      "href": "https://github.com/OpenAdaptAI/openadapt-flow/tree/3879bd505202db0471e3dd9c0ec2bab6410a5fb9/benchmark/openimis_claims",
      "label": "openIMIS reference environment",
      "type": "source_methodology"
    },
    {
      "href": "https://openadapt.ai/solutions/insurance",
      "label": "Insurance workflows",
      "type": "use_case"
    }
  ],
  "metrics": {
    "effect_verification_tier": 1,
    "fresh_trials": 6,
    "halted_trials": 3,
    "model_calls": 0,
    "observed_over_halt": 0,
    "observed_silent_incorrect_success": 0,
    "verified_trials": 3
  },
  "mode_order": [
    "recording",
    "verified_replay",
    "fail_safe_halt"
  ],
  "modes": [
    {
      "evidence_class": "source_demonstration",
      "execution_profile": null,
      "id": "recording",
      "kind": "recording",
      "label": "Recorded demonstration",
      "media": {
        "bytes": 492188,
        "codec": "h264",
        "declared_format_duration_us": 10800000,
        "declared_stream_duration_us": 10800000,
        "decoded_frame_count": 270,
        "height": 800,
        "path": "recording/openimis-source-recording.unbound.mp4",
        "presentation_times_us": [
          0,
          40000,
          80000,
          120000,
          160000,
          200000,
          240000,
          280000,
          320000,
          360000,
          400000,
          440000,
          480000,
          520000,
          560000,
          600000,
          640000,
          680000,
          720000,
          760000,
          800000,
          840000,
          880000,
          920000,
          960000,
          1000000,
          1040000,
          1080000,
          1120000,
          1160000,
          1200000,
          1240000,
          1280000,
          1320000,
          1360000,
          1400000,
          1440000,
          1480000,
          1520000,
          1560000,
          1600000,
          1640000,
          1680000,
          1720000,
          1760000,
          1800000,
          1840000,
          1880000,
          1920000,
          1960000,
          2000000,
          2040000,
          2080000,
          2120000,
          2160000,
          2200000,
          2240000,
          2280000,
          2320000,
          2360000,
          2400000,
          2440000,
          2480000,
          2520000,
          2560000,
          2600000,
          2640000,
          2680000,
          2720000,
          2760000,
          2800000,
          2840000,
          2880000,
          2920000,
          2960000,
          3000000,
          3040000,
          3080000,
          3120000,
          3160000,
          3200000,
          3240000,
          3280000,
          3320000,
          3360000,
          3400000,
          3440000,
          3480000,
          3520000,
          3560000,
          3600000,
          3640000,
          3680000,
          3720000,
          3760000,
          3800000,
          3840000,
          3880000,
          3920000,
          3960000,
          4000000,
          4040000,
          4080000,
          4120000,
          4160000,
          4200000,
          4240000,
          4280000,
          4320000,
          4360000,
          4400000,
          4440000,
          4480000,
          4520000,
          4560000,
          4600000,
          4640000,
          4680000,
          4720000,
          4760000,
          4800000,
          4840000,
          4880000,
          4920000,
          4960000,
          5000000,
          5040000,
          5080000,
          5120000,
          5160000,
          5200000,
          5240000,
          5280000,
          5320000,
          5360000,
          5400000,
          5440000,
          5480000,
          5520000,
          5560000,
          5600000,
          5640000,
          5680000,
          5720000,
          5760000,
          5800000,
          5840000,
          5880000,
          5920000,
          5960000,
          6000000,
          6040000,
          6080000,
          6120000,
          6160000,
          6200000,
          6240000,
          6280000,
          6320000,
          6360000,
          6400000,
          6440000,
          6480000,
          6520000,
          6560000,
          6600000,
          6640000,
          6680000,
          6720000,
          6760000,
          6800000,
          6840000,
          6880000,
          6920000,
          6960000,
          7000000,
          7040000,
          7080000,
          7120000,
          7160000,
          7200000,
          7240000,
          7280000,
          7320000,
          7360000,
          7400000,
          7440000,
          7480000,
          7520000,
          7560000,
          7600000,
          7640000,
          7680000,
          7720000,
          7760000,
          7800000,
          7840000,
          7880000,
          7920000,
          7960000,
          8000000,
          8040000,
          8080000,
          8120000,
          8160000,
          8200000,
          8240000,
          8280000,
          8320000,
          8360000,
          8400000,
          8440000,
          8480000,
          8520000,
          8560000,
          8600000,
          8640000,
          8680000,
          8720000,
          8760000,
          8800000,
          8840000,
          8880000,
          8920000,
          8960000,
          9000000,
          9040000,
          9080000,
          9120000,
          9160000,
          9200000,
          9240000,
          9280000,
          9320000,
          9360000,
          9400000,
          9440000,
          9480000,
          9520000,
          9560000,
          9600000,
          9640000,
          9680000,
          9720000,
          9760000,
          9800000,
          9840000,
          9880000,
          9920000,
          9960000,
          10000000,
          10040000,
          10080000,
          10120000,
          10160000,
          10200000,
          10240000,
          10280000,
          10320000,
          10360000,
          10400000,
          10440000,
          10480000,
          10520000,
          10560000,
          10600000,
          10640000,
          10680000,
          10720000,
          10760000
        ],
        "sha256": "2ed62ab7b9e3df69c04eb19c472c929c42f0baaaabbb8e1c4cac754de4bfb7d2",
        "time_base": "1/1000000",
        "width": 1280
      },
      "model_calls": 0,
      "outcome": null,
      "outcome_claim": null,
      "poster": {
        "bytes": 127602,
        "height": 800,
        "path": "recording/openimis-source-recording.poster.png",
        "sha256": "6d41cf01645a0a6af92e37dfda471c0afe1e1caab71eaf387029dfe306fed87a",
        "width": 1280
      },
      "privacy_transform": {
        "frame_fabrication": false,
        "frame_interpolation": false,
        "reason": "Begin after fixture authentication; retain only the demonstrated task.",
        "source_media_sha256": "1ea50a58eb6da5f9471f3445c5a630540b54c2b05126ca9572b122d85df6b0de",
        "trim_start_us": 4000000
      },
      "relationship": "unbound source recording for the compiled workflow",
      "trial_denominator": 1
    },
    {
      "binding": {
        "bytes": 884,
        "path": "verified-replay/eligible-replay.media-binding.json",
        "sha256": "275d5e6ac10e5c3c516785a65a2cf52112b6150bb8003c8796b28be4f9997a4a"
      },
      "contexts": {
        "bytes": 6646,
        "path": "verified-replay/eligible-replay.contexts.json",
        "sha256": "0f90ad4e06f1bf24ccb9ca4473562914cd99fe411affa7f8fb0feffa9304618f"
      },
      "declared_format_duration_us": 21983000,
      "declared_stream_duration_us": 21983000,
      "decoded_frame_count": 20,
      "evidence_class": "public_application_reference",
      "execution_profile": "standard",
      "id": "verified_replay",
      "kind": "replay",
      "label": "Verified replay",
      "media": {
        "bytes": 168522,
        "codec": "h264",
        "declared_format_duration_us": 21983000,
        "declared_stream_duration_us": 21983000,
        "decoded_frame_count": 20,
        "height": 800,
        "path": "verified-replay/eligible-replay.mp4",
        "presentation_times_us": [
          0,
          217000,
          681000,
          2418000,
          2539000,
          2897000,
          3657000,
          3758000,
          4108000,
          6342000,
          6744000,
          7229000,
          8479000,
          8619000,
          9030000,
          18198000,
          18585000,
          18807000,
          20232000,
          21982000
        ],
        "sha256": "a13cc78a9ca427f7d2d57586902ec815a053729d281fb26f7c752821a2cc73c4",
        "time_base": "1/1000000",
        "width": 1280
      },
      "minimum_effect_tier": 1,
      "model_calls": 0,
      "observed_silent_incorrect_success": 0,
      "outcome": "VERIFIED",
      "poster": {
        "bytes": 74503,
        "height": 800,
        "path": "verified-replay/eligible-replay.poster.png",
        "sha256": "efc33c3d7be9b22926501bc843a87aa7a912b229906c5e5933a1cfaafc7cfc8f",
        "width": 1280
      },
      "presentation_times_us": [
        0,
        217000,
        681000,
        2418000,
        2539000,
        2897000,
        3657000,
        3758000,
        4108000,
        6342000,
        6744000,
        7229000,
        8479000,
        8619000,
        9030000,
        18198000,
        18585000,
        18807000,
        20232000,
        21982000
      ],
      "relationship": "exact runtime-observation presentation derivative",
      "timeline": {
        "bytes": 18152,
        "path": "verified-replay/eligible-replay.control-overlay.v2.json",
        "sha256": "a99f52eb693d3d6096435596757aa6d9599babfc65d83b2293481879024df70d"
      },
      "trial_denominator": 3,
      "verifier_summary": "Independent read-only SQL eligibility query"
    },
    {
      "binding": {
        "bytes": 872,
        "path": "fail-safe-halt/expired-halt.media-binding.json",
        "sha256": "63a57ac0b15785ca5e6569f1b5243241934df60af92613998368a23c4d315a9c"
      },
      "contexts": {
        "bytes": 6692,
        "path": "fail-safe-halt/expired-halt.contexts.json",
        "sha256": "d0615c48ce87db0e910c4c51b3661d67502abe34ccc4eef6201975b3a07cd222"
      },
      "declared_format_duration_us": 27736000,
      "declared_stream_duration_us": 27736000,
      "decoded_frame_count": 20,
      "evidence_class": "public_application_reference",
      "execution_profile": "standard",
      "id": "fail_safe_halt",
      "kind": "halt",
      "label": "Fail-safe halt",
      "media": {
        "bytes": 166215,
        "codec": "h264",
        "declared_format_duration_us": 27736000,
        "declared_stream_duration_us": 27736000,
        "decoded_frame_count": 20,
        "height": 800,
        "path": "fail-safe-halt/expired-halt.mp4",
        "presentation_times_us": [
          0,
          217000,
          556000,
          2216000,
          2400000,
          2764000,
          3595000,
          3716000,
          4066000,
          6110000,
          6515000,
          6827000,
          8576000,
          8709000,
          9139000,
          18192000,
          18519000,
          18739000,
          25985000,
          27735000
        ],
        "sha256": "0bacb22000d2f4ffdcba8468b79860375a42db779b5c734cb8a6985de2d07db2",
        "time_base": "1/1000000",
        "width": 1280
      },
      "minimum_effect_tier": 1,
      "model_calls": 0,
      "observed_silent_incorrect_success": 0,
      "outcome": "HALTED",
      "poster": {
        "bytes": 74291,
        "height": 800,
        "path": "fail-safe-halt/expired-halt.poster.png",
        "sha256": "f8c79fbb24c6d4d517b5fa06689fae402586132a67860c711901c686724ad408",
        "width": 1280
      },
      "presentation_times_us": [
        0,
        217000,
        556000,
        2216000,
        2400000,
        2764000,
        3595000,
        3716000,
        4066000,
        6110000,
        6515000,
        6827000,
        8576000,
        8709000,
        9139000,
        18192000,
        18519000,
        18739000,
        25985000,
        27735000
      ],
      "relationship": "exact runtime-observation presentation derivative",
      "timeline": {
        "bytes": 18160,
        "path": "fail-safe-halt/expired-halt.control-overlay.v2.json",
        "sha256": "7badf37d8da3efbaeddee12d6f5e549809289031c5baffa57321959309d7f62a"
      },
      "trial_denominator": 3,
      "verifier_summary": "Independent read-only SQL eligibility query"
    }
  ],
  "network_observation": {
    "browser_network": "observed",
    "off_box_transmissions_observed": 0,
    "route_policy": "Loopback openIMIS traffic allowed; attempted off-box resources aborted."
  },
  "pack_id": "openimis-eligibility-standard-synthetic-v1",
  "phase": "qualified_compiled_replay",
  "provenance": {
    "execution_boundary": "Local browser plus an independent read-only SQL session",
    "fixture": "Pinned openIMIS 25.10 containers with synthetic data only",
    "license_boundary": "This media-only pack contains no openIMIS source or AGPL benchmark files.",
    "presentation_note": "Overlay is post-composed from exact runtime-retained observations; raw execution evidence media remains unmodified.",
    "review_successor_commit": "5cded0bba6919e92871c3710576b247576720921",
    "runtime_repository": "https://github.com/OpenAdaptAI/openadapt-flow",
    "runtime_source_commit": "3879bd505202db0471e3dd9c0ec2bab6410a5fb9"
  },
  "recording": {
    "evidence_class": "source_demonstration",
    "execution_profile": null,
    "id": "recording",
    "kind": "recording",
    "label": "Recorded demonstration",
    "media": {
      "bytes": 492188,
      "codec": "h264",
      "declared_format_duration_us": 10800000,
      "declared_stream_duration_us": 10800000,
      "decoded_frame_count": 270,
      "height": 800,
      "path": "recording/openimis-source-recording.unbound.mp4",
      "presentation_times_us": [
        0,
        40000,
        80000,
        120000,
        160000,
        200000,
        240000,
        280000,
        320000,
        360000,
        400000,
        440000,
        480000,
        520000,
        560000,
        600000,
        640000,
        680000,
        720000,
        760000,
        800000,
        840000,
        880000,
        920000,
        960000,
        1000000,
        1040000,
        1080000,
        1120000,
        1160000,
        1200000,
        1240000,
        1280000,
        1320000,
        1360000,
        1400000,
        1440000,
        1480000,
        1520000,
        1560000,
        1600000,
        1640000,
        1680000,
        1720000,
        1760000,
        1800000,
        1840000,
        1880000,
        1920000,
        1960000,
        2000000,
        2040000,
        2080000,
        2120000,
        2160000,
        2200000,
        2240000,
        2280000,
        2320000,
        2360000,
        2400000,
        2440000,
        2480000,
        2520000,
        2560000,
        2600000,
        2640000,
        2680000,
        2720000,
        2760000,
        2800000,
        2840000,
        2880000,
        2920000,
        2960000,
        3000000,
        3040000,
        3080000,
        3120000,
        3160000,
        3200000,
        3240000,
        3280000,
        3320000,
        3360000,
        3400000,
        3440000,
        3480000,
        3520000,
        3560000,
        3600000,
        3640000,
        3680000,
        3720000,
        3760000,
        3800000,
        3840000,
        3880000,
        3920000,
        3960000,
        4000000,
        4040000,
        4080000,
        4120000,
        4160000,
        4200000,
        4240000,
        4280000,
        4320000,
        4360000,
        4400000,
        4440000,
        4480000,
        4520000,
        4560000,
        4600000,
        4640000,
        4680000,
        4720000,
        4760000,
        4800000,
        4840000,
        4880000,
        4920000,
        4960000,
        5000000,
        5040000,
        5080000,
        5120000,
        5160000,
        5200000,
        5240000,
        5280000,
        5320000,
        5360000,
        5400000,
        5440000,
        5480000,
        5520000,
        5560000,
        5600000,
        5640000,
        5680000,
        5720000,
        5760000,
        5800000,
        5840000,
        5880000,
        5920000,
        5960000,
        6000000,
        6040000,
        6080000,
        6120000,
        6160000,
        6200000,
        6240000,
        6280000,
        6320000,
        6360000,
        6400000,
        6440000,
        6480000,
        6520000,
        6560000,
        6600000,
        6640000,
        6680000,
        6720000,
        6760000,
        6800000,
        6840000,
        6880000,
        6920000,
        6960000,
        7000000,
        7040000,
        7080000,
        7120000,
        7160000,
        7200000,
        7240000,
        7280000,
        7320000,
        7360000,
        7400000,
        7440000,
        7480000,
        7520000,
        7560000,
        7600000,
        7640000,
        7680000,
        7720000,
        7760000,
        7800000,
        7840000,
        7880000,
        7920000,
        7960000,
        8000000,
        8040000,
        8080000,
        8120000,
        8160000,
        8200000,
        8240000,
        8280000,
        8320000,
        8360000,
        8400000,
        8440000,
        8480000,
        8520000,
        8560000,
        8600000,
        8640000,
        8680000,
        8720000,
        8760000,
        8800000,
        8840000,
        8880000,
        8920000,
        8960000,
        9000000,
        9040000,
        9080000,
        9120000,
        9160000,
        9200000,
        9240000,
        9280000,
        9320000,
        9360000,
        9400000,
        9440000,
        9480000,
        9520000,
        9560000,
        9600000,
        9640000,
        9680000,
        9720000,
        9760000,
        9800000,
        9840000,
        9880000,
        9920000,
        9960000,
        10000000,
        10040000,
        10080000,
        10120000,
        10160000,
        10200000,
        10240000,
        10280000,
        10320000,
        10360000,
        10400000,
        10440000,
        10480000,
        10520000,
        10560000,
        10600000,
        10640000,
        10680000,
        10720000,
        10760000
      ],
      "sha256": "2ed62ab7b9e3df69c04eb19c472c929c42f0baaaabbb8e1c4cac754de4bfb7d2",
      "time_base": "1/1000000",
      "width": 1280
    },
    "model_calls": 0,
    "outcome": null,
    "outcome_claim": null,
    "poster": {
      "bytes": 127602,
      "height": 800,
      "path": "recording/openimis-source-recording.poster.png",
      "sha256": "6d41cf01645a0a6af92e37dfda471c0afe1e1caab71eaf387029dfe306fed87a",
      "width": 1280
    },
    "privacy_transform": {
      "frame_fabrication": false,
      "frame_interpolation": false,
      "reason": "Begin after fixture authentication; retain only the demonstrated task.",
      "source_media_sha256": "1ea50a58eb6da5f9471f3445c5a630540b54c2b05126ca9572b122d85df6b0de",
      "trim_start_us": 4000000
    },
    "relationship": "unbound source recording for the compiled workflow",
    "trial_denominator": 1
  },
  "replay": {
    "binding": {
      "bytes": 884,
      "path": "verified-replay/eligible-replay.media-binding.json",
      "sha256": "275d5e6ac10e5c3c516785a65a2cf52112b6150bb8003c8796b28be4f9997a4a"
    },
    "contexts": {
      "bytes": 6646,
      "path": "verified-replay/eligible-replay.contexts.json",
      "sha256": "0f90ad4e06f1bf24ccb9ca4473562914cd99fe411affa7f8fb0feffa9304618f"
    },
    "declared_format_duration_us": 21983000,
    "declared_stream_duration_us": 21983000,
    "decoded_frame_count": 20,
    "evidence_class": "public_application_reference",
    "execution_profile": "standard",
    "id": "verified_replay",
    "kind": "replay",
    "label": "Verified replay",
    "media": {
      "bytes": 168522,
      "codec": "h264",
      "declared_format_duration_us": 21983000,
      "declared_stream_duration_us": 21983000,
      "decoded_frame_count": 20,
      "height": 800,
      "path": "verified-replay/eligible-replay.mp4",
      "presentation_times_us": [
        0,
        217000,
        681000,
        2418000,
        2539000,
        2897000,
        3657000,
        3758000,
        4108000,
        6342000,
        6744000,
        7229000,
        8479000,
        8619000,
        9030000,
        18198000,
        18585000,
        18807000,
        20232000,
        21982000
      ],
      "sha256": "a13cc78a9ca427f7d2d57586902ec815a053729d281fb26f7c752821a2cc73c4",
      "time_base": "1/1000000",
      "width": 1280
    },
    "minimum_effect_tier": 1,
    "model_calls": 0,
    "observed_silent_incorrect_success": 0,
    "outcome": "VERIFIED",
    "poster": {
      "bytes": 74503,
      "height": 800,
      "path": "verified-replay/eligible-replay.poster.png",
      "sha256": "efc33c3d7be9b22926501bc843a87aa7a912b229906c5e5933a1cfaafc7cfc8f",
      "width": 1280
    },
    "presentation_times_us": [
      0,
      217000,
      681000,
      2418000,
      2539000,
      2897000,
      3657000,
      3758000,
      4108000,
      6342000,
      6744000,
      7229000,
      8479000,
      8619000,
      9030000,
      18198000,
      18585000,
      18807000,
      20232000,
      21982000
    ],
    "relationship": "exact runtime-observation presentation derivative",
    "timeline": {
      "bytes": 18152,
      "path": "verified-replay/eligible-replay.control-overlay.v2.json",
      "sha256": "a99f52eb693d3d6096435596757aa6d9599babfc65d83b2293481879024df70d"
    },
    "trial_denominator": 3,
    "verifier_summary": "Independent read-only SQL eligibility query"
  },
  "schema_version": "openadapt.public-cross-surface-presentation/v1",
  "task": {
    "description": "Look up a synthetic policyholder and service in openIMIS, then accept only the eligibility result independently confirmed by SQL.",
    "id": "insurance-eligibility-check",
    "name": "Insurance eligibility check",
    "workflow_family": "coverage-and-eligibility"
  },
  "trials": [
    {
      "bundle_content_digest": "a49e787d30b8a511df598c7bb85f3430baa865ef93265071755b1b9319f3f4ff",
      "condition": "eligible",
      "effect_verified": true,
      "execution_outcome": "VERIFIED",
      "execution_profile": "standard",
      "external_network_calls": "observed",
      "model_calls": 0,
      "over_halt": false,
      "report_sha256": "27cfaad8c50189bc4a4f84e937fff667cfcb3a5c19a2dd6354021ede0fdb6e8d",
      "runtime_ms": 20254.18012496084,
      "silent_incorrect_success": false,
      "trial": 1,
      "verification_tier": 1,
      "verifier_substrate": "sql"
    },
    {
      "bundle_content_digest": "a49e787d30b8a511df598c7bb85f3430baa865ef93265071755b1b9319f3f4ff",
      "condition": "eligible",
      "effect_verified": true,
      "execution_outcome": "VERIFIED",
      "execution_profile": "standard",
      "external_network_calls": "observed",
      "model_calls": 0,
      "over_halt": false,
      "report_sha256": "6a5b8c411b61ecb666a0a8b0788baca85becc57fdf9b0377e74d4c5b3ae0f365",
      "runtime_ms": 12699.658792000264,
      "silent_incorrect_success": false,
      "trial": 2,
      "verification_tier": 1,
      "verifier_substrate": "sql"
    },
    {
      "bundle_content_digest": "a49e787d30b8a511df598c7bb85f3430baa865ef93265071755b1b9319f3f4ff",
      "condition": "eligible",
      "effect_verified": true,
      "execution_outcome": "VERIFIED",
      "execution_profile": "standard",
      "external_network_calls": "observed",
      "model_calls": 0,
      "over_halt": false,
      "report_sha256": "8f2e9947e0c0523e391aa4dc3f69ec24a1ab917578d747fc8c22a8e1d531f2d4",
      "runtime_ms": 17793.903207872063,
      "silent_incorrect_success": false,
      "trial": 3,
      "verification_tier": 1,
      "verifier_substrate": "sql"
    },
    {
      "bundle_content_digest": "a49e787d30b8a511df598c7bb85f3430baa865ef93265071755b1b9319f3f4ff",
      "condition": "expired",
      "effect_verified": false,
      "execution_outcome": "HALTED",
      "execution_profile": "standard",
      "external_network_calls": "observed",
      "model_calls": 0,
      "over_halt": false,
      "report_sha256": "c6debff5c1c8ec18dac4765721bac5d3b74923a74a76284aa5b253b978260337",
      "runtime_ms": 25326.946000102907,
      "silent_incorrect_success": false,
      "trial": 1,
      "verification_tier": 1,
      "verifier_substrate": "sql"
    },
    {
      "bundle_content_digest": "a49e787d30b8a511df598c7bb85f3430baa865ef93265071755b1b9319f3f4ff",
      "condition": "expired",
      "effect_verified": false,
      "execution_outcome": "HALTED",
      "execution_profile": "standard",
      "external_network_calls": "observed",
      "model_calls": 0,
      "over_halt": false,
      "report_sha256": "535933866325ec570459d30b09736b90a842ca03ab6443c9193b3c7772b4f3f9",
      "runtime_ms": 19374.693624908105,
      "silent_incorrect_success": false,
      "trial": 2,
      "verification_tier": 1,
      "verifier_substrate": "sql"
    },
    {
      "bundle_content_digest": "a49e787d30b8a511df598c7bb85f3430baa865ef93265071755b1b9319f3f4ff",
      "condition": "expired",
      "effect_verified": false,
      "execution_outcome": "HALTED",
      "execution_profile": "standard",
      "external_network_calls": "observed",
      "model_calls": 0,
      "over_halt": false,
      "report_sha256": "2702bf7edd8183e00496b48ec2fb5d5cc4a0fba255e601b7b373871a9911cd44",
      "runtime_ms": 22645.087624900043,
      "silent_incorrect_success": false,
      "trial": 3,
      "verification_tier": 1,
      "verifier_substrate": "sql"
    }
  ],
  "verifier": {
    "class": "independent_system_interface",
    "strength_tier": 1,
    "substrate": "read_only_sql",
    "summary": "A read-only SQL oracle checks policy, product, service, and effective-date state independently of the browser result."
  }
}