signal-bot/tests/test_suggest_command.py
Krzysztof kuhy Rudnicki 6ec746fad2 feat: a word the bot does not know gets an answer, and gets kept
An unrecognised "!word" was dropped in silence, which made a typo
indistinguishable from the bot being down and threw away the best available
list of commands worth writing. Three things now happen at the one place in
dispatcher.py that used to be a bare `return`.

A near miss is corrected -- "!cta" asks whether you meant "!kot". The
distance is optimal string alignment rather than difflib's ratio: a
transposition is the typo people actually make, it costs one edit here, and
it shreds the matching blocks a ratio counts ("!cta"/"!cat" scores 0.75 but
"!cta"/"!kot" scores 0.50, so no cutoff separates them on principle).

A word with no near miss points at !zaproponuj, which files an idea from
inside the group. Either way the word and the message are recorded, and the
management page grows an Ideas tab that lists them.

Three things stay silent, each for its own reason. "!kot ladny" is a real
trigger with words after it and always has been silent. "!!" is punctuation.
And a command claimed in some *other* group is neither answered nor recorded
-- the album's triggers are real people's names, and pack_scoping.yaml says
it out loud: a refusal would itself announce that the album exists. The
existence check is therefore global, which is what pack_add already asks.

Measured rather than guessed, against the shipped aliases.json:

- a minimum candidate length, because "!ja" is one edit from ~40 of the 676
  two-letter words somebody could type; 69 of them got a suggestion before
  the rule and 18 after.
- the two-edit budget starts at six characters, not five. At five it put
  four pairs of *different* commands within reach of each other --
  !pies/!popes, !days/!cats, !dzis/!dni, !mnie/!dni -- and costs nothing to
  give up, because every real typo this was written for is one edit away.
  test_no_two_commands_are_within_reach_of_each_other fails if a future
  alias reopens the gap.

Both new tables are keyed on the envelope's own sent_at_ms, never the wall
clock: signal-cli replays undelivered frames on reconnect, and a clock-keyed
table collects a duplicate row per reconnect instead of ignoring one.

The branch is gated on should_count -- which excludes the bot's own envelope,
and that is the loop guard, since handle() checks is_own nowhere else -- and
wrapped in its own try/except, because it runs above the one that wraps a
handler and Bot.listen has no exception handling of its own.

Suggestions live in SQLite, not in a tracked file, and the export goes to the
state directory. check_personal_data learns the names it refuses from the
live database, so it catches a name somebody has typed and cannot catch a
misspelling of one -- and an unrecognised-command corpus is made of
misspellings. A group-writable file in a public tree is both a leak and a
wedge. The export therefore carries
deliberate !zaproponuj notes in full and unrecognised words as counts only;
bodies stay on the loopback-only page.

Verified on the live bot: restarted, both tables created with every existing
row count unchanged, !cta and !zaproponuj !pogoda delivered through
/_selftest, both rows read back out of the live database, and the journal
names neither the word nor the body.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01416TegJ3sa8xL5qGGgrygP
2026-08-31 16:48:26 +02:00

159 lines
5.4 KiB
Python

