[
  {
    "name": "whole family and external proof complete",
    "expected": "valid",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "applied"
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [
            "paper:registry:proof"
          ],
          "external": {
            "actor_ref": "role:customer-operations",
            "request_ref": "paper:instruction:1",
            "requested_at": "2026-09-07T09:00:00Z",
            "response_ref": "paper:response:1"
          }
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        },
        {
          "id": "registry-ok",
          "member": "registry",
          "check_ref": "skill:registry:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:registry:proof"
        }
      ],
      "case_state": "resolved",
      "delivery_ref": "delivery:1",
      "acceptance_ref": null,
      "post_result": {
        "task_ref": "task:learn:1",
        "result_revision": 1,
        "state": "queued"
      }
    }
  },
  {
    "name": "external work pending is a valid waiting case",
    "expected": "valid",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "applied"
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "waiting",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [],
          "external": {
            "actor_ref": "role:customer-operations",
            "request_ref": "paper:instruction:1",
            "requested_at": "2026-09-07T09:00:00Z",
            "response_ref": null
          }
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        }
      ],
      "case_state": "parked",
      "delivery_ref": null,
      "acceptance_ref": null,
      "post_result": {
        "task_ref": null,
        "result_revision": 1,
        "state": "not_queued"
      }
    }
  },
  {
    "name": "customer-confirmed closure",
    "expected": "valid",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "applied"
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [
            "paper:registry:proof"
          ],
          "external": {
            "actor_ref": "role:customer-operations",
            "request_ref": "paper:instruction:1",
            "requested_at": "2026-09-07T09:00:00Z",
            "response_ref": "paper:response:1"
          }
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        },
        {
          "id": "registry-ok",
          "member": "registry",
          "check_ref": "skill:registry:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:registry:proof"
        }
      ],
      "case_state": "closed",
      "delivery_ref": "delivery:1",
      "acceptance_ref": "acceptance:1",
      "post_result": {
        "task_ref": "task:learn:1",
        "result_revision": 1,
        "state": "queued"
      }
    }
  },
  {
    "name": "missing final family member",
    "expected": "incomplete_scope_proof",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "applied"
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [
            "paper:registry:proof"
          ],
          "external": {
            "actor_ref": "role:customer-operations",
            "request_ref": "paper:instruction:1",
            "requested_at": "2026-09-07T09:00:00Z",
            "response_ref": "paper:response:1"
          }
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        }
      ],
      "case_state": "resolved",
      "delivery_ref": "delivery:1",
      "acceptance_ref": null,
      "post_result": {
        "task_ref": "task:learn:1",
        "result_revision": 1,
        "state": "queued"
      }
    }
  },
  {
    "name": "external done is only a report",
    "expected": "required_work_open",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "applied"
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "reported",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [
            "paper:registry:proof"
          ],
          "external": {
            "actor_ref": "role:customer-operations",
            "request_ref": "paper:instruction:1",
            "requested_at": "2026-09-07T09:00:00Z",
            "response_ref": "paper:response:1"
          }
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        },
        {
          "id": "registry-ok",
          "member": "registry",
          "check_ref": "skill:registry:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:registry:proof"
        }
      ],
      "case_state": "resolved",
      "delivery_ref": "delivery:1",
      "acceptance_ref": null,
      "post_result": {
        "task_ref": "task:learn:1",
        "result_revision": 1,
        "state": "queued"
      }
    }
  },
  {
    "name": "old scope response",
    "expected": "unproved_step",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "applied"
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [
            "paper:registry:proof"
          ],
          "external": {
            "actor_ref": "role:customer-operations",
            "request_ref": "paper:instruction:1",
            "requested_at": "2026-09-07T09:00:00Z",
            "response_ref": "paper:response:1"
          }
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        },
        {
          "id": "registry-ok",
          "member": "registry",
          "check_ref": "skill:registry:v1",
          "scope_revision": 2,
          "verdict": "pass",
          "evidence_ref": "paper:registry:proof"
        }
      ],
      "case_state": "resolved",
      "delivery_ref": "delivery:1",
      "acceptance_ref": null,
      "post_result": {
        "task_ref": "task:learn:1",
        "result_revision": 1,
        "state": "queued"
      }
    }
  },
  {
    "name": "external action is not a platform call",
    "expected": "external_as_platform_effect",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "applied"
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [
            "paper:registry:proof"
          ],
          "external": {
            "actor_ref": "role:customer-operations",
            "request_ref": "paper:instruction:1",
            "requested_at": "2026-09-07T09:00:00Z",
            "response_ref": "paper:response:1"
          },
          "call_ref": "call:invented"
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        },
        {
          "id": "registry-ok",
          "member": "registry",
          "check_ref": "skill:registry:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:registry:proof"
        }
      ],
      "case_state": "resolved",
      "delivery_ref": "delivery:1",
      "acceptance_ref": null,
      "post_result": {
        "task_ref": "task:learn:1",
        "result_revision": 1,
        "state": "queued"
      }
    }
  },
  {
    "name": "missing actor obligation",
    "expected": "missing_external_owner",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "applied"
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [
            "paper:registry:proof"
          ]
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        },
        {
          "id": "registry-ok",
          "member": "registry",
          "check_ref": "skill:registry:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:registry:proof"
        }
      ],
      "case_state": "resolved",
      "delivery_ref": "delivery:1",
      "acceptance_ref": null,
      "post_result": {
        "task_ref": "task:learn:1",
        "result_revision": 1,
        "state": "queued"
      }
    }
  },
  {
    "name": "platform effect unknown",
    "expected": "unreconciled_effect",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "waiting",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "unknown"
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [
            "paper:registry:proof"
          ],
          "external": {
            "actor_ref": "role:customer-operations",
            "request_ref": "paper:instruction:1",
            "requested_at": "2026-09-07T09:00:00Z",
            "response_ref": "paper:response:1"
          }
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        },
        {
          "id": "registry-ok",
          "member": "registry",
          "check_ref": "skill:registry:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:registry:proof"
        }
      ],
      "case_state": "resolved",
      "delivery_ref": "delivery:1",
      "acceptance_ref": null,
      "post_result": {
        "task_ref": "task:learn:1",
        "result_revision": 1,
        "state": "queued"
      }
    }
  },
  {
    "name": "cross-system effect partial",
    "expected": "unreconciled_effect",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "failed",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "partial"
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [
            "paper:registry:proof"
          ],
          "external": {
            "actor_ref": "role:customer-operations",
            "request_ref": "paper:instruction:1",
            "requested_at": "2026-09-07T09:00:00Z",
            "response_ref": "paper:response:1"
          }
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        },
        {
          "id": "registry-ok",
          "member": "registry",
          "check_ref": "skill:registry:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:registry:proof"
        }
      ],
      "case_state": "resolved",
      "delivery_ref": "delivery:1",
      "acceptance_ref": null,
      "post_result": {
        "task_ref": "task:learn:1",
        "result_revision": 1,
        "state": "queued"
      }
    }
  },
  {
    "name": "no effect authority",
    "expected": "missing_effect_authority",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": null,
          "effect_state": "applied"
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [
            "paper:registry:proof"
          ],
          "external": {
            "actor_ref": "role:customer-operations",
            "request_ref": "paper:instruction:1",
            "requested_at": "2026-09-07T09:00:00Z",
            "response_ref": "paper:response:1"
          }
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        },
        {
          "id": "registry-ok",
          "member": "registry",
          "check_ref": "skill:registry:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:registry:proof"
        }
      ],
      "case_state": "resolved",
      "delivery_ref": "delivery:1",
      "acceptance_ref": null,
      "post_result": {
        "task_ref": "task:learn:1",
        "result_revision": 1,
        "state": "queued"
      }
    }
  },
  {
    "name": "missing inventory layer",
    "expected": "incomplete_inventory",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry",
          "last-period"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "applied"
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [
            "paper:registry:proof"
          ],
          "external": {
            "actor_ref": "role:customer-operations",
            "request_ref": "paper:instruction:1",
            "requested_at": "2026-09-07T09:00:00Z",
            "response_ref": "paper:response:1"
          }
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        },
        {
          "id": "registry-ok",
          "member": "registry",
          "check_ref": "skill:registry:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:registry:proof"
        }
      ],
      "case_state": "resolved",
      "delivery_ref": "delivery:1",
      "acceptance_ref": null,
      "post_result": {
        "task_ref": "task:learn:1",
        "result_revision": 1,
        "state": "queued"
      }
    }
  },
  {
    "name": "proof from wrong member",
    "expected": "wrong_assertion_member",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "applied"
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [
            "paper:registry:proof"
          ],
          "external": {
            "actor_ref": "role:customer-operations",
            "request_ref": "paper:instruction:1",
            "requested_at": "2026-09-07T09:00:00Z",
            "response_ref": "paper:response:1"
          }
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        },
        {
          "id": "registry-ok",
          "member": "header",
          "check_ref": "skill:registry:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:registry:proof"
        }
      ],
      "case_state": "resolved",
      "delivery_ref": "delivery:1",
      "acceptance_ref": null,
      "post_result": {
        "task_ref": "task:learn:1",
        "result_revision": 1,
        "state": "queued"
      }
    }
  },
  {
    "name": "unassigned required check",
    "expected": "unassigned_required_assertion",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok",
            "print-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "applied"
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [
            "paper:registry:proof"
          ],
          "external": {
            "actor_ref": "role:customer-operations",
            "request_ref": "paper:instruction:1",
            "requested_at": "2026-09-07T09:00:00Z",
            "response_ref": "paper:response:1"
          }
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        },
        {
          "id": "registry-ok",
          "member": "registry",
          "check_ref": "skill:registry:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:registry:proof"
        }
      ],
      "case_state": "resolved",
      "delivery_ref": "delivery:1",
      "acceptance_ref": null,
      "post_result": {
        "task_ref": "task:learn:1",
        "result_revision": 1,
        "state": "queued"
      }
    }
  },
  {
    "name": "missing dependent release half",
    "expected": "dependency_not_verified",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "planned",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "applied"
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [
            "paper:registry:proof"
          ],
          "external": {
            "actor_ref": "role:customer-operations",
            "request_ref": "paper:instruction:1",
            "requested_at": "2026-09-07T09:00:00Z",
            "response_ref": "paper:response:1"
          }
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        },
        {
          "id": "registry-ok",
          "member": "registry",
          "check_ref": "skill:registry:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:registry:proof"
        }
      ],
      "case_state": "resolved",
      "delivery_ref": "delivery:1",
      "acceptance_ref": null,
      "post_result": {
        "task_ref": "task:learn:1",
        "result_revision": 1,
        "state": "queued"
      }
    }
  },
  {
    "name": "learning lost after closure",
    "expected": "learning_not_durable",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "applied"
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [
            "paper:registry:proof"
          ],
          "external": {
            "actor_ref": "role:customer-operations",
            "request_ref": "paper:instruction:1",
            "requested_at": "2026-09-07T09:00:00Z",
            "response_ref": "paper:response:1"
          }
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        },
        {
          "id": "registry-ok",
          "member": "registry",
          "check_ref": "skill:registry:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:registry:proof"
        }
      ],
      "case_state": "resolved",
      "delivery_ref": "delivery:1",
      "acceptance_ref": null,
      "post_result": {
        "task_ref": null,
        "result_revision": 1,
        "state": "not_queued"
      }
    }
  },
  {
    "name": "closed without customer acceptance",
    "expected": "acceptance_missing",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "applied"
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [
            "paper:registry:proof"
          ],
          "external": {
            "actor_ref": "role:customer-operations",
            "request_ref": "paper:instruction:1",
            "requested_at": "2026-09-07T09:00:00Z",
            "response_ref": "paper:response:1"
          }
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        },
        {
          "id": "registry-ok",
          "member": "registry",
          "check_ref": "skill:registry:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:registry:proof"
        }
      ],
      "case_state": "closed",
      "delivery_ref": "delivery:1",
      "acceptance_ref": null,
      "post_result": {
        "task_ref": "task:learn:1",
        "result_revision": 1,
        "state": "queued"
      }
    }
  },
  {
    "name": "no delivered result",
    "expected": "delivery_not_recorded",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "applied"
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [
            "paper:registry:proof"
          ],
          "external": {
            "actor_ref": "role:customer-operations",
            "request_ref": "paper:instruction:1",
            "requested_at": "2026-09-07T09:00:00Z",
            "response_ref": "paper:response:1"
          }
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        },
        {
          "id": "registry-ok",
          "member": "registry",
          "check_ref": "skill:registry:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:registry:proof"
        }
      ],
      "case_state": "resolved",
      "delivery_ref": null,
      "acceptance_ref": null,
      "post_result": {
        "task_ref": "task:learn:1",
        "result_revision": 1,
        "state": "queued"
      }
    }
  },
  {
    "name": "required step silently waived",
    "expected": "required_work_open",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "applied"
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "waived",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [
            "paper:registry:proof"
          ],
          "external": {
            "actor_ref": "role:customer-operations",
            "request_ref": "paper:instruction:1",
            "requested_at": "2026-09-07T09:00:00Z",
            "response_ref": "paper:response:1"
          },
          "waiver_ref": "decision:waive"
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        },
        {
          "id": "registry-ok",
          "member": "registry",
          "check_ref": "skill:registry:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:registry:proof"
        }
      ],
      "case_state": "resolved",
      "delivery_ref": "delivery:1",
      "acceptance_ref": null,
      "post_result": {
        "task_ref": "task:learn:1",
        "result_revision": 1,
        "state": "queued"
      }
    }
  },
  {
    "name": "dependency cycle",
    "expected": "dependency_cycle",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [
            "external-registry"
          ],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "applied"
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [
            "paper:registry:proof"
          ],
          "external": {
            "actor_ref": "role:customer-operations",
            "request_ref": "paper:instruction:1",
            "requested_at": "2026-09-07T09:00:00Z",
            "response_ref": "paper:response:1"
          }
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        },
        {
          "id": "registry-ok",
          "member": "registry",
          "check_ref": "skill:registry:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:registry:proof"
        }
      ],
      "case_state": "resolved",
      "delivery_ref": "delivery:1",
      "acceptance_ref": null,
      "post_result": {
        "task_ref": "task:learn:1",
        "result_revision": 1,
        "state": "queued"
      }
    }
  },
  {
    "name": "temporary write lacks restoration",
    "expected": "missing_restoration_obligation",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "applied",
          "restoration_required": true
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [
            "paper:registry:proof"
          ],
          "external": {
            "actor_ref": "role:customer-operations",
            "request_ref": "paper:instruction:1",
            "requested_at": "2026-09-07T09:00:00Z",
            "response_ref": "paper:response:1"
          }
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        },
        {
          "id": "registry-ok",
          "member": "registry",
          "check_ref": "skill:registry:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:registry:proof"
        }
      ],
      "case_state": "resolved",
      "delivery_ref": "delivery:1",
      "acceptance_ref": null,
      "post_result": {
        "task_ref": "task:learn:1",
        "result_revision": 1,
        "state": "queued"
      }
    }
  },
  {
    "name": "temporary result cannot close before restore",
    "expected": "required_work_open",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "applied",
          "restoration_required": true
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [
            "paper:registry:proof"
          ],
          "external": {
            "actor_ref": "role:customer-operations",
            "request_ref": "paper:instruction:1",
            "requested_at": "2026-09-07T09:00:00Z",
            "response_ref": "paper:response:1"
          }
        },
        {
          "id": "restore",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [
            "repair",
            "external-registry"
          ],
          "required": true,
          "state": "waiting",
          "assertion_ids": [
            "baseline-ok"
          ],
          "evidence_refs": [],
          "effect_state": "not_started",
          "restores_step": "repair",
          "due_at": "2026-09-07T10:00:00Z"
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        },
        {
          "id": "registry-ok",
          "member": "registry",
          "check_ref": "skill:registry:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:registry:proof"
        }
      ],
      "case_state": "resolved",
      "delivery_ref": "delivery:1",
      "acceptance_ref": null,
      "post_result": {
        "task_ref": "task:learn:1",
        "result_revision": 1,
        "state": "queued"
      }
    }
  },
  {
    "name": "duplicate logical effect call",
    "expected": "duplicate_effect_call",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Repair the complete synthetic family and verify the customer's result.",
        "outcome_type": "operational"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:inventory:1",
        "members": [
          "header",
          "registry"
        ],
        "required_assertions": {
          "header": [
            "header-ok"
          ],
          "registry": [
            "registry-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "repair",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "applied"
        },
        {
          "id": "external-registry",
          "actor_profile": "support.resolution",
          "kind": "external",
          "depends_on": [
            "repair"
          ],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "registry-ok"
          ],
          "evidence_refs": [
            "paper:registry:proof"
          ],
          "external": {
            "actor_ref": "role:customer-operations",
            "request_ref": "paper:instruction:1",
            "requested_at": "2026-09-07T09:00:00Z",
            "response_ref": "paper:response:1"
          }
        },
        {
          "id": "second-effect",
          "actor_profile": "support.resolution",
          "kind": "effect",
          "depends_on": [],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "header-ok"
          ],
          "evidence_refs": [
            "paper:header:proof"
          ],
          "call_ref": "call:repair",
          "grant_ref": "grant:repair",
          "effect_state": "applied"
        }
      ],
      "assertions": [
        {
          "id": "header-ok",
          "member": "header",
          "check_ref": "skill:header:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:header:proof"
        },
        {
          "id": "registry-ok",
          "member": "registry",
          "check_ref": "skill:registry:v1",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:registry:proof"
        }
      ],
      "case_state": "resolved",
      "delivery_ref": "delivery:1",
      "acceptance_ref": null,
      "post_result": {
        "task_ref": "task:learn:1",
        "result_revision": 1,
        "state": "queued"
      }
    }
  },
  {
    "name": "proposal-only is a valid scoped outcome",
    "expected": "valid",
    "value": {
      "schema_version": 1,
      "case_id": "fixture-case",
      "origin_request_key": "synthetic:request-a",
      "plan_revision": 1,
      "approved_plan_ref": "paper:approved-plan:1",
      "objective": {
        "statement": "Prepare and deliver reviewed instructions only.",
        "outcome_type": "instructions"
      },
      "scope": {
        "revision": 1,
        "inventory_ref": "paper:instruction-scope",
        "members": [
          "instructions"
        ],
        "required_assertions": {
          "instructions": [
            "instructions-ok"
          ]
        }
      },
      "steps": [
        {
          "id": "prepare",
          "actor_profile": "support.resolution",
          "kind": "read",
          "depends_on": [],
          "required": true,
          "state": "verified",
          "assertion_ids": [
            "instructions-ok"
          ],
          "evidence_refs": [
            "paper:reviewed-instructions"
          ]
        }
      ],
      "assertions": [
        {
          "id": "instructions-ok",
          "member": "instructions",
          "check_ref": "review:instructions",
          "scope_revision": 1,
          "verdict": "pass",
          "evidence_ref": "paper:reviewed-instructions"
        }
      ],
      "case_state": "resolved",
      "delivery_ref": "delivery:1",
      "acceptance_ref": null,
      "post_result": {
        "task_ref": "task:learn:1",
        "result_revision": 1,
        "state": "queued"
      }
    }
  }
]