Skip to content

chore: Add testing knowledge to dev persona - #840

Merged
JeanMertz merged 1 commit into
mainfrom
testing
Jul 3, 2026
Merged

chore: Add testing knowledge to dev persona#840
JeanMertz merged 1 commit into
mainfrom
testing

Conversation

@JeanMertz

Copy link
Copy Markdown
Collaborator

Introduce a new testing.toml knowledge section covering four rules for the dev persona's assistant: forcing and proving exceptional paths in tests, never weakening a failing assertion instead of diagnosing it, asserting user-visible output exactly rather than with contains(), and knowing the delivery semantics of concurrency/IPC primitives before building tests on top of them. The dev persona now extends this file alongside its existing knowledge sources.

Also simplify the rfd-implementor persona's phase-discipline instructions: drop the explicit "phase 1" reference in favor of "the first phase", and collapse the per-phase verification guidance to run cargo_format, cargo_check, and the full cargo_test command, instead of separately calling out targeted cargo_test runs.

Introduce a new `testing.toml` knowledge section covering four rules
for the `dev` persona's assistant: forcing and proving exceptional
paths in tests, never weakening a failing assertion instead of
diagnosing it, asserting user-visible output exactly rather than with
`contains()`, and knowing the delivery semantics of concurrency/IPC
primitives before building tests on top of them. The `dev` persona now
extends this file alongside its existing knowledge sources.

Also simplify the `rfd-implementor` persona's phase-discipline
instructions: drop the explicit "phase 1" reference in favor of "the
first phase", and collapse the per-phase verification guidance to run
`cargo_format`, `cargo_check`, and the full `cargo_test` command,
instead of separately calling out targeted `cargo_test` runs.

Signed-off-by: Jean Mertz <git@jeanmertz.com>
@JeanMertz
JeanMertz merged commit b7f386e into main Jul 3, 2026
15 checks passed
@JeanMertz
JeanMertz deleted the testing branch July 3, 2026 18:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant