Power policy event pass and clean-up

[RobertZ2011]

• Add broadcasting power policy service events back
• Introduce Named trait
• Add provider tests
• Add unconstrained logic test
• General clean-up

[Copilot]

Pull request overview

This PR reintroduces power-policy service event broadcasting and refactors naming by introducing a shared Named trait, updating PSU implementations accordingly, and adding/expanding tests to validate provider and unconstrained behavior.

Changes:

• Add embedded_services::named::Named and update Psu to require Named instead of defining name() directly.
• Add power-policy service event broadcasting via configurable event senders, plus introduce EventData for device-agnostic service events.
• Add/expand power-policy service integration tests for consumer/provider/unconstrained flows.

Reviewed changes

Copilot reviewed 15 out of 22 changed files in this pull request and generated 7 comments.

Show a summary per file

File	Description
type-c-service/src/wrapper/proxy.rs	Implements Named for PowerProxyDevice to satisfy updated Psu: Named bound.
power-policy-service/tests/unconstrained.rs	Adds unconstrained multi-device flow test using service event receiver assertions.
power-policy-service/tests/provider.rs	Adds provider connection/upgrade behavior tests and validates service events.
power-policy-service/tests/consumer.rs	Updates consumer tests to validate service-level events instead of only mock calls.
power-policy-service/tests/common/mod.rs	Extends test harness to provide a service event channel/receiver and adds assertion helpers.
power-policy-service/tests/common/mock.rs	Updates mock PSU simulation API and implements Named for the mock device.
power-policy-service/src/service/task.rs	Updates task generics to support event broadcasting sender types.
power-policy-service/src/service/provider.rs	Moves/expands provider disconnect handling into provider module and broadcasts provider events.
power-policy-service/src/service/mod.rs	Adds event_senders and implements broadcast_event; updates detach/disconnect flows accordingly.
power-policy-service/src/service/consumer.rs	Updates service impl generics and uses Named for logging.
power-policy-service/Cargo.toml	Comment formatting tweak.
power-policy-interface/src/service/event.rs	Adds EventData and From<Event> conversion; renames generics to PSU.
power-policy-interface/src/psu/mod.rs	Changes Psu to extend Named and removes fn name() from Psu.
examples/std/src/bin/type_c/unconstrained.rs	Updates power-policy service construction to pass event sender storage (currently discard).
examples/std/src/bin/type_c/ucsi.rs	Updates power-policy service task signature and adds discard event sender storage.
examples/std/src/bin/type_c/service.rs	Updates power-policy service construction to pass event sender storage (discard).
examples/std/src/bin/power_policy.rs	Updates example PSU to implement Named and passes discard event sender storage.
examples/rt685s-evk/src/bin/type_c_cfu.rs	Updates power-policy service task signature and adds discard event sender storage.
examples/rt685s-evk/src/bin/type_c.rs	Updates power-policy service task signature and adds discard event sender storage.
embedded-service/src/named.rs	Introduces Named trait.
embedded-service/src/lib.rs	Exposes named module.
embedded-service/src/event.rs	Adds DiscardSender and MapSender utilities for event sending pipelines.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

You can also share your feedback on Copilot code review. Take the survey.

[Copilot]

Pull request overview

Copilot reviewed 15 out of 22 changed files in this pull request and generated 1 comment.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

You can also share your feedback on Copilot code review. Take the survey.

[Copilot]

Pull request overview

Copilot reviewed 15 out of 22 changed files in this pull request and generated 2 comments.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

You can also share your feedback on Copilot code review. Take the survey.

[Copilot]

Pull request overview

Copilot reviewed 17 out of 24 changed files in this pull request and generated 1 comment.

Comments suppressed due to low confidence (1)

embedded-service/src/event.rs:15

• Sender/Receiver use impl Future in their method signatures, but Future isn’t in scope in this module. This won’t compile unless you import core::future::Future (or fully qualify it as core::future::Future in the signatures).

//! Common traits for event senders and receivers

use core::marker::PhantomData;

use embassy_sync::channel::{DynamicReceiver, DynamicSender};

/// Common event sender trait
pub trait Sender<E> {
    /// Attempt to send an event
    ///
    /// Return none if the event cannot currently be sent
    fn try_send(&mut self, event: E) -> Option<()>;
    /// Send an event
    fn send(&mut self, event: E) -> impl Future<Output = ()>;
}

---

You can also share your feedback on Copilot code review. Take the survey.

[Copilot]

Pull request overview

Copilot reviewed 17 out of 24 changed files in this pull request and generated no new comments.

Comments suppressed due to low confidence (1)

embedded-service/src/event.rs:15

• Future is referenced in the Sender/Receiver trait method signatures (and later impls) but isn’t imported or fully qualified in this file, which will fail to compile. Add use core::future::Future; (or qualify as core::future::Future) near the top.

/// Common event sender trait
pub trait Sender<E> {
    /// Attempt to send an event
    ///
    /// Return none if the event cannot currently be sent
    fn try_send(&mut self, event: E) -> Option<()>;
    /// Send an event
    fn send(&mut self, event: E) -> impl Future<Output = ()>;
}

---

You can also share your feedback on Copilot code review. Take the survey.