@playfast/reform 1.2.1 → 1.3.0

package/dist/feature/featureConfig.d.ts

@@ -0,0 +1,86 @@
+import type { Effect } from 'effect';
+import { Schema } from 'effect';
+import type { AnyComposition, CompositionClass, CompositionPropsReceiver, HasExactCompositionId } from '../compose/composition.js';
+import type { UiContract } from '../compose/ui.js';
+import type { AnyFeatureGraphSummary } from '../graph/closure.js';
+import type { FeatureLoadFailed } from '../internal/errors.js';
+import type { Tagged } from '../runtime/bus.js';
+import { type AnyFeatureBinding, type FailedProps, type FeatureManifest, type FeatureToken } from './featureBinding.js';
+import type { AnyLoadedModule, FeatureModule } from './featureModule.js';
+import type { FeatureRequirement } from './featureRequirement.js';
+export interface RuntimeFeatureTree {
+    readonly composition: AnyComposition;
+    readonly load: Effect.Effect<AnyLoadedModule, FeatureLoadFailed>;
+    readonly binding: AnyFeatureBinding;
+    readonly eagerModule: AnyLoadedModule | undefined;
+    readonly supportModule: AnyLoadedModule | undefined;
+}
+export interface RuntimeFeature {
+    new (): {};
+    readonly manifest: FeatureManifest;
+    readonly token: FeatureToken<unknown, RuntimeFeatureTree>;
+    readonly summary: AnyFeatureGraphSummary;
+}
+export declare const isFeature: (candidate: unknown) => candidate is RuntimeFeature;
+export type PlaceholderComposition<P> = AnyComposition & CompositionPropsReceiver<P>;
+export interface Placeholders<P> {
+    readonly loading: PlaceholderComposition<P>;
+    readonly failed: PlaceholderComposition<FailedProps>;
+}
+export type FeatureMountProps<UsesInput extends boolean, CompositionProps, InputSchema extends Schema.Schema.AnyNoContext> = UsesInput extends true ? Schema.Schema.Type<InputSchema> : CompositionProps;
+export type FeatureUsesInput<InputSchema extends Schema.Schema.AnyNoContext> = [InputSchema] extends [
+    never
+] ? false : true;
+export type FeatureInputValue<InputSchema extends Schema.Schema.AnyNoContext> = [InputSchema] extends [
+    never
+] ? never : Schema.Schema.Type<InputSchema>;
+export interface FeatureConfigBaseExternalApi<P, C extends UiContract, S extends ReadonlyArray<unknown>, N extends string, Identity> {
+    readonly composition: CompositionClass<P, C, S, N, Identity>;
+    readonly boot?: ReadonlyArray<Tagged>;
+}
+export interface ExactFeatureCompositionConfig<Composition extends AnyComposition> {
+    readonly composition: Composition;
+}
+export type IncludesComposition<ROut, N extends string, Identity> = HasExactCompositionId<ROut, N, Identity> extends true ? object : {
+    readonly missingCompositionService: 'The feature module must provide its root composition';
+};
+export type EagerFeatureConfigExternalApi<P, C extends UiContract, ROut, DirectRequires extends ReadonlyArray<FeatureRequirement>, OpenServices, S extends ReadonlyArray<unknown>, N extends string, Identity> = FeatureConfigBaseExternalApi<P, C, S, N, Identity> & {
+    readonly loadingStrategy?: 'default';
+    readonly module: FeatureModule<ROut, DirectRequires, OpenServices, false, never> & IncludesComposition<ROut, N, Identity>;
+};
+export type LazyFeatureConfigExternalApi<CompositionProps, C extends UiContract, ROut, DirectRequires extends ReadonlyArray<FeatureRequirement>, OpenServices, SupportOut, SupportDirectRequires extends ReadonlyArray<FeatureRequirement>, SupportOpenServices, S extends ReadonlyArray<unknown>, N extends string, Identity, InputSchema extends Schema.Schema.AnyNoContext, Loading extends AnyComposition, Failed extends AnyComposition> = FeatureConfigBaseExternalApi<CompositionProps, C, S, N, Identity> & {
+    readonly composition: CompositionClass<CompositionProps, C, S, N, Identity> & CompositionPropsReceiver<NoInfer<FeatureMountProps<FeatureUsesInput<InputSchema>, CompositionProps, InputSchema>>>;
+    readonly loadingStrategy: 'lazy';
+    readonly input?: InputSchema;
+    readonly load: Effect.Effect<FeatureModule<ROut, DirectRequires, OpenServices, FeatureUsesInput<InputSchema>, FeatureInputValue<InputSchema>> & IncludesComposition<ROut, N, Identity>, FeatureLoadFailed>;
+    readonly placeholder: {
+        readonly loading: Loading & CompositionPropsReceiver<NoInfer<FeatureMountProps<FeatureUsesInput<InputSchema>, CompositionProps, InputSchema>>>;
+        readonly failed: Failed & CompositionPropsReceiver<FailedProps>;
+    };
+    readonly eager?: FeatureModule<SupportOut, SupportDirectRequires, SupportOpenServices, false, never>;
+} & (FeatureUsesInput<InputSchema> extends true ? {
+    readonly input: InputSchema;
+} : object);
+export type MakeImplementationConfigExternalApi = {
+    readonly composition: AnyComposition;
+    readonly boot?: ReadonlyArray<Tagged>;
+    readonly loadingStrategy?: 'default';
+    readonly module: AnyLoadedModule;
+} | {
+    readonly composition: AnyComposition;
+    readonly boot?: ReadonlyArray<Tagged>;
+    readonly loadingStrategy: 'lazy';
+    readonly input?: Schema.Schema.Any;
+    readonly load: Effect.Effect<AnyLoadedModule, FeatureLoadFailed>;
+    readonly placeholder: {
+        readonly loading: AnyComposition;
+        readonly failed: AnyComposition;
+    };
+    readonly eager?: AnyLoadedModule;
+};
+export declare const isMakeImplementationConfig: (candidate: unknown) => candidate is MakeImplementationConfigExternalApi;
+export type RuntimePlaceholders = {
+    readonly loading: AnyComposition;
+    readonly failed: AnyComposition;
+};
+//# sourceMappingURL=featureConfig.d.ts.map

package/dist/feature/featureConfig.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"featureConfig.d.ts","sourceRoot":"","sources":["../../src/feature/featureConfig.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACpC,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,EACV,cAAc,EACd,gBAAgB,EAChB,wBAAwB,EACxB,qBAAqB,EACtB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAC/C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAA;AAC9D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAA;AAC5C,OAAO,EACL,KAAK,iBAAiB,EACtB,KAAK,WAAW,EAChB,KAAK,eAAe,EAEpB,KAAK,YAAY,EAClB,MAAM,kBAAkB,CAAA;AACzB,OAAO,KAAK,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AACrE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAA;AAE9D,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAA;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAA;IAChE,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAA;IACnC,QAAQ,CAAC,WAAW,EAAE,eAAe,GAAG,SAAS,CAAA;IACjD,QAAQ,CAAC,aAAa,EAAE,eAAe,GAAG,SAAS,CAAA;CACpD;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,CAAA;IACV,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAA;IAClC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAA;IACzD,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAA;CACzC;AAOD,eAAO,MAAM,SAAS,GAAI,WAAW,OAAO,KAAG,SAAS,IAAI,cAIpB,CAAA;AAExC,MAAM,MAAM,sBAAsB,CAAC,CAAC,IAAI,cAAc,GAAG,wBAAwB,CAAC,CAAC,CAAC,CAAA;AAEpF,MAAM,WAAW,YAAY,CAAC,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC,CAAC,CAAC,CAAA;IAC3C,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC,WAAW,CAAC,CAAA;CACrD;AAED,MAAM,MAAM,iBAAiB,CAC3B,SAAS,SAAS,OAAO,EACzB,gBAAgB,EAChB,WAAW,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,IAC5C,SAAS,SAAS,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,gBAAgB,CAAA;AAE/E,MAAM,MAAM,gBAAgB,CAAC,WAAW,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,IAAI,CAAC,WAAW,CAAC,SAAS;IACnG,KAAK;CACN,GACG,KAAK,GACL,IAAI,CAAA;AAER,MAAM,MAAM,iBAAiB,CAAC,WAAW,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,IAAI,CAAC,WAAW,CAAC,SAAS;IACpG,KAAK;CACN,GACG,KAAK,GACL,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;AAEnC,MAAM,WAAW,4BAA4B,CAC3C,CAAC,EACD,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAChC,CAAC,SAAS,MAAM,EAChB,QAAQ;IAER,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAA;IAC5D,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CACtC;AAED,MAAM,WAAW,6BAA6B,CAAC,WAAW,SAAS,cAAc;IAC/E,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAA;CAClC;AAED,MAAM,MAAM,mBAAmB,CAAC,IAAI,EAAE,CAAC,SAAS,MAAM,EAAE,QAAQ,IAC9D,qBAAqB,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,SAAS,IAAI,GACjD,MAAM,GACN;IACE,QAAQ,CAAC,yBAAyB,EAAE,sDAAsD,CAAA;CAC3F,CAAA;AAEP,MAAM,MAAM,6BAA6B,CACvC,CAAC,EACD,CAAC,SAAS,UAAU,EACpB,IAAI,EACJ,cAAc,SAAS,aAAa,CAAC,kBAAkB,CAAC,EACxD,YAAY,EACZ,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAChC,CAAC,SAAS,MAAM,EAChB,QAAQ,IACN,4BAA4B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,GAAG;IACvD,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,CAAA;IACpC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,IAAI,EAAE,cAAc,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,CAAC,GAC9E,mBAAmB,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAA;CACzC,CAAA;AAED,MAAM,MAAM,4BAA4B,CACtC,gBAAgB,EAChB,CAAC,SAAS,UAAU,EACpB,IAAI,EACJ,cAAc,SAAS,aAAa,CAAC,kBAAkB,CAAC,EACxD,YAAY,EACZ,UAAU,EACV,qBAAqB,SAAS,aAAa,CAAC,kBAAkB,CAAC,EAC/D,mBAAmB,EACnB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAChC,CAAC,SAAS,MAAM,EAChB,QAAQ,EACR,WAAW,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EAC9C,OAAO,SAAS,cAAc,EAC9B,MAAM,SAAS,cAAc,IAC3B,4BAA4B,CAAC,gBAAgB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,GAAG;IACtE,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC,gBAAgB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,GACzE,wBAAwB,CACtB,OAAO,CAAC,iBAAiB,CAAC,gBAAgB,CAAC,WAAW,CAAC,EAAE,gBAAgB,EAAE,WAAW,CAAC,CAAC,CACzF,CAAA;IACH,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,CAAA;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAC1B,aAAa,CACX,IAAI,EACJ,cAAc,EACd,YAAY,EACZ,gBAAgB,CAAC,WAAW,CAAC,EAC7B,iBAAiB,CAAC,WAAW,CAAC,CAC/B,GACC,mBAAmB,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,EACxC,iBAAiB,CAClB,CAAA;IACD,QAAQ,CAAC,WAAW,EAAE;QACpB,QAAQ,CAAC,OAAO,EAAE,OAAO,GACvB,wBAAwB,CACtB,OAAO,CAAC,iBAAiB,CAAC,gBAAgB,CAAC,WAAW,CAAC,EAAE,gBAAgB,EAAE,WAAW,CAAC,CAAC,CACzF,CAAA;QACH,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,wBAAwB,CAAC,WAAW,CAAC,CAAA;KAChE,CAAA;IACD,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAC5B,UAAU,EACV,qBAAqB,EACrB,mBAAmB,EACnB,KAAK,EACL,KAAK,CACN,CAAA;CACF,GAAG,CAAC,gBAAgB,CAAC,WAAW,CAAC,SAAS,IAAI,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GAAG,MAAM,CAAC,CAAA;AAE3F,MAAM,MAAM,mCAAmC,GAC3C;IACE,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAA;IACpC,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACrC,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,CAAA;IACpC,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAA;CACjC,GACD;IACE,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAA;IACpC,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACrC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAA;IAChE,QAAQ,CAAC,WAAW,EAAE;QACpB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAA;QAChC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAA;KAChC,CAAA;IACD,QAAQ,CAAC,KAAK,CAAC,EAAE,eAAe,CAAA;CACjC,CAAA;AAEL,eAAO,MAAM,0BAA0B,GACrC,WAAW,OAAO,KACjB,SAAS,IAAI,mCAKgE,CAAA;AAEhF,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAA;IAChC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAA;CAChC,CAAA"}

package/dist/feature/featureConfig.js

@@ -0,0 +1,13 @@
+import { Schema } from 'effect';
+import { FeatureNativeTypeId, } from './featureBinding.js';
+const isRuntimeFeatureToken = (candidate) => typeof candidate === 'object' && candidate !== null && FeatureNativeTypeId in candidate;
+export const isFeature = (candidate) => (typeof candidate === 'function' || typeof candidate === 'object') &&
+    candidate !== null &&
+    'token' in candidate &&
+    isRuntimeFeatureToken(candidate.token);
+export const isMakeImplementationConfig = (candidate) => typeof candidate === 'object' &&
+    candidate !== null &&
+    'composition' in candidate &&
+    (!('input' in candidate) || Schema.isSchema(candidate.input)) &&
+    ('module' in candidate || ('load' in candidate && 'placeholder' in candidate));
+//# sourceMappingURL=featureConfig.js.map

package/dist/feature/featureConfig.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"featureConfig.js","sourceRoot":"","sources":["../../src/feature/featureConfig.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAW/B,OAAO,EAIL,mBAAmB,GAEpB,MAAM,kBAAkB,CAAA;AAmBzB,MAAM,qBAAqB,GAAG,CAC5B,SAAkB,EACsC,EAAE,CAC1D,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,KAAK,IAAI,IAAI,mBAAmB,IAAI,SAAS,CAAA;AAEzF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,SAAkB,EAA+B,EAAE,CAC3E,CAAC,OAAO,SAAS,KAAK,UAAU,IAAI,OAAO,SAAS,KAAK,QAAQ,CAAC;IAClE,SAAS,KAAK,IAAI;IAClB,OAAO,IAAI,SAAS;IACpB,qBAAqB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;AAqIxC,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,SAAkB,EACgC,EAAE,CACpD,OAAO,SAAS,KAAK,QAAQ;IAC7B,SAAS,KAAK,IAAI;IAClB,aAAa,IAAI,SAAS;IAC1B,CAAC,CAAC,CAAC,OAAO,IAAI,SAAS,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC7D,CAAC,QAAQ,IAAI,SAAS,IAAI,CAAC,MAAM,IAAI,SAAS,IAAI,aAAa,IAAI,SAAS,CAAC,CAAC,CAAA"}

package/dist/feature/featureFactory.d.ts

@@ -0,0 +1,15 @@
+import { type Effect, Option, Schema } from 'effect';
+import type { AnyComposition, CompositionClass } from '../compose/composition.js';
+import type { UiContract } from '../compose/ui.js';
+import { type AnyFeatureGraphSummary, type FeatureSummaryCompositionIdentity, type FeatureSummaryCompositionProps, type FeatureSummaryContract, type FeatureSummaryInput, type FeatureSummaryName, type FeatureSummaryOpenServices, type FeatureSummaryStates, type FeatureSummaryUsesInput } from '../graph/closure.js';
+import type { FeatureLoadFailed } from '../internal/errors.js';
+import type { Tagged } from '../runtime/bus.js';
+import { type FeatureBinding, type FeatureManifest } from './featureBinding.js';
+import type { RuntimePlaceholders } from './featureConfig.js';
+import type { LoadedModule } from './featureModule.js';
+import type { FeatureSummaryOf } from './featureNativeTree.js';
+import type { FeatureRequirement } from './featureRequirement.js';
+export declare const makeFeatureManifest: (name: string, strategy: "lazy" | "default", composition: AnyComposition, placeholder: Option.Option<RuntimePlaceholders>) => FeatureManifest;
+export declare const makeFeatureSummary: <FeatureIdentity, MountProps, CompositionProps, C extends UiContract, S extends ReadonlyArray<unknown>, N extends string, Identity, OpenServices, SupportOpenServices, UsesInput extends boolean, Input>(composition: CompositionClass<CompositionProps, C, S, N, Identity>) => FeatureSummaryOf<FeatureIdentity, MountProps, CompositionProps, C, S, N, Identity, OpenServices, SupportOpenServices, UsesInput, Input>;
+export declare const makeFeatureBinding: <Summary extends AnyFeatureGraphSummary, ROut, DirectRequires extends ReadonlyArray<FeatureRequirement>>(identity: symbol, manifest: FeatureManifest, summary: Summary, composition: CompositionClass<FeatureSummaryCompositionProps<Summary>, FeatureSummaryContract<Summary>, FeatureSummaryStates<Summary>, FeatureSummaryName<Summary>, FeatureSummaryCompositionIdentity<Summary>>, load: Effect.Effect<LoadedModule<ROut, DirectRequires, FeatureSummaryOpenServices<Summary>, FeatureSummaryUsesInput<Summary>, FeatureSummaryInput<Summary>>, FeatureLoadFailed>, placeholder: Option.Option<RuntimePlaceholders>, inputSchema: Schema.Schema.AnyNoContext | undefined, boot: ReadonlyArray<Tagged>) => FeatureBinding<Summary, ROut, DirectRequires>;
+//# sourceMappingURL=featureFactory.d.ts.map

package/dist/feature/featureFactory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"featureFactory.d.ts","sourceRoot":"","sources":["../../src/feature/featureFactory.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACpD,OAAO,KAAK,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AAC9E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAC/C,OAAO,EACL,KAAK,sBAAsB,EAK3B,KAAK,iCAAiC,EACtC,KAAK,8BAA8B,EACnC,KAAK,sBAAsB,EAC3B,KAAK,mBAAmB,EACxB,KAAK,kBAAkB,EACvB,KAAK,0BAA0B,EAC/B,KAAK,oBAAoB,EACzB,KAAK,uBAAuB,EAE7B,MAAM,kBAAkB,CAAA;AACzB,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAA;AAC5C,OAAO,EACL,KAAK,cAAc,EAGnB,KAAK,eAAe,EACrB,MAAM,kBAAkB,CAAA;AACzB,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AAC1D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AACnD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAC3D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAA;AAE9D,eAAO,MAAM,mBAAmB,GAC9B,MAAM,MAAM,EACZ,UAAU,MAAM,GAAG,SAAS,EAC5B,aAAa,cAAc,EAC3B,aAAa,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,KAC9C,eASD,CAAA;AAwBF,eAAO,MAAM,kBAAkB,GAC7B,eAAe,EACf,UAAU,EACV,gBAAgB,EAChB,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAChC,CAAC,SAAS,MAAM,EAChB,QAAQ,EACR,YAAY,EACZ,mBAAmB,EACnB,SAAS,SAAS,OAAO,EACzB,KAAK,EAEL,aAAa,gBAAgB,CAAC,gBAAgB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,KACjE,gBAAgB,CACjB,eAAe,EACf,UAAU,EACV,gBAAgB,EAChB,CAAC,EACD,CAAC,EACD,CAAC,EACD,QAAQ,EACR,YAAY,EACZ,mBAAmB,EACnB,SAAS,EACT,KAAK,CAqBL,CAAA;AAEF,eAAO,MAAM,kBAAkB,GAC7B,OAAO,SAAS,sBAAsB,EACtC,IAAI,EACJ,cAAc,SAAS,aAAa,CAAC,kBAAkB,CAAC,EAExD,UAAU,MAAM,EAChB,UAAU,eAAe,EACzB,SAAS,OAAO,EAChB,aAAa,gBAAgB,CAC3B,8BAA8B,CAAC,OAAO,CAAC,EACvC,sBAAsB,CAAC,OAAO,CAAC,EAC/B,oBAAoB,CAAC,OAAO,CAAC,EAC7B,kBAAkB,CAAC,OAAO,CAAC,EAC3B,iCAAiC,CAAC,OAAO,CAAC,CAC3C,EACD,MAAM,MAAM,CAAC,MAAM,CACjB,YAAY,CACV,IAAI,EACJ,cAAc,EACd,0BAA0B,CAAC,OAAO,CAAC,EACnC,uBAAuB,CAAC,OAAO,CAAC,EAChC,mBAAmB,CAAC,OAAO,CAAC,CAC7B,EACD,iBAAiB,CAClB,EACD,aAAa,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAC/C,aAAa,MAAM,CAAC,MAAM,CAAC,YAAY,GAAG,SAAS,EACnD,MAAM,aAAa,CAAC,MAAM,CAAC,KAC1B,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,cAAc,CAgB9C,CAAA"}

