docs(focus): record what shipped against the condition it was permitted under

The decision file was written before any code existed and said so in its
opening line. That line is now false, and the fix is not to delete the tense
but to name it: everything above "What shipped" is the record of what the
feature was ALLOWED to be, and the closing section reports what was built
against it.

Also records the one thing the decision could not have known, because it was
found by reading the consumer's parser rather than assuming it: paragraph mode
discards any block without tab=, so neither a '#' comment nor a bare key=value
in the header ever reaches the driver's records.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_0186vKCzuUEN5WcJB82kddzF

docs/focus-filter-decision.md

@@ -1,9 +1,12 @@
 # `--focus`: what was decided, and the one condition it rests on
 
-Measured 2026-08-02 across 27 `STATE.md` in the operator's tree. Nothing here is
-built; `board.sh` is unchanged at v0.17.0. This file exists because the decision
-constrains a future feature, and the exchange that produced it lives in a private
-mailbox and a local-only `STATE.md` — neither of which is a durable record.
+Measured 2026-08-02 across 27 `STATE.md` in the operator's tree. This file exists
+because the decision constrains the feature, and the exchange that produced it
+lives in a private mailbox and a local-only `STATE.md` — neither of which is a
+durable record. Everything above "What shipped" is the decision as it stood
+*before* any code existed, kept in that tense on purpose: it is the record of
+what the feature was permitted to be, and the section at the end reports what
+was then built against it.
 
 Repos other than `morning-driver` (the plan format's second declared consumer)
 are deliberately unnamed: this is a public mirror, and which repo carries which