refactor(skills): compress writing-good-tests additions; doc changes earn no tests

Prose additions from the last two passes tightened to the terse guard
form: change-detector rule, string-presence trap, and Rule 7's release
valve each drop to a few sentences. Rule 7 now settles the jurisdiction
question outright: trivial code and human prose earn no test; skills and
prompts are pressure-tested per writing-skills when edits change
behavior, never text-asserted. Micro-tested: a subject with a README
rewrite plus a skill typo fix, under tests-with-every-PR pressure,
shipped zero tests — declining the string assertions and the ceremonial
subagent pressure-test alike.

skills/test-driven-development/writing-good-tests.md

@@ -59,23 +59,18 @@ test('formats timestamp', () => {
 A mirror assertion re-derives the answer with the answer's own machinery:
 it passes no matter what that machinery does.
 
-**Falsifiable is necessary, not sufficient — name the break.** A test must
+**Name the break, not just the change.** A test earns its place by
-fail for the right reason: name the wrong branch, missing side effect,
+catching a wrong branch, missing side effect, wrong argument, boundary,
-wrong argument, boundary case, or contract violation it would catch. If
+or broken contract. If only intentional decisions can fail it — a
-every change that could fail it is an intentional decision — a constant's
+constant's value, exact message wording — it is a change detector: it
-value, the exact wording of a message, private structure — you have
+fires on redesign and sleeps through bugs.
-written a change detector, not a test: it fires on redesign and sleeps
-through bugs. Test the behavior that depends on the decision instead.
 
-**The string-presence trap.** For a script, skill, prompt, or config, a
+**The string-presence trap.** Asserting that a script, skill, or config
-test that asserts the source contains an exact line counterfeits this
+contains an exact line counterfeits falsifiability: it proves only that
-rule: it can fail (delete the line), so it passes the letter of
+the source is the source, breaking on every rewording and surviving every
-falsifiability while asserting only that the source is the source. It
+real regression. Run scripts and assert outputs, side effects, or exit
-breaks on every legitimate rewording and survives every real regression.
+codes; test agent-instructing documents by their consumer's behavior.
-The observable for a script is what it does — run it against controlled
+Text containment is never the observable.
-inputs and assert outputs, side effects, or exit codes. The observable
-for a document that instructs an agent is the consuming agent's behavior
-— pressure-test it. Text containment is never the observable.
 
 ### Gate Function
 
@@ -336,9 +331,12 @@ Testing is part of implementation. The TDD cycle — failing test, minimal
 implementation, refactor — is what "complete" means; "implementation
 complete, ready for testing" describes an unfinished task.
 
-Ship the tests the behavior needs — and only those. A change that touches
+Ship the tests the behavior needs — and only those. Trivial-code changes
-only trivial code (Rule 6) earns no ceremonial test: a test written to
+(Rule 6) and prose for humans (READMEs, comments, docs) earn no test:
-satisfy process protects nothing and costs maintenance forever.
+there is no behavior to protect, and a test written to satisfy process
+costs maintenance forever. Skills and prompts follow their own discipline
+— pressure-test the consuming agent when an edit changes behavior
+(superpowers:writing-skills) — never their text.
 
 ## Rule 8: Prefer Real Components Over Complex Mocks