# DBG-06 error-outcome reproduction

This synthetic state machine injects a response-persistence failure after a
remote booking. It compares a silent-success policy with a reported failure
and cleanup policy, then varies the remote charging rule.

Run:

```sh
./run.sh
```

The fixture does not execute the private application, simulate a database, or
prove provider terms. It checks agreement among response, local state,
reporting, and declared remote consequences.