core(reply): typed single-shot reply port — deletes Box<dyn Any> erasure (#115)#140

Merged

joeldsouzax merged 14 commits into

mainfrom

Jul 5, 2026

Commits on Jul 5, 2026

docs(reply): #115 design spec + ADR-0002 (reply-channel primitive)
joeldsouzax
committed
docs(reply): #115 implementation plan + spec AskerGone refinement
joeldsouzax
committed
feat(core): #115 reply channel — typed oneshot ReplySender/Receiver + reply_channel
joeldsouzax
committed
feat(core): #115 send_err — typed handler error maps to AskError::Handler
joeldsouzax
committed
test(core): #115 pin recv/send arms — interrupt, asker-gone, infallible roundtrip
joeldsouzax
committed
test(core): #115 linearizability (concurrent send/recv) + DST proptest over actions
joeldsouzax
committed
docs(core): #115 compile_fail doctest — double-reply cannot compile
joeldsouzax
committed
docs(testing): #115 reply coverage baseline — mutation 0 missed
joeldsouzax
committed
docs(core): #115 hold reply.rs to the god-level bar — Errors sections, short summaries, no shadow
joeldsouzax
committed
style(core): #115 rustfmt — wrap long assert in reply tests
joeldsouzax
committed
chore: gitignore cargo-mutants output + nix result symlink
joeldsouzax
committed
test(core): #115 waker-path test (recv parks then send wakes) + typed-vs-erased reply bench
joeldsouzax
committed
docs(reply): #115 record measured typed-vs-erased bench (~1.5x) + waker-path test in ADR-0002/baseline
joeldsouzax
committed
style(core): #115 rustfmt — wrap waker-test asserts
joeldsouzax
committed