package/dist/feature/featureFactory.js

@@ -0,0 +1,59 @@
+import { Option, Schema } from 'effect';
+import { FeatureChildSummaryTypeId, FeatureGraphSummaryTypeId, FeatureGraphValidTypeId, FeatureModuleGraphValidTypeId, SlotBindingSummaryTypeId, } from '../graph/closure.js';
+import { FeatureBindingTypeId, } from './featureBinding.js';
+export const makeFeatureManifest = (name, strategy, composition, placeholder) => ({
+    kind: 'Feature',
+    name,
+    strategy,
+    composition: composition.manifest,
+    placeholder: Option.map(placeholder, (placeholders) => ({
+        loading: placeholders.loading.manifest,
+        failed: placeholders.failed.manifest,
+    })),
+});
+const makeFeatureInputParser = (composition, inputSchema, placeholder) => (input) => Option.flatMap(Option.match(Option.fromNullable(inputSchema), {
+    onNone: () => Option.some(input),
+    onSome: (schema) => Schema.validateOption(schema)(input),
+}), (decoded) => Option.flatMap(composition.parseProps(decoded), () => Option.match(placeholder, {
+    onNone: () => Option.some(decoded),
+    onSome: (placeholders) => Option.map(placeholders.loading.parseProps(decoded), () => decoded),
+})));
+export const makeFeatureSummary = (composition) => ({
+    [SlotBindingSummaryTypeId]: SlotBindingSummaryTypeId,
+    [FeatureChildSummaryTypeId]: {
+        featureIdentity: [],
+        compositionIdentity: [],
+    },
+    [FeatureGraphSummaryTypeId]: {
+        featureIdentity: [],
+        mountProps: [],
+        compositionProps: [],
+        contract: [],
+        states: [],
+        name: composition.manifest.name,
+        compositionIdentity: [],
+        openServices: [],
+        supportOpenServices: [],
+        usesInput: [],
+        input: [],
+        validated: FeatureModuleGraphValidTypeId,
+    },
+});
+export const makeFeatureBinding = (identity, manifest, summary, composition, load, placeholder, inputSchema, boot) => {
+    const binding = {
+        [FeatureBindingTypeId]: FeatureBindingTypeId,
+        [FeatureGraphValidTypeId]: FeatureGraphValidTypeId,
+        manifest,
+        identity,
+        summary,
+        composition,
+        strategy: manifest.strategy,
+        load,
+        placeholder,
+        parseInput: makeFeatureInputParser(composition, inputSchema, placeholder),
+        boot,
+        capture: (visit) => visit(binding),
+    };
+    return binding;
+};
+//# sourceMappingURL=featureFactory.js.map

package/dist/feature/featureFactory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"featureFactory.js","sourceRoot":"","sources":["../../src/feature/featureFactory.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAGpD,OAAO,EAEL,yBAAyB,EACzB,yBAAyB,EACzB,uBAAuB,EACvB,6BAA6B,EAS7B,wBAAwB,GACzB,MAAM,kBAAkB,CAAA;AAGzB,OAAO,EAGL,oBAAoB,GAErB,MAAM,kBAAkB,CAAA;AAMzB,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAY,EACZ,QAA4B,EAC5B,WAA2B,EAC3B,WAA+C,EAC9B,EAAE,CAAC,CAAC;IACrB,IAAI,EAAE,SAAS;IACf,IAAI;IACJ,QAAQ;IACR,WAAW,EAAE,WAAW,CAAC,QAAQ;IACjC,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;QACtD,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,QAAQ;QACtC,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,QAAQ;KACrC,CAAC,CAAC;CACJ,CAAC,CAAA;AAEF,MAAM,sBAAsB,GAC1B,CACE,WAA2B,EAC3B,WAAmD,EACnD,WAA+C,EACD,EAAE,CAClD,CAAC,KAAK,EAAE,EAAE,CACR,MAAM,CAAC,OAAO,CACZ,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE;IAC7C,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;IAChC,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC;CACzD,CAAC,EACF,CAAC,OAAO,EAAE,EAAE,CACV,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CACnD,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE;IACxB,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;IAClC,MAAM,EAAE,CAAC,YAAY,EAAE,EAAE,CACvB,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC;CACtE,CAAC,CACH,CACJ,CAAA;AAEL,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAahC,WAAkE,EAalE,EAAE,CAAC,CAAC;IACJ,CAAC,wBAAwB,CAAC,EAAE,wBAAwB;IACpD,CAAC,yBAAyB,CAAC,EAAE;QAC3B,eAAe,EAAE,EAAE;QACnB,mBAAmB,EAAE,EAAE;KACxB;IACD,CAAC,yBAAyB,CAAC,EAAE;QAC3B,eAAe,EAAE,EAAE;QACnB,UAAU,EAAE,EAAE;QACd,gBAAgB,EAAE,EAAE;QACpB,QAAQ,EAAE,EAAE;QACZ,MAAM,EAAE,EAAE;QACV,IAAI,EAAE,WAAW,CAAC,QAAQ,CAAC,IAAI;QAC/B,mBAAmB,EAAE,EAAE;QACvB,YAAY,EAAE,EAAE;QAChB,mBAAmB,EAAE,EAAE;QACvB,SAAS,EAAE,EAAE;QACb,KAAK,EAAE,EAAE;QACT,SAAS,EAAE,6BAA6B;KACzC;CACF,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAKhC,QAAgB,EAChB,QAAyB,EACzB,OAAgB,EAChB,WAMC,EACD,IASC,EACD,WAA+C,EAC/C,WAAmD,EACnD,IAA2B,EACoB,EAAE;IACjD,MAAM,OAAO,GAAkD;QAC7D,CAAC,oBAAoB,CAAC,EAAE,oBAAoB;QAC5C,CAAC,uBAAuB,CAAC,EAAE,uBAAuB;QAClD,QAAQ;QACR,QAAQ;QACR,OAAO;QACP,WAAW;QACX,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,IAAI;QACJ,WAAW;QACX,UAAU,EAAE,sBAAsB,CAAC,WAAW,EAAE,WAAW,EAAE,WAAW,CAAC;QACzE,IAAI;QACJ,OAAO,EAAE,CAAS,KAAoC,EAAU,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC;KAClF,CAAA;IACD,OAAO,OAAO,CAAA;AAChB,CAAC,CAAA"}

package/dist/feature/featureModule.d.ts

@@ -0,0 +1,28 @@
+import { Effect, type Layer, type Schema } from 'effect';
+import { FeatureModuleGraphValidTypeId, type ModuleOpenServices, type ValidateFeatureGraphLayer } from '../graph/closure.js';
+import { FeatureLoadFailed } from '../internal/errors.js';
+import type { DefaultFeatureOpenServices, FeatureModuleInput, FeatureRequirement } from './featureRequirement.js';
+export interface FeatureModule<ROut, DirectRequires extends ReadonlyArray<FeatureRequirement>, OpenServices = DefaultFeatureOpenServices<ROut, DirectRequires>, UsesInput extends boolean = false, Input = never> extends AnyLoadedModule {
+    readonly [FeatureModuleGraphValidTypeId]: FeatureModuleGraphValidTypeId;
+    readonly requires: DirectRequires;
+    readonly usesInput: UsesInput;
+    readonly layer: Layer.Layer<ROut, never, FeatureModuleInput<OpenServices, UsesInput>>;
+    readonly inputSchema: UsesInput extends true ? Schema.Schema.AnyNoContext : undefined;
+    readonly Input: (input: Input) => void;
+}
+export type LoadedModuleCapture<Result> = <ROut, DirectRequires extends ReadonlyArray<FeatureRequirement>, OpenServices, UsesInput extends boolean, Input>(module: LoadedModule<ROut, DirectRequires, OpenServices, UsesInput, Input>) => Result;
+export interface AnyLoadedModule {
+    readonly capture: <Result>(visit: LoadedModuleCapture<Result>) => Result;
+}
+export type FeatureLayerOutput<L extends Layer.Layer.Any> = Layer.Layer.Success<L>;
+export type ExactFeatureLayer<L extends Layer.Layer.Any, UsesInput extends boolean> = Layer.Layer<FeatureLayerOutput<L>, never, FeatureModuleInput<ModuleOpenServices<L, UsesInput>, UsesInput>> & (unknown extends Layer.Layer.Context<L> ? {
+    readonly featureLayerContextMustBeExact: 'A feature layer context cannot be erased';
+} : object);
+export declare const featureModule: <const DirectRequires extends ReadonlyArray<FeatureRequirement>, L extends Layer.Layer.Any>(requires: DirectRequires, layer: L & ExactFeatureLayer<L, false> & ValidateFeatureGraphLayer<L, DirectRequires, false>) => FeatureModule<FeatureLayerOutput<L>, DirectRequires, ModuleOpenServices<L, false>, false, never>;
+export declare const featureModuleFromInput: <const InputSchema extends Schema.Schema.AnyNoContext, const DirectRequires extends ReadonlyArray<FeatureRequirement>, L extends Layer.Layer.Any>(input: InputSchema, requires: DirectRequires, layer: L & ExactFeatureLayer<L, true> & ValidateFeatureGraphLayer<L, DirectRequires, true>) => FeatureModule<FeatureLayerOutput<L>, DirectRequires, ModuleOpenServices<L, true>, true, Schema.Schema.Type<InputSchema>>;
+export declare const lazyImport: <M>(thunk: () => Promise<{
+    readonly default: M;
+}>) => Effect.Effect<M, FeatureLoadFailed>;
+export interface LoadedModule<ROut, DirectRequires extends ReadonlyArray<FeatureRequirement>, OpenServices = DefaultFeatureOpenServices<ROut, DirectRequires>, UsesInput extends boolean = false, Input = never> extends FeatureModule<ROut, DirectRequires, OpenServices, UsesInput, Input> {
+}
+//# sourceMappingURL=featureModule.d.ts.map

