polen 0.11.0-next.14 → 0.11.0-next.16

package/build/lib/diagnostic/diagnostic.js

@@ -0,0 +1,106 @@
+import { EffectKit, S } from '#lib/kit-temp/effect';
+import * as SeverityModule from './severity.js';
+// ============================================================================
+// Schema - Base Diagnostic
+// ============================================================================
+/**
+ * Base schema that all diagnostics must extend.
+ *
+ * This provides a three-level hierarchy for diagnostics:
+ * - Level 1: `_tag: 'Diagnostic'` - Identifies any diagnostic
+ * - Level 2: `source` - Which system generated the diagnostic
+ * - Level 3: `name` - The specific diagnostic type
+ *
+ * @example
+ * ```typescript
+ * const MyDiagnostic = S.extend(
+ *   DiagnosticBase,
+ *   S.Struct({
+ *     _tag: S.Literal('Diagnostic'),
+ *     source: S.Literal('my-feature'),
+ *     name: S.Literal('specific-error'),
+ *     // ... additional fields
+ *   })
+ * )
+ * ```
+ */
+export const Diagnostic = S.Struct({
+    /**
+     * Level 1: Identifies this as a diagnostic.
+     * All diagnostics must have this tag.
+     */
+    _tag: S.Literal('Diagnostic'),
+    /**
+     * Level 2: Source system/feature that generated this diagnostic.
+     * Examples: 'file-router', 'examples', 'schema-validator'
+     */
+    source: S.String,
+    /**
+     * Level 3: Specific diagnostic name within the source.
+     * Should be kebab-case and unique within the source.
+     * Examples: 'index-conflict', 'unused-default', 'missing-field'
+     */
+    name: S.String,
+    /**
+     * Severity level of the diagnostic.
+     */
+    severity: SeverityModule.Severity,
+    /**
+     * Human-readable message describing the issue.
+     */
+    message: S.String,
+}).annotations({
+    identifier: 'DiagnosticBase',
+    description: 'Base diagnostic structure with three-level hierarchy',
+});
+// ============================================================================
+// Helpers
+// ============================================================================
+/**
+ * Create a diagnostic schema that extends DiagnosticBase.
+ *
+ * This helper properly handles field narrowing (like severity)
+ * and ensures the diagnostic follows the three-level hierarchy.
+ *
+ * @example
+ * ```typescript
+ * const MyDiagnostic = Diagnostic.create({
+ *   source: 'my-feature',
+ *   name: 'specific-error',
+ *   severity: 'error',
+ *   context: {
+ *     customField: S.String,
+ *   }
+ * })
+ * ```
+ */
+export const create = (params) => {
+    // Use TaggedStruct instead of Struct, and omit _tag from fields since TaggedStruct adds it
+    const { _tag, ...diagnosticFieldsWithoutTag } = Diagnostic.fields;
+    return S.TaggedStruct('Diagnostic', {
+        ...diagnosticFieldsWithoutTag,
+        source: S.Literal(params.source),
+        name: S.Literal(params.name),
+        ...(params.severity ? { severity: S.Literal(params.severity) } : {}),
+        ...params.context,
+    });
+};
+export const createMake = (diagnostic) => {
+    return ((fields) => {
+        return diagnostic.make({
+            ...EffectKit.Schema.pickLiteral1FieldsAsLiterals(diagnostic),
+            ...fields,
+        });
+    });
+};
+// ============================================================================
+// Codec
+// ============================================================================
+export const decode = S.decode(Diagnostic);
+export const decodeSync = S.decodeSync(Diagnostic);
+export const encode = S.encode(Diagnostic);
+// ============================================================================
+// Type Guards
+// ============================================================================
+export const is = S.is(Diagnostic);
+//# sourceMappingURL=diagnostic.js.map

package/build/lib/diagnostic/diagnostic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic.js","sourceRoot":"","sources":["../../../src/lib/diagnostic/diagnostic.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,cAAc,MAAM,eAAe,CAAA;AAE/C,+EAA+E;AAC/E,2BAA2B;AAC3B,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;IACjC;;;OAGG;IACH,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC;IAE7B;;;OAGG;IACH,MAAM,EAAE,CAAC,CAAC,MAAM;IAEhB;;;;OAIG;IACH,IAAI,EAAE,CAAC,CAAC,MAAM;IAEd;;OAEG;IACH,QAAQ,EAAE,cAAc,CAAC,QAAQ;IAEjC;;OAEG;IACH,OAAO,EAAE,CAAC,CAAC,MAAM;CAClB,CAAC,CAAC,WAAW,CAAC;IACb,UAAU,EAAE,gBAAgB;IAC5B,WAAW,EAAE,sDAAsD;CACpE,CAAC,CAAA;AAIF,+EAA+E;AAC/E,UAAU;AACV,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAMpB,MAKC,EAWD,EAAE;IACF,2FAA2F;IAC3F,MAAM,EAAE,IAAI,EAAE,GAAG,0BAA0B,EAAE,GAAG,UAAU,CAAC,MAAM,CAAA;IACjE,OAAO,CAAC,CAAC,YAAY,CAAC,YAAY,EAAE;QAClC,GAAG,0BAA0B;QAC7B,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;QAChC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;QAC5B,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,GAAG,MAAM,CAAC,OAAO;KAClB,CAAQ,CAAA;AACX,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,UAAsB,EACyC,EAAE;IACjE,OAAO,CAAC,CAAC,MAAc,EAAE,EAAE;QACzB,OAAO,UAAU,CAAC,IAAI,CAAC;YACrB,GAAG,SAAS,CAAC,MAAM,CAAC,4BAA4B,CAAC,UAAU,CAAC;YAC5D,GAAG,MAAM;SACV,CAAQ,CAAA;IACX,CAAC,CAAQ,CAAA;AACX,CAAC,CAAA;AAED,+EAA+E;AAC/E,QAAQ;AACR,+EAA+E;AAE/E,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;AAC1C,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;AAClD,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;AAE1C,+EAA+E;AAC/E,cAAc;AACd,+EAA+E;AAE/E,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAA"}

package/build/lib/diagnostic/filter.d.ts

@@ -0,0 +1,11 @@
+import { type Control } from './control.js';
+import type { Diagnostic } from './diagnostic.js';
+/**
+ * Filters diagnostics based on control settings and reports them.
+ *
+ * @param diagnostics - Array of diagnostics to filter
+ * @param getControl - Function to get the control setting for a diagnostic
+ * @param phase - Current phase (dev or build)
+ */
+export declare const filterAndReport: <T extends Diagnostic>(diagnostics: T[], getControl: (diagnostic: T) => Control | boolean | undefined, phase?: "dev" | "build") => void;
+//# sourceMappingURL=filter.d.ts.map

package/build/lib/diagnostic/filter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"filter.d.ts","sourceRoot":"","sources":["../../../src/lib/diagnostic/filter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,KAAK,OAAO,EAAE,MAAM,cAAc,CAAA;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAGjD;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,GAAI,CAAC,SAAS,UAAU,EAClD,aAAa,CAAC,EAAE,EAChB,YAAY,CAAC,UAAU,EAAE,CAAC,KAAK,OAAO,GAAG,OAAO,GAAG,SAAS,EAC5D,QAAO,KAAK,GAAG,OAAe,KAC7B,IAKF,CAAA"}

package/build/lib/diagnostic/filter.js

@@ -0,0 +1,16 @@
+import { applyControl } from './control.js';
+import { report } from './reporter.js';
+/**
+ * Filters diagnostics based on control settings and reports them.
+ *
+ * @param diagnostics - Array of diagnostics to filter
+ * @param getControl - Function to get the control setting for a diagnostic
+ * @param phase - Current phase (dev or build)
+ */
+export const filterAndReport = (diagnostics, getControl, phase = 'dev') => {
+    const filteredDiagnostics = applyControl(diagnostics, getControl, phase);
+    if (filteredDiagnostics.length > 0) {
+        report(filteredDiagnostics);
+    }
+};
+//# sourceMappingURL=filter.js.map

package/build/lib/diagnostic/filter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"filter.js","sourceRoot":"","sources":["../../../src/lib/diagnostic/filter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAgB,MAAM,cAAc,CAAA;AAEzD,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAA;AAEtC;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,WAAgB,EAChB,UAA4D,EAC5D,QAAyB,KAAK,EACxB,EAAE;IACR,MAAM,mBAAmB,GAAG,YAAY,CAAC,WAAW,EAAE,UAAU,EAAE,KAAK,CAAC,CAAA;IACxE,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,MAAM,CAAC,mBAAmB,CAAC,CAAA;IAC7B,CAAC;AACH,CAAC,CAAA"}

package/build/lib/diagnostic/reporter.d.ts

@@ -0,0 +1,22 @@
+import type { Diagnostic } from './diagnostic.js';
+/**
+ * Reports diagnostics to the console, grouped by source.
+ *
+ * This is a generic reporter that works with any diagnostic
+ * that extends DiagnosticBase. It groups diagnostics by their
+ * source field and displays them with appropriate icons and
+ * formatting.
+ *
+ * @param diagnostics - Array of diagnostics to report
+ *
+ * @example
+ * ```typescript
+ * const diagnostics = [
+ *   { type: 'missing-file', severity: 'error', message: 'File not found', source: 'file-router' },
+ *   { type: 'unused-default', severity: 'warning', message: 'Default never used', source: 'examples' }
+ * ]
+ * report(diagnostics)
+ * ```
+ */
+export declare const report: (diagnostics: Diagnostic[]) => void;
+//# sourceMappingURL=reporter.d.ts.map

package/build/lib/diagnostic/reporter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reporter.d.ts","sourceRoot":"","sources":["../../../src/lib/diagnostic/reporter.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAoCjD;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,MAAM,GAAI,aAAa,UAAU,EAAE,KAAG,IAiBlD,CAAA"}

package/build/lib/diagnostic/reporter.js

@@ -0,0 +1,66 @@
+import { Group } from '@wollybeard/kit';
+import { Severity } from './severity.js';
+// ============================================================================
+// Helpers
+// ============================================================================
+const getIcon = (severity) => {
+    switch (severity) {
+        case Severity.enums.error:
+            return '✗';
+        case Severity.enums.warning:
+            return '⚠';
+        case Severity.enums.info:
+            return 'ⓘ';
+    }
+};
+const formatSummary = (diagnostics) => {
+    const errors = diagnostics.filter(d => d.severity === Severity.enums.error);
+    const warnings = diagnostics.filter(d => d.severity === Severity.enums.warning);
+    const infos = diagnostics.filter(d => d.severity === Severity.enums.info);
+    const parts = [
+        errors.length > 0 && `${errors.length} error${errors.length === 1 ? '' : 's'}`,
+        warnings.length > 0 && `${warnings.length} warning${warnings.length === 1 ? '' : 's'}`,
+        infos.length > 0 && `${infos.length} info${infos.length === 1 ? '' : 's'}`,
+    ].filter(Boolean);
+    return parts.join(', ');
+};
+// ============================================================================
+// Reporter
+// ============================================================================
+/**
+ * Reports diagnostics to the console, grouped by source.
+ *
+ * This is a generic reporter that works with any diagnostic
+ * that extends DiagnosticBase. It groups diagnostics by their
+ * source field and displays them with appropriate icons and
+ * formatting.
+ *
+ * @param diagnostics - Array of diagnostics to report
+ *
+ * @example
+ * ```typescript
+ * const diagnostics = [
+ *   { type: 'missing-file', severity: 'error', message: 'File not found', source: 'file-router' },
+ *   { type: 'unused-default', severity: 'warning', message: 'Default never used', source: 'examples' }
+ * ]
+ * report(diagnostics)
+ * ```
+ */
+export const report = (diagnostics) => {
+    if (diagnostics.length === 0)
+        return;
+    // Group diagnostics by source using kit's Group.by
+    const bySource = Group.by(diagnostics, 'source');
+    // Report each source's diagnostics
+    for (const [source, sourceDiagnostics] of Object.entries(bySource)) {
+        if (!sourceDiagnostics)
+            continue;
+        const summary = formatSummary(sourceDiagnostics);
+        console.warn(`\n${source} found ${summary}:\n`);
+        sourceDiagnostics.forEach((diagnostic, index) => {
+            const icon = getIcon(diagnostic.severity);
+            console.warn(`${icon} ${index + 1}. ${diagnostic.message}\n`);
+        });
+    }
+};
+//# sourceMappingURL=reporter.js.map

package/build/lib/diagnostic/reporter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reporter.js","sourceRoot":"","sources":["../../../src/lib/diagnostic/reporter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAEvC,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAExC,+EAA+E;AAC/E,UAAU;AACV,+EAA+E;AAE/E,MAAM,OAAO,GAAG,CAAC,QAAgC,EAAU,EAAE;IAC3D,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,QAAQ,CAAC,KAAK,CAAC,KAAK;YACvB,OAAO,GAAG,CAAA;QACZ,KAAK,QAAQ,CAAC,KAAK,CAAC,OAAO;YACzB,OAAO,GAAG,CAAA;QACZ,KAAK,QAAQ,CAAC,KAAK,CAAC,IAAI;YACtB,OAAO,GAAG,CAAA;IACd,CAAC;AACH,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,WAAyB,EAAU,EAAE;IAC1D,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAC3E,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IAC/E,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAEzE,MAAM,KAAK,GAAG;QACZ,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,MAAM,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE;QAC9E,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,QAAQ,CAAC,MAAM,WAAW,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE;QACtF,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,MAAM,QAAQ,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE;KAC3E,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAEjB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACzB,CAAC,CAAA;AAED,+EAA+E;AAC/E,WAAW;AACX,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,WAAyB,EAAQ,EAAE;IACxD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAM;IAEpC,mDAAmD;IACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,EAAE,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAA;IAEhD,mCAAmC;IACnC,KAAK,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnE,IAAI,CAAC,iBAAiB;YAAE,SAAQ;QAChC,MAAM,OAAO,GAAG,aAAa,CAAC,iBAAiB,CAAC,CAAA;QAChD,OAAO,CAAC,IAAI,CAAC,KAAK,MAAM,UAAU,OAAO,KAAK,CAAC,CAAA;QAE/C,iBAAiB,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE;YAC9C,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;YACzC,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,KAAK,UAAU,CAAC,OAAO,IAAI,CAAC,CAAA;QAC/D,CAAC,CAAC,CAAA;IACJ,CAAC;AACH,CAAC,CAAA"}

package/build/lib/diagnostic/severity.d.ts

@@ -0,0 +1,32 @@
+import { S } from '#lib/kit-temp/effect';
+import { Order } from 'effect';
+export declare const Severity: S.Enums<{
+    readonly error: "error";
+    readonly warning: "warning";
+    readonly info: "info";
+}>;
+export type Severity = typeof Severity.Type;
+export declare const Error: S.Literal<["error"]>;
+export declare const Warning: S.Literal<["warning"]>;
+export declare const Info: S.Literal<["info"]>;
+export declare const is: (u: unknown, overrideOptions?: import("effect/SchemaAST").ParseOptions | number) => u is "error" | "warning" | "info";
+export declare const decode: (i: "error" | "warning" | "info", overrideOptions?: import("effect/SchemaAST").ParseOptions) => import("effect/Effect").Effect<"error" | "warning" | "info", import("effect/ParseResult").ParseError, never>;
+export declare const decodeSync: (i: "error" | "warning" | "info", overrideOptions?: import("effect/SchemaAST").ParseOptions) => "error" | "warning" | "info";
+export declare const encode: (a: "error" | "warning" | "info", overrideOptions?: import("effect/SchemaAST").ParseOptions) => import("effect/Effect").Effect<"error" | "warning" | "info", import("effect/ParseResult").ParseError, never>;
+export declare const equivalence: import("effect/Equivalence").Equivalence<"error" | "warning" | "info">;
+/**
+ * Order for severity levels.
+ * error > warning > info
+ */
+export declare const order: Order.Order<Severity>;
+/**
+ * Returns the highest severity from an array of severities.
+ * Returns 'info' if array is empty.
+ */
+export declare const highest: (severities: Severity[]) => Severity;
+/**
+ * Returns the lowest severity from an array of severities.
+ * Returns 'error' if array is empty (most conservative).
+ */
+export declare const lowest: (severities: Severity[]) => Severity;
+//# sourceMappingURL=severity.d.ts.map

package/build/lib/diagnostic/severity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"severity.d.ts","sourceRoot":"","sources":["../../../src/lib/diagnostic/severity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,sBAAsB,CAAA;AACxC,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAM9B,eAAO,MAAM,QAAQ;;;;EASnB,CAAA;AAIF,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAA;AAM3C,eAAO,MAAM,KAAK,sBAAkC,CAAA;AACpD,eAAO,MAAM,OAAO,wBAAoC,CAAA;AACxD,eAAO,MAAM,IAAI,qBAAiC,CAAA;AAMlD,eAAO,MAAM,EAAE,uHAAiB,CAAA;AAMhC,eAAO,MAAM,MAAM,8MAAqB,CAAA;AACxC,eAAO,MAAM,UAAU,8HAAyB,CAAA;AAChD,eAAO,MAAM,MAAM,8MAAqB,CAAA;AAMxC,eAAO,MAAM,WAAW,wEAA0B,CAAA;AAMlD;;;GAGG;AACH,eAAO,MAAM,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,CAYvC,CAAA;AAMD;;;GAGG;AACH,eAAO,MAAM,OAAO,GAAI,YAAY,QAAQ,EAAE,KAAG,QAGhD,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,MAAM,GAAI,YAAY,QAAQ,EAAE,KAAG,QAG/C,CAAA"}

package/build/lib/diagnostic/severity.js

@@ -0,0 +1,73 @@
+import { S } from '#lib/kit-temp/effect';
+import { Order } from 'effect';
+// ============================================================================
+// Schema - Severity
+// ============================================================================
+export const Severity = S.Enums({
+    error: 'error',
+    warning: 'warning',
+    info: 'info',
+}).annotations({
+    identifier: 'DiagnosticSeverity',
+    description: 'The severity level of a diagnostic message',
+});
+Severity.enums.error;
+// ============================================================================
+// Severity Literals
+// ============================================================================
+export const Error = S.Literal(Severity.enums.error);
+export const Warning = S.Literal(Severity.enums.warning);
+export const Info = S.Literal(Severity.enums.info);
+// ============================================================================
+// Type Guards
+// ============================================================================
+export const is = S.is(Severity);
+// ============================================================================
+// Codec
+// ============================================================================
+export const decode = S.decode(Severity);
+export const decodeSync = S.decodeSync(Severity);
+export const encode = S.encode(Severity);
+// ============================================================================
+// Equivalence
+// ============================================================================
+export const equivalence = S.equivalence(Severity);
+// ============================================================================
+// Ordering
+// ============================================================================
+/**
+ * Order for severity levels.
+ * error > warning > info
+ */
+export const order = Order.mapInput(Order.number, (severity) => {
+    switch (severity) {
+        case Severity.enums.error:
+            return 3;
+        case Severity.enums.warning:
+            return 2;
+        case Severity.enums.info:
+            return 1;
+    }
+});
+// ============================================================================
+// Utilities
+// ============================================================================
+/**
+ * Returns the highest severity from an array of severities.
+ * Returns 'info' if array is empty.
+ */
+export const highest = (severities) => {
+    if (severities.length === 0)
+        return Severity.enums.info;
+    return severities.reduce(Order.max(order));
+};
+/**
+ * Returns the lowest severity from an array of severities.
+ * Returns 'error' if array is empty (most conservative).
+ */
+export const lowest = (severities) => {
+    if (severities.length === 0)
+        return Severity.enums.error;
+    return severities.reduce(Order.min(order));
+};
+//# sourceMappingURL=severity.js.map

