From ccd6faf3d10da0669631fb3e3ba17a46b9e63a09 Mon Sep 17 00:00:00 2001 From: Lukasz Kasprzak Date: Tue, 15 Sep 2026 00:32:11 +0200 Subject: (matched) is unknown after an undecided rule, so a catch-all leaves an unreadable file alone --- docs/design.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'docs/design.md') diff --git a/docs/design.md b/docs/design.md index 43a6975..744ef05 100644 --- a/docs/design.md +++ b/docs/design.md @@ -268,7 +268,9 @@ UTF-8 is replaced by U+FFFD before folding. false, `or` true if any is true, `not` of unknown is unknown, so an unknown only reaches the top where the text could change the answer. A rule matches only when its condition is true; an unknown exclude holds - (§4.6). `explain` shows an unknown test as `?`. A format with no text (§6, + (§4.6). While no earlier rule has matched a file but one could not be + decided, `(matched)` is unknown too, so a catch-all + `(not (matched))` does not take the file. `explain` shows an unknown test as `?`. A format with no text (§6, "anything else") is not a failure: `content` is false, silently. ### 5.5 Duplicates -- cgit v1.3