@craft-ts/core 0.7.0-beta.13

package/src/lib/route-checked-di.d.ts

@@ -0,0 +1,229 @@
+import type { Simplify, UnionToTuple } from './craft-service.shared';
+import type { MissingProvidersFromDepsMap } from './branded-component/branded-component';
+import type { NamedBrandedServiceProvider } from './craft-service';
+import type { AppConfigProvidedDependencyValuesKey, AppConfigProvidedServiceNamesKey } from './craft-app-config';
+/**
+ * `RouteCheckedDI` is a per-route DI validation primitive meant to be used as
+ * an alternative to `AppCheckedDI` when route volume makes the global check
+ * brittle (TS2589).
+ *
+ * Where `AppCheckedDI` iterates over every route to build a global proof, this
+ * type performs a **local** check: given a component dependency contract and
+ * the set of provider names (and optionally provided value types) reachable
+ * from this route's ancestors, it returns either `true` or the list of error
+ * messages. Functional components expose that contract through
+ * `ComponentDepsOf<typeof MyComponent>`; decorated Angular components can
+ * still pass their legacy generated `GenDeps_*` alias.
+ *
+ * Recommended placement (used by the type-stress generator): the check lives
+ * **in the route file** — i.e. alongside the `craftRoutes(...)` call that
+ * wires the component to a path — rather than in the component file. This
+ * keeps components pure and groups all DI validation for a feature in one
+ * place.
+ *
+ * Typical use (chained at generation time):
+ *
+ *   // app.config.ts
+ *   export const appConfig = craftAppConfig({ providers: [...] });
+ *   export type AppProvidedNames = AppProvidedServiceNamesOf<typeof appConfig>;
+ *   export type AppProvidedValues = AppProvidedDependencyValuesOf<typeof appConfig>;
+ *
+ *   // feature-x.routes.ts
+ *   import type { GenDeps_FeatureXCompYComponent } from './FeatureXCompYComponent';
+ *   import type { AppProvidedNames, AppProvidedValues } from '../../../app.config';
+ *
+ *   export const { featureXRoutes } = craftRoutes('featureX', [
+ *     { path: 'item-0', providers: [provideFeatureXRouteService()],
+ *       loadComponent: () => import('./FeatureXCompYComponent').then(m => m.FeatureXCompYComponent),
+ *       componentDeps: {} as GenDeps_FeatureXCompYComponent },
+ *   ]);
+ *
+ *   export type FeatureXRouteProvidedNames = AppProvidedNames | 'FeatureXRouteService';
+ *   export type FeatureXRouteProvidedValues = AppProvidedValues;
+ *
+ *   // Cascade DI check — name union derived from GenDeps.provided so it stays
+ *   // in sync with @Component.providers (via the `brand-angular-deps-match`
+ *   // ESLint rule).
+ *   type FeatureXCompYComponentProvidedNames =
+ *     | FeatureXRouteProvidedNames
+ *     | Extract<keyof GenDeps_FeatureXCompYComponent['provided'], string>;
+ *   type _Check = RouteCheckedDI<
+ *     GenDeps_FeatureXCompYComponent,
+ *     FeatureXCompYComponentProvidedNames,
+ *     FeatureXRouteProvidedValues,
+ *     'FeatureXCompYComponent'
+ *   >;
+ *   type _CanRun = CanRun<_Check>;
+ *
+ * Trade-offs vs `AppCheckedDI`:
+ *  - Pro: O(1) per route, no recursion over routes — scales indefinitely.
+ *  - Pro: Errors surface in the route file, not in `main.ts`.
+ *  - Con: Each ancestor (app, parent route) must explicitly re-export its
+ *    cumulative provider names. The generator handles this; hand-written
+ *    routes must thread the types manually.
+ *  - Note: The check reads from `GenDeps.provided`. Drift between
+ *    `@Component.providers` (runtime) and `GenDeps.provided` (type-level) is
+ *    detected (and auto-fixed) by the `craft-ts/brand-angular-deps-match`
+ *    ESLint rule. Running `lint` (or `lint --fix`) before `typecheck` is what
+ *    closes the loop end-to-end.
+ */
+type DepsMap<Input> = Input extends {
+    deps: infer Deps extends object;
+} ? Deps : {};
+type ProvidedMap<Input> = Input extends {
+    provided: infer Provided extends object;
+} ? Provided : {};
+type PublicPropertiesMap<Input> = Input extends {
+    publicProperties: infer PublicProperties extends object;
+} ? PublicProperties : {};
+type MissingProviderMap<Input> = Input extends {
+    missingProvider: infer MissingProvider extends object;
+} ? MissingProvider : Simplify<Omit<MissingProvidersFromDepsMap<DepsMap<Input>>, keyof ProvidedMap<Input>>>;
+type InputErrorMessage<Name extends string, Context extends string> = `Input "${Name}" is not provided in ${Context}`;
+type InjectedErrorMessage<Name extends string, Context extends string> = `The ${Name} service is not provided in ${Context}`;
+type InputErrorMessagesFromNames<Names extends readonly unknown[], Context extends string> = Names extends readonly [infer Head extends string, ...infer Tail] ? [
+    InputErrorMessage<Head, Context>,
+    ...InputErrorMessagesFromNames<Tail, Context>
+] : [];
+type InjectedErrorMessagesFromNames<Names extends readonly unknown[], Context extends string> = Names extends readonly [infer Head extends string, ...infer Tail] ? [
+    InjectedErrorMessage<Head, Context>,
+    ...InjectedErrorMessagesFromNames<Tail, Context>
+] : [];
+/**
+ * Fail closed when provider-name extraction widens to `string`.
+ *
+ * `RouteCheckedDI` removes missing providers by their names. If the available
+ * names become `string`, that removal hides every missing provider and turns a
+ * broken DI graph into `true`. This guard keeps that type-level failure
+ * visible until the provider extraction is corrected.
+ */
+type WidenedProviderNamesError<AvailableProviderNames extends string> = string extends AvailableProviderNames ? [
+    'Available provider names widened to string; type-safe DI validation is unavailable'
+] : [];
+/**
+ * From a component's `MissingProviderMap`, remove entries whose name is in the
+ * available provider names union (covers `provide{Name}()` calls anywhere in
+ * the ancestor chain).
+ */
+type StripByNames<MissingProviders extends object, AvailableNames extends string> = Simplify<Omit<MissingProviders, AvailableNames>>;
+/**
+ * From a `MissingProviderMap`, find entries whose dependency type is
+ * structurally assignable from one of the `ProvidedValues` (e.g. `Router`
+ * provided by `provideCraftRouter`). Returns the union of those names.
+ */
+type NamesMatchingProvidedValues<MissingProviders extends object, ProvidedValues> = {
+    [Name in Extract<keyof MissingProviders, string>]: MissingProviders[Name] extends ProvidedValues ? Name : never;
+}[Extract<keyof MissingProviders, string>];
+/**
+ * Final missing providers after stripping by name AND by value type.
+ * Mirrors the logic of `AppMissingProviderMap` but operates on a flat union
+ * of provider names instead of an `AppRoutes` tuple.
+ */
+type ResolvedMissing<ComponentDeps, AvailableNames extends string, ProvidedValues> = Simplify<Omit<StripByNames<MissingProviderMap<ComponentDeps>, AvailableNames>, NamesMatchingProvidedValues<StripByNames<MissingProviderMap<ComponentDeps>, AvailableNames>, ProvidedValues>>>;
+/**
+ * Validates a component's DI graph against an explicit set of available
+ * provider names (and optionally a set of provided dependency value types).
+ *
+ * Returns `true` if everything is satisfied, or a tuple of error messages
+ * (suitable as a constraint argument to `CanRun`).
+ *
+ * @template ComponentDeps - The component's `GenDeps_*` type (must expose
+ *   `missingProvider` and/or `publicProperties`).
+ * @template AvailableProviderNames - Union of service names provided by app
+ *   config + parent route providers + this component's own providers.
+ * @template ProvidedValues - Optional. Union of provided dependency value
+ *   types (e.g. `Router` instance from `provideCraftRouter`). Defaults to
+ *   `never` (no value-type matching).
+ * @template Context - Human-readable context used in error messages. Defaults
+ *   to `'this component'`. Generators typically pass the component name.
+ */
+export type RouteCheckedDI<ComponentDeps, AvailableProviderNames extends string, ProvidedValues = never, Context extends string = 'this component', AvailableInputNames extends string = never> = string extends AvailableProviderNames ? WidenedProviderNamesError<AvailableProviderNames> : [
+    ...InputErrorMessagesFromNames<UnionToTuple<Exclude<Extract<keyof PublicPropertiesMap<ComponentDeps>, string>, AvailableInputNames>>, Context>,
+    ...InjectedErrorMessagesFromNames<UnionToTuple<Extract<keyof ResolvedMissing<ComponentDeps, AvailableProviderNames, ProvidedValues>, string>>, Context>
+] extends infer Errors extends string[] ? Errors extends [] ? true : Errors : never;
+/** O(1) DI check for renderComponent/errorComponent/withErrorComponent branches. */
+export type RouteExceptionComponentCheckedDI<ComponentDeps, AvailableProviderNames extends string, ProvidedValues = never, Context extends string = 'exception component', AvailableInputNames extends string = never> = RouteCheckedDI<ComponentDeps, AvailableProviderNames, ProvidedValues, Context, AvailableInputNames>;
+/**
+ * Extracts the union of provider service names from a `craftAppConfig()`
+ * result.
+ *
+ * Usage:
+ *   export const appConfig = craftAppConfig({ ... });
+ *   export type AppProvidedNames = AppProvidedServiceNamesOf<typeof appConfig>;
+ */
+export type AppProvidedServiceNamesOf<AppConfigResult> = AppConfigResult extends {
+    readonly [Key in AppConfigProvidedServiceNamesKey]?: infer Names extends string;
+} ? Names : never;
+/**
+ * Extracts the union of provided dependency value types from a
+ * `craftAppConfig()` result.
+ *
+ * Usage:
+ *   export type AppProvidedValues = AppProvidedDependencyValuesOf<typeof appConfig>;
+ */
+export type AppProvidedDependencyValuesOf<AppConfigResult> = AppConfigResult extends {
+    readonly [Key in AppConfigProvidedDependencyValuesKey]?: infer Values;
+} ? Values : never;
+/**
+ * Extracts the union of service names from a route's `providers` array.
+ *
+ * Usage:
+ *   const providers = [provideMyService()] as const;
+ *   type MyRouteProvidedNames = RouteProvidedServiceNamesOf<typeof providers>;
+ */
+export type RouteProvidedServiceNamesOf<Providers> = Providers extends readonly unknown[] ? RouteProvidedServiceNamesFromEntry<Providers[number]> : never;
+type RouteProvidedServiceNamesFromEntry<Entry> = Entry extends NamedBrandedServiceProvider<infer Name, any, any> ? Name : Entry extends readonly unknown[] ? RouteProvidedServiceNamesOf<Entry> : never;
+type CascadeRouteEntryError<ParentNames extends string, ParentValues, ParentInputNames extends string, RouteMeta> = RouteMeta extends {
+    path: infer Path extends string;
+} ? RouteCheckedDI<RouteMeta, ParentNames, ParentValues, `path: "${Path}"`, ParentInputNames> extends infer Result ? Result extends true ? [] : Result extends readonly string[] ? Result : [] : [] : [];
+type AggregateCascadeErrorsByIndex<ParentNames extends string, ParentValues, RoutesMeta extends readonly unknown[], ParentInputNames extends string = never, Traversed extends readonly unknown[] = readonly []> = number extends RoutesMeta['length'] ? [] : Traversed['length'] extends RoutesMeta['length'] ? [] : [...Traversed, unknown]['length'] extends RoutesMeta['length'] ? [
+    ...CascadeRouteEntryError<ParentNames, ParentValues, ParentInputNames, RoutesMeta[Traversed['length']]>
+] : [...Traversed, unknown, unknown]['length'] extends RoutesMeta['length'] ? [
+    ...CascadeRouteEntryError<ParentNames, ParentValues, ParentInputNames, RoutesMeta[Traversed['length']]>,
+    ...CascadeRouteEntryError<ParentNames, ParentValues, ParentInputNames, RoutesMeta[[...Traversed, unknown]['length']]>
+] : [
+    ...CascadeRouteEntryError<ParentNames, ParentValues, ParentInputNames, RoutesMeta[Traversed['length']]>,
+    ...CascadeRouteEntryError<ParentNames, ParentValues, ParentInputNames, RoutesMeta[[...Traversed, unknown]['length']]>,
+    ...CascadeRouteEntryError<ParentNames, ParentValues, ParentInputNames, RoutesMeta[[...Traversed, unknown, unknown]['length']]>,
+    ...CascadeRouteEntryError<ParentNames, ParentValues, ParentInputNames, RoutesMeta[[...Traversed, unknown, unknown, unknown]['length']]>,
+    ...AggregateCascadeErrorsByIndex<ParentNames, ParentValues, RoutesMeta, ParentInputNames, [
+        ...Traversed,
+        unknown,
+        unknown,
+        unknown,
+        unknown
+    ]>
+];
+/**
+ * Aggregates `RouteCheckedDI` over every leaf route in a `craftRoutes(...)`
+ * result, reading per-route metadata from `META_DATA`.
+ *
+ * Returns `true` if every route is satisfied, or a tuple of error messages
+ * citing each broken route's path. Designed to be used in a SINGLE type alias
+ * per route file (no runtime expression, no circular type dependency on the
+ * app config):
+ *
+ *   // feature-x.routes.ts
+ *   import type { AppProvidedNames, AppProvidedValues } from '../../../app.config';
+ *
+ *   export const { featureXRoutes } = craftRoutes('featureX', [...]);
+ *
+ *   type _CheckFeatureXDI = ValidateCascadeRoutesFile<
+ *     AppProvidedNames,
+ *     AppProvidedValues,
+ *     typeof featureXRoutes
+ *   >;
+ *   type _CanRunFeatureX = CanRun<_CheckFeatureXDI>;
+ *
+ * That's the entire cascade boilerplate — two type aliases per file,
+ * regardless of how many components it wires.
+ *
+ * Internally, `META_DATA[N].missingProvider` already accounts for the route's
+ * own `providers: [...]` and the component's own `provided` map; only the
+ * parent context (app + ancestor routes) needs to be stripped here.
+ */
+export type ValidateCascadeRoutesFile<ParentNames extends string, ParentValues, RoutesApp, ParentInputNames extends string = never> = RoutesApp extends {
+    META_DATA: infer Meta extends readonly unknown[];
+} ? AggregateCascadeErrorsByIndex<ParentNames, ParentValues, Meta, ParentInputNames> extends infer Errors extends readonly string[] ? Errors extends readonly [] ? true : Errors : never : never;
+export {};
+//# sourceMappingURL=route-checked-di.d.ts.map

