chore: release v0.12.0 - #768

Merged

REPPL merged 8 commits into

mainfrom

release/v0.12.0-r2

Oct 1, 2026

Commits on Sep 30, 2026

docs: bring the user-facing pages current for v0.12.0
REPPL
committed
4b8ff2a
docs: drop the guard brief's claim that a default's word goes unseen
REPPL
committed
e8d5d00
docs: bring the rest of the guard brief current with the shipped guard
REPPL
committed
4d634c4
docs: name the trailing-dot fold only where the guard makes it
REPPL
committed
c8ddb04
chore: cut v0.12.0
REPPL
committed
fecdbed
chore: record the v0.12.0 release-gate receipts
REPPL
committed
828ca62
docs: record the v0.12.0 gate outcomes and the publish agenda line
REPPL
committed
175f22f
docs: state the guard's JSON answer without spelling its flag in the prose
REPPL
committed
ce32617