package/dist/feature/featureModule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"featureModule.d.ts","sourceRoot":"","sources":["../../src/feature/featureModule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,KAAK,EAAE,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAA;AACxD,OAAO,EACL,6BAA6B,EAC7B,KAAK,kBAAkB,EACvB,KAAK,yBAAyB,EAC/B,MAAM,kBAAkB,CAAA;AACzB,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AACtD,OAAO,KAAK,EACV,0BAA0B,EAC1B,kBAAkB,EAClB,kBAAkB,EACnB,MAAM,sBAAsB,CAAA;AAE7B,MAAM,WAAW,aAAa,CAC5B,IAAI,EACJ,cAAc,SAAS,aAAa,CAAC,kBAAkB,CAAC,EACxD,YAAY,GAAG,0BAA0B,CAAC,IAAI,EAAE,cAAc,CAAC,EAC/D,SAAS,SAAS,OAAO,GAAG,KAAK,EACjC,KAAK,GAAG,KAAK,CACb,SAAQ,eAAe;IACvB,QAAQ,CAAC,CAAC,6BAA6B,CAAC,EAAE,6BAA6B,CAAA;IACvE,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAA;IACjC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;IAC7B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,kBAAkB,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC,CAAA;IACrF,QAAQ,CAAC,WAAW,EAAE,SAAS,SAAS,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,GAAG,SAAS,CAAA;IACrF,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,CAAA;CACvC;AAED,MAAM,MAAM,mBAAmB,CAAC,MAAM,IAAI,CACxC,IAAI,EACJ,cAAc,SAAS,aAAa,CAAC,kBAAkB,CAAC,EACxD,YAAY,EACZ,SAAS,SAAS,OAAO,EACzB,KAAK,EAEL,MAAM,EAAE,YAAY,CAAC,IAAI,EAAE,cAAc,EAAE,YAAY,EAAE,SAAS,EAAE,KAAK,CAAC,KACvE,MAAM,CAAA;AAEX,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,mBAAmB,CAAC,MAAM,CAAC,KAAK,MAAM,CAAA;CACzE;AAED,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;AAGlF,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,SAAS,SAAS,OAAO,IAAI,KAAK,CAAC,KAAK,CAC/F,kBAAkB,CAAC,CAAC,CAAC,EACrB,KAAK,EACL,kBAAkB,CAAC,kBAAkB,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,SAAS,CAAC,CAChE,GACC,CAAC,OAAO,SAAS,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,GACnC;IACE,QAAQ,CAAC,8BAA8B,EAAE,0CAA0C,CAAA;CACpF,GACD,MAAM,CAAC,CAAA;AAEb,eAAO,MAAM,aAAa,GACxB,KAAK,CAAC,cAAc,SAAS,aAAa,CAAC,kBAAkB,CAAC,EAC9D,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,EAEzB,UAAU,cAAc,EACxB,OAAO,CAAC,GAAG,iBAAiB,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,yBAAyB,CAAC,CAAC,EAAE,cAAc,EAAE,KAAK,CAAC,KAC3F,aAAa,CACd,kBAAkB,CAAC,CAAC,CAAC,EACrB,cAAc,EACd,kBAAkB,CAAC,CAAC,EAAE,KAAK,CAAC,EAC5B,KAAK,EACL,KAAK,CAkBN,CAAA;AAED,eAAO,MAAM,sBAAsB,GACjC,KAAK,CAAC,WAAW,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EACpD,KAAK,CAAC,cAAc,SAAS,aAAa,CAAC,kBAAkB,CAAC,EAC9D,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,EAEzB,OAAO,WAAW,EAClB,UAAU,cAAc,EACxB,OAAO,CAAC,GAAG,iBAAiB,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,yBAAyB,CAAC,CAAC,EAAE,cAAc,EAAE,IAAI,CAAC,KACzF,aAAa,CACd,kBAAkB,CAAC,CAAC,CAAC,EACrB,cAAc,EACd,kBAAkB,CAAC,CAAC,EAAE,IAAI,CAAC,EAC3B,IAAI,EACJ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAkBhC,CAAA;AAGD,eAAO,MAAM,UAAU,GAAI,CAAC,EAC1B,OAAO,MAAM,OAAO,CAAC;IAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;CAAE,CAAC,KAC5C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,iBAAiB,CAIY,CAAA;AAEjD,MAAM,WAAW,YAAY,CAC3B,IAAI,EACJ,cAAc,SAAS,aAAa,CAAC,kBAAkB,CAAC,EACxD,YAAY,GAAG,0BAA0B,CAAC,IAAI,EAAE,cAAc,CAAC,EAC/D,SAAS,SAAS,OAAO,GAAG,KAAK,EACjC,KAAK,GAAG,KAAK,CACb,SAAQ,aAAa,CAAC,IAAI,EAAE,cAAc,EAAE,YAAY,EAAE,SAAS,EAAE,KAAK,CAAC;CAAG"}

package/dist/feature/featureModule.js

@@ -0,0 +1,33 @@
+import { Effect } from 'effect';
+import { FeatureModuleGraphValidTypeId, } from '../graph/closure.js';
+import { FeatureLoadFailed } from '../internal/errors.js';
+export const featureModule = (requires, layer) => {
+    const module = {
+        [FeatureModuleGraphValidTypeId]: FeatureModuleGraphValidTypeId,
+        requires,
+        usesInput: false,
+        layer,
+        inputSchema: undefined,
+        Input: () => undefined,
+        capture: (visit) => visit(module),
+    };
+    return module;
+};
+export const featureModuleFromInput = (input, requires, layer) => {
+    const module = {
+        [FeatureModuleGraphValidTypeId]: FeatureModuleGraphValidTypeId,
+        requires,
+        usesInput: true,
+        layer,
+        inputSchema: input,
+        Input: () => undefined,
+        capture: (visit) => visit(module),
+    };
+    return module;
+};
+// Seal dynamic imports as typed Effects so chunk failures become FeatureLoadFailed.
+export const lazyImport = (thunk) => Effect.tryPromise({
+    try: thunk,
+    catch: (cause) => new FeatureLoadFailed({ cause }),
+}).pipe(Effect.map((module) => module.default));
+//# sourceMappingURL=featureModule.js.map

package/dist/feature/featureModule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"featureModule.js","sourceRoot":"","sources":["../../src/feature/featureModule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAA2B,MAAM,QAAQ,CAAA;AACxD,OAAO,EACL,6BAA6B,GAG9B,MAAM,kBAAkB,CAAA;AACzB,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAkDtD,MAAM,CAAC,MAAM,aAAa,GAAG,CAI3B,QAAwB,EACxB,KAA4F,EAO5F,EAAE;IACF,MAAM,MAAM,GAMR;QACF,CAAC,6BAA6B,CAAC,EAAE,6BAA6B;QAC9D,QAAQ;QACR,SAAS,EAAE,KAAK;QAChB,KAAK;QACL,WAAW,EAAE,SAAS;QACtB,KAAK,EAAE,GAAG,EAAE,CAAC,SAAS;QACtB,OAAO,EAAE,CAAS,KAAkC,EAAU,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC;KAC/E,CAAA;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAKpC,KAAkB,EAClB,QAAwB,EACxB,KAA0F,EAO1F,EAAE;IACF,MAAM,MAAM,GAMR;QACF,CAAC,6BAA6B,CAAC,EAAE,6BAA6B;QAC9D,QAAQ;QACR,SAAS,EAAE,IAAI;QACf,KAAK;QACL,WAAW,EAAE,KAAK;QAClB,KAAK,EAAE,GAAG,EAAE,CAAC,SAAS;QACtB,OAAO,EAAE,CAAS,KAAkC,EAAU,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC;KAC/E,CAAA;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,oFAAoF;AACpF,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,KAA6C,EACR,EAAE,CACvC,MAAM,CAAC,UAAU,CAAC;IAChB,GAAG,EAAE,KAAK;IACV,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,iBAAiB,CAAC,EAAE,KAAK,EAAE,CAAC;CACnD,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAA"}

package/dist/feature/featureNativeTree.d.ts