package/src/lib/route-checked-di.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"route-checked-di.d.ts","sourceRoot":"","sources":["../../../../../libs/core/src/lib/route-checked-di.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,uCAAuC,CAAC;AACzF,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,iBAAiB,CAAC;AACnE,OAAO,KAAK,EACV,oCAAoC,EACpC,gCAAgC,EACjC,MAAM,oBAAoB,CAAC;AAE5B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgEG;AAOH,KAAK,OAAO,CAAC,KAAK,IAAI,KAAK,SAAS;IAAE,IAAI,EAAE,MAAM,IAAI,SAAS,MAAM,CAAA;CAAE,GACnE,IAAI,GACJ,EAAE,CAAC;AAEP,KAAK,WAAW,CAAC,KAAK,IAAI,KAAK,SAAS;IACtC,QAAQ,EAAE,MAAM,QAAQ,SAAS,MAAM,CAAC;CACzC,GACG,QAAQ,GACR,EAAE,CAAC;AAEP,KAAK,mBAAmB,CAAC,KAAK,IAAI,KAAK,SAAS;IAC9C,gBAAgB,EAAE,MAAM,gBAAgB,SAAS,MAAM,CAAC;CACzD,GACG,gBAAgB,GAChB,EAAE,CAAC;AAEP,KAAK,kBAAkB,CAAC,KAAK,IAAI,KAAK,SAAS;IAC7C,eAAe,EAAE,MAAM,eAAe,SAAS,MAAM,CAAC;CACvD,GACG,eAAe,GACf,QAAQ,CACN,IAAI,CACF,2BAA2B,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAC3C,MAAM,WAAW,CAAC,KAAK,CAAC,CACzB,CACF,CAAC;AAEN,KAAK,iBAAiB,CACpB,IAAI,SAAS,MAAM,EACnB,OAAO,SAAS,MAAM,IACpB,UAAU,IAAI,wBAAwB,OAAO,EAAE,CAAC;AAEpD,KAAK,oBAAoB,CACvB,IAAI,SAAS,MAAM,EACnB,OAAO,SAAS,MAAM,IACpB,OAAO,IAAI,+BAA+B,OAAO,EAAE,CAAC;AAExD,KAAK,2BAA2B,CAC9B,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,OAAO,SAAS,MAAM,IACpB,KAAK,SAAS,SAAS,CAAC,MAAM,IAAI,SAAS,MAAM,EAAE,GAAG,MAAM,IAAI,CAAC,GACjE;IACE,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC;IAChC,GAAG,2BAA2B,CAAC,IAAI,EAAE,OAAO,CAAC;CAC9C,GACD,EAAE,CAAC;AAEP,KAAK,8BAA8B,CACjC,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,OAAO,SAAS,MAAM,IACpB,KAAK,SAAS,SAAS,CAAC,MAAM,IAAI,SAAS,MAAM,EAAE,GAAG,MAAM,IAAI,CAAC,GACjE;IACE,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC;IACnC,GAAG,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC;CACjD,GACD,EAAE,CAAC;AAEP;;;;;;;GAOG;AACH,KAAK,yBAAyB,CAAC,sBAAsB,SAAS,MAAM,IAClE,MAAM,SAAS,sBAAsB,GACjC;IACE,oFAAoF;CACrF,GACD,EAAE,CAAC;AAMT;;;;GAIG;AACH,KAAK,YAAY,CACf,gBAAgB,SAAS,MAAM,EAC/B,cAAc,SAAS,MAAM,IAC3B,QAAQ,CAAC,IAAI,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC,CAAC;AAErD;;;;GAIG;AACH,KAAK,2BAA2B,CAC9B,gBAAgB,SAAS,MAAM,EAC/B,cAAc,IACZ;KACD,IAAI,IAAI,OAAO,CACd,MAAM,gBAAgB,EACtB,MAAM,CACP,GAAG,gBAAgB,CAAC,IAAI,CAAC,SAAS,cAAc,GAAG,IAAI,GAAG,KAAK;CACjE,CAAC,OAAO,CAAC,MAAM,gBAAgB,EAAE,MAAM,CAAC,CAAC,CAAC;AAE3C;;;;GAIG;AACH,KAAK,eAAe,CAClB,aAAa,EACb,cAAc,SAAS,MAAM,EAC7B,cAAc,IACZ,QAAQ,CACV,IAAI,CACF,YAAY,CAAC,kBAAkB,CAAC,aAAa,CAAC,EAAE,cAAc,CAAC,EAC/D,2BAA2B,CACzB,YAAY,CAAC,kBAAkB,CAAC,aAAa,CAAC,EAAE,cAAc,CAAC,EAC/D,cAAc,CACf,CACF,CACF,CAAC;AAMF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,cAAc,CACxB,aAAa,EACb,sBAAsB,SAAS,MAAM,EACrC,cAAc,GAAG,KAAK,EACtB,OAAO,SAAS,MAAM,GAAG,gBAAgB,EACzC,mBAAmB,SAAS,MAAM,GAAG,KAAK,IACxC,MAAM,SAAS,sBAAsB,GACrC,yBAAyB,CAAC,sBAAsB,CAAC,GACjD;IACE,GAAG,2BAA2B,CAC5B,YAAY,CACV,OAAO,CACL,OAAO,CAAC,MAAM,mBAAmB,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC,EACzD,mBAAmB,CACpB,CACF,EACD,OAAO,CACR;IACD,GAAG,8BAA8B,CAC/B,YAAY,CACV,OAAO,CACL,MAAM,eAAe,CACnB,aAAa,EACb,sBAAsB,EACtB,cAAc,CACf,EACD,MAAM,CACP,CACF,EACD,OAAO,CACR;CACF,SAAS,MAAM,MAAM,SAAS,MAAM,EAAE,GACrC,MAAM,SAAS,EAAE,GACf,IAAI,GACJ,MAAM,GACR,KAAK,CAAC;AAEZ,oFAAoF;AACpF,MAAM,MAAM,gCAAgC,CAC1C,aAAa,EACb,sBAAsB,SAAS,MAAM,EACrC,cAAc,GAAG,KAAK,EACtB,OAAO,SAAS,MAAM,GAAG,qBAAqB,EAC9C,mBAAmB,SAAS,MAAM,GAAG,KAAK,IACxC,cAAc,CAChB,aAAa,EACb,sBAAsB,EACtB,cAAc,EACd,OAAO,EACP,mBAAmB,CACpB,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,MAAM,yBAAyB,CAAC,eAAe,IACnD,eAAe,SAAS;IACtB,QAAQ,EAAE,GAAG,IAAI,gCAAgC,CAAC,CAAC,EAAE,MAAM,KAAK,SAC9D,MAAM;CACT,GACG,KAAK,GACL,KAAK,CAAC;AAEZ;;;;;;GAMG;AACH,MAAM,MAAM,6BAA6B,CAAC,eAAe,IACvD,eAAe,SAAS;IACtB,QAAQ,EAAE,GAAG,IAAI,oCAAoC,CAAC,CAAC,EAAE,MAAM,MAAM;CACtE,GACG,MAAM,GACN,KAAK,CAAC;AAEZ;;;;;;GAMG;AACH,MAAM,MAAM,2BAA2B,CAAC,SAAS,IAC/C,SAAS,SAAS,SAAS,OAAO,EAAE,GAChC,kCAAkC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,GACrD,KAAK,CAAC;AAEZ,KAAK,kCAAkC,CAAC,KAAK,IAC3C,KAAK,SAAS,2BAA2B,CAAC,MAAM,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,GAC3D,IAAI,GACJ,KAAK,SAAS,SAAS,OAAO,EAAE,GAC9B,2BAA2B,CAAC,KAAK,CAAC,GAClC,KAAK,CAAC;AAYd,KAAK,sBAAsB,CACzB,WAAW,SAAS,MAAM,EAC1B,YAAY,EACZ,gBAAgB,SAAS,MAAM,EAC/B,SAAS,IACP,SAAS,SAAS;IAAE,IAAI,EAAE,MAAM,IAAI,SAAS,MAAM,CAAA;CAAE,GACrD,cAAc,CACZ,SAAS,EACT,WAAW,EACX,YAAY,EACZ,UAAU,IAAI,GAAG,EACjB,gBAAgB,CACjB,SAAS,MAAM,MAAM,GACpB,MAAM,SAAS,IAAI,GACjB,EAAE,GACF,MAAM,SAAS,SAAS,MAAM,EAAE,GAC9B,MAAM,GACN,EAAE,GACN,EAAE,GACJ,EAAE,CAAC;AAKP,KAAK,6BAA6B,CAChC,WAAW,SAAS,MAAM,EAC1B,YAAY,EACZ,UAAU,SAAS,SAAS,OAAO,EAAE,EACrC,gBAAgB,SAAS,MAAM,GAAG,KAAK,EACvC,SAAS,SAAS,SAAS,OAAO,EAAE,GAAG,SAAS,EAAE,IAChD,MAAM,SAAS,UAAU,CAAC,QAAQ,CAAC,GACnC,EAAE,GACF,SAAS,CAAC,QAAQ,CAAC,SAAS,UAAU,CAAC,QAAQ,CAAC,GAC9C,EAAE,GACF,CAAC,GAAG,SAAS,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,SAAS,UAAU,CAAC,QAAQ,CAAC,GAC5D;IACE,GAAG,sBAAsB,CACvB,WAAW,EACX,YAAY,EACZ,gBAAgB,EAChB,UAAU,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAChC;CACF,GACD,CAAC,GAAG,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,SAAS,UAAU,CAAC,QAAQ,CAAC,GACrE;IACE,GAAG,sBAAsB,CACvB,WAAW,EACX,YAAY,EACZ,gBAAgB,EAChB,UAAU,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAChC;IACD,GAAG,sBAAsB,CACvB,WAAW,EACX,YAAY,EACZ,gBAAgB,EAChB,UAAU,CAAC,CAAC,GAAG,SAAS,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAC9C;CACF,GACD;IACE,GAAG,sBAAsB,CACvB,WAAW,EACX,YAAY,EACZ,gBAAgB,EAChB,UAAU,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAChC;IACD,GAAG,sBAAsB,CACvB,WAAW,EACX,YAAY,EACZ,gBAAgB,EAChB,UAAU,CAAC,CAAC,GAAG,SAAS,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAC9C;IACD,GAAG,sBAAsB,CACvB,WAAW,EACX,YAAY,EACZ,gBAAgB,EAChB,UAAU,CAAC,CAAC,GAAG,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CACvD;IACD,GAAG,sBAAsB,CACvB,WAAW,EACX,YAAY,EACZ,gBAAgB,EAChB,UAAU,CAAC,CAAC,GAAG,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAChE;IACD,GAAG,6BAA6B,CAC9B,WAAW,EACX,YAAY,EACZ,UAAU,EACV,gBAAgB,EAChB;QAAC,GAAG,SAAS;QAAE,OAAO;QAAE,OAAO;QAAE,OAAO;QAAE,OAAO;KAAC,CACnD;CACF,CAAC;AAEZ;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,MAAM,yBAAyB,CACnC,WAAW,SAAS,MAAM,EAC1B,YAAY,EACZ,SAAS,EACT,gBAAgB,SAAS,MAAM,GAAG,KAAK,IACrC,SAAS,SAAS;IACpB,SAAS,EAAE,MAAM,IAAI,SAAS,SAAS,OAAO,EAAE,CAAC;CAClD,GACG,6BAA6B,CAC3B,WAAW,EACX,YAAY,EACZ,IAAI,EACJ,gBAAgB,CACjB,SAAS,MAAM,MAAM,SAAS,SAAS,MAAM,EAAE,GAC9C,MAAM,SAAS,SAAS,EAAE,GACxB,IAAI,GACJ,MAAM,GACR,KAAK,GACP,KAAK,CAAC"}

