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

Closed

ptr727 wants to merge 7 commits into

record-log-pull-installedfrom

emit-robots-txt

Commits on Aug 8, 2026

Emit robots.txt, and gate the base URL it is derived from
ptr727
and
claude
committed
a4a3324
Bound both claims to what was measured
ptr727
and
claude
committed
79df83e
Withdraw the wrong-baseURL claim, which the check cannot support
ptr727
and
claude
committed
8ae0a4b
Stop the robots check crashing on bytes it exists to inspect, and narrow two claims
ptr727
and
claude
committed
29a9669
Print the robots summary after its last assertion, not before
ptr727
and
claude
committed
0d964d9
Describe the missing robots.txt rather than asserting why it is missing
ptr727
and
claude
committed
bb7f10d
Pluralize the failure noun by count, which fixes the gallery too
ptr727
and
claude
committed
fa90708