@@ -0,0 +1,26 @@
+import type { Effect } from 'effect';
+import type { CompositionClass } from '../compose/composition.js';
+import type { UiContract } from '../compose/ui.js';
+import type { AnyFeatureGraphSummary, FeatureGraphSummary, FeatureSummaryCompositionIdentity, FeatureSummaryCompositionProps, FeatureSummaryContract, FeatureSummaryInput, FeatureSummaryName, FeatureSummaryOpenServices, FeatureSummaryStates, FeatureSummarySupportOpenServices, FeatureSummaryUsesInput } from '../graph/closure.js';
+import type { FeatureLoadFailed } from '../internal/errors.js';
+import type { CapturedFeatureBinding } from './featureBinding.js';
+import type { FeatureModule } from './featureModule.js';
+import type { FeatureRequirement } from './featureRequirement.js';
+export interface FeatureNativeTree<Summary extends AnyFeatureGraphSummary, ROut, DirectRequires extends ReadonlyArray<FeatureRequirement>, SupportOut, SupportDirectRequires extends ReadonlyArray<FeatureRequirement>, Composition extends CompositionClass<FeatureSummaryCompositionProps<Summary>, FeatureSummaryContract<Summary>, FeatureSummaryStates<Summary>, FeatureSummaryName<Summary>, FeatureSummaryCompositionIdentity<Summary>> = CompositionClass<FeatureSummaryCompositionProps<Summary>, FeatureSummaryContract<Summary>, FeatureSummaryStates<Summary>, FeatureSummaryName<Summary>, FeatureSummaryCompositionIdentity<Summary>>> {
+    readonly identity: symbol;
+    readonly summary: Summary;
+    readonly composition: Composition;
+    readonly load: Effect.Effect<FeatureModule<ROut, DirectRequires, FeatureSummaryOpenServices<Summary>, FeatureSummaryUsesInput<Summary>, FeatureSummaryInput<Summary>>, FeatureLoadFailed>;
+    readonly binding: CapturedFeatureBinding<Summary, ROut, DirectRequires>;
+    readonly eagerModule: FeatureModule<ROut, DirectRequires, FeatureSummaryOpenServices<Summary>, false, never> | undefined;
+    readonly supportModule: FeatureModule<SupportOut, SupportDirectRequires, FeatureSummarySupportOpenServices<Summary>, false, never> | undefined;
+}
+export interface EagerFeatureNativeTree<Summary extends AnyFeatureGraphSummary, ROut, DirectRequires extends ReadonlyArray<FeatureRequirement>, Composition extends CompositionClass<FeatureSummaryCompositionProps<Summary>, FeatureSummaryContract<Summary>, FeatureSummaryStates<Summary>, FeatureSummaryName<Summary>, FeatureSummaryCompositionIdentity<Summary>> = CompositionClass<FeatureSummaryCompositionProps<Summary>, FeatureSummaryContract<Summary>, FeatureSummaryStates<Summary>, FeatureSummaryName<Summary>, FeatureSummaryCompositionIdentity<Summary>>> extends FeatureNativeTree<Summary, ROut, DirectRequires, never, readonly [], Composition> {
+    readonly eagerModule: FeatureModule<ROut, DirectRequires, FeatureSummaryOpenServices<Summary>, false, never>;
+    readonly supportModule: undefined;
+}
+export interface LazyFeatureNativeTree<Summary extends AnyFeatureGraphSummary, ROut, DirectRequires extends ReadonlyArray<FeatureRequirement>, SupportOut, SupportDirectRequires extends ReadonlyArray<FeatureRequirement>, Composition extends CompositionClass<FeatureSummaryCompositionProps<Summary>, FeatureSummaryContract<Summary>, FeatureSummaryStates<Summary>, FeatureSummaryName<Summary>, FeatureSummaryCompositionIdentity<Summary>> = CompositionClass<FeatureSummaryCompositionProps<Summary>, FeatureSummaryContract<Summary>, FeatureSummaryStates<Summary>, FeatureSummaryName<Summary>, FeatureSummaryCompositionIdentity<Summary>>> extends FeatureNativeTree<Summary, ROut, DirectRequires, SupportOut, SupportDirectRequires, Composition> {
+    readonly eagerModule: undefined;
+}
+export type FeatureSummaryOf<FeatureIdentity, MountProps, CompositionProps, C extends UiContract, S extends ReadonlyArray<unknown>, N extends string, Identity, OpenServices, SupportOpenServices, UsesInput extends boolean, Input> = FeatureGraphSummary<FeatureIdentity, MountProps, CompositionProps, C, S, N, Identity, OpenServices, SupportOpenServices, UsesInput, Input>;
+//# sourceMappingURL=featureNativeTree.d.ts.map

package/dist/feature/featureNativeTree.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"featureNativeTree.d.ts","sourceRoot":"","sources":["../../src/feature/featureNativeTree.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACpC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AAC9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAC/C,OAAO,KAAK,EACV,sBAAsB,EACtB,mBAAmB,EACnB,iCAAiC,EACjC,8BAA8B,EAC9B,sBAAsB,EACtB,mBAAmB,EACnB,kBAAkB,EAClB,0BAA0B,EAC1B,oBAAoB,EACpB,iCAAiC,EACjC,uBAAuB,EACxB,MAAM,kBAAkB,CAAA;AACzB,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAC3D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAA;AAC9D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AACpD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAA;AAE9D,MAAM,WAAW,iBAAiB,CAChC,OAAO,SAAS,sBAAsB,EACtC,IAAI,EACJ,cAAc,SAAS,aAAa,CAAC,kBAAkB,CAAC,EACxD,UAAU,EACV,qBAAqB,SAAS,aAAa,CAAC,kBAAkB,CAAC,EAC/D,WAAW,SAAS,gBAAgB,CAClC,8BAA8B,CAAC,OAAO,CAAC,EACvC,sBAAsB,CAAC,OAAO,CAAC,EAC/B,oBAAoB,CAAC,OAAO,CAAC,EAC7B,kBAAkB,CAAC,OAAO,CAAC,EAC3B,iCAAiC,CAAC,OAAO,CAAC,CAC3C,GAAG,gBAAgB,CAClB,8BAA8B,CAAC,OAAO,CAAC,EACvC,sBAAsB,CAAC,OAAO,CAAC,EAC/B,oBAAoB,CAAC,OAAO,CAAC,EAC7B,kBAAkB,CAAC,OAAO,CAAC,EAC3B,iCAAiC,CAAC,OAAO,CAAC,CAC3C;IAED,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAA;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAC1B,aAAa,CACX,IAAI,EACJ,cAAc,EACd,0BAA0B,CAAC,OAAO,CAAC,EACnC,uBAAuB,CAAC,OAAO,CAAC,EAChC,mBAAmB,CAAC,OAAO,CAAC,CAC7B,EACD,iBAAiB,CAClB,CAAA;IACD,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC,OAAO,EAAE,IAAI,EAAE,cAAc,CAAC,CAAA;IACvE,QAAQ,CAAC,WAAW,EAChB,aAAa,CAAC,IAAI,EAAE,cAAc,EAAE,0BAA0B,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,GACtF,SAAS,CAAA;IACb,QAAQ,CAAC,aAAa,EAClB,aAAa,CACX,UAAU,EACV,qBAAqB,EACrB,iCAAiC,CAAC,OAAO,CAAC,EAC1C,KAAK,EACL,KAAK,CACN,GACD,SAAS,CAAA;CACd;AAED,MAAM,WAAW,sBAAsB,CACrC,OAAO,SAAS,sBAAsB,EACtC,IAAI,EACJ,cAAc,SAAS,aAAa,CAAC,kBAAkB,CAAC,EACxD,WAAW,SAAS,gBAAgB,CAClC,8BAA8B,CAAC,OAAO,CAAC,EACvC,sBAAsB,CAAC,OAAO,CAAC,EAC/B,oBAAoB,CAAC,OAAO,CAAC,EAC7B,kBAAkB,CAAC,OAAO,CAAC,EAC3B,iCAAiC,CAAC,OAAO,CAAC,CAC3C,GAAG,gBAAgB,CAClB,8BAA8B,CAAC,OAAO,CAAC,EACvC,sBAAsB,CAAC,OAAO,CAAC,EAC/B,oBAAoB,CAAC,OAAO,CAAC,EAC7B,kBAAkB,CAAC,OAAO,CAAC,EAC3B,iCAAiC,CAAC,OAAO,CAAC,CAC3C,CACD,SAAQ,iBAAiB,CAAC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,WAAW,CAAC;IACzF,QAAQ,CAAC,WAAW,EAAE,aAAa,CACjC,IAAI,EACJ,cAAc,EACd,0BAA0B,CAAC,OAAO,CAAC,EACnC,KAAK,EACL,KAAK,CACN,CAAA;IACD,QAAQ,CAAC,aAAa,EAAE,SAAS,CAAA;CAClC;AAED,MAAM,WAAW,qBAAqB,CACpC,OAAO,SAAS,sBAAsB,EACtC,IAAI,EACJ,cAAc,SAAS,aAAa,CAAC,kBAAkB,CAAC,EACxD,UAAU,EACV,qBAAqB,SAAS,aAAa,CAAC,kBAAkB,CAAC,EAC/D,WAAW,SAAS,gBAAgB,CAClC,8BAA8B,CAAC,OAAO,CAAC,EACvC,sBAAsB,CAAC,OAAO,CAAC,EAC/B,oBAAoB,CAAC,OAAO,CAAC,EAC7B,kBAAkB,CAAC,OAAO,CAAC,EAC3B,iCAAiC,CAAC,OAAO,CAAC,CAC3C,GAAG,gBAAgB,CAClB,8BAA8B,CAAC,OAAO,CAAC,EACvC,sBAAsB,CAAC,OAAO,CAAC,EAC/B,oBAAoB,CAAC,OAAO,CAAC,EAC7B,kBAAkB,CAAC,OAAO,CAAC,EAC3B,iCAAiC,CAAC,OAAO,CAAC,CAC3C,CACD,SAAQ,iBAAiB,CACzB,OAAO,EACP,IAAI,EACJ,cAAc,EACd,UAAU,EACV,qBAAqB,EACrB,WAAW,CACZ;IACC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAA;CAChC;AAED,MAAM,MAAM,gBAAgB,CAC1B,eAAe,EACf,UAAU,EACV,gBAAgB,EAChB,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAChC,CAAC,SAAS,MAAM,EAChB,QAAQ,EACR,YAAY,EACZ,mBAAmB,EACnB,SAAS,SAAS,OAAO,EACzB,KAAK,IACH,mBAAmB,CACrB,eAAe,EACf,UAAU,EACV,gBAAgB,EAChB,CAAC,EACD,CAAC,EACD,CAAC,EACD,QAAQ,EACR,YAAY,EACZ,mBAAmB,EACnB,SAAS,EACT,KAAK,CACN,CAAA"}

package/dist/feature/featureNativeTree.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=featureNativeTree.js.map

package/dist/feature/featureNativeTree.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"featureNativeTree.js","sourceRoot":"","sources":["../../src/feature/featureNativeTree.ts"],"names":[],"mappings":""}

package/dist/feature/featureRequirement.d.ts

