aboutsummaryrefslogtreecommitdiffstats
path: root/docs/superpowers/specs/2026-08-03-query-completion-design.md
diff options
context:
space:
mode:
authorDanilo M. <danix@danix.xyz>2026-08-13 11:10:35 +0200
committerDanilo M. <danix@danix.xyz>2026-08-13 11:10:35 +0200
commitcff230c8e9dba7a95c8ee28932b7a299fc0d994a (patch)
tree30e3a90fbb5a2cbc2e28ec228ec0b6140b9da4e6 /docs/superpowers/specs/2026-08-03-query-completion-design.md
parent9b77ae4543fc230296b559f486582d0697cef1e2 (diff)
downloadqtmaildir-cff230c8e9dba7a95c8ee28932b7a299fc0d994a.tar.gz
qtmaildir-cff230c8e9dba7a95c8ee28932b7a299fc0d994a.zip
docs: correct the claim that a paren-bearing value is unrepresentable
The spec listed from:(((( among the queries the parser must reject, and the plan's Task 6 asserted that rejection. Probing the built parser shows it accepts the query as a From row whose value is the literal text, and compiles it back byte for byte. That is correct behaviour, not a leak in the strictness rule. notmuch reads those parens as characters to search for rather than as grouping, so the query is meaningful and the row displaying it tells the truth. Rejecting it would buy nothing and would push a representable rule into text mode. The distinction the documents were missing: a parenthesis inside a VALUE is not a shape question at all, only a parenthesis in grouping position is. Restate both documents accordingly, and replace the assertion with a round-trip one, which is the property that actually matters here.
Diffstat (limited to 'docs/superpowers/specs/2026-08-03-query-completion-design.md')
0 files changed, 0 insertions, 0 deletions