taskflow-core 0.2.10 → 0.3.0-beta.1

package/dist/effects/schema.js

@@ -0,0 +1,41 @@
+/** Closed TypeBox contract for EffectIR. Runtime authority still lives in resources/*. */
+import { Type } from "typebox";
+import { PathRefSchema } from "../resources/schema.js";
+import { StringEnum } from "../typebox-helpers.js";
+import { CONFIDENTIALITY_LABELS, EFFECT_KINDS, INTEGRITY_LABELS, } from "./types.js";
+const ConfidentialitySchema = StringEnum(CONFIDENTIALITY_LABELS);
+const IntegritySchema = StringEnum(INTEGRITY_LABELS);
+const common = {
+    id: Type.String({ minLength: 1 }),
+    confidentiality: Type.Optional(ConfidentialitySchema),
+    integrity: Type.Optional(IntegritySchema),
+    purpose: Type.Optional(Type.String()),
+};
+const PathTargetSchema = Type.Object({ kind: Type.Literal("path"), path: PathRefSchema }, { additionalProperties: false });
+const SecretTargetSchema = Type.Object({
+    kind: Type.Literal("secret"),
+    secret: Type.Object({
+        secretId: Type.String({ minLength: 1 }),
+        issuer: Type.Optional(Type.String({ minLength: 1 })),
+    }, { additionalProperties: false }),
+}, { additionalProperties: false });
+const ServiceTargetSchema = Type.Object({
+    kind: Type.Literal("service"),
+    service: Type.Object({
+        serviceId: Type.String({ minLength: 1 }),
+        operation: Type.Optional(Type.String({ minLength: 1 })),
+    }, { additionalProperties: false }),
+}, { additionalProperties: false });
+const fsKinds = EFFECT_KINDS.filter((kind) => kind.startsWith("fs."));
+const ClosedEffectDeclSchema = Type.Union([
+    ...fsKinds.map((kind) => Type.Object({ ...common, kind: Type.Literal(kind), target: PathTargetSchema }, { additionalProperties: false })),
+    Type.Object({ ...common, kind: Type.Literal("secret.read"), target: SecretTargetSchema }, { additionalProperties: false }),
+    Type.Object({ ...common, kind: Type.Literal("service.call"), target: ServiceTargetSchema }, { additionalProperties: false }),
+]);
+// PathRefSchema deliberately uses optional Never fields to encode XOR, which
+// TypeBox validates correctly at runtime but currently infers as `never` when
+// nested through a union. Preserve the closed runtime schema while exposing
+// the independently reviewed EffectDecl TypeScript contract.
+export const EffectDeclSchema = Type.Unsafe(ClosedEffectDeclSchema);
+export const EffectIRSchema = Type.Object({ effects: Type.Array(EffectDeclSchema) }, { additionalProperties: false });
+//# sourceMappingURL=schema.js.map

package/dist/effects/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/effects/schema.ts"],"names":[],"mappings":"AAAA,0FAA0F;AAE1F,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAC/B,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EACN,sBAAsB,EACtB,YAAY,EACZ,gBAAgB,GAEhB,MAAM,YAAY,CAAC;AAEpB,MAAM,qBAAqB,GAAG,UAAU,CAAC,sBAAsB,CAAC,CAAC;AACjE,MAAM,eAAe,GAAG,UAAU,CAAC,gBAAgB,CAAC,CAAC;AAErD,MAAM,MAAM,GAAG;IACd,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACjC,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,qBAAqB,CAAC;IACrD,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC;IACzC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACrC,CAAC;AAEF,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CACnC,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,EACnD,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAC/B,CAAC;AAEF,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CACrC;IACC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC5B,MAAM,EAAE,IAAI,CAAC,MAAM,CAClB;QACC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;QACvC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;KACpD,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAC/B;CACD,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAC/B,CAAC;AAEF,MAAM,mBAAmB,GAAG,IAAI,CAAC,MAAM,CACtC;IACC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;IAC7B,OAAO,EAAE,IAAI,CAAC,MAAM,CACnB;QACC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;QACxC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;KACvD,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAC/B;CACD,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAC/B,CAAC;AAEF,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;AAEtE,MAAM,sBAAsB,GAAG,IAAI,CAAC,KAAK,CAAC;IACzC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CACnC,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,EACjE,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAC/B,CAAC;IACF,IAAI,CAAC,MAAM,CACV,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,kBAAkB,EAAE,EAC5E,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAC/B;IACD,IAAI,CAAC,MAAM,CACV,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,MAAM,EAAE,mBAAmB,EAAE,EAC9E,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAC/B;CACD,CAAC,CAAC;AAEH,6EAA6E;AAC7E,8EAA8E;AAC9E,4EAA4E;AAC5E,6DAA6D;AAC7D,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAa,sBAAsB,CAAC,CAAC;AAEhF,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CACxC,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,EACzC,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAC/B,CAAC"}