package/src/lib/route-checked-di.js

@@ -0,0 +1 @@
+//# sourceMappingURL=route-checked-di.js.map

package/src/lib/route-checked-di.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"route-checked-di.js","sourceRoot":"","sources":["../../../../../libs/core/src/lib/route-checked-di.ts"],"names":[],"mappings":"","sourcesContent":["import type { Simplify, UnionToTuple } from './craft-service.shared';\nimport type { MissingProvidersFromDepsMap } from './branded-component/branded-component';\nimport type { NamedBrandedServiceProvider } from './craft-service';\nimport type {\n  AppConfigProvidedDependencyValuesKey,\n  AppConfigProvidedServiceNamesKey,\n} from './craft-app-config';\n\n/**\n * `RouteCheckedDI` is a per-route DI validation primitive meant to be used as\n * an alternative to `AppCheckedDI` when route volume makes the global check\n * brittle (TS2589).\n *\n * Where `AppCheckedDI` iterates over every route to build a global proof, this\n * type performs a **local** check: given a component dependency contract and\n * the set of provider names (and optionally provided value types) reachable\n * from this route's ancestors, it returns either `true` or the list of error\n * messages. Functional components expose that contract through\n * `ComponentDepsOf<typeof MyComponent>`; decorated Angular components can\n * still pass their legacy generated `GenDeps_*` alias.\n *\n * Recommended placement (used by the type-stress generator): the check lives\n * **in the route file** — i.e. alongside the `craftRoutes(...)` call that\n * wires the component to a path — rather than in the component file. This\n * keeps components pure and groups all DI validation for a feature in one\n * place.\n *\n * Typical use (chained at generation time):\n *\n *   // app.config.ts\n *   export const appConfig = craftAppConfig({ providers: [...] });\n *   export type AppProvidedNames = AppProvidedServiceNamesOf<typeof appConfig>;\n *   export type AppProvidedValues = AppProvidedDependencyValuesOf<typeof appConfig>;\n *\n *   // feature-x.routes.ts\n *   import type { GenDeps_FeatureXCompYComponent } from './FeatureXCompYComponent';\n *   import type { AppProvidedNames, AppProvidedValues } from '../../../app.config';\n *\n *   export const { featureXRoutes } = craftRoutes('featureX', [\n *     { path: 'item-0', providers: [provideFeatureXRouteService()],\n *       loadComponent: () => import('./FeatureXCompYComponent').then(m => m.FeatureXCompYComponent),\n *       componentDeps: {} as GenDeps_FeatureXCompYComponent },\n *   ]);\n *\n *   export type FeatureXRouteProvidedNames = AppProvidedNames | 'FeatureXRouteService';\n *   export type FeatureXRouteProvidedValues = AppProvidedValues;\n *\n *   // Cascade DI check — name union derived from GenDeps.provided so it stays\n *   // in sync with @Component.providers (via the `brand-angular-deps-match`\n *   // ESLint rule).\n *   type FeatureXCompYComponentProvidedNames =\n *     | FeatureXRouteProvidedNames\n *     | Extract<keyof GenDeps_FeatureXCompYComponent['provided'], string>;\n *   type _Check = RouteCheckedDI<\n *     GenDeps_FeatureXCompYComponent,\n *     FeatureXCompYComponentProvidedNames,\n *     FeatureXRouteProvidedValues,\n *     'FeatureXCompYComponent'\n *   >;\n *   type _CanRun = CanRun<_Check>;\n *\n * Trade-offs vs `AppCheckedDI`:\n *  - Pro: O(1) per route, no recursion over routes — scales indefinitely.\n *  - Pro: Errors surface in the route file, not in `main.ts`.\n *  - Con: Each ancestor (app, parent route) must explicitly re-export its\n *    cumulative provider names. The generator handles this; hand-written\n *    routes must thread the types manually.\n *  - Note: The check reads from `GenDeps.provided`. Drift between\n *    `@Component.providers` (runtime) and `GenDeps.provided` (type-level) is\n *    detected (and auto-fixed) by the `craft-ts/brand-angular-deps-match`\n *    ESLint rule. Running `lint` (or `lint --fix`) before `typecheck` is what\n *    closes the loop end-to-end.\n */\n\n// -----------------------------------------------------------------------------\n// Private helpers — duplicated from app-checked-di.ts on purpose to keep that\n// file untouched (zero risk of regression for the central mode).\n// -----------------------------------------------------------------------------\n\ntype DepsMap<Input> = Input extends { deps: infer Deps extends object }\n  ? Deps\n  : {};\n\ntype ProvidedMap<Input> = Input extends {\n  provided: infer Provided extends object;\n}\n  ? Provided\n  : {};\n\ntype PublicPropertiesMap<Input> = Input extends {\n  publicProperties: infer PublicProperties extends object;\n}\n  ? PublicProperties\n  : {};\n\ntype MissingProviderMap<Input> = Input extends {\n  missingProvider: infer MissingProvider extends object;\n}\n  ? MissingProvider\n  : Simplify<\n      Omit<\n        MissingProvidersFromDepsMap<DepsMap<Input>>,\n        keyof ProvidedMap<Input>\n      >\n    >;\n\ntype InputErrorMessage<\n  Name extends string,\n  Context extends string,\n> = `Input \"${Name}\" is not provided in ${Context}`;\n\ntype InjectedErrorMessage<\n  Name extends string,\n  Context extends string,\n> = `The ${Name} service is not provided in ${Context}`;\n\ntype InputErrorMessagesFromNames<\n  Names extends readonly unknown[],\n  Context extends string,\n> = Names extends readonly [infer Head extends string, ...infer Tail]\n  ? [\n      InputErrorMessage<Head, Context>,\n      ...InputErrorMessagesFromNames<Tail, Context>,\n    ]\n  : [];\n\ntype InjectedErrorMessagesFromNames<\n  Names extends readonly unknown[],\n  Context extends string,\n> = Names extends readonly [infer Head extends string, ...infer Tail]\n  ? [\n      InjectedErrorMessage<Head, Context>,\n      ...InjectedErrorMessagesFromNames<Tail, Context>,\n    ]\n  : [];\n\n/**\n * Fail closed when provider-name extraction widens to `string`.\n *\n * `RouteCheckedDI` removes missing providers by their names. If the available\n * names become `string`, that removal hides every missing provider and turns a\n * broken DI graph into `true`. This guard keeps that type-level failure\n * visible until the provider extraction is corrected.\n */\ntype WidenedProviderNamesError<AvailableProviderNames extends string> =\n  string extends AvailableProviderNames\n    ? [\n        'Available provider names widened to string; type-safe DI validation is unavailable',\n      ]\n    : [];\n\n// -----------------------------------------------------------------------------\n// Cascade-specific helpers\n// -----------------------------------------------------------------------------\n\n/**\n * From a component's `MissingProviderMap`, remove entries whose name is in the\n * available provider names union (covers `provide{Name}()` calls anywhere in\n * the ancestor chain).\n */\ntype StripByNames<\n  MissingProviders extends object,\n  AvailableNames extends string,\n> = Simplify<Omit<MissingProviders, AvailableNames>>;\n\n/**\n * From a `MissingProviderMap`, find entries whose dependency type is\n * structurally assignable from one of the `ProvidedValues` (e.g. `Router`\n * provided by `provideCraftRouter`). Returns the union of those names.\n */\ntype NamesMatchingProvidedValues<\n  MissingProviders extends object,\n  ProvidedValues,\n> = {\n  [Name in Extract<\n    keyof MissingProviders,\n    string\n  >]: MissingProviders[Name] extends ProvidedValues ? Name : never;\n}[Extract<keyof MissingProviders, string>];\n\n/**\n * Final missing providers after stripping by name AND by value type.\n * Mirrors the logic of `AppMissingProviderMap` but operates on a flat union\n * of provider names instead of an `AppRoutes` tuple.\n */\ntype ResolvedMissing<\n  ComponentDeps,\n  AvailableNames extends string,\n  ProvidedValues,\n> = Simplify<\n  Omit<\n    StripByNames<MissingProviderMap<ComponentDeps>, AvailableNames>,\n    NamesMatchingProvidedValues<\n      StripByNames<MissingProviderMap<ComponentDeps>, AvailableNames>,\n      ProvidedValues\n    >\n  >\n>;\n\n// -----------------------------------------------------------------------------\n// Public API\n// -----------------------------------------------------------------------------\n\n/**\n * Validates a component's DI graph against an explicit set of available\n * provider names (and optionally a set of provided dependency value types).\n *\n * Returns `true` if everything is satisfied, or a tuple of error messages\n * (suitable as a constraint argument to `CanRun`).\n *\n * @template ComponentDeps - The component's `GenDeps_*` type (must expose\n *   `missingProvider` and/or `publicProperties`).\n * @template AvailableProviderNames - Union of service names provided by app\n *   config + parent route providers + this component's own providers.\n * @template ProvidedValues - Optional. Union of provided dependency value\n *   types (e.g. `Router` instance from `provideCraftRouter`). Defaults to\n *   `never` (no value-type matching).\n * @template Context - Human-readable context used in error messages. Defaults\n *   to `'this component'`. Generators typically pass the component name.\n */\nexport type RouteCheckedDI<\n  ComponentDeps,\n  AvailableProviderNames extends string,\n  ProvidedValues = never,\n  Context extends string = 'this component',\n  AvailableInputNames extends string = never,\n> = string extends AvailableProviderNames\n  ? WidenedProviderNamesError<AvailableProviderNames>\n  : [\n      ...InputErrorMessagesFromNames<\n        UnionToTuple<\n          Exclude<\n            Extract<keyof PublicPropertiesMap<ComponentDeps>, string>,\n            AvailableInputNames\n          >\n        >,\n        Context\n      >,\n      ...InjectedErrorMessagesFromNames<\n        UnionToTuple<\n          Extract<\n            keyof ResolvedMissing<\n              ComponentDeps,\n              AvailableProviderNames,\n              ProvidedValues\n            >,\n            string\n          >\n        >,\n        Context\n      >,\n    ] extends infer Errors extends string[]\n    ? Errors extends []\n      ? true\n      : Errors\n    : never;\n\n/** O(1) DI check for renderComponent/errorComponent/withErrorComponent branches. */\nexport type RouteExceptionComponentCheckedDI<\n  ComponentDeps,\n  AvailableProviderNames extends string,\n  ProvidedValues = never,\n  Context extends string = 'exception component',\n  AvailableInputNames extends string = never,\n> = RouteCheckedDI<\n  ComponentDeps,\n  AvailableProviderNames,\n  ProvidedValues,\n  Context,\n  AvailableInputNames\n>;\n\n/**\n * Extracts the union of provider service names from a `craftAppConfig()`\n * result.\n *\n * Usage:\n *   export const appConfig = craftAppConfig({ ... });\n *   export type AppProvidedNames = AppProvidedServiceNamesOf<typeof appConfig>;\n */\nexport type AppProvidedServiceNamesOf<AppConfigResult> =\n  AppConfigResult extends {\n    readonly [Key in AppConfigProvidedServiceNamesKey]?: infer Names extends\n      string;\n  }\n    ? Names\n    : never;\n\n/**\n * Extracts the union of provided dependency value types from a\n * `craftAppConfig()` result.\n *\n * Usage:\n *   export type AppProvidedValues = AppProvidedDependencyValuesOf<typeof appConfig>;\n */\nexport type AppProvidedDependencyValuesOf<AppConfigResult> =\n  AppConfigResult extends {\n    readonly [Key in AppConfigProvidedDependencyValuesKey]?: infer Values;\n  }\n    ? Values\n    : never;\n\n/**\n * Extracts the union of service names from a route's `providers` array.\n *\n * Usage:\n *   const providers = [provideMyService()] as const;\n *   type MyRouteProvidedNames = RouteProvidedServiceNamesOf<typeof providers>;\n */\nexport type RouteProvidedServiceNamesOf<Providers> =\n  Providers extends readonly unknown[]\n    ? RouteProvidedServiceNamesFromEntry<Providers[number]>\n    : never;\n\ntype RouteProvidedServiceNamesFromEntry<Entry> =\n  Entry extends NamedBrandedServiceProvider<infer Name, any, any>\n    ? Name\n    : Entry extends readonly unknown[]\n      ? RouteProvidedServiceNamesOf<Entry>\n      : never;\n\n// -----------------------------------------------------------------------------\n// ValidateCascadeRoutesFile — one type alias per route file (zero per-route\n// boilerplate, no circular dependency)\n// -----------------------------------------------------------------------------\n\n// Per-route entry error: reads `META_DATA[N]` directly. The route's own\n// `providers: [...]` are ALREADY stripped from `META_DATA[N].missingProvider`\n// by `RouteResolvedMissingProviderMap` inside craft-routes.ts, and the\n// component's own `provided` is folded into `GenDeps.missingProvider` at the\n// component level. So validation only needs the parent's provided names.\ntype CascadeRouteEntryError<\n  ParentNames extends string,\n  ParentValues,\n  ParentInputNames extends string,\n  RouteMeta,\n> = RouteMeta extends { path: infer Path extends string }\n  ? RouteCheckedDI<\n      RouteMeta,\n      ParentNames,\n      ParentValues,\n      `path: \"${Path}\"`,\n      ParentInputNames\n    > extends infer Result\n    ? Result extends true\n      ? []\n      : Result extends readonly string[]\n        ? Result\n        : []\n    : []\n  : [];\n\n// Unrolls 4 routes per recursion step (same shape as RoutesErrorMessagesByIndex\n// in app-checked-di.ts) to stay well below the TS2589 limit even for large\n// route arrays.\ntype AggregateCascadeErrorsByIndex<\n  ParentNames extends string,\n  ParentValues,\n  RoutesMeta extends readonly unknown[],\n  ParentInputNames extends string = never,\n  Traversed extends readonly unknown[] = readonly [],\n> = number extends RoutesMeta['length']\n  ? []\n  : Traversed['length'] extends RoutesMeta['length']\n    ? []\n    : [...Traversed, unknown]['length'] extends RoutesMeta['length']\n      ? [\n          ...CascadeRouteEntryError<\n            ParentNames,\n            ParentValues,\n            ParentInputNames,\n            RoutesMeta[Traversed['length']]\n          >,\n        ]\n      : [...Traversed, unknown, unknown]['length'] extends RoutesMeta['length']\n        ? [\n            ...CascadeRouteEntryError<\n              ParentNames,\n              ParentValues,\n              ParentInputNames,\n              RoutesMeta[Traversed['length']]\n            >,\n            ...CascadeRouteEntryError<\n              ParentNames,\n              ParentValues,\n              ParentInputNames,\n              RoutesMeta[[...Traversed, unknown]['length']]\n            >,\n          ]\n        : [\n            ...CascadeRouteEntryError<\n              ParentNames,\n              ParentValues,\n              ParentInputNames,\n              RoutesMeta[Traversed['length']]\n            >,\n            ...CascadeRouteEntryError<\n              ParentNames,\n              ParentValues,\n              ParentInputNames,\n              RoutesMeta[[...Traversed, unknown]['length']]\n            >,\n            ...CascadeRouteEntryError<\n              ParentNames,\n              ParentValues,\n              ParentInputNames,\n              RoutesMeta[[...Traversed, unknown, unknown]['length']]\n            >,\n            ...CascadeRouteEntryError<\n              ParentNames,\n              ParentValues,\n              ParentInputNames,\n              RoutesMeta[[...Traversed, unknown, unknown, unknown]['length']]\n            >,\n            ...AggregateCascadeErrorsByIndex<\n              ParentNames,\n              ParentValues,\n              RoutesMeta,\n              ParentInputNames,\n              [...Traversed, unknown, unknown, unknown, unknown]\n            >,\n          ];\n\n/**\n * Aggregates `RouteCheckedDI` over every leaf route in a `craftRoutes(...)`\n * result, reading per-route metadata from `META_DATA`.\n *\n * Returns `true` if every route is satisfied, or a tuple of error messages\n * citing each broken route's path. Designed to be used in a SINGLE type alias\n * per route file (no runtime expression, no circular type dependency on the\n * app config):\n *\n *   // feature-x.routes.ts\n *   import type { AppProvidedNames, AppProvidedValues } from '../../../app.config';\n *\n *   export const { featureXRoutes } = craftRoutes('featureX', [...]);\n *\n *   type _CheckFeatureXDI = ValidateCascadeRoutesFile<\n *     AppProvidedNames,\n *     AppProvidedValues,\n *     typeof featureXRoutes\n *   >;\n *   type _CanRunFeatureX = CanRun<_CheckFeatureXDI>;\n *\n * That's the entire cascade boilerplate — two type aliases per file,\n * regardless of how many components it wires.\n *\n * Internally, `META_DATA[N].missingProvider` already accounts for the route's\n * own `providers: [...]` and the component's own `provided` map; only the\n * parent context (app + ancestor routes) needs to be stripped here.\n */\nexport type ValidateCascadeRoutesFile<\n  ParentNames extends string,\n  ParentValues,\n  RoutesApp,\n  ParentInputNames extends string = never,\n> = RoutesApp extends {\n  META_DATA: infer Meta extends readonly unknown[];\n}\n  ? AggregateCascadeErrorsByIndex<\n      ParentNames,\n      ParentValues,\n      Meta,\n      ParentInputNames\n    > extends infer Errors extends readonly string[]\n    ? Errors extends readonly []\n      ? true\n      : Errors\n    : never\n  : never;\n"]}

