provide

Scoped wiring of service.md providers. A provide block binds service interfaces to let service provider declarations, initializes them once for the scope, subtracts them from the body's effect row, and runs drop when the scope closes. Tests use the same mechanism, usually with fresh/local provider isolation.