{
  "application": {
    "name": "openIMIS",
    "version": "25.10"
  },
  "bundle_content_digest": "a49e787d30b8a511df598c7bb85f3430baa865ef93265071755b1b9319f3f4ff",
  "condition": "expired",
  "contracts": {
    "evidence_classes": [
      "authorization",
      "identity",
      "postcondition"
    ],
    "passed": {
      "authorization": 1,
      "effect": 0,
      "identity": 3,
      "postcondition": 11
    },
    "required": {
      "authorization": 1,
      "effect": 1,
      "identity": 3,
      "postcondition": 11
    }
  },
  "duration_ms": 19374.694,
  "effect_verification": {
    "minimum_required_tier": 3,
    "observed_tier": 1,
    "observed_tier_label": "Independent system interface",
    "substrate": "read-only SQL"
  },
  "execution_completed": false,
  "execution_profile": "standard",
  "halt": {
    "code": "system_of_record_effect_refuted",
    "step_id": "step_005",
    "summary": "The independent read-only SQL verifier returned Ineligible where the declared effect required Eligible, so OpenAdapt refused to report success."
  },
  "identity": {
    "applicable_actions": 3,
    "armed_actions": 3,
    "unarmed_action_ids": []
  },
  "model_calls": 0,
  "network_observation": {
    "browser_network": "observed",
    "off_box_transmissions_observed": 0
  },
  "outcome": "HALTED",
  "policy": "clinical-write",
  "private_source_report": {
    "published": false,
    "reason": "The full runtime report contains synthetic record identifiers and local evidence paths; this public derivative retains its contract outcomes and exact source digest.",
    "sha256": "535933866325ec570459d30b09736b90a842ca03ab6443c9193b3c7772b4f3f9"
  },
  "production_eligible": false,
  "schema_version": "openadapt.public-run-summary/v1",
  "steps": [
    {
      "action": "click",
      "effect_verified": null,
      "identity_status": "verified",
      "ok": true,
      "postconditions_passed": true,
      "resolution_rung": "structural",
      "safety_halt": false,
      "step_id": "step_000",
      "title": "click 'Q Insuree enquiry ?'"
    },
    {
      "action": "type",
      "effect_verified": null,
      "identity_status": null,
      "ok": true,
      "postconditions_passed": true,
      "resolution_rung": null,
      "safety_halt": false,
      "step_id": "step_001",
      "title": "type <insurance_no>"
    },
    {
      "action": "key",
      "effect_verified": null,
      "identity_status": null,
      "ok": true,
      "postconditions_passed": true,
      "resolution_rung": null,
      "safety_halt": false,
      "step_id": "step_002",
      "title": "press Enter"
    },
    {
      "action": "click",
      "effect_verified": null,
      "identity_status": "verified",
      "ok": true,
      "postconditions_passed": true,
      "resolution_rung": "structural",
      "safety_halt": false,
      "step_id": "step_003",
      "title": "click textbox 'Search Service'"
    },
    {
      "action": "type",
      "effect_verified": null,
      "identity_status": null,
      "ok": true,
      "postconditions_passed": true,
      "resolution_rung": null,
      "safety_halt": false,
      "step_id": "step_004",
      "title": "type 'General'"
    },
    {
      "action": "click",
      "effect_evidence": {
        "effect_contract_hash": "sha256:9fd8560c48de3745db6047d2047079196ca9cf73c845d22eaf1cfdc2dde4412f",
        "substrate": "sql",
        "verdict": "refuted",
        "verification_tier": 1
      },
      "effect_verified": false,
      "identity_status": "verified",
      "ok": false,
      "postconditions_passed": true,
      "resolution_rung": "structural",
      "safety_halt": true,
      "step_id": "step_005",
      "title": "click option 'A1 General Consultation'"
    }
  ],
  "trial_id": "expired-02",
  "workflow_name": "openimis-eligibility-check"
}