package/src/lib/schema-validation.d.ts

@@ -0,0 +1,89 @@
+import { InjectionToken, type Provider, type Signal } from './host/craft-compat';
+import { type AnyCraftException } from './craft-exception';
+import type { StandardSchemaV1, StandardSchemaV1InferInput, StandardSchemaV1InferOutput, StandardSchemaV1Issue } from './standard-schema';
+export type CraftSchema = StandardSchemaV1<any, any>;
+export type SchemaInput<Schema extends CraftSchema> = StandardSchemaV1InferInput<Schema>;
+export type SchemaOutput<Schema extends CraftSchema> = StandardSchemaV1InferOutput<Schema>;
+export type SchemaValidationStage = 'method' | 'params' | 'loader' | 'state' | 'form';
+export type SchemaValidationOperation = 'initial' | 'set' | 'update' | 'patch' | 'insert' | 'source' | 'method' | 'params' | 'loader' | 'stream' | 'validate';
+export type SchemaValidationContext = {
+    exception: AnyCraftException;
+    primitive: 'state' | 'query' | 'mutation' | 'asyncProcess' | 'form';
+    name: string;
+    stage: SchemaValidationStage;
+    operation: SchemaValidationOperation;
+    identifier?: string;
+};
+export type SchemaValidationDecision = {
+    action: 'reject' | 'accept';
+};
+export type SchemaValidationPolicy = (context: SchemaValidationContext) => SchemaValidationDecision;
+export declare const CRAFT_SCHEMA_VALIDATION_POLICY: InjectionToken<SchemaValidationPolicy>;
+export declare function provideCraftSchemaValidationPolicy(policy: SchemaValidationPolicy): Provider;
+export type SchemaValidationExceptionPayload = {
+    issues: readonly StandardSchemaV1Issue[];
+    value: unknown;
+    primitive: SchemaValidationContext['primitive'];
+    name: string;
+    stage: SchemaValidationStage;
+    operation: SchemaValidationOperation;
+    identifier?: string;
+};
+export type SchemaValidationException = AnyCraftException & {
+    _tag: 'SCHEMA_VALIDATION_ERROR';
+    scope: 'parse';
+    payload: SchemaValidationExceptionPayload;
+};
+export type SchemaParseExceptions = {
+    method?: SchemaValidationException;
+    params?: SchemaValidationException;
+    loader?: SchemaValidationException;
+    state?: SchemaValidationException;
+};
+export type SchemaParseResult<Output> = {
+    ok: true;
+    value: Output;
+} | {
+    ok: false;
+    exception: SchemaValidationException;
+};
+export declare function createSchemaValidationException({ issues, value, primitive, name, stage, operation, identifier, }: Omit<SchemaValidationExceptionPayload, 'primitive'> & {
+    primitive: SchemaValidationContext['primitive'];
+}): SchemaValidationException;
+export declare function parseSchema<Output>(schema: CraftSchema | undefined, value: unknown, context: Omit<SchemaValidationContext, 'exception'>): SchemaParseResult<Output> | Promise<SchemaParseResult<Output>>;
+export declare function useSchemaValidationPolicy(injector: {
+    get<T>(token: InjectionToken<T>): T;
+}, localPolicy?: SchemaValidationPolicy): SchemaValidationPolicy;
+export declare function decideSchemaValidation(result: SchemaParseResult<unknown>, context: Omit<SchemaValidationContext, 'exception'>, policy: SchemaValidationPolicy): {
+    accepted: true;
+    value: unknown;
+} | {
+    accepted: false;
+    exception: SchemaValidationException;
+};
+export declare function createSchemaExceptionSignal(): import("./host/craft-signal").CraftWritableSignal<AnyCraftException | undefined>;
+export type SchemaExceptionSignal = Signal<AnyCraftException | undefined>;
+export type SchemaValidationRuntime = ReturnType<typeof createSchemaValidationRuntime>;
+export declare function createSchemaValidationRuntime({ schema, primitive, name, policy, setException, }: {
+    schema?: CraftSchema;
+    primitive: SchemaValidationContext['primitive'];
+    name: string;
+    policy: SchemaValidationPolicy;
+    setException: (stage: SchemaValidationStage, exception: AnyCraftException | undefined, identifier?: string) => void;
+}): {
+    parseSync: <Output>(value: unknown, stage: SchemaValidationStage, operation: SchemaValidationOperation, identifier?: string) => {
+        accepted: true;
+        value: Output;
+    } | {
+        accepted: false;
+        exception: AnyCraftException;
+    };
+    parseAsync: <Output>(value: unknown, stage: SchemaValidationStage, operation: SchemaValidationOperation, identifier?: string) => Promise<{
+        accepted: true;
+        value: Output;
+    } | {
+        accepted: false;
+        exception: AnyCraftException;
+    }>;
+};
+//# sourceMappingURL=schema-validation.d.ts.map