package/build/lib/diagnostic/severity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"severity.js","sourceRoot":"","sources":["../../../src/lib/diagnostic/severity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,sBAAsB,CAAA;AACxC,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAE9B,+EAA+E;AAC/E,oBAAoB;AACpB,+EAA+E;AAE/E,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAC7B;IACE,KAAK,EAAE,OAAO;IACd,OAAO,EAAE,SAAS;IAClB,IAAI,EAAE,MAAM;CACJ,CACX,CAAC,WAAW,CAAC;IACZ,UAAU,EAAE,oBAAoB;IAChC,WAAW,EAAE,4CAA4C;CAC1D,CAAC,CAAA;AAEF,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAA;AAIpB,+EAA+E;AAC/E,oBAAoB;AACpB,+EAA+E;AAE/E,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;AACpD,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;AACxD,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;AAElD,+EAA+E;AAC/E,cAAc;AACd,+EAA+E;AAE/E,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAA;AAEhC,+EAA+E;AAC/E,QAAQ;AACR,+EAA+E;AAE/E,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;AACxC,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;AAChD,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;AAExC,+EAA+E;AAC/E,cAAc;AACd,+EAA+E;AAE/E,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;AAElD,+EAA+E;AAC/E,WAAW;AACX,+EAA+E;AAE/E;;;GAGG;AACH,MAAM,CAAC,MAAM,KAAK,GAA0B,KAAK,CAAC,QAAQ,CACxD,KAAK,CAAC,MAAM,EACZ,CAAC,QAAkB,EAAE,EAAE;IACrB,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,QAAQ,CAAC,KAAK,CAAC,KAAK;YACvB,OAAO,CAAC,CAAA;QACV,KAAK,QAAQ,CAAC,KAAK,CAAC,OAAO;YACzB,OAAO,CAAC,CAAA;QACV,KAAK,QAAQ,CAAC,KAAK,CAAC,IAAI;YACtB,OAAO,CAAC,CAAA;IACZ,CAAC;AACH,CAAC,CACF,CAAA;AAED,+EAA+E;AAC/E,YAAY;AACZ,+EAA+E;AAE/E;;;GAGG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,UAAsB,EAAY,EAAE;IAC1D,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAA;IACvD,OAAO,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;AAC5C,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,UAAsB,EAAY,EAAE;IACzD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAA;IACxD,OAAO,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;AAC5C,CAAC,CAAA"}

package/build/lib/directed-filter/$$.d.ts

@@ -0,0 +1,2 @@
+export * from './directed-filter.js';
+//# sourceMappingURL=$$.d.ts.map

package/build/lib/directed-filter/$$.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$$.d.ts","sourceRoot":"","sources":["../../../src/lib/directed-filter/$$.ts"],"names":[],"mappings":"AAAA,cAAc,sBAAsB,CAAA"}

package/build/lib/directed-filter/$$.js

@@ -0,0 +1,2 @@
+export * from './directed-filter.js';
+//# sourceMappingURL=$$.js.map

package/build/lib/directed-filter/$$.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"$$.js","sourceRoot":"","sources":["../../../src/lib/directed-filter/$$.ts"],"names":[],"mappings":"AAAA,cAAc,sBAAsB,CAAA"}

package/build/lib/directed-filter/$.d.ts

@@ -0,0 +1,2 @@
+export * as DirectedFilter from './$$.js';
+//# sourceMappingURL=$.d.ts.map

package/build/lib/directed-filter/$.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$.d.ts","sourceRoot":"","sources":["../../../src/lib/directed-filter/$.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,cAAc,MAAM,SAAS,CAAA"}

package/build/lib/directed-filter/$.js

@@ -0,0 +1,2 @@
+export * as DirectedFilter from './$$.js';
+//# sourceMappingURL=$.js.map

package/build/lib/directed-filter/$.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"$.js","sourceRoot":"","sources":["../../../src/lib/directed-filter/$.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,cAAc,MAAM,SAAS,CAAA"}

package/build/lib/directed-filter/directed-filter.d.ts

