Promote the tiered charset rule and the comment gate to main - #460

Merged

ptr727 merged 6 commits into

mainfrom

Jul 31, 2026

Commits on Jul 30, 2026

Tier the charset rule, invert the prose rules, and gate comments in every language (#459)
ptr727
authored
d4c4085
Bound block-comment scanning by the earliest line-comment marker (#461)

ptr727
and
claude
authored
adaa068
Say what the developer carve-out exempts, and what it does not (#463)

ptr727
and
claude
authored
e52c68a

Commits on Jul 31, 2026

Scan every comment on a line, and read a verbatim string correctly (#464)

ptr727
and
claude
authored
7bf8a12
Carry a verbatim string across the lines it spans (#465)

ptr727
and
claude
authored
269629a
Strip the continuation asterisk only where it is one (#467)

ptr727
and
claude
authored
036e468