package/src/lib/schema-validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-validation.d.ts","sourceRoot":"","sources":["../../../../../libs/core/src/lib/schema-validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,cAAc,EAEd,KAAK,QAAQ,EACb,KAAK,MAAM,EAEZ,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAkB,KAAK,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAC3E,OAAO,KAAK,EACV,gBAAgB,EAChB,0BAA0B,EAC1B,2BAA2B,EAC3B,qBAAqB,EACtB,MAAM,mBAAmB,CAAC;AAE3B,MAAM,MAAM,WAAW,GAAG,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AACrD,MAAM,MAAM,WAAW,CAAC,MAAM,SAAS,WAAW,IAChD,0BAA0B,CAAC,MAAM,CAAC,CAAC;AACrC,MAAM,MAAM,YAAY,CAAC,MAAM,SAAS,WAAW,IACjD,2BAA2B,CAAC,MAAM,CAAC,CAAC;AAEtC,MAAM,MAAM,qBAAqB,GAC7B,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,OAAO,GACP,MAAM,CAAC;AAEX,MAAM,MAAM,yBAAyB,GACjC,SAAS,GACT,KAAK,GACL,QAAQ,GACR,OAAO,GACP,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,UAAU,CAAC;AAEf,MAAM,MAAM,uBAAuB,GAAG;IACpC,SAAS,EAAE,iBAAiB,CAAC;IAC7B,SAAS,EAAE,OAAO,GAAG,OAAO,GAAG,UAAU,GAAG,cAAc,GAAG,MAAM,CAAC;IACpE,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,qBAAqB,CAAC;IAC7B,SAAS,EAAE,yBAAyB,CAAC;IACrC,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACrC,MAAM,EAAE,QAAQ,GAAG,QAAQ,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG,CACnC,OAAO,EAAE,uBAAuB,KAC7B,wBAAwB,CAAC;AAE9B,eAAO,MAAM,8BAA8B,wCASvC,CAAC;AAEL,wBAAgB,kCAAkC,CAChD,MAAM,EAAE,sBAAsB,GAC7B,QAAQ,CAEV;AAED,MAAM,MAAM,gCAAgC,GAAG;IAC7C,MAAM,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACzC,KAAK,EAAE,OAAO,CAAC;IACf,SAAS,EAAE,uBAAuB,CAAC,WAAW,CAAC,CAAC;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,qBAAqB,CAAC;IAC7B,SAAS,EAAE,yBAAyB,CAAC;IACrC,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,yBAAyB,GAAG,iBAAiB,GAAG;IAC1D,IAAI,EAAE,yBAAyB,CAAC;IAChC,KAAK,EAAE,OAAO,CAAC;IACf,OAAO,EAAE,gCAAgC,CAAC;CAC3C,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,MAAM,CAAC,EAAE,yBAAyB,CAAC;IACnC,MAAM,CAAC,EAAE,yBAAyB,CAAC;IACnC,MAAM,CAAC,EAAE,yBAAyB,CAAC;IACnC,KAAK,CAAC,EAAE,yBAAyB,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,iBAAiB,CAAC,MAAM,IAChC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC3B;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,SAAS,EAAE,yBAAyB,CAAA;CAAE,CAAC;AAExD,wBAAgB,+BAA+B,CAAC,EAC9C,MAAM,EACN,KAAK,EACL,SAAS,EACT,IAAI,EACJ,KAAK,EACL,SAAS,EACT,UAAU,GACX,EAAE,IAAI,CAAC,gCAAgC,EAAE,WAAW,CAAC,GAAG;IACvD,SAAS,EAAE,uBAAuB,CAAC,WAAW,CAAC,CAAC;CACjD,GAAG,yBAAyB,CAa5B;AAWD,wBAAgB,WAAW,CAAC,MAAM,EAChC,MAAM,EAAE,WAAW,GAAG,SAAS,EAC/B,KAAK,EAAE,OAAO,EACd,OAAO,EAAE,IAAI,CAAC,uBAAuB,EAAE,WAAW,CAAC,GAClD,iBAAiB,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CA+BhE;AAED,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE;IAAE,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;CAAE,EACjD,WAAW,CAAC,EAAE,sBAAsB,GACnC,sBAAsB,CAExB;AAED,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,iBAAiB,CAAC,OAAO,CAAC,EAClC,OAAO,EAAE,IAAI,CAAC,uBAAuB,EAAE,WAAW,CAAC,EACnD,MAAM,EAAE,sBAAsB,GAE5B;IAAE,QAAQ,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAClC;IAAE,QAAQ,EAAE,KAAK,CAAC;IAAC,SAAS,EAAE,yBAAyB,CAAA;CAAE,CAY5D;AAMD,wBAAgB,2BAA2B,qFAE1C;AAED,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,iBAAiB,GAAG,SAAS,CAAC,CAAC;AAE1E,MAAM,MAAM,uBAAuB,GAAG,UAAU,CAC9C,OAAO,6BAA6B,CACrC,CAAC;AAEF,wBAAgB,6BAA6B,CAAC,EAC5C,MAAM,EACN,SAAS,EACT,IAAI,EACJ,MAAM,EACN,YAAY,GACb,EAAE;IACD,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,SAAS,EAAE,uBAAuB,CAAC,WAAW,CAAC,CAAC;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,sBAAsB,CAAC;IAC/B,YAAY,EAAE,CACZ,KAAK,EAAE,qBAAqB,EAC5B,SAAS,EAAE,iBAAiB,GAAG,SAAS,EACxC,UAAU,CAAC,EAAE,MAAM,KAChB,IAAI,CAAC;CACX;gBACoB,MAAM,SAChB,OAAO,SACP,qBAAqB,aACjB,yBAAyB,eACvB,MAAM,KAEjB;QAAE,QAAQ,EAAE,IAAI,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GACjC;QAAE,QAAQ,EAAE,KAAK,CAAC;QAAC,SAAS,EAAE,iBAAiB,CAAA;KAAE;iBA4B3B,MAAM,SACvB,OAAO,SACP,qBAAqB,aACjB,yBAAyB,eACvB,MAAM,KAClB,OAAO,CACN;QAAE,QAAQ,EAAE,IAAI,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GACjC;QAAE,QAAQ,EAAE,KAAK,CAAC;QAAC,SAAS,EAAE,iBAAiB,CAAA;KAAE,CACpD;EAwBF"}

