Emit robots.txt, and gate the base URL it is derived from - #60

Merged

ptr727 merged 7 commits into

emit-robots-txt

Aug 8, 2026

Commits on Aug 8, 2026

Emit robots.txt, and gate the base URL it is derived from

ptr727
and
claude
committed
7886e89
Bound both claims to what was measured

ptr727
and
claude
committed
33eaa0e
Withdraw the wrong-baseURL claim, which the check cannot support

ptr727
and
claude
committed
fcd8182
Stop the robots check crashing on bytes it exists to inspect, and narrow two claims

ptr727
and
claude
committed
e2da5a2
Print the robots summary after its last assertion, not before

ptr727
and
claude
committed
4052ecb
Describe the missing robots.txt rather than asserting why it is missing

ptr727
and
claude
committed
12c4ae2
Pluralize the failure noun by count, which fixes the gallery too

ptr727
and
claude
committed
0b4e629