# Copyright (c) 2026 Krzysztof Rudnicki. MIT licence.
"""!zaproponuj: filing an idea from inside the group."""
from __future__ import annotations
import json
from typing import TYPE_CHECKING
from signal_bot.animals import ALIAS_FILE, load_aliases
from signal_bot.context import CommandContext
from signal_bot.models import parse_envelope
from signal_bot.registry import CommandRegistry
from signal_bot.suggest_command import (
ALREADY,
COMMAND_NAME,
USAGE,
register_suggest_command,
)
from signal_bot.unknown import SUGGEST_PRIMARY
from tests.conftest import WATCHED_GROUP, envelope
if TYPE_CHECKING:
from signal_bot.config import Config
from signal_bot.store import Store
from signal_bot.transport_fake import FakeTransport
async def _noop(ctx: CommandContext) -> None:
"""A handler that does nothing."""
def test_the_pinned_spelling_is_the_one_aliases_json_actually_lists() -> None:
"""unknown.py quotes SUGGEST_PRIMARY without reading the file.
That is the trade -- no file read on the inbound path -- and this is the
check that stops the constant and the data drifting apart.
"""
assert load_aliases()[COMMAND_NAME][0] == SUGGEST_PRIMARY
def test_the_command_is_never_scoped_to_a_group() -> None:
"""help_command.GROUPS names it, and render_help looks every name up.
A scoped command in that table raises KeyError in every group it is not
allowed in, which would take !pomoc down rather than hide one line.
"""
registry = CommandRegistry()
register_suggest_command(registry)
(command,) = [c for c in registry.commands if c.name == COMMAND_NAME]
assert command.groups is None
assert command.takes_args
def test_every_alias_is_a_plausible_command_word_and_not_a_name() -> None:
"""_repo_vocabulary() subtracts these from the personal-data gate.
Every trigger listed here is permanently exempt from that half of the
check, so a name-shaped one would punch a hole in it.
"""
document = json.loads(ALIAS_FILE.read_text(encoding="utf-8"))
for trigger in document[COMMAND_NAME]:
assert trigger.startswith("!")
assert trigger[1:].isalpha()
async def _run(
registry: CommandRegistry,
store: Store,
transport: FakeTransport,
config: Config,
text: str,
) -> str:
"""Run !zaproponuj on one message and return what it answered."""
message = parse_envelope(envelope(text=text, timestamp=77))
assert message is not None
resolved = registry.resolve_with_args(text, WATCHED_GROUP)
assert resolved is not None
ctx = CommandContext(
message=message,
group_id=WATCHED_GROUP,
transport=transport,
store=store,
config=config,
command_name=resolved.command.name,
now=0.0,
day="2026-08-31",
args=resolved.args,
)
await resolved.command.handler(ctx)
return transport.sent[-1].text or ""
def _registry() -> CommandRegistry:
"""!zaproponuj, plus one existing command to collide with."""
registry = CommandRegistry()
registry.register("cat", ["!kot"], _noop, "kot")
register_suggest_command(registry)
return registry
async def test_no_arguments_gets_the_usage_line(
store: Store, transport: FakeTransport, config: Config
) -> None:
"""Somebody who typed the trigger alone is asking how it works."""
assert await _run(_registry(), store, transport, config, SUGGEST_PRIMARY) == USAGE
assert store.suggestions.filed() == []
async def test_a_name_without_a_description_gets_the_usage_line(
store: Store, transport: FakeTransport, config: Config
) -> None:
"""A bare word is not an idea; there would be nothing to act on."""
text = f"{SUGGEST_PRIMARY} !pogoda"
assert await _run(_registry(), store, transport, config, text) == USAGE
assert store.suggestions.filed() == []
async def test_something_that_is_not_a_command_word_is_refused(
store: Store, transport: FakeTransport, config: Config
) -> None:
"""And is refused without echoing it: it may well be somebody's name."""
text = f"{SUGGEST_PRIMARY} !! cokolwiek"
answer = await _run(_registry(), store, transport, config, text)
assert USAGE in answer
assert store.suggestions.filed() == []
async def test_an_existing_command_is_not_filed_again(
store: Store, transport: FakeTransport, config: Config
) -> None:
"""Asked globally, so a command scoped elsewhere is not reported free."""
text = f"{SUGGEST_PRIMARY} !kot cos innego"
answer = await _run(_registry(), store, transport, config, text)
assert answer == ALREADY.format(word="!kot")
assert store.suggestions.filed() == []
async def test_a_new_idea_is_filed_and_acknowledged(
store: Store, transport: FakeTransport, config: Config
) -> None:
"""The whole point: the row lands, keyed on the envelope's timestamp."""
text = f"{SUGGEST_PRIMARY} !pogoda pokaz pogode na jutro"
answer = await _run(_registry(), store, transport, config, text)
assert "!pogoda" in answer
(row,) = store.suggestions.filed()
assert row.command == "!pogoda"
assert row.body == "pokaz pogode na jutro"
assert row.sent_at_ms == 77
async def test_the_leading_bang_is_optional(
store: Store, transport: FakeTransport, config: Config
) -> None:
"""Half the group will type the name without it."""
text = f"{SUGGEST_PRIMARY} pogoda pokaz pogode"
await _run(_registry(), store, transport, config, text)
(row,) = store.suggestions.filed()
assert row.command == "!pogoda"