package/src/lib/schema-validation.js

@@ -0,0 +1,110 @@
+import { InjectionToken, isDevMode, signal, } from './host/craft-compat';
+import { craftException } from './craft-exception';
+export const CRAFT_SCHEMA_VALIDATION_POLICY = new InjectionToken('CRAFT_SCHEMA_VALIDATION_POLICY', {
+    providedIn: 'root',
+    factory: () => (context) => {
+        // Invalid data is useful feedback during development. In production the
+        // application can keep running while the policy callback reports it.
+        void context;
+        return { action: isDevMode() ? 'reject' : 'accept' };
+    },
+});
+export function provideCraftSchemaValidationPolicy(policy) {
+    return { provide: CRAFT_SCHEMA_VALIDATION_POLICY, useValue: policy };
+}
+export function createSchemaValidationException({ issues, value, primitive, name, stage, operation, identifier, }) {
+    return craftException({ _tag: 'SCHEMA_VALIDATION_ERROR', scope: 'parse' }, {
+        issues,
+        value,
+        primitive,
+        name,
+        stage,
+        operation,
+        ...(identifier === undefined ? {} : { identifier }),
+    });
+}
+function isPromiseLike(value) {
+    return (typeof value === 'object' &&
+        value !== null &&
+        'then' in value &&
+        typeof value.then === 'function');
+}
+export function parseSchema(schema, value, context) {
+    if (!schema) {
+        return { ok: true, value: value };
+    }
+    const result = schema['~standard'].validate(value);
+    if (isPromiseLike(result)) {
+        return result.then((resolved) => resolved.issues
+            ? {
+                ok: false,
+                exception: createSchemaValidationException({
+                    ...context,
+                    issues: resolved.issues,
+                    value,
+                }),
+            }
+            : { ok: true, value: resolved.value });
+    }
+    return result.issues
+        ? {
+            ok: false,
+            exception: createSchemaValidationException({
+                ...context,
+                issues: result.issues,
+                value,
+            }),
+        }
+        : { ok: true, value: result.value };
+}
+export function useSchemaValidationPolicy(injector, localPolicy) {
+    return localPolicy ?? injector.get(CRAFT_SCHEMA_VALIDATION_POLICY);
+}
+export function decideSchemaValidation(result, context, policy) {
+    if (result.ok) {
+        return { accepted: true, value: result.value };
+    }
+    const fullContext = { ...context, exception: result.exception };
+    const decision = policy(fullContext);
+    if (decision.action === 'accept') {
+        return { accepted: true, value: contextValue(result.exception) };
+    }
+    return { accepted: false, exception: result.exception };
+}
+function contextValue(exception) {
+    return exception.payload.value;
+}
+export function createSchemaExceptionSignal() {
+    return signal(undefined);
+}
+export function createSchemaValidationRuntime({ schema, primitive, name, policy, setException, }) {
+    const parseSync = (value, stage, operation, identifier) => {
+        const parsed = parseSchema(schema, value, {
+            primitive,
+            name,
+            stage,
+            operation,
+            identifier,
+        });
+        if (parsed instanceof Promise) {
+            throw new Error(`The ${primitive}:${name} ${stage} schema returned a Promise where a synchronous result is required.`);
+        }
+        const decision = decideSchemaValidation(parsed, { primitive, name, stage, operation, identifier }, policy);
+        setException(stage, decision.accepted ? undefined : decision.exception, identifier);
+        return decision;
+    };
+    const parseAsync = async (value, stage, operation, identifier) => {
+        const parsed = await parseSchema(schema, value, {
+            primitive,
+            name,
+            stage,
+            operation,
+            identifier,
+        });
+        const decision = decideSchemaValidation(parsed, { primitive, name, stage, operation, identifier }, policy);
+        setException(stage, decision.accepted ? undefined : decision.exception, identifier);
+        return decision;
+    };
+    return { parseSync, parseAsync };
+}
+//# sourceMappingURL=schema-validation.js.map

