Rename UserMessage → Message; add MessageKind discriminant#155

Merged

anthonykim1 merged 8 commits into

mainfrom

roblou/coloured-woodpecker

May 30, 2026

Commits on May 27, 2026

Message/MessageOrigin

roblourens
and
Copilot
committed
Clean up, generate

roblourens
and
Copilot
committed
Merge origin/main into roblou/coloured-woodpecker
roblourens
committed
fix: update hand-written Kotlin Reducers and tests for Message rename
roblourens
committed