dbg-06 reproduction
Public source retained with the related article. Generated results, dependency directories, runtime storage, secrets, and oversized binary artifacts are intentionally excluded.
README
# 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.