core(message): Msg model + size-tripwire derive (#114)#137

Merged

joeldsouzax merged 10 commits into

mainfrom

core/114-msg-model-tripwire

Jul 5, 2026

Commits on Jul 5, 2026

docs(message): design spec for #114 — Msg model + size-tripwire derive
joeldsouzax
committed
docs(message): implementation plan for #114 — Msg model + size-tripwire derive
joeldsouzax
committed
core(message): Msg marker trait with default slot budget (#114)
joeldsouzax
committed
macros(msg): #[derive(Msg)] emits the Msg impl (#114)
joeldsouzax
committed
macros(msg): compile-time slot-size tripwire + paired doctests (#114)
joeldsouzax
committed
macros(msg): #[msg(budget = N)] override + parse_budget tests (#114)
joeldsouzax
committed
macros(msg): reject generic and union message types (#114)
joeldsouzax
committed
docs(testing): record #114 message model + derive coverage
joeldsouzax
committed
test(msg): pin inclusive slot-budget boundary + tighten grammar-error asserts (#114)
joeldsouzax
committed
test(msg): end-to-end derive(Msg) x real mailbox compose test + runnable example (#114)
joeldsouzax
committed