@@ -0,0 +1,127 @@
+import { S } from '#lib/kit-temp/effect';
+/**
+ * Creates a DirectedFilter schema for a given item schema.
+ * Returns an object containing the Union schema and its member schemas.
+ *
+ * @param itemSchema - The schema for items in the filter
+ * @returns Object with Union, Allow, Deny, AllowAll, and DenyAll schemas
+ */
+export declare const create: <ItemSchema extends S.Schema.Any>(itemSchema: ItemSchema) => {
+    readonly Union: S.Union<[S.Struct<{
+        _tag: S.tag<"DirectedFilterAllow">;
+    } & {
+        items: S.Array$<ItemSchema>;
+    }>, S.Struct<{
+        _tag: S.tag<"DirectedFilterDeny">;
+    } & {
+        items: S.Array$<ItemSchema>;
+    }>, S.Struct<{
+        _tag: S.tag<"DirectedFilterAllowAll">;
+    }>, S.Struct<{
+        _tag: S.tag<"DirectedFilterDenyAll">;
+    }>]>;
+    readonly Allow: S.Struct<{
+        _tag: S.tag<"DirectedFilterAllow">;
+    } & {
+        items: S.Array$<ItemSchema>;
+    }>;
+    readonly Deny: S.Struct<{
+        _tag: S.tag<"DirectedFilterDeny">;
+    } & {
+        items: S.Array$<ItemSchema>;
+    }>;
+    readonly AllowAll: S.Struct<{
+        _tag: S.tag<"DirectedFilterAllowAll">;
+    }>;
+    readonly DenyAll: S.Struct<{
+        _tag: S.tag<"DirectedFilterDenyAll">;
+    }>;
+};
+export type DirectedFilterAllow<T> = {
+    readonly _tag: 'DirectedFilterAllow';
+    readonly items: readonly T[];
+};
+export type DirectedFilterDeny<T> = {
+    readonly _tag: 'DirectedFilterDeny';
+    readonly items: readonly T[];
+};
+export type DirectedFilterAllowAll = {
+    readonly _tag: 'DirectedFilterAllowAll';
+};
+export type DirectedFilterDenyAll = {
+    readonly _tag: 'DirectedFilterDenyAll';
+};
+export type DirectedFilter<T> = DirectedFilterAllow<T> | DirectedFilterDeny<T> | DirectedFilterAllowAll | DirectedFilterDenyAll;
+/**
+ * Filters a collection based on a DirectedFilter using a custom value getter.
+ * Returns a curried function for partial application.
+ * Short-circuits for AllowAll/DenyAll for performance.
+ *
+ * TODO: Use equivalence trait from schema if available instead of === for comparison
+ *
+ * @param filter - The DirectedFilter to apply
+ * @returns Curried function that takes a value getter and then a collection
+ */
+export declare const filterBy: <FilterItem>(filter: DirectedFilter<FilterItem>) => <Item>(getValue: (item: Item) => FilterItem) => (collection: readonly Item[]) => Item[];
+/**
+ * Filters a collection based on a DirectedFilter using a property name.
+ * Convenience function that extracts values by property key.
+ *
+ * @param filter - The DirectedFilter to apply
+ * @returns Curried function that takes a property name and then a collection
+ */
+export declare function filterByProperty<FilterItem>(filter: DirectedFilter<FilterItem>): <K extends PropertyKey>(propertyName: K) => <Item extends Record<K, any>>(collection: readonly Item[]) => Item[];
+/**
+ * Filters a collection based on a DirectedFilter using identity.
+ * Used when the items themselves are the filter values.
+ *
+ * @param filter - The DirectedFilter to apply
+ * @returns Function that filters a collection
+ */
+export declare const filter: <Item>(filter: DirectedFilter<Item>) => (collection: readonly Item[]) => Item[];
+/**
+ * Const instance for allowing all items.
+ */
+export declare const AllowAll: DirectedFilterAllowAll;
+/**
+ * Const instance for denying all items.
+ */
+export declare const DenyAll: DirectedFilterDenyAll;
+/**
+ * Creates an Allow filter with the specified items.
+ */
+export declare const allow: <T>(items: readonly T[]) => DirectedFilterAllow<T>;
+/**
+ * Creates a Deny filter with the specified items.
+ */
+export declare const deny: <T>(items: readonly T[]) => DirectedFilterDeny<T>;
+/**
+ * Creates a DirectedFilter from only/exclude pattern commonly used in configuration.
+ * Returns AllowAll if neither only nor exclude has items.
+ *
+ * @param only - Items to allow (takes precedence over exclude)
+ * @param exclude - Items to deny
+ * @returns DirectedFilter (never null)
+ */
+export declare const fromOnlyExclude: <T>(only: readonly T[] | undefined, exclude: readonly T[] | undefined, 
+/**
+ * @default allowAll
+ */
+fallback?: DirectedFilterDenyAll | DirectedFilterAllowAll) => DirectedFilter<T>;
+/**
+ * Type guard for DirectedFilterAllow
+ */
+export declare const isAllow: <T>(filter: DirectedFilter<T>) => filter is DirectedFilterAllow<T>;
+/**
+ * Type guard for DirectedFilterDeny
+ */
+export declare const isDeny: <T>(filter: DirectedFilter<T>) => filter is DirectedFilterDeny<T>;
+/**
+ * Type guard for DirectedFilterAllowAll
+ */
+export declare const isAllowAll: <T>(filter: DirectedFilter<T>) => filter is DirectedFilterAllowAll;
+/**
+ * Type guard for DirectedFilterDenyAll
+ */
+export declare const isDenyAll: <T>(filter: DirectedFilter<T>) => filter is DirectedFilterDenyAll;
+//# sourceMappingURL=directed-filter.d.ts.map

