Source: https://reporules.fyi/http4s/doobie-conditional-reservation/

# Keep a doobie reservation and order insert in one transaction: Perch rule pack

1 saved requirement for http4s. Inspect the selectors and adapt the example paths to your repository.

```
- name: failed-stock-check-prevents-insert
  where: "src/main/scala/Reserve.scala"
  ensure: >-
    The order INSERT must run only if the inventory UPDATE affected one row. A zero-row reservation must raise an error before insertion.
```

[Download the rule pack ZIP](https://reporules.fyi/http4s/doobie-conditional-reservation/rule-pack.zip) · [Download YAML](https://reporules.fyi/http4s/doobie-conditional-reservation/rules.yaml) · [Agent repair task](https://reporules.fyi/http4s/doobie-conditional-reservation/agent-task.txt) · [Implementation, integration requirements and captured checks](https://frameworkrecipes.dev/http4s/doobie-conditional-reservation/)

## Install the rule without replacing your configuration

```
npm install -g @lakeday/perch
perch login
curl -fL 'https://reporules.fyi/http4s/doobie-conditional-reservation/rule-pack.zip' -o 'perch-guide-http4s-doobie-conditional-reservation.zip'
unzip -n 'perch-guide-http4s-doobie-conditional-reservation.zip'
```

Keep your existing perch.yaml. Extraction preserves existing files and adds .perch/rules/perch-guide-http4s-doobie-conditional-reservation.yaml. Review each where selector before running a check on your application.

## Configure your coding agent

```
perch setup claude-code
perch setup codex
perch setup cursor
perch setup pi
```

Choose the setup command for the agent you use.

## Check the edit, fix the finding, check again

```
perch check src/main/scala/Reserve.scala --rules failed-stock-check-prevents-insert --json
```

Run the check after an agent edit. Read the finding and affected code, repair the implementation, and repeat the identical command. Keep the application regression tests as separate gates.

Exit 3 means a finding. Exit 1 or 2 means the check did not complete. A pass does not prove application correctness. Fresh judgments can vary; unchanged requests reuse cached answers. Relevant source is sent to the configured model service.

[Pack manifest and SHA-256 hash](https://reporules.fyi/http4s/doobie-conditional-reservation/rule-pack.json) · [Pack README](https://reporules.fyi/http4s/doobie-conditional-reservation/rule-pack-readme.md)

**Repo Rules**

Requirements that stay in the repo.

Published by Perch · © 2026 Verglas LLC. Repo Rules is a Perch publication.

Perch’s MIT license covers the CLI; hosted model analysis is a paid service. Relevant source is sent to the configured model service.

[Perch CLI MIT license](https://github.com/lakeday-org/perch/blob/main/LICENSE) · [Article text](https://reporules.fyi/http4s/doobie-conditional-reservation/index.md) · [Resource index](https://reporules.fyi/llms.txt)