Attribute Macro provides 

#[provides]

Derives one or more provided Capability endpoints, one native factory, and static registration.

Apply this to one inherent implementation containing the Capabilities’ domain methods for a struct already annotated with [module]. Generated bindings lower the methods into the Adapter-facing Provider trait. Existing explicit Provider trait implementations remain supported as a single-Capability compatibility escape hatch. Multi-Capability Modules must use one inherent implementation.