package/build/lib/directed-filter/directed-filter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"directed-filter.d.ts","sourceRoot":"","sources":["../../../src/lib/directed-filter/directed-filter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,sBAAsB,CAAA;AAOxC;;;;;;GAMG;AACH,eAAO,MAAM,MAAM,GAAI,UAAU,SAAS,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,YAAY,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqC7E,CAAA;AAMD,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI;IACnC,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAA;IACpC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAA;CAC7B,CAAA;AAED,MAAM,MAAM,kBAAkB,CAAC,CAAC,IAAI;IAClC,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAA;IACnC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAA;CAC7B,CAAA;AAED,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAA;CACxC,CAAA;AAED,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAA;CACvC,CAAA;AAED,MAAM,MAAM,cAAc,CAAC,CAAC,IACxB,mBAAmB,CAAC,CAAC,CAAC,GACtB,kBAAkB,CAAC,CAAC,CAAC,GACrB,sBAAsB,GACtB,qBAAqB,CAAA;AAMzB;;;;;;;;;GASG;AACH,eAAO,MAAM,QAAQ,GAAI,UAAU,EACjC,QAAQ,cAAc,CAAC,UAAU,CAAC,MAEnC,IAAI,EACH,UAAU,CAAC,IAAI,EAAE,IAAI,KAAK,UAAU,MAGpC,YAAY,SAAS,IAAI,EAAE,KAC1B,IAAI,EAeN,CAAA;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,UAAU,EACzC,MAAM,EAAE,cAAc,CAAC,UAAU,CAAC,GACjC,CAAC,CAAC,SAAS,WAAW,EACvB,YAAY,EAAE,CAAC,KACZ,CAAC,IAAI,SAAS,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAC/B,UAAU,EAAE,SAAS,IAAI,EAAE,KACxB,IAAI,EAAE,CAAA;AAUX;;;;;;GAMG;AACH,eAAO,MAAM,MAAM,GAAI,IAAI,EACzB,QAAQ,cAAc,CAAC,IAAI,CAAC,MAG5B,YAAY,SAAS,IAAI,EAAE,KAC1B,IAAI,EAEN,CAAA;AAMD;;GAEG;AACH,eAAO,MAAM,QAAQ,EAAE,sBAA2D,CAAA;AAElF;;GAEG;AACH,eAAO,MAAM,OAAO,EAAE,qBAAyD,CAAA;AAE/E;;GAEG;AACH,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,OAAO,SAAS,CAAC,EAAE,KAAG,mBAAmB,CAAC,CAAC,CAGlE,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,OAAO,SAAS,CAAC,EAAE,KAAG,kBAAkB,CAAC,CAAC,CAGhE,CAAA;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe,GAAI,CAAC,EAC/B,MAAM,SAAS,CAAC,EAAE,GAAG,SAAS,EAC9B,SAAS,SAAS,CAAC,EAAE,GAAG,SAAS;AACjC;;GAEG;AACH,WAAW,qBAAqB,GAAG,sBAAsB,KACxD,cAAc,CAAC,CAAC,CAQlB,CAAA;AAMD;;GAEG;AACH,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,QAAQ,cAAc,CAAC,CAAC,CAAC,KAAG,MAAM,IAAI,mBAAmB,CAAC,CAAC,CAC/C,CAAA;AAEvC;;GAEG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,EAAE,QAAQ,cAAc,CAAC,CAAC,CAAC,KAAG,MAAM,IAAI,kBAAkB,CAAC,CAAC,CAC9C,CAAA;AAEtC;;GAEG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,QAAQ,cAAc,CAAC,CAAC,CAAC,KAAG,MAAM,IAAI,sBAC1B,CAAA;AAE1C;;GAEG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,QAAQ,cAAc,CAAC,CAAC,CAAC,KAAG,MAAM,IAAI,qBAC1B,CAAA"}