package/dist/effects/types.d.ts

@@ -0,0 +1,93 @@
+/**
+ * Trusted Effects (0.3 MVP) — pure type contract.
+ *
+ * EffectIR is the closed vocabulary of side effects a FlowIR node may declare.
+ * PathRef is reused from resources/*; SecretRef/ServiceRef are typed handles
+ * that fail closed until a real backend is bound (MVP: type + validation only).
+ *
+ * @see docs/internal/0.3.0-trusted-effects-mvp.md
+ */
+import type { PathRef } from "../resources/schema.ts";
+/** Confidentiality lattice (low → high). Higher may not flow to lower sinks. */
+export declare const CONFIDENTIALITY_LABELS: readonly ["public", "internal", "secret"];
+export type ConfidentialityLabel = (typeof CONFIDENTIALITY_LABELS)[number];
+/** Integrity lattice (low → high). Lower integrity must not overwrite higher. */
+export declare const INTEGRITY_LABELS: readonly ["untrusted", "project", "verified"];
+export type IntegrityLabel = (typeof INTEGRITY_LABELS)[number];
+export declare const CONFIDENTIALITY_RANK: Record<ConfidentialityLabel, number>;
+export declare const INTEGRITY_RANK: Record<IntegrityLabel, number>;
+/**
+ * Opaque secret handle — never carries secret material.
+ * MVP: validation only; no vault backend.
+ */
+export interface SecretRef {
+    secretId: string;
+    issuer?: string;
+}
+/**
+ * External service endpoint handle — no ambient network authority from strings.
+ * MVP: validation only; no live adapter.
+ */
+export interface ServiceRef {
+    serviceId: string;
+    /** Optional logical operation name (e.g. "createIssue"). */
+    operation?: string;
+}
+export type EffectTarget = {
+    kind: "path";
+    path: PathRef;
+} | {
+    kind: "secret";
+    secret: SecretRef;
+} | {
+    kind: "service";
+    service: ServiceRef;
+};
+export declare const EFFECT_KINDS: readonly ["fs.read", "fs.write", "fs.delete", "secret.read", "service.call"];
+export type EffectKind = (typeof EFFECT_KINDS)[number];
+/**
+ * One declared side effect on a FlowIR / phase node.
+ * `id` is stable within the flow for why-effect attribution.
+ */
+export interface EffectDecl {
+    id: string;
+    kind: EffectKind;
+    target: EffectTarget;
+    confidentiality?: ConfidentialityLabel;
+    integrity?: IntegrityLabel;
+    /** Free-text purpose for why-* explainers (not authority). */
+    purpose?: string;
+}
+/** EffectIR: bag of effects attached to a node or whole flow. */
+export interface EffectIR {
+    effects: EffectDecl[];
+}
+export interface WhyAuthorized {
+    effectId: string;
+    allowed: boolean;
+    principalId?: string;
+    capabilityBindingIds: string[];
+    reasons: string[];
+}
+export interface WhyContext {
+    effectId: string;
+    runId: string;
+    phaseId?: string;
+    confidentiality: ConfidentialityLabel;
+    integrity: IntegrityLabel;
+    workspaceRoot?: string;
+    reasons: string[];
+}
+export interface WhyEffect {
+    effectId: string;
+    kind: EffectKind;
+    targetSummary: string;
+    purpose?: string;
+    intentId?: string;
+    journalStatus?: string;
+    status: "declared" | "staged" | "committed" | "rejected" | "unknown" | "skipped";
+    reasons: string[];
+    authorized: WhyAuthorized;
+    context: WhyContext;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/effects/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/effects/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAMtD,gFAAgF;AAChF,eAAO,MAAM,sBAAsB,YAAI,QAAQ,EAAE,UAAU,EAAE,QAAQ,CAAU,CAAC;AAChF,MAAM,MAAM,oBAAoB,GAAG,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE3E,iFAAiF;AACjF,eAAO,MAAM,gBAAgB,YAAI,WAAW,EAAE,SAAS,EAAE,UAAU,CAAU,CAAC;AAC9E,MAAM,MAAM,cAAc,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE/D,eAAO,MAAM,oBAAoB,EAAE,MAAM,CAAC,oBAAoB,EAAE,MAAM,CAIrE,CAAC;AAEF,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE,MAAM,CAIzD,CAAC;AAMF;;;GAGG;AACH,MAAM,WAAW,SAAS;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;;GAGG;AACH,MAAM,WAAW,UAAU;IAC1B,SAAS,EAAE,MAAM,CAAC;IAClB,4DAA4D;IAC5D,SAAS,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,MAAM,YAAY,GACrB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC/B;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,SAAS,CAAA;CAAE,GACrC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,UAAU,CAAA;CAAE,CAAC;AAM5C,eAAO,MAAM,YAAY,YACxB,SAAS,EACT,UAAU,EACV,WAAW,EACX,aAAa,EACb,cAAc,CACL,CAAC;AACX,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvD;;;GAGG;AACH,MAAM,WAAW,UAAU;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,UAAU,CAAC;IACjB,MAAM,EAAE,YAAY,CAAC;IACrB,eAAe,CAAC,EAAE,oBAAoB,CAAC;IACvC,SAAS,CAAC,EAAE,cAAc,CAAC;IAC3B,8DAA8D;IAC9D,OAAO,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,iEAAiE;AACjE,MAAM,WAAW,QAAQ;IACxB,OAAO,EAAE,UAAU,EAAE,CAAC;CACtB;AAMD,MAAM,WAAW,aAAa;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,OAAO,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,MAAM,WAAW,UAAU;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,eAAe,EAAE,oBAAoB,CAAC;IACtC,SAAS,EAAE,cAAc,CAAC;IAC1B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,MAAM,WAAW,SAAS;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,UAAU,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,UAAU,GAAG,QAAQ,GAAG,WAAW,GAAG,UAAU,GAAG,SAAS,GAAG,SAAS,CAAC;IACjF,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,UAAU,EAAE,aAAa,CAAC;IAC1B,OAAO,EAAE,UAAU,CAAC;CACpB"}

package/dist/effects/types.js

@@ -0,0 +1,37 @@
+/**
+ * Trusted Effects (0.3 MVP) — pure type contract.
+ *
+ * EffectIR is the closed vocabulary of side effects a FlowIR node may declare.
+ * PathRef is reused from resources/*; SecretRef/ServiceRef are typed handles
+ * that fail closed until a real backend is bound (MVP: type + validation only).
+ *
+ * @see docs/internal/0.3.0-trusted-effects-mvp.md
+ */
+// ---------------------------------------------------------------------------
+// Information-flow labels (MVP fixed lattice)
+// ---------------------------------------------------------------------------
+/** Confidentiality lattice (low → high). Higher may not flow to lower sinks. */
+export const CONFIDENTIALITY_LABELS = ["public", "internal", "secret"];
+/** Integrity lattice (low → high). Lower integrity must not overwrite higher. */
+export const INTEGRITY_LABELS = ["untrusted", "project", "verified"];
+export const CONFIDENTIALITY_RANK = {
+    public: 0,
+    internal: 1,
+    secret: 2,
+};
+export const INTEGRITY_RANK = {
+    untrusted: 0,
+    project: 1,
+    verified: 2,
+};
+// ---------------------------------------------------------------------------
+// Effect kinds (closed set for MVP)
+// ---------------------------------------------------------------------------
+export const EFFECT_KINDS = [
+    "fs.read",
+    "fs.write",
+    "fs.delete",
+    "secret.read",
+    "service.call",
+];
+//# sourceMappingURL=types.js.map

package/dist/effects/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/effects/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,8EAA8E;AAC9E,8CAA8C;AAC9C,8EAA8E;AAE9E,gFAAgF;AAChF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,CAAU,CAAC;AAGhF,iFAAiF;AACjF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,WAAW,EAAE,SAAS,EAAE,UAAU,CAAU,CAAC;AAG9E,MAAM,CAAC,MAAM,oBAAoB,GAAyC;IACzE,MAAM,EAAE,CAAC;IACT,QAAQ,EAAE,CAAC;IACX,MAAM,EAAE,CAAC;CACT,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAmC;IAC7D,SAAS,EAAE,CAAC;IACZ,OAAO,EAAE,CAAC;IACV,QAAQ,EAAE,CAAC;CACX,CAAC;AA8BF,8EAA8E;AAC9E,oCAAoC;AACpC,8EAA8E;AAE9E,MAAM,CAAC,MAAM,YAAY,GAAG;IAC3B,SAAS;IACT,UAAU;IACV,WAAW;IACX,aAAa;IACb,cAAc;CACL,CAAC"}

package/dist/effects/validate.d.ts

@@ -0,0 +1,103 @@
+/**
+ * Static EffectIR validation: kinds, refs, labels, mutating-path overlap.
+ * Pure — no I/O.
+ */
+import { type PathRef } from "../resources/schema.ts";
+import { type EffectDecl, type EffectIR, type EffectKind, type SecretRef, type ServiceRef } from "./types.ts";
+export interface EffectValidationIssue {
+    severity: "error" | "warning";
+    code: string;
+    message: string;
+    effectId?: string;
+    pathA?: string;
+    pathB?: string;
+}
+export interface EffectValidationResult {
+    ok: boolean;
+    issues: EffectValidationIssue[];
+}
+type ValidEffectRecord = Record<string, unknown> & {
+    id: string;
+    kind: EffectKind;
+};
+/** Extract portable relative path string from a PathRef for overlap checks. */
+export declare function pathRefRelativeKey(pathRef: PathRef): string | undefined;
+/**
+ * True if path A is the same as, a parent of, or a child of path B
+ * (portable `/` paths, no `..`).
+ */
+export declare function pathsOverlap(a: string, b: string): boolean;
+/**
+ * Validate an EffectIR bag: shape, labels, target/kind consistency, overlap.
+ */
+export declare function validateEffectIR(ir: EffectIR | {
+    effects?: unknown;
+}): EffectValidationResult;
+export interface EffectFlowPhaseLike {
+    id?: unknown;
+    effects?: unknown;
+    dependsOn?: unknown;
+    from?: unknown;
+    type?: unknown;
+    def?: unknown;
+    use?: unknown;
+    final?: unknown;
+}
+export interface ComposedEffectFlowLike {
+    name?: unknown;
+    phases?: readonly EffectFlowPhaseLike[];
+}
+interface LabeledEffect {
+    label: string;
+    effect: ValidEffectRecord;
+}
+interface PhaseEffectSummary {
+    sources: LabeledEffect[];
+    sinks: LabeledEffect[];
+}
+export interface ComposedEffectFlowOptions {
+    resolveFlow?: (name: string) => ComposedEffectFlowLike | undefined;
+    /**
+     * Static gates (validateTaskflow / verifyTaskflow / FlowIR translate+compile)
+     * run without a flow store, so a `flow{use: <saved>}` child they cannot load
+     * degrades to the unknown-boundary summary (secret source + public sink).
+     * Legal saved-subflow compositions — e.g. a benign child followed by a
+     * declared write — then hard-fail even though the runtime, which resolves
+     * the name through `loadFlow`, accepts them. When this option is set, an
+     * unresolved `use` still emits the conservative unknown-boundary taint but
+     * reports it as advisory warnings (codes `unresolved-flow-use` /
+     * `unresolved-flow-use-taint`) instead of errors. Runtime admission (with
+     * `resolveFlow`) remains the authoritative fail-closed gate for real
+     * violations. Dynamic inline `def` boundaries are unaffected — they stay
+     * hard-tainted by design.
+     */
+    downgradeUnresolvedUse?: boolean;
+}
+/**
+ * Conservative DAG-wide label flow. Every source reachable through a phase's
+ * dependencies may influence that phase's sinks, including through unlabeled
+ * intermediate phases. This is a pure static check; conditional branches are
+ * intentionally not used to declassify data.
+ */
+export declare function validateEffectFlow(phases: readonly EffectFlowPhaseLike[], dependencyIds?: (phase: EffectFlowPhaseLike) => readonly string[], phaseSummaries?: ReadonlyMap<string, PhaseEffectSummary>): EffectValidationResult;
+/**
+ * Validate label flow across nested flow/expand boundaries. Child sources are
+ * summarized onto the parent node and child sinks receive the parent's
+ * dependency-reachable sources. Unresolved saved/dynamic children expose a
+ * maximally confidential source and public sink until runtime resolution.
+ * With {@link ComposedEffectFlowOptions.downgradeUnresolvedUse} set (static
+ * gates without a flow loader), unresolvable `flow{use}` boundaries report as
+ * advisory warnings instead of errors; runtime admission stays authoritative.
+ */
+export declare function validateComposedEffectFlow(flow: ComposedEffectFlowLike, options?: ComposedEffectFlowOptions): EffectValidationResult;
+/** Type guard for a well-formed SecretRef (no material). */
+export declare function isSecretRef(v: unknown): v is SecretRef;
+/** Type guard for ServiceRef. */
+export declare function isServiceRef(v: unknown): v is ServiceRef;
+/** Collect mutating path keys from effects (static literals only). */
+export declare function collectMutatingPathKeys(effects: EffectDecl[]): Array<{
+    effectId: string;
+    pathKey: string;
+}>;
+export {};
+//# sourceMappingURL=validate.d.ts.map

package/dist/effects/validate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/effects/validate.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAiC,KAAK,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAGrF,OAAO,EAON,KAAK,UAAU,EACf,KAAK,QAAQ,EACb,KAAK,UAAU,EAEf,KAAK,SAAS,EACd,KAAK,UAAU,EACf,MAAM,YAAY,CAAC;AAEpB,MAAM,WAAW,qBAAqB;IACrC,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,sBAAsB;IACtC,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,qBAAqB,EAAE,CAAC;CAChC;AAkBD,KAAK,iBAAiB,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AAuDpF,+EAA+E;AAC/E,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CASvE;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,OAAO,CAM1D;AAoED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,QAAQ,GAAG;IAAE,OAAO,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,sBAAsB,CAuK7F;AAED,MAAM,WAAW,mBAAmB;IACnC,EAAE,CAAC,EAAE,OAAO,CAAC;IACb,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,KAAK,CAAC,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,sBAAsB;IACtC,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,MAAM,CAAC,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACxC;AAED,UAAU,aAAa;IACtB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,iBAAiB,CAAC;CAC1B;AAED,UAAU,kBAAkB;IAC3B,OAAO,EAAE,aAAa,EAAE,CAAC;IACzB,KAAK,EAAE,aAAa,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,yBAAyB;IACzC,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,sBAAsB,GAAG,SAAS,CAAC;IACnE;;;;;;;;;;;;;OAaG;IACH,sBAAsB,CAAC,EAAE,OAAO,CAAC;CACjC;AA2DD;;;;;GAKG;AACH,wBAAgB,kBAAkB,CACjC,MAAM,EAAE,SAAS,mBAAmB,EAAE,EACtC,aAAa,GAAE,CAAC,KAAK,EAAE,mBAAmB,KAAK,SAAS,MAAM,EAG7D,EACD,cAAc,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAC,GACtD,sBAAsB,CAwCxB;AAqFD;;;;;;;;GAQG;AACH,wBAAgB,0BAA0B,CACzC,IAAI,EAAE,sBAAsB,EAC5B,OAAO,GAAE,yBAA8B,GACrC,sBAAsB,CAGxB;AAED,4DAA4D;AAC5D,wBAAgB,WAAW,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,SAAS,CAEtD;AAED,iCAAiC;AACjC,wBAAgB,YAAY,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,UAAU,CAExD;AAED,sEAAsE;AACtE,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,CAS3G"}