Contributing

Before opening a change:

• Run formatting, linting, tests, and coverage checks.
• Keep new work additive unless a track explicitly requires a replacement.
• Preserve the canonical CSL and verification boundary.