Context
From the first complete full mutation-testing run (ADR-007 shared workflow, run 29074771985, 2026-07-10, main @ 94a5d44). A cluster of public accessors and trait methods is never asserted directly, so each can be replaced with a constant.
Surviving mutants
src/app/builder/protocol.rs:89 — replace WireframeApp::protocol -> Option<Arc<dyn WireframeProtocol>> with Nonesrc/app/builder/protocol.rs:131 — replace WireframeApp::message_assembler -> Option<&Arc<dyn MessageAssembler>> with Nonesrc/codec.rs:284 — replace <impl FrameCodec for LengthDelimitedFrameCodec>::max_frame_length -> usize with 0 / 1src/middleware.rs:56 — replace ServiceRequest::frame -> &[u8] with Vec::leak(...) (three variants)src/serializer.rs:147 — replace should_deserialize_after_parse -> bool with truesrc/extractor/request.rs:144 — replace MessageRequest::take_body_stream -> Option<RequestBodyStream> with None
Analysis
protocol() has zero callers (protocol_hooks() reads the field directly); message_assembler() is covered only by a doctest and BDD steps outside the mutation run's test scope. The only max_frame_length assertion resolves to the inherent method at codec.rs:125, which shadows the trait impl. ServiceRequest::frame has zero callers (services use into_inner or frame_mut). should_deserialize_after_parse is consumed at inbound_handler.rs:80 but never asserted. take_body_stream's only caller, StreamingBody::from_message_request, is itself untested — tests construct StreamingBody::new directly.
Suggested tests / deletions
with_protocol(...) then assert protocol().is_some(); assert a bare builder returns None. Likewise a plain unit test for message_assembler().- Assert
max_frame_length via trait dispatch (UFCS or a generic function bound on FrameCodec) equals the configured length.
- Assert
ServiceRequest::new(vec![1, 2, 3], None).frame() == &[1, 2, 3] — or delete the unused accessor.
- Assert
!BincodeSerializer::default().should_deserialize_after_parse().
set_body_stream on a MessageRequest, then assert the first take_body_stream() returns Some and the second None (or drive StreamingBody::from_message_request).
Context
From the first complete full mutation-testing run (ADR-007 shared workflow, run 29074771985, 2026-07-10,
main@ 94a5d44). A cluster of public accessors and trait methods is never asserted directly, so each can be replaced with a constant.Surviving mutants
src/app/builder/protocol.rs:89—replace WireframeApp::protocol -> Option<Arc<dyn WireframeProtocol>> with Nonesrc/app/builder/protocol.rs:131—replace WireframeApp::message_assembler -> Option<&Arc<dyn MessageAssembler>> with Nonesrc/codec.rs:284—replace <impl FrameCodec for LengthDelimitedFrameCodec>::max_frame_length -> usize with 0 / 1src/middleware.rs:56—replace ServiceRequest::frame -> &[u8] with Vec::leak(...)(three variants)src/serializer.rs:147—replace should_deserialize_after_parse -> bool with truesrc/extractor/request.rs:144—replace MessageRequest::take_body_stream -> Option<RequestBodyStream> with NoneAnalysis
protocol()has zero callers (protocol_hooks()reads the field directly);message_assembler()is covered only by a doctest and BDD steps outside the mutation run's test scope. The onlymax_frame_lengthassertion resolves to the inherent method atcodec.rs:125, which shadows the trait impl.ServiceRequest::framehas zero callers (services useinto_innerorframe_mut).should_deserialize_after_parseis consumed atinbound_handler.rs:80but never asserted.take_body_stream's only caller,StreamingBody::from_message_request, is itself untested — tests constructStreamingBody::newdirectly.Suggested tests / deletions
with_protocol(...)then assertprotocol().is_some(); assert a bare builder returnsNone. Likewise a plain unit test formessage_assembler().max_frame_lengthvia trait dispatch (UFCS or a generic function bound onFrameCodec) equals the configured length.ServiceRequest::new(vec![1, 2, 3], None).frame() == &[1, 2, 3]— or delete the unused accessor.!BincodeSerializer::default().should_deserialize_after_parse().set_body_streamon aMessageRequest, then assert the firsttake_body_stream()returnsSomeand the secondNone(or driveStreamingBody::from_message_request).