diff --git a/docs/rfcs/functional-interface-pattern.md b/docs/rfcs/functional-interface-pattern.md
new file mode 100644
index 00000000000..1accfb35ed7
--- /dev/null
+++ b/docs/rfcs/functional-interface-pattern.md
@@ -0,0 +1,361 @@
+# Functional Interface Pattern
+
+## Overview
+
+This codebase uses a **Functional Interface** pattern for its core
+interfaces. This pattern decomposes the individual methods from
+interface types into corresponding function types, then recomposes
+them into a concrete implementation type. This approach provides
+flexibility, testability, and safe interface evolution for the
+OpenTelemetry Collector.
+
+When an interface type is exported for users outside of this
+repository, the type MUST follow these guidelines. Interface types
+exposed from internal packages may opt-out of this recommendation.
+
+For every method in the public interface, a corresponding `type
+<Method>Func func(...) ...` declaration in the same package will
+exist, having the matching signature.
+
+For every interface type, there is a corresponding functional
+constructor to enable an easy composition of interface methods, `func
+New<Type>(<Method1>Func, {...}, ...Option) Type` which accepts the
+initially-required method set and also applies the well-known
+Functional Option pattern for forwards compatibility, even in cases
+where there are no options at the start.
+
+Interface stability for exported interface types is our primary
+objective. The Functional Interface pattern supports safe interface
+evolution, first by "sealing" the type with an unexported interface
+method. This means all implementations of an interface must embed or
+use constructors provided in the package.
+
+These sealed, concrete implementation objects support adding new
+methods in future releases, _without changing the major version
+number_, because public interface types are always provided through a
+package-provided implementation.
+
+As a key requirement, every function must have a simple "no-op"
+behavior corresponding with the zero value of the `<Method>Func`. The
+expression `New<Type>(nil, nil, ...)` is the "empty" do-nothing
+implementation for each type.
+
+## Key concepts
+
+### 1. Decompose Interfaces into Function Types
+
+Instead of implementing interfaces directly on structs, we create
+function types for each method. In the examples developed below, we
+describe a hypothetical rate limiter interface that returns a
+non-block reservation. The reservation object is a simple pair of two
+interface methods saying how long to wait before proceeding and
+allowing the caller to cancel their request.
+
+```go
+// Interface definition
+type RateReservation interface {
+    WaitTime() time.Duration
+    Cancel()
+}
+
+// Function types for each method
+type WaitTimeFunc func() time.Duration
+type CancelFunc func()
+
+// Function types implement their corresponding methods
+func (f WaitTimeFunc) WaitTime() time.Duration {
+    if f == nil {
+        return 0 // No-op behavior
+    }
+    return f()
+}
+
+func (f CancelFunc) Cancel() {
+    if f == nil {
+        return // No-op behavior
+    }
+    f()
+}
+```
+
+Users of the [`net/http` package have seen this
+pattern](https://pkg.go.dev/net/http#HandlerFunc). `http.HandlerFunc`
+can be seen as a prototype for the Functional Interface pattern, in
+this case for HTTP servers. Interestingly, the single-method
+`http.RoundTripper` interface, representing the same interaction for
+HTTP clients, does not have a `RoundTripperFunc` in the base library
+(consequently, this codebase defines [its own for testing middleware
+extensions](https://github.com/open-telemetry/opentelemetry-collector/blob/64088871efb1b873c3d53ed3b7f0ce7140c0d7e2/extension/extensionmiddleware/extensionmiddlewaretest/nop.go#L23)). 
+
+In this codebase, the Functional Interface pattern is applied extensively.
+
+### 2. Compose Function Types into Interface Implementations
+
+Create concrete implementations embedding the function type
+corresponding with each interface method:
+
+```go
+// A struct embedding a <Method>Func for each method.
+type rateReservationImpl struct {
+    WaitTimeFunc
+    CancelFunc
+}
+```
+
+This pattern applies even for single-method interfaces, where a single
+`<Method>Func` provides the complete interface surface. Still, an
+interface is used so that it can be sealed, as in:
+
+```go
+// Single-method interface type
+type RateLimiter interface {
+    ReserveRate(context.Context, int) (RateReservation, error)
+}
+
+// Single function type
+type ReserveRateFunc func(context.Context, int) (RateReservation, error)
+
+func (f ReserveRateFunc) ReserveRate(ctx context.Context, value int) (RateReservation, error) {
+    if f == nil {
+        return rateReservationImpl{} // No-op behavior
+    }
+    f(ctx, value)
+}
+
+// The matching concrete type.
+type rateLimiterImpl struct {
+    ReserveRateFunc
+}
+```
+
+### 3. Use Constructors for Interface Values
+
+Provide constructor functions rather than exposing concrete types. By
+default, each interface should provide a `New<Type>` constructor for
+all which returns the corresponding concrete implementation
+struct. Methods are "required" when they are explicitly listed as
+parameters methods are arguments in the constructor. In addition, a
+Functional Optional pattern is provided for use by future optional
+methods.
+
+The Golang "functional option" pattern [first introduced in a Rob Pike
+blog
+post](https://commandcenter.blogspot.com/2014/01/self-referential-functions-and-design.html)
+is by now widely known, spelled out in in Golang blog post ["working
+with
+interfaces"](https://go.dev/blog/module-compatibility#working-with-interfaces). For
+complex interfaces, including all top-level extension types, this
+additional pattern is REQUIRED, even at first when there are no
+options.
+
+For example:
+
+```go
+// NewRateLimiter
+func NewRateLimiter(f ReserveRateFunc, _ ...RateLimiterOption) RateLimiter {
+    return rateLimiterImpl{ReserveRateFunc: f}
+}
+```
+
+[The Go language automatically converts function literal
+expressions](https://go.dev/doc/effective_go#conversions) into the
+correct named type (i.e., `<Method>Func`), so we can pass function
+literals to these constructors without an explicit conversion:
+
+```go
+    // construct a rate limiter from a bare function (without options)
+    return NewRateLimiter(func(ctx context.Context, weight int) RateReservation {
+		// rate-limiter logic
+	})
+```
+
+Taken from `receiver/receiver.go`, here we setup signal-specific
+functions using a functional-option argument passed to
+`receiver.NewFactory`:
+
+```go
+// Setup optional signal-specific functions (e.g., logs)
+func WithLogs(createLogs CreateLogsFunc, sl component.StabilityLevel) FactoryOption {
+	return factoryOptionFunc(func(o *factoryImpl, cfgType component.Type) {
+		o.CreateLogsFunc = createLogs
+		o.LogsStabilityFunc = sl.Self // See (5) below
+	})
+}
+
+// Accept options to configure various aspects of the interface
+func NewFactory(cfgType component.Type, createDefaultConfig component.CreateDefaultConfigFunc, options ...FactoryOption) Factory {
+	f := factoryImpl{
+		Factory: component.NewFactory(cfgType.Self, createDefaultConfig),
+	}
+	for _, opt := range options {
+		opt.applyOption(&f, cfgType)
+	}
+	return f
+}
+```
+
+### 4. Seal Public Interface Types
+
+Following the [guidance in "working with
+interfaces"](https://go.dev/blog/module-compatibility#working-with-interfaces),
+we use an unexported method "seals" the interface type so external
+packages can only use, not implement the interface. This allows
+interfaces to evolve safely because users are forced to use
+constructor functions.
+
+```go
+// Public interfaces must include at least one private method
+type RateLimiter interface {
+    ReserveRate(context.Context, int) (RateReservation, error)
+
+    // Prevents external implementations
+    private()
+}
+
+// Concrete implementations are sealed with this method.
+type rateLimiterImpl struct {
+    ReserveRateFunc
+}
+
+func (rateLimiterImpl) private() {}
+```
+
+This practice enables safely evolving interfaces. A new method can be
+added to a public interface type because public constructor functions
+force the user to obtain the new type and the new type is guaranteed
+to implement the old interface. If the functional option pattern is
+already being used, then new interface methods will not require new
+constructors, only new options. If the functional option pattern is
+not in use, backwards compatibility can be maintained by adding new
+constructors, for example:
+
+```go
+type RateLimiter interface {
+    // Original method
+    ReserveRate(context.Context, int) RateReservation
+
+    // New method (optional support)
+    ExtraFeature()
+}
+
+// Original constructor
+func NewRateLimiter(f ReserveRateFunc) RateLimiter { ... }
+
+// New constructor
+func NewRateLimiterWithOptions(rf ReserveRateFunc, opts ...Option) RateLimiter { ... }
+
+// New option
+func WithExtraFeature(...) Option { ... }
+```
+
+### 5. Constant-value Function Implementations
+
+For types defined by simple values, especially for enumerated types,
+define a `Self()` method to act as the corresponding value:
+
+```go
+// Self returns itself.
+func (t Config) Self() Config {
+     return t
+}
+
+// ConfigFunc is ...
+type ConfigFunc func() Config
+
+// Config gets the default configuration for this factory.
+func (f ConfigFunc) Config() Config {
+	if f == nil {
+	}
+	return f()
+}
+```
+
+For example, we can decompose, modify, and recompose a
+`component.Factory` easily using Self instead of the inline `func()
+Config { return cfg }` to capture the constant-valued Config function:
+
+```go
+// Copy a factory from somepackage, modify its default config.
+func modifiedFactory() Factory {
+    original := somepackage.NewFactory()
+    otype := original.Type()
+    cfg := original.CreateDefaultConfig()
+
+    // Modify the config object
+    ...
+
+    // Here, otype.Self equals original.Type.
+    return component.NewFactory(otype.Self, cfg.Self)
+}    
+```
+
+### 6. When to apply the Functional Option pattern
+
+[The functional option pattern is not always considered
+helpful](https://rednafi.com/go/dysfunctional_options_pattern/), since
+it adds code complexity and runtime cost when it is applied
+unconditionally.
+
+For the Functional Interface pattern, we require the use of Functional
+Option arguments as follows:
+
+- Major interfaces, including all top-level extension types and those
+  with substantial design complexity, are REQUIRED to use the
+  Functional Option pattern in their constructor.
+- Performance interfaces SHOULD NOT use the Functional Option pattern;
+  top-interfaces are expected to pre-compute the result of functional
+  options during initialization and obtain simpler interfaces to use
+  at runtime.
+- Interfaces MAY use the Functional Option pattern when they are not
+  simple, not top-level, and do not require high-performance.
+
+As an example of a type which does not require functional options,
+consider a lazily-evaluated key-value object. The interface allows the
+user selective evaluation, knowing that the function call is
+expensive.
+
+```go
+// Construct a new rate reservation. Simple API, not a top-level interface, 
+// and performance sensitive, therefore do not use functional options.
+func NewRateReservation(wf WaitTimeFunc, cf CancelFunc) RateReservation {
+    return rateReservationImpl{
+        WaitTimeFunc: wf,
+        CancelFunc:   cf,
+    }
+}
+```
+
+## Examples
+
+The Functional Interface pattern enables code composition through
+making it easy to compose and decompose interface values. For example,
+to wrap a `receiver.Factory` with a limiter of some sort:
+
+```go
+// Transform existing factories with cross-cutting concerns
+// Note interface method values (e.g., fact.Type) have the correct
+// argument type to pass-through in this constructor
+func NewLimitedFactory(fact receiver.Factory, cfg LimiterConfigurator, _ ...Option) receiver.Factory {
+    return receiver.NewFactoryImpl(
+        fact.Type,
+        fact.CreateDefaultConfig,
+        receiver.CreateTracesFunc(limitReceiver(fact.CreateTraces, traceTraits{}, cfg)),
+        fact.TracesStability,
+        receiver.CreateMetricsFunc(limitReceiver(fact.CreateMetrics, metricTraits{}, cfg)),
+        fact.MetricsStability,
+        receiver.CreateLogsFunc(limitReceiver(fact.CreateLogs, logTraits{}, cfg)),
+        fact.LogsStability,
+    )
+}
+```
+
+For example, it is easy to add logging to an existing function:
+
+```go
+func addLogging(f ReserveRateFunc) ReserveRateFunc {
+    return func(ctx context.Context, n int) (RateReservation, error) {
+        log.Printf("Reserving rate for %d", n)
+        return f(ctx, n)
+    }
+}
+```