Keep Gin reservation and order creation on database/sql’s transaction handle: Perch rule pack
1 saved requirement for Gin. Inspect the selectors and adapt the example paths to your repository.
- name: reservation-tx-handle
where: "orders/reserve.go"
ensure: >-
The inventory UPDATE and order INSERT must both use tx.ExecContext inside the same transaction, never db.ExecContext for the order write.
Download the rule pack ZIP · Download YAML · Agent repair task · Implementation, integration requirements and captured checks
Install the rule without replacing your configuration
npm install -g @lakeday/perch
perch login
curl -fL 'https://reporules.fyi/gin/reservation-transaction/rule-pack.zip' -o 'perch-guide-gin-reservation-transaction.zip'
unzip -n 'perch-guide-gin-reservation-transaction.zip'Keep your existing perch.yaml. Extraction preserves existing files and adds .perch/rules/perch-guide-gin-reservation-transaction.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 piChoose the setup command for the agent you use.
Check the edit, fix the finding, check again
perch check orders/reserve.go --rules reservation-tx-handle --jsonRun 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.