chore: remove restate-what comments across code and tests#578

Merged

DavidCozens merged 4 commits into

mainfrom

chore/comment-cleanup

Jul 5, 2026

Commits on Jun 17, 2026

chore: remove restate-what comments from Core/Source (slice 1)

DavidCozens
and
claude
committed

Commits on Jun 18, 2026

chore: remove restate-what comments from Tests root (slice 2)

DavidCozens
and
claude
committed
chore: drop per-symbol banner comments from fake headers (slice 3)

DavidCozens
and
claude
committed
chore: remove restate-what comments from BDD targets + harness (slice 4)

DavidCozens
and
claude
committed