package/src/lib/schema-validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-validation.js","sourceRoot":"","sources":["../../../../../libs/core/src/lib/schema-validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,cAAc,EACd,SAAS,EAGT,MAAM,GACP,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,cAAc,EAA0B,MAAM,mBAAmB,CAAC;AAmD3E,MAAM,CAAC,MAAM,8BAA8B,GACzC,IAAI,cAAc,CAAyB,gCAAgC,EAAE;IAC3E,UAAU,EAAE,MAAM;IAClB,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE;QACzB,wEAAwE;QACxE,qEAAqE;QACrE,KAAK,OAAO,CAAC;QACb,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvD,CAAC;CACF,CAAC,CAAC;AAEL,MAAM,UAAU,kCAAkC,CAChD,MAA8B;IAE9B,OAAO,EAAE,OAAO,EAAE,8BAA8B,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACvE,CAAC;AA6BD,MAAM,UAAU,+BAA+B,CAAC,EAC9C,MAAM,EACN,KAAK,EACL,SAAS,EACT,IAAI,EACJ,KAAK,EACL,SAAS,EACT,UAAU,GAGX;IACC,OAAO,cAAc,CACnB,EAAE,IAAI,EAAE,yBAAyB,EAAE,KAAK,EAAE,OAAO,EAAE,EACnD;QACE,MAAM;QACN,KAAK;QACL,SAAS;QACT,IAAI;QACJ,KAAK;QACL,SAAS;QACT,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC;KACpD,CAC2B,CAAC;AACjC,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,MAAM,IAAI,KAAK;QACf,OAAQ,KAA4B,CAAC,IAAI,KAAK,UAAU,CACzD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,MAA+B,EAC/B,KAAc,EACd,OAAmD;IAEnD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAe,EAAE,CAAC;IAC9C,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACnD,IAAI,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC9B,QAAQ,CAAC,MAAM;YACb,CAAC,CAAC;gBACE,EAAE,EAAE,KAAK;gBACT,SAAS,EAAE,+BAA+B,CAAC;oBACzC,GAAG,OAAO;oBACV,MAAM,EAAE,QAAQ,CAAC,MAAM;oBACvB,KAAK;iBACN,CAAC;aACH;YACH,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAe,EAAE,CAClD,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC,MAAM;QAClB,CAAC,CAAC;YACE,EAAE,EAAE,KAAK;YACT,SAAS,EAAE,+BAA+B,CAAC;gBACzC,GAAG,OAAO;gBACV,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,KAAK;aACN,CAAC;SACH;QACH,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAe,EAAE,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,QAAiD,EACjD,WAAoC;IAEpC,OAAO,WAAW,IAAI,QAAQ,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;AACrE,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,MAAkC,EAClC,OAAmD,EACnD,MAA8B;IAI9B,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;QACd,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IACjD,CAAC;IAED,MAAM,WAAW,GAAG,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC;IAChE,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IACrC,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;IACnE,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC;AAC1D,CAAC;AAED,SAAS,YAAY,CAAC,SAAoC;IACxD,OAAO,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,2BAA2B;IACzC,OAAO,MAAM,CAAgC,SAAS,CAAC,CAAC;AAC1D,CAAC;AAQD,MAAM,UAAU,6BAA6B,CAAC,EAC5C,MAAM,EACN,SAAS,EACT,IAAI,EACJ,MAAM,EACN,YAAY,GAWb;IACC,MAAM,SAAS,GAAG,CAChB,KAAc,EACd,KAA4B,EAC5B,SAAoC,EACpC,UAAmB,EAGiC,EAAE;QACtD,MAAM,MAAM,GAAG,WAAW,CAAS,MAAM,EAAE,KAAK,EAAE;YAChD,SAAS;YACT,IAAI;YACJ,KAAK;YACL,SAAS;YACT,UAAU;SACX,CAAC,CAAC;QACH,IAAI,MAAM,YAAY,OAAO,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CACb,OAAO,SAAS,IAAI,IAAI,IAAI,KAAK,oEAAoE,CACtG,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,sBAAsB,CACrC,MAAM,EACN,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,EACjD,MAAM,CACP,CAAC;QACF,YAAY,CACV,KAAK,EACL,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,EAClD,UAAU,CACX,CAAC;QACF,OAAO,QAE8C,CAAC;IACxD,CAAC,CAAC;IAEF,MAAM,UAAU,GAAG,KAAK,EACtB,KAAc,EACd,KAA4B,EAC5B,SAAoC,EACpC,UAAmB,EAInB,EAAE;QACF,MAAM,MAAM,GAAG,MAAM,WAAW,CAAS,MAAM,EAAE,KAAK,EAAE;YACtD,SAAS;YACT,IAAI;YACJ,KAAK;YACL,SAAS;YACT,UAAU;SACX,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,sBAAsB,CACrC,MAAM,EACN,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,EACjD,MAAM,CACP,CAAC;QACF,YAAY,CACV,KAAK,EACL,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,EAClD,UAAU,CACX,CAAC;QACF,OAAO,QAE8C,CAAC;IACxD,CAAC,CAAC;IAEF,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC;AACnC,CAAC","sourcesContent":["import {\n  inject,\n  InjectionToken,\n  isDevMode,\n  type Provider,\n  type Signal,\n  signal,\n} from './host/craft-compat';\nimport { craftException, type AnyCraftException } from './craft-exception';\nimport type {\n  StandardSchemaV1,\n  StandardSchemaV1InferInput,\n  StandardSchemaV1InferOutput,\n  StandardSchemaV1Issue,\n} from './standard-schema';\n\nexport type CraftSchema = StandardSchemaV1<any, any>;\nexport type SchemaInput<Schema extends CraftSchema> =\n  StandardSchemaV1InferInput<Schema>;\nexport type SchemaOutput<Schema extends CraftSchema> =\n  StandardSchemaV1InferOutput<Schema>;\n\nexport type SchemaValidationStage =\n  | 'method'\n  | 'params'\n  | 'loader'\n  | 'state'\n  | 'form';\n\nexport type SchemaValidationOperation =\n  | 'initial'\n  | 'set'\n  | 'update'\n  | 'patch'\n  | 'insert'\n  | 'source'\n  | 'method'\n  | 'params'\n  | 'loader'\n  | 'stream'\n  | 'validate';\n\nexport type SchemaValidationContext = {\n  exception: AnyCraftException;\n  primitive: 'state' | 'query' | 'mutation' | 'asyncProcess' | 'form';\n  name: string;\n  stage: SchemaValidationStage;\n  operation: SchemaValidationOperation;\n  identifier?: string;\n};\n\nexport type SchemaValidationDecision = {\n  action: 'reject' | 'accept';\n};\n\nexport type SchemaValidationPolicy = (\n  context: SchemaValidationContext,\n) => SchemaValidationDecision;\n\nexport const CRAFT_SCHEMA_VALIDATION_POLICY =\n  new InjectionToken<SchemaValidationPolicy>('CRAFT_SCHEMA_VALIDATION_POLICY', {\n    providedIn: 'root',\n    factory: () => (context) => {\n      // Invalid data is useful feedback during development. In production the\n      // application can keep running while the policy callback reports it.\n      void context;\n      return { action: isDevMode() ? 'reject' : 'accept' };\n    },\n  });\n\nexport function provideCraftSchemaValidationPolicy(\n  policy: SchemaValidationPolicy,\n): Provider {\n  return { provide: CRAFT_SCHEMA_VALIDATION_POLICY, useValue: policy };\n}\n\nexport type SchemaValidationExceptionPayload = {\n  issues: readonly StandardSchemaV1Issue[];\n  value: unknown;\n  primitive: SchemaValidationContext['primitive'];\n  name: string;\n  stage: SchemaValidationStage;\n  operation: SchemaValidationOperation;\n  identifier?: string;\n};\n\nexport type SchemaValidationException = AnyCraftException & {\n  _tag: 'SCHEMA_VALIDATION_ERROR';\n  scope: 'parse';\n  payload: SchemaValidationExceptionPayload;\n};\n\nexport type SchemaParseExceptions = {\n  method?: SchemaValidationException;\n  params?: SchemaValidationException;\n  loader?: SchemaValidationException;\n  state?: SchemaValidationException;\n};\n\nexport type SchemaParseResult<Output> =\n  | { ok: true; value: Output }\n  | { ok: false; exception: SchemaValidationException };\n\nexport function createSchemaValidationException({\n  issues,\n  value,\n  primitive,\n  name,\n  stage,\n  operation,\n  identifier,\n}: Omit<SchemaValidationExceptionPayload, 'primitive'> & {\n  primitive: SchemaValidationContext['primitive'];\n}): SchemaValidationException {\n  return craftException(\n    { _tag: 'SCHEMA_VALIDATION_ERROR', scope: 'parse' },\n    {\n      issues,\n      value,\n      primitive,\n      name,\n      stage,\n      operation,\n      ...(identifier === undefined ? {} : { identifier }),\n    },\n  ) as SchemaValidationException;\n}\n\nfunction isPromiseLike(value: unknown): value is Promise<unknown> {\n  return (\n    typeof value === 'object' &&\n    value !== null &&\n    'then' in value &&\n    typeof (value as { then?: unknown }).then === 'function'\n  );\n}\n\nexport function parseSchema<Output>(\n  schema: CraftSchema | undefined,\n  value: unknown,\n  context: Omit<SchemaValidationContext, 'exception'>,\n): SchemaParseResult<Output> | Promise<SchemaParseResult<Output>> {\n  if (!schema) {\n    return { ok: true, value: value as Output };\n  }\n\n  const result = schema['~standard'].validate(value);\n  if (isPromiseLike(result)) {\n    return result.then((resolved) =>\n      resolved.issues\n        ? {\n            ok: false,\n            exception: createSchemaValidationException({\n              ...context,\n              issues: resolved.issues,\n              value,\n            }),\n          }\n        : { ok: true, value: resolved.value as Output },\n    );\n  }\n\n  return result.issues\n    ? {\n        ok: false,\n        exception: createSchemaValidationException({\n          ...context,\n          issues: result.issues,\n          value,\n        }),\n      }\n    : { ok: true, value: result.value as Output };\n}\n\nexport function useSchemaValidationPolicy(\n  injector: { get<T>(token: InjectionToken<T>): T },\n  localPolicy?: SchemaValidationPolicy,\n): SchemaValidationPolicy {\n  return localPolicy ?? injector.get(CRAFT_SCHEMA_VALIDATION_POLICY);\n}\n\nexport function decideSchemaValidation(\n  result: SchemaParseResult<unknown>,\n  context: Omit<SchemaValidationContext, 'exception'>,\n  policy: SchemaValidationPolicy,\n):\n  | { accepted: true; value: unknown }\n  | { accepted: false; exception: SchemaValidationException } {\n  if (result.ok) {\n    return { accepted: true, value: result.value };\n  }\n\n  const fullContext = { ...context, exception: result.exception };\n  const decision = policy(fullContext);\n  if (decision.action === 'accept') {\n    return { accepted: true, value: contextValue(result.exception) };\n  }\n\n  return { accepted: false, exception: result.exception };\n}\n\nfunction contextValue(exception: SchemaValidationException): unknown {\n  return exception.payload.value;\n}\n\nexport function createSchemaExceptionSignal() {\n  return signal<AnyCraftException | undefined>(undefined);\n}\n\nexport type SchemaExceptionSignal = Signal<AnyCraftException | undefined>;\n\nexport type SchemaValidationRuntime = ReturnType<\n  typeof createSchemaValidationRuntime\n>;\n\nexport function createSchemaValidationRuntime({\n  schema,\n  primitive,\n  name,\n  policy,\n  setException,\n}: {\n  schema?: CraftSchema;\n  primitive: SchemaValidationContext['primitive'];\n  name: string;\n  policy: SchemaValidationPolicy;\n  setException: (\n    stage: SchemaValidationStage,\n    exception: AnyCraftException | undefined,\n    identifier?: string,\n  ) => void;\n}) {\n  const parseSync = <Output>(\n    value: unknown,\n    stage: SchemaValidationStage,\n    operation: SchemaValidationOperation,\n    identifier?: string,\n  ):\n    | { accepted: true; value: Output }\n    | { accepted: false; exception: AnyCraftException } => {\n    const parsed = parseSchema<Output>(schema, value, {\n      primitive,\n      name,\n      stage,\n      operation,\n      identifier,\n    });\n    if (parsed instanceof Promise) {\n      throw new Error(\n        `The ${primitive}:${name} ${stage} schema returned a Promise where a synchronous result is required.`,\n      );\n    }\n    const decision = decideSchemaValidation(\n      parsed,\n      { primitive, name, stage, operation, identifier },\n      policy,\n    );\n    setException(\n      stage,\n      decision.accepted ? undefined : decision.exception,\n      identifier,\n    );\n    return decision as\n      | { accepted: true; value: Output }\n      | { accepted: false; exception: AnyCraftException };\n  };\n\n  const parseAsync = async <Output>(\n    value: unknown,\n    stage: SchemaValidationStage,\n    operation: SchemaValidationOperation,\n    identifier?: string,\n  ): Promise<\n    | { accepted: true; value: Output }\n    | { accepted: false; exception: AnyCraftException }\n  > => {\n    const parsed = await parseSchema<Output>(schema, value, {\n      primitive,\n      name,\n      stage,\n      operation,\n      identifier,\n    });\n    const decision = decideSchemaValidation(\n      parsed,\n      { primitive, name, stage, operation, identifier },\n      policy,\n    );\n    setException(\n      stage,\n      decision.accepted ? undefined : decision.exception,\n      identifier,\n    );\n    return decision as\n      | { accepted: true; value: Output }\n      | { accepted: false; exception: AnyCraftException };\n  };\n\n  return { parseSync, parseAsync };\n}\n"]}

package/src/lib/send-context-to-ai.d.ts

@@ -0,0 +1,20 @@
+import type { GetDeps } from './branded-component/branded-component';
+import { type SendContextPayload } from './send-context-to-ai.tokens';
+import { type AppSnapshotRegistry, type SnapshotReport } from './take-app-snapshot';
+export { type SendContextPayload };
+/**
+ * Collects app snapshot reports so the AI overlay has something to send.
+ *
+ * The overlay UI itself lives in `@craft-ts/component` (it is built with
+ * `craftComponent`, which depends on this package).
+ */
+export type SendContextToAiBuffer = {
+    latestReports: SnapshotReport[];
+};
+export declare const SEND_CONTEXT_TO_AI_BUFFER: import("..").CraftToken<SendContextToAiBuffer>;
+export declare function createSendContextToAiBuffer(registry: AppSnapshotRegistry): SendContextToAiBuffer;
+export type GenDeps_SendContextToAiBuffer = GetDeps<{
+    deps: {};
+    provided: {};
+}>;
+//# sourceMappingURL=send-context-to-ai.d.ts.map

package/src/lib/send-context-to-ai.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"send-context-to-ai.d.ts","sourceRoot":"","sources":["../../../../../libs/core/src/lib/send-context-to-ai.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uCAAuC,CAAC;AAGrE,OAAO,EAAE,KAAK,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,cAAc,EACpB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,KAAK,kBAAkB,EAAE,CAAC;AAEnC;;;;;GAKG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAClC,aAAa,EAAE,cAAc,EAAE,CAAC;CACjC,CAAC;AAEF,eAAO,MAAM,yBAAyB,gDAErC,CAAC;AAEF,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE,mBAAmB,GAC5B,qBAAqB,CAevB;AAED,MAAM,MAAM,6BAA6B,GAAG,OAAO,CAAC;IAClD,IAAI,EAAE,EAAE,CAAC;IACT,QAAQ,EAAE,EAAE,CAAC;CACd,CAAC,CAAC"}

package/src/lib/send-context-to-ai.js

@@ -0,0 +1,18 @@
+import { debounceTime, Subject } from 'rxjs';
+import { craftToken } from './host/craft-injector';
+export const SEND_CONTEXT_TO_AI_BUFFER = craftToken('SendContextToAiBuffer');
+export function createSendContextToAiBuffer(registry) {
+    const buffer = { latestReports: [] };
+    let pending = [];
+    const flush$ = new Subject();
+    registry.allSnapShot$.subscribe((report) => {
+        pending.push(report);
+        flush$.next();
+    });
+    flush$.pipe(debounceTime(500)).subscribe(() => {
+        buffer.latestReports = [...pending];
+        pending = [];
+    });
+    return buffer;
+}
+//# sourceMappingURL=send-context-to-ai.js.map

package/src/lib/send-context-to-ai.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"send-context-to-ai.js","sourceRoot":"","sources":["../../../../../libs/core/src/lib/send-context-to-ai.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAmBnD,MAAM,CAAC,MAAM,yBAAyB,GAAG,UAAU,CACjD,uBAAuB,CACxB,CAAC;AAEF,MAAM,UAAU,2BAA2B,CACzC,QAA6B;IAE7B,MAAM,MAAM,GAA0B,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;IAC5D,IAAI,OAAO,GAAqB,EAAE,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,OAAO,EAAQ,CAAC;IAEnC,QAAQ,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE;QACzC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrB,MAAM,CAAC,IAAI,EAAE,CAAC;IAChB,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE;QAC5C,MAAM,CAAC,aAAa,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;QACpC,OAAO,GAAG,EAAE,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC;AAChB,CAAC","sourcesContent":["import type { GetDeps } from './branded-component/branded-component';\nimport { debounceTime, Subject } from 'rxjs';\nimport { craftToken } from './host/craft-injector';\nimport { type SendContextPayload } from './send-context-to-ai.tokens';\nimport {\n  type AppSnapshotRegistry,\n  type SnapshotReport,\n} from './take-app-snapshot';\n\nexport { type SendContextPayload };\n\n/**\n * Collects app snapshot reports so the AI overlay has something to send.\n *\n * The overlay UI itself lives in `@craft-ts/component` (it is built with\n * `craftComponent`, which depends on this package).\n */\nexport type SendContextToAiBuffer = {\n  latestReports: SnapshotReport[];\n};\n\nexport const SEND_CONTEXT_TO_AI_BUFFER = craftToken<SendContextToAiBuffer>(\n  'SendContextToAiBuffer',\n);\n\nexport function createSendContextToAiBuffer(\n  registry: AppSnapshotRegistry,\n): SendContextToAiBuffer {\n  const buffer: SendContextToAiBuffer = { latestReports: [] };\n  let pending: SnapshotReport[] = [];\n  const flush$ = new Subject<void>();\n\n  registry.allSnapShot$.subscribe((report) => {\n    pending.push(report);\n    flush$.next();\n  });\n  flush$.pipe(debounceTime(500)).subscribe(() => {\n    buffer.latestReports = [...pending];\n    pending = [];\n  });\n\n  return buffer;\n}\n\nexport type GenDeps_SendContextToAiBuffer = GetDeps<{\n  deps: {};\n  provided: {};\n}>;\n"]}

package/src/lib/send-context-to-ai.tokens.d.ts

@@ -0,0 +1,12 @@
+import type { SnapshotReport } from './take-app-snapshot';
+export interface SendContextPayload {
+    hostName: string;
+    tagList: unknown;
+    coords: {
+        x: number;
+        y: number;
+    };
+    outerHTML: string;
+    snapshot: SnapshotReport[];
+}
+//# sourceMappingURL=send-context-to-ai.tokens.d.ts.map

package/src/lib/send-context-to-ai.tokens.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"send-context-to-ai.tokens.d.ts","sourceRoot":"","sources":["../../../../../libs/core/src/lib/send-context-to-ai.tokens.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAE1D,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE;QAAE,CAAC,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,cAAc,EAAE,CAAC;CAC5B"}

package/src/lib/send-context-to-ai.tokens.js

@@ -0,0 +1 @@
+//# sourceMappingURL=send-context-to-ai.tokens.js.map

package/src/lib/send-context-to-ai.tokens.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"send-context-to-ai.tokens.js","sourceRoot":"","sources":["../../../../../libs/core/src/lib/send-context-to-ai.tokens.ts"],"names":[],"mappings":"","sourcesContent":["import type { SnapshotReport } from './take-app-snapshot';\n\nexport interface SendContextPayload {\n  hostName: string;\n  tagList: unknown;\n  coords: { x: number; y: number };\n  outerHTML: string;\n  snapshot: SnapshotReport[];\n}\n"]}