@@ -0,0 +1,43 @@
+import { Context } from 'effect';
+import { CompositionIdTypeId } from '../compose/composition.js';
+import type { OpenServicesFromFeatureSlotWitnesses } from '../graph/closure.js';
+import type { EngineServices } from '../runtime/loop.js';
+declare const FeatureInputBase: Context.TagClass<FeatureInput, 'reform/FeatureInput', unknown>;
+export declare class FeatureInput extends FeatureInputBase {
+}
+export interface FeatureServiceTag<out Identifier = unknown, out Service = unknown> {
+    readonly [Context.TagTypeId]: object;
+    readonly Identifier: Identifier;
+    readonly Service: Service;
+}
+export interface StoredFeatureRequirement<out Identifier = unknown, out Service = unknown> {
+    readonly store: FeatureServiceTag<Identifier, Service>;
+}
+export type RequireCarrier = StoredFeatureRequirement | {
+    readonly members: ReadonlyArray<StoredFeatureRequirement>;
+};
+export type FeatureRequirement = RequireCarrier | FeatureServiceTag;
+export type TagRequirement<Tag> = Tag extends FeatureServiceTag<infer Identifier, infer _Service> ? Identifier : never;
+export type StoredRequirementIdentifier<Carrier> = Carrier extends {
+    readonly store: infer Tag;
+} ? TagRequirement<Tag> : never;
+export type RequirementIdentifier<Requirement> = Requirement extends FeatureServiceTag ? TagRequirement<Requirement> : Requirement extends {
+    readonly members: infer Members extends ReadonlyArray<StoredFeatureRequirement>;
+} ? StoredRequirementIdentifier<Members[number]> : StoredRequirementIdentifier<Requirement>;
+export type ProvidedBy<Requires extends ReadonlyArray<FeatureRequirement>> = RequirementIdentifier<Requires[number]>;
+export type DefaultFeatureOpenServices<ROut, DirectRequires extends ReadonlyArray<FeatureRequirement>> = ProvidedBy<DirectRequires> | OpenServicesFromFeatureSlotWitnesses<ROut>;
+export type CompositionNames<ROut> = ROut extends {
+    readonly [CompositionIdTypeId]: {
+        readonly name: infer Name extends string;
+    };
+} ? Name : never;
+export type CompositionIdentities<ROut> = ROut extends {
+    readonly [CompositionIdTypeId]: {
+        readonly identity: infer Identity;
+    };
+} ? Identity : never;
+export type RootCompositionName<ROut> = [CompositionNames<ROut>] extends [never] ? string : CompositionNames<ROut>;
+export type RootCompositionIdentity<ROut> = [CompositionIdentities<ROut>] extends [never] ? unknown : CompositionIdentities<ROut>;
+export type FeatureModuleInput<OpenServices, UsesInput extends boolean> = EngineServices | OpenServices | (UsesInput extends true ? FeatureInput : never);
+export {};
+//# sourceMappingURL=featureRequirement.d.ts.map

package/dist/feature/featureRequirement.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"featureRequirement.d.ts","sourceRoot":"","sources":["../../src/feature/featureRequirement.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AAChC,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAA;AAC5D,OAAO,KAAK,EAAE,oCAAoC,EAAE,MAAM,kBAAkB,CAAA;AAC5E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAErD,QAAA,MAAM,gBAAgB,EAAE,OAAO,CAAC,QAAQ,CAAC,YAAY,EAAE,qBAAqB,EAAE,OAAO,CACxB,CAAA;AAC7D,qBAAa,YAAa,SAAQ,gBAAgB;CAAG;AAGrD,MAAM,WAAW,iBAAiB,CAAC,GAAG,CAAC,UAAU,GAAG,OAAO,EAAE,GAAG,CAAC,OAAO,GAAG,OAAO;IAChF,QAAQ,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IACpC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;IAC/B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B;AAED,MAAM,WAAW,wBAAwB,CAAC,GAAG,CAAC,UAAU,GAAG,OAAO,EAAE,GAAG,CAAC,OAAO,GAAG,OAAO;IACvF,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;CACvD;AAED,MAAM,MAAM,cAAc,GACtB,wBAAwB,GACxB;IACE,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,wBAAwB,CAAC,CAAA;CAC1D,CAAA;AAEL,MAAM,MAAM,kBAAkB,GAAG,cAAc,GAAG,iBAAiB,CAAA;AAEnE,MAAM,MAAM,cAAc,CAAC,GAAG,IAC5B,GAAG,SAAS,iBAAiB,CAAC,MAAM,UAAU,EAAE,MAAM,QAAQ,CAAC,GAAG,UAAU,GAAG,KAAK,CAAA;AAEtF,MAAM,MAAM,2BAA2B,CAAC,OAAO,IAAI,OAAO,SAAS;IACjE,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,CAAA;CAC1B,GACG,cAAc,CAAC,GAAG,CAAC,GACnB,KAAK,CAAA;AAET,MAAM,MAAM,qBAAqB,CAAC,WAAW,IAAI,WAAW,SAAS,iBAAiB,GAClF,cAAc,CAAC,WAAW,CAAC,GAC3B,WAAW,SAAS;IAChB,QAAQ,CAAC,OAAO,EAAE,MAAM,OAAO,SAAS,aAAa,CAAC,wBAAwB,CAAC,CAAA;CAChF,GACD,2BAA2B,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAC5C,2BAA2B,CAAC,WAAW,CAAC,CAAA;AAE9C,MAAM,MAAM,UAAU,CAAC,QAAQ,SAAS,aAAa,CAAC,kBAAkB,CAAC,IAAI,qBAAqB,CAChG,QAAQ,CAAC,MAAM,CAAC,CACjB,CAAA;AAED,MAAM,MAAM,0BAA0B,CAAC,IAAI,EAAE,cAAc,SAAS,aAAa,CAAC,kBAAkB,CAAC,IACjG,UAAU,CAAC,cAAc,CAAC,GAC1B,oCAAoC,CAAC,IAAI,CAAC,CAAA;AAE9C,MAAM,MAAM,gBAAgB,CAAC,IAAI,IAAI,IAAI,SAAS;IAChD,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE;QAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,SAAS,MAAM,CAAA;KACzC,CAAA;CACF,GACG,IAAI,GACJ,KAAK,CAAA;AAET,MAAM,MAAM,qBAAqB,CAAC,IAAI,IAAI,IAAI,SAAS;IACrD,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE;QAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,QAAQ,CAAA;KAClC,CAAA;CACF,GACG,QAAQ,GACR,KAAK,CAAA;AAET,MAAM,MAAM,mBAAmB,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC5E,MAAM,GACN,gBAAgB,CAAC,IAAI,CAAC,CAAA;AAE1B,MAAM,MAAM,uBAAuB,CAAC,IAAI,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACrF,OAAO,GACP,qBAAqB,CAAC,IAAI,CAAC,CAAA;AAG/B,MAAM,MAAM,kBAAkB,CAAC,YAAY,EAAE,SAAS,SAAS,OAAO,IAClE,cAAc,GACd,YAAY,GACZ,CAAC,SAAS,SAAS,IAAI,GAAG,YAAY,GAAG,KAAK,CAAC,CAAA"}

package/dist/feature/featureRequirement.js

@@ -0,0 +1,6 @@
+import { Context } from 'effect';
+import { CompositionIdTypeId } from '../compose/composition.js';
+const FeatureInputBase = Context.Tag('reform/FeatureInput')();
+export class FeatureInput extends FeatureInputBase {
+}
+//# sourceMappingURL=featureRequirement.js.map

package/dist/feature/featureRequirement.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"featureRequirement.js","sourceRoot":"","sources":["../../src/feature/featureRequirement.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AAChC,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAA;AAI5D,MAAM,gBAAgB,GACpB,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,EAAyB,CAAA;AAC7D,MAAM,OAAO,YAAa,SAAQ,gBAAgB;CAAG"}

package/dist/feature/featureVariants.d.ts

@@ -0,0 +1,9 @@
+import { type Schema } from 'effect';
+import type { AnyComposition, CompositionClass } from '../compose/composition.js';
+import type { UiContract } from '../compose/ui.js';
+import type { EagerFeatureClass, LazyFeatureClass } from './featureClass.js';
+import type { EagerFeatureConfigExternalApi, ExactFeatureCompositionConfig, FeatureMountProps, FeatureUsesInput, LazyFeatureConfigExternalApi } from './featureConfig.js';
+import type { FeatureRequirement } from './featureRequirement.js';
+export declare const makeEagerFeature: <P, C extends UiContract, ROut, DirectRequires extends ReadonlyArray<FeatureRequirement>, OpenServices, S extends ReadonlyArray<unknown>, N extends string, Identity, Composition extends CompositionClass<P, C, S, N, Identity>>(name: string, config: EagerFeatureConfigExternalApi<P, C, ROut, DirectRequires, OpenServices, S, N, Identity> & ExactFeatureCompositionConfig<Composition>) => EagerFeatureClass<Identity, P, C, ROut, DirectRequires, OpenServices, S, N, Identity, Composition>;
+export declare const makeLazyFeature: <CompositionProps, C extends UiContract, ROut, DirectRequires extends ReadonlyArray<FeatureRequirement>, OpenServices, SupportOut, SupportDirectRequires extends ReadonlyArray<FeatureRequirement>, SupportOpenServices, S extends ReadonlyArray<unknown>, N extends string, Identity, Composition extends CompositionClass<CompositionProps, C, S, N, Identity>, InputSchema extends Schema.Schema.AnyNoContext, Loading extends AnyComposition, Failed extends AnyComposition>(name: string, config: LazyFeatureConfigExternalApi<CompositionProps, C, ROut, DirectRequires, OpenServices, SupportOut, SupportDirectRequires, SupportOpenServices, S, N, Identity, InputSchema, Loading, Failed> & ExactFeatureCompositionConfig<Composition>) => LazyFeatureClass<Identity, FeatureMountProps<FeatureUsesInput<InputSchema>, CompositionProps, InputSchema>, C, ROut, DirectRequires, OpenServices, SupportOut, SupportDirectRequires, SupportOpenServices, FeatureUsesInput<InputSchema>, S, N, CompositionProps, Identity, Composition>;
+//# sourceMappingURL=featureVariants.d.ts.map

