# language: en
# Drives S-11 (#12). A zorgprofessional withdraws their own submitted registration ("trek aanvraag
# in"): it advances to INGETROKKEN and its running workflow is cancelled (ADR-0014). Only the owner
# may withdraw — another bsn is told not-found. Exercised against in-memory stand-ins for the store
# and the Workflow Client; the live Flowable message correlation is verified by the domain check.
Feature: Een registratie intrekken
  Als zorgprofessional wil ik mijn ingediende registratie kunnen intrekken
  zodat een aanvraag die ik niet meer wil niet in behandeling blijft.

  Scenario: De zorgprofessional trekt zijn eigen registratie in
    Given a submitted registration with a running process
    When the zorgprofessional withdraws it
    Then the withdrawal succeeds
    And the registration has status "INGETROKKEN"
    And the running process is cancelled

  Scenario: Een andere zorgprofessional kan de registratie niet intrekken
    Given a submitted registration with a running process
    When a different zorgprofessional tries to withdraw it
    Then the withdrawal is reported not found
    And the registration has status "INGEDIEND"
    And the running process is not cancelled