[Benoît Cortier (CBenoit)]

Documentation written with the code, or generated from it, describes what the code does rather than deciding what it must do, so a test whose expected value rests on it detects change, not bugs. The test-oracle-reviewer skill now lists such documentation, including a trait's rustdoc and an OpenAPI file generated from annotations, among self-derived sources, and limits the reference kind to another implementation, a capture, or a reference model.

A property such as encode writing exactly size() bytes is an independent source only when an intent, contract, or spec states it. A test citing the code's own documentation is re-cited to the sentence that decides its value, kept as mutant when it alone catches a fault, or deleted, and test-pruner records it as self-derived so the pass flags it for removal.

Changelog: ignore

🤖 Generated with Claude Code

[Benoît Cortier (CBenoit)]

Lines changed (added/removed):

Area	Lines
Production code	0
Tests	0
Other (agent skills)	+5 / -3

ci/check-oracle-markers.ps1 is unchanged: it checks marker syntax and resolution, not whether a source decides a value, so a reference citing the crate under test is left to review.

Note

Human-tuned, LLM-assisted content.