package/dist/feature/featureVariants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"featureVariants.d.ts","sourceRoot":"","sources":["../../src/feature/featureVariants.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAA;AACpD,OAAO,KAAK,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AAC9E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAO/C,OAAO,KAAK,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AACzE,OAAO,KAAK,EACV,6BAA6B,EAC7B,6BAA6B,EAE7B,iBAAiB,EACjB,gBAAgB,EAChB,4BAA4B,EAE7B,MAAM,iBAAiB,CAAA;AAGxB,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAA;AAE9D,eAAO,MAAM,gBAAgB,GAC3B,CAAC,EACD,CAAC,SAAS,UAAU,EACpB,IAAI,EACJ,cAAc,SAAS,aAAa,CAAC,kBAAkB,CAAC,EACxD,YAAY,EACZ,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAChC,CAAC,SAAS,MAAM,EAChB,QAAQ,EACR,WAAW,SAAS,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EAE1D,MAAM,MAAM,EACZ,QAAQ,6BAA6B,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,GAC7F,6BAA6B,CAAC,WAAW,CAAC,KAC3C,iBAAiB,CAClB,QAAQ,EACR,CAAC,EACD,CAAC,EACD,IAAI,EACJ,cAAc,EACd,YAAY,EACZ,CAAC,EACD,CAAC,EACD,QAAQ,EACR,WAAW,CA6DZ,CAAA;AAED,eAAO,MAAM,eAAe,GAC1B,gBAAgB,EAChB,CAAC,SAAS,UAAU,EACpB,IAAI,EACJ,cAAc,SAAS,aAAa,CAAC,kBAAkB,CAAC,EACxD,YAAY,EACZ,UAAU,EACV,qBAAqB,SAAS,aAAa,CAAC,kBAAkB,CAAC,EAC/D,mBAAmB,EACnB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAChC,CAAC,SAAS,MAAM,EAChB,QAAQ,EACR,WAAW,SAAS,gBAAgB,CAAC,gBAAgB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EACzE,WAAW,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EAC9C,OAAO,SAAS,cAAc,EAC9B,MAAM,SAAS,cAAc,EAE7B,MAAM,MAAM,EACZ,QAAQ,4BAA4B,CAClC,gBAAgB,EAChB,CAAC,EACD,IAAI,EACJ,cAAc,EACd,YAAY,EACZ,UAAU,EACV,qBAAqB,EACrB,mBAAmB,EACnB,CAAC,EACD,CAAC,EACD,QAAQ,EACR,WAAW,EACX,OAAO,EACP,MAAM,CACP,GACC,6BAA6B,CAAC,WAAW,CAAC,KAC3C,gBAAgB,CACjB,QAAQ,EACR,iBAAiB,CAAC,gBAAgB,CAAC,WAAW,CAAC,EAAE,gBAAgB,EAAE,WAAW,CAAC,EAC/E,CAAC,EACD,IAAI,EACJ,cAAc,EACd,YAAY,EACZ,UAAU,EACV,qBAAqB,EACrB,mBAAmB,EACnB,gBAAgB,CAAC,WAAW,CAAC,EAC7B,CAAC,EACD,CAAC,EACD,gBAAgB,EAChB,QAAQ,EACR,WAAW,CAyEZ,CAAA"}

package/dist/feature/featureVariants.js

@@ -0,0 +1,59 @@
+import { Effect, Option } from 'effect';
+import { definitionClass } from '../definition/definition.js';
+import { FeatureNativeTypeId, FeatureTokenIdentityTypeId, } from './featureBinding.js';
+import { makeFeatureBinding, makeFeatureManifest, makeFeatureSummary } from './featureFactory.js';
+export const makeEagerFeature = (name, config) => {
+    const featureIdentity = Symbol(name);
+    const placeholder = Option.none();
+    const manifest = makeFeatureManifest(name, 'default', config.composition, placeholder);
+    const load = Effect.succeed(config.module);
+    const summary = makeFeatureSummary(config.composition);
+    const binding = makeFeatureBinding(featureIdentity, manifest, summary, config.composition, load, placeholder, undefined, Option.getOrElse(Option.fromNullable(config.boot), () => []));
+    const native = {
+        identity: featureIdentity,
+        summary,
+        composition: config.composition,
+        load,
+        binding,
+        eagerModule: config.module,
+        supportModule: undefined,
+    };
+    const token = {
+        identity: featureIdentity,
+        [FeatureTokenIdentityTypeId]: [],
+        [FeatureNativeTypeId]: native,
+    };
+    return definitionClass({
+        manifest,
+        summary,
+        token,
+    });
+};
+export const makeLazyFeature = (name, config) => {
+    const featureIdentity = Symbol(name);
+    const placeholder = Option.some(config.placeholder);
+    const manifest = makeFeatureManifest(name, 'lazy', config.composition, placeholder);
+    const inputSchema = 'input' in config ? config.input : undefined;
+    const summary = makeFeatureSummary(config.composition);
+    const binding = makeFeatureBinding(featureIdentity, manifest, summary, config.composition, config.load, placeholder, inputSchema, Option.getOrElse(Option.fromNullable(config.boot), () => []));
+    const native = {
+        identity: featureIdentity,
+        summary,
+        composition: config.composition,
+        load: config.load,
+        binding,
+        eagerModule: undefined,
+        supportModule: config.eager,
+    };
+    const token = {
+        identity: featureIdentity,
+        [FeatureTokenIdentityTypeId]: [],
+        [FeatureNativeTypeId]: native,
+    };
+    return definitionClass({
+        manifest,
+        summary,
+        token,
+    });
+};
+//# sourceMappingURL=featureVariants.js.map

package/dist/feature/featureVariants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"featureVariants.js","sourceRoot":"","sources":["../../src/feature/featureVariants.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAe,MAAM,QAAQ,CAAA;AAGpD,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAA;AAC1D,OAAO,EACL,mBAAmB,EAEnB,0BAA0B,GAC3B,MAAM,kBAAkB,CAAA;AAWzB,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAA;AAI9F,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAW9B,IAAY,EACZ,MAC4C,EAY5C,EAAE;IACF,MAAM,eAAe,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;IACpC,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,EAAuB,CAAA;IACtD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,CAAA;IACtF,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAC1C,MAAM,OAAO,GAAG,kBAAkB,CAYhC,MAAM,CAAC,WAAW,CAAC,CAAA;IACrB,MAAM,OAAO,GAAG,kBAAkB,CAChC,eAAe,EACf,QAAQ,EACR,OAAO,EACP,MAAM,CAAC,WAAW,EAClB,IAAI,EACJ,WAAW,EACX,SAAS,EACT,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAC7D,CAAA;IACD,MAAM,MAAM,GAA8E;QACxF,QAAQ,EAAE,eAAe;QACzB,OAAO;QACP,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,IAAI;QACJ,OAAO;QACP,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,aAAa,EAAE,SAAS;KACzB,CAAA;IACD,MAAM,KAAK,GAA0C;QACnD,QAAQ,EAAE,eAAe;QACzB,CAAC,0BAA0B,CAAC,EAAE,EAAE;QAChC,CAAC,mBAAmB,CAAC,EAAE,MAAM;KAC9B,CAAA;IACD,OAAO,eAAe,CAapB;QACA,QAAQ;QACR,OAAO;QACP,KAAK;KACN,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,CAiB7B,IAAY,EACZ,MAgB4C,EAiB5C,EAAE;IACF,MAAM,eAAe,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;IACpC,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAsB,MAAM,CAAC,WAAW,CAAC,CAAA;IACxE,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,CAAA;IACnF,MAAM,WAAW,GAAG,OAAO,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IAChE,MAAM,OAAO,GAAG,kBAAkB,CAYhC,MAAM,CAAC,WAAW,CAAC,CAAA;IACrB,MAAM,OAAO,GAAG,kBAAkB,CAChC,eAAe,EACf,QAAQ,EACR,OAAO,EACP,MAAM,CAAC,WAAW,EAClB,MAAM,CAAC,IAAI,EACX,WAAW,EACX,WAAW,EACX,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAC7D,CAAA;IACD,MAAM,MAAM,GAOR;QACF,QAAQ,EAAE,eAAe;QACzB,OAAO;QACP,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,OAAO;QACP,WAAW,EAAE,SAAS;QACtB,aAAa,EAAE,MAAM,CAAC,KAAK;KAC5B,CAAA;IACD,MAAM,KAAK,GAA0C;QACnD,QAAQ,EAAE,eAAe;QACzB,CAAC,0BAA0B,CAAC,EAAE,EAAE;QAChC,CAAC,mBAAmB,CAAC,EAAE,MAAM;KAC9B,CAAA;IACD,OAAO,eAAe,CAkBpB;QACA,QAAQ;QACR,OAAO;QACP,KAAK;KACN,CAAC,CAAA;AACJ,CAAC,CAAA"}

package/dist/feature/mountFeature.d.ts

@@ -0,0 +1,10 @@
+import { Context, Effect, type Scope } from 'effect';
+import type { AnyFeatureGraphSummary, FeatureSummaryInput, FeatureSummaryOpenServices } from '../graph/closure.js';
+import type { FeatureLoadFailed } from '../internal/errors.js';
+import type { EngineServices } from '../runtime/loop.js';
+import type { FeatureBinding } from './featureBinding.js';
+import { type FeatureRequirement } from './featureRequirement.js';
+type MountFeature = <Summary extends AnyFeatureGraphSummary, ROut, const DirectRequires extends ReadonlyArray<FeatureRequirement>, HostServices>(binding: FeatureBinding<Summary, ROut, DirectRequires>, engineContext: Context.Context<HostServices | EngineServices | FeatureSummaryOpenServices<Summary>>, props?: FeatureSummaryInput<Summary>) => Effect.Effect<Context.Context<HostServices | EngineServices | FeatureSummaryOpenServices<Summary> | ROut>, FeatureLoadFailed, Scope.Scope>;
+export declare const mountFeature: MountFeature;
+export {};
+//# sourceMappingURL=mountFeature.d.ts.map

package/dist/feature/mountFeature.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mountFeature.d.ts","sourceRoot":"","sources":["../../src/feature/mountFeature.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAS,KAAK,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC3D,OAAO,KAAK,EACV,sBAAsB,EACtB,mBAAmB,EACnB,0BAA0B,EAC3B,MAAM,kBAAkB,CAAA;AACzB,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAE3D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AACrD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACtD,OAAO,EAAgB,KAAK,kBAAkB,EAAE,MAAM,sBAAsB,CAAA;AAE5E,KAAK,YAAY,GAAG,CAClB,OAAO,SAAS,sBAAsB,EACtC,IAAI,EACJ,KAAK,CAAC,cAAc,SAAS,aAAa,CAAC,kBAAkB,CAAC,EAC9D,YAAY,EAEZ,OAAO,EAAE,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,cAAc,CAAC,EACtD,aAAa,EAAE,OAAO,CAAC,OAAO,CAC5B,YAAY,GAAG,cAAc,GAAG,0BAA0B,CAAC,OAAO,CAAC,CACpE,EACD,KAAK,CAAC,EAAE,mBAAmB,CAAC,OAAO,CAAC,KACjC,MAAM,CAAC,MAAM,CAChB,OAAO,CAAC,OAAO,CAAC,YAAY,GAAG,cAAc,GAAG,0BAA0B,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,EAC3F,iBAAiB,EACjB,KAAK,CAAC,KAAK,CACZ,CAAA;AAED,eAAO,MAAM,YAAY,EAAE,YAwBzB,CAAA"}

package/dist/feature/mountFeature.js

@@ -0,0 +1,14 @@
+import { Context, Effect, Layer } from 'effect';
+import { Bus, publish } from '../runtime/bus.js';
+import { FeatureInput } from './featureRequirement.js';
+export const mountFeature = Effect.fn('mountFeature')(function* (binding, engineContext, props = undefined) {
+    const { layer } = yield* binding.load;
+    const bus = Context.get(engineContext, Bus);
+    const featureContext = Context.add(engineContext, FeatureInput, props);
+    const context = yield* Layer.build(Layer.provide(layer, Layer.succeedContext(featureContext)));
+    yield* Effect.forEach(binding.boot, (event) => publish('High', event), {
+        discard: true,
+    }).pipe(Effect.provideService(Bus, bus));
+    return Context.merge(engineContext, context);
+});
+//# sourceMappingURL=mountFeature.js.map

package/dist/feature/mountFeature.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mountFeature.js","sourceRoot":"","sources":["../../src/feature/mountFeature.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAc,MAAM,QAAQ,CAAA;AAO3D,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAA;AAG7C,OAAO,EAAE,YAAY,EAA2B,MAAM,sBAAsB,CAAA;AAmB5E,MAAM,CAAC,MAAM,YAAY,GAAiB,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,QAAQ,CAAC,EAM3E,OAAsD,EACtD,aAEC,EACD,QAAkD,SAAS;IAM3D,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAA;IACrC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,aAAa,EAAE,GAAG,CAAC,CAAA;IAC3C,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,aAAa,EAAE,YAAY,EAAE,KAAK,CAAC,CAAA;IACtE,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,cAAc,CAAC,cAAc,CAAC,CAAC,CAAC,CAAA;IAC9F,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;QACrE,OAAO,EAAE,IAAI;KACd,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAA;IACxC,OAAO,OAAO,CAAC,KAAK,CAAC,aAAa,EAAE,OAAO,CAAC,CAAA;AAC9C,CAAC,CAAC,CAAA"}

package/dist/graph/closure.d.ts

@@ -0,0 +1,77 @@
+import type { Layer } from 'effect';
+import { CompositionIdTypeId } from '../compose/composition.js';
+import { SlotServiceTypeId } from '../compose/slot.js';
+import type { FeatureRequirement, ProvidedBy } from '../feature/feature.js';
+import type { EngineServices } from '../runtime/loop.js';
+import type { ExactIdentity, ExactServiceExclude, ExactServiceExtract, GraphValidationPassed, InputService, IsErased } from './services.js';
+import type { CompositionChildSummary } from './summary.js';
+import type { DescendantOpenServices } from './services.js';
+export { CompositionChildSummaryTypeId, FeatureChildSummaryTypeId, FeatureGraphSummaryTypeId, FeatureGraphValidTypeId, FeatureModuleGraphValidTypeId, SlotBindingSummaryTypeId, } from './summary.js';
+export type { AnyFeatureGraphSummary, CompositionChildSummary, FeatureChildSummary, FeatureGraphSummary, FeatureSummaryCompositionIdentity, FeatureSummaryCompositionProps, FeatureSummaryContract, FeatureSummaryIdentity, FeatureSummaryInput, FeatureSummaryMountProps, FeatureSummaryName, FeatureSummaryOpenServices, FeatureSummaryStates, FeatureSummarySupportOpenServices, FeatureSummaryUsesInput, SlotBindingSummary, } from './summary.js';
+export type { DescendantOpenServices, ExactServiceExclude, ModuleOpenServices, OpenServicesFromFeatureSlotWitnesses, } from './services.js';
+type LayerErrorIsNever<L extends Layer.Layer.Any> = IsErased<Layer.Layer.Error<L>> extends true ? {
+    readonly featureLayerErrorMustBeNever: 'A feature layer error channel cannot be erased';
+} : [Layer.Layer.Error<L>] extends [never] ? GraphValidationPassed : {
+    readonly featureLayerErrorMustBeNever: 'A feature layer must have an error channel of exactly never';
+};
+type LayerOutputsAreExact<L extends Layer.Layer.Any> = IsErased<Layer.Layer.Success<L>> extends true ? {
+    readonly featureLayerOutputsMustBeExact: 'A feature layer output cannot be erased';
+} : GraphValidationPassed;
+type DescendantOpenServicesAreExact<L extends Layer.Layer.Any> = IsErased<DescendantOpenServices<L>> extends true ? {
+    readonly featureDescendantOpenServicesMustBeExact: "A child feature's open services cannot be erased";
+} : GraphValidationPassed;
+type UnexpectedOpenServices<L extends Layer.Layer.Any, DirectRequires extends ReadonlyArray<FeatureRequirement>, UsesInput extends boolean> = ExactServiceExclude<Layer.Layer.Context<L>, EngineServices | InputService<UsesInput> | ProvidedBy<DirectRequires> | DescendantOpenServices<L>>;
+type OpenServicesAreDeclared<L extends Layer.Layer.Any, DirectRequires extends ReadonlyArray<FeatureRequirement>, UsesInput extends boolean> = IsErased<Layer.Layer.Context<L>> extends true ? {
+    readonly featureLayerContextMustBeExact: 'A feature layer context cannot be erased';
+} : [UnexpectedOpenServices<L, DirectRequires, UsesInput>] extends [never] ? GraphValidationPassed : {
+    readonly undeclaredFeatureOpenServices: UnexpectedOpenServices<L, DirectRequires, UsesInput>;
+};
+type MissingDirectRequirements<L extends Layer.Layer.Any, DirectRequires extends ReadonlyArray<FeatureRequirement>> = ExactServiceExclude<ProvidedBy<DirectRequires>, Layer.Layer.Context<L>>;
+type DirectRequirementsAreOpen<L extends Layer.Layer.Any, DirectRequires extends ReadonlyArray<FeatureRequirement>> = [MissingDirectRequirements<L, DirectRequires>] extends [never] ? GraphValidationPassed : {
+    readonly unusedDirectFeatureRequirements: MissingDirectRequirements<L, DirectRequires>;
+};
+type PrivateEngineOutputs<L extends Layer.Layer.Any> = Extract<Layer.Layer.Success<L>, EngineServices>;
+type EngineOutputsAreShared<L extends Layer.Layer.Any> = [PrivateEngineOutputs<L>] extends [never] ? GraphValidationPassed : {
+    readonly featureCannotProvideEngineServices: PrivateEngineOutputs<L>;
+};
+type SelfRequiredOutputs<L extends Layer.Layer.Any> = ExactServiceExtract<Layer.Layer.Context<L>, Layer.Layer.Success<L>>;
+type OutputsAreNotSelfRequired<L extends Layer.Layer.Any> = [SelfRequiredOutputs<L>] extends [never] ? GraphValidationPassed : {
+    readonly featureCannotRequireItsOwnOutputs: SelfRequiredOutputs<L>;
+};
+type SlotIdentity<Descriptor> = IsErased<Descriptor> extends true ? unknown : Descriptor extends ReadonlyArray<infer Entry> ? SlotIdentity<Entry> : Descriptor extends {
+    readonly [SlotServiceTypeId]: {
+        readonly identity: infer Identity;
+    };
+} ? Identity : Descriptor;
+type RequiredSlotIdentities<Services> = Services extends {
+    readonly [CompositionIdTypeId]: {
+        readonly requiredSlots: infer RequiredSlots;
+    };
+} ? SlotIdentity<RequiredSlots> : never;
+type BoundSlotIdentities<Services> = Services extends {
+    readonly [SlotServiceTypeId]: {
+        readonly identity: infer Identity;
+    };
+} ? ExactIdentity<Identity> : never;
+type MissingSlotBindings<L extends Layer.Layer.Any> = Exclude<RequiredSlotIdentities<Layer.Layer.Success<L>>, BoundSlotIdentities<Layer.Layer.Success<L>>>;
+type RequiredSlotsAreBound<L extends Layer.Layer.Any> = [MissingSlotBindings<L>] extends [never] ? GraphValidationPassed : {
+    readonly unboundFeatureSlotIdentities: MissingSlotBindings<L>;
+};
+type PlainChildCompositionIdentities<Services> = Services extends {
+    readonly [SlotServiceTypeId]: {
+        readonly binding: CompositionChildSummary<infer CompositionIdentity>;
+    };
+} ? CompositionIdentity : never;
+type LiveCompositionIdentities<Services> = Services extends {
+    readonly [CompositionIdTypeId]: {
+        readonly identity: infer Identity;
+    };
+} ? ExactIdentity<Identity> : never;
+type MissingPlainChildCompositions<L extends Layer.Layer.Any> = Exclude<PlainChildCompositionIdentities<Layer.Layer.Success<L>>, LiveCompositionIdentities<Layer.Layer.Success<L> | Layer.Layer.Context<L>>>;
+type PlainChildrenAreLive<L extends Layer.Layer.Any> = [MissingPlainChildCompositions<L>] extends [
+    never
+] ? GraphValidationPassed : {
+    readonly missingPlainChildCompositions: MissingPlainChildCompositions<L>;
+};
+export type ValidateFeatureGraphLayer<L extends Layer.Layer.Any, DirectRequires extends ReadonlyArray<FeatureRequirement>, UsesInput extends boolean> = LayerErrorIsNever<L> & LayerOutputsAreExact<L> & DescendantOpenServicesAreExact<L> & OpenServicesAreDeclared<L, DirectRequires, UsesInput> & DirectRequirementsAreOpen<L, DirectRequires> & EngineOutputsAreShared<L> & OutputsAreNotSelfRequired<L> & RequiredSlotsAreBound<L> & PlainChildrenAreLive<L>;
+//# sourceMappingURL=closure.d.ts.map