--- inclusion: auto ---

Testing

Policy

• Modifications to the code SHALL be followed by running regression tests.
• When attempting to compile this project, agents SHALL use a non-default Dream server listening port, so that agent test builds won't clash with an existing Dream server.

Test Runner Agent Integration

When you receive a `GIT_COMMIT_DETECTED` message from the post-commit hook, you must:

1. Delegate to the **test-runner** agent defined in `.kiro/agents/test-runner.md` using `orchestrate_subagent` with the `general-task-execution` role.
2. The sub-agent's prompt should instruct it to: - Run `opam exec -- dune test` in the workspace root - Report results in the TEST REPORT format defined in the agent file
3. Relay the test report back to the user concisely.

If tests fail, offer to help diagnose and fix the failures before continuing with other work.