@arke-institute/rhiza 0.1.0

package/dist/validation/validate-klados.js

@@ -0,0 +1,139 @@
+/**
+ * Klados Validation
+ *
+ * Validates klados entity properties at creation/update time (static validation).
+ * This ensures klados definitions are well-formed before they can be activated.
+ */
+/**
+ * Validate klados properties (static validation)
+ *
+ * Checks:
+ * - endpoint: Required, must be valid URL
+ * - accepts.types: Required, non-empty array
+ * - accepts.cardinality: Must be 'one' or 'many'
+ * - produces.types: Required, non-empty array
+ * - produces.cardinality: Must be 'one' or 'many'
+ * - actions_required: Required, non-empty array
+ */
+export function validateKladosProperties(properties) {
+    const errors = [];
+    const warnings = [];
+    // Handle null/undefined input
+    if (!properties) {
+        errors.push({
+            code: 'MISSING_ENDPOINT',
+            message: 'Klados must have an endpoint URL',
+            field: 'endpoint',
+        });
+        errors.push({
+            code: 'EMPTY_ACCEPTS_TYPES',
+            message: 'accepts.types must be non-empty (use ["*"] for any)',
+            field: 'accepts.types',
+        });
+        errors.push({
+            code: 'EMPTY_PRODUCES_TYPES',
+            message: 'produces.types must be non-empty (use ["*"] for any)',
+            field: 'produces.types',
+        });
+        errors.push({
+            code: 'EMPTY_ACTIONS',
+            message: 'actions_required must be non-empty',
+            field: 'actions_required',
+        });
+        return { valid: false, errors, warnings };
+    }
+    // =========================================================================
+    // Endpoint Validation
+    // =========================================================================
+    if (!properties.endpoint) {
+        errors.push({
+            code: 'MISSING_ENDPOINT',
+            message: 'Klados must have an endpoint URL',
+            field: 'endpoint',
+        });
+    }
+    else {
+        try {
+            const url = new URL(properties.endpoint);
+            // Only allow http and https protocols
+            if (!['http:', 'https:'].includes(url.protocol)) {
+                errors.push({
+                    code: 'INVALID_ENDPOINT',
+                    message: `Invalid endpoint URL protocol: ${url.protocol}`,
+                    field: 'endpoint',
+                });
+            }
+        }
+        catch {
+            errors.push({
+                code: 'INVALID_ENDPOINT',
+                message: `Invalid endpoint URL: ${properties.endpoint}`,
+                field: 'endpoint',
+            });
+        }
+    }
+    // =========================================================================
+    // Accepts Contract Validation
+    // =========================================================================
+    if (!properties.accepts?.types || properties.accepts.types.length === 0) {
+        errors.push({
+            code: 'EMPTY_ACCEPTS_TYPES',
+            message: 'accepts.types must be non-empty (use ["*"] for any)',
+            field: 'accepts.types',
+        });
+    }
+    if (!properties.accepts?.cardinality) {
+        errors.push({
+            code: 'INVALID_CARDINALITY',
+            message: 'accepts.cardinality must be "one" or "many"',
+            field: 'accepts.cardinality',
+        });
+    }
+    else if (!['one', 'many'].includes(properties.accepts.cardinality)) {
+        errors.push({
+            code: 'INVALID_CARDINALITY',
+            message: `accepts.cardinality must be "one" or "many", got "${properties.accepts.cardinality}"`,
+            field: 'accepts.cardinality',
+        });
+    }
+    // =========================================================================
+    // Produces Contract Validation
+    // =========================================================================
+    if (!properties.produces?.types || properties.produces.types.length === 0) {
+        errors.push({
+            code: 'EMPTY_PRODUCES_TYPES',
+            message: 'produces.types must be non-empty (use ["*"] for any)',
+            field: 'produces.types',
+        });
+    }
+    if (!properties.produces?.cardinality) {
+        errors.push({
+            code: 'INVALID_CARDINALITY',
+            message: 'produces.cardinality must be "one" or "many"',
+            field: 'produces.cardinality',
+        });
+    }
+    else if (!['one', 'many'].includes(properties.produces.cardinality)) {
+        errors.push({
+            code: 'INVALID_CARDINALITY',
+            message: `produces.cardinality must be "one" or "many", got "${properties.produces.cardinality}"`,
+            field: 'produces.cardinality',
+        });
+    }
+    // =========================================================================
+    // Actions Required Validation
+    // =========================================================================
+    if (!properties.actions_required || properties.actions_required.length === 0) {
+        errors.push({
+            code: 'EMPTY_ACTIONS',
+            message: 'actions_required must be non-empty',
+            field: 'actions_required',
+        });
+    }
+    return {
+        valid: errors.length === 0,
+        errors,
+        warnings,
+    };
+}
+//# sourceMappingURL=validate-klados.js.map

package/dist/validation/validate-klados.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-klados.js","sourceRoot":"","sources":["../../src/validation/validate-klados.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAyBH;;;;;;;;;;GAUG;AACH,MAAM,UAAU,wBAAwB,CACtC,UAAwD;IAExD,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAwB,EAAE,CAAC;IAEzC,8BAA8B;IAC9B,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,kCAAkC;YAC3C,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,qDAAqD;YAC9D,KAAK,EAAE,eAAe;SACvB,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,sBAAsB;YAC5B,OAAO,EAAE,sDAAsD;YAC/D,KAAK,EAAE,gBAAgB;SACxB,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,oCAAoC;YAC7C,KAAK,EAAE,kBAAkB;SAC1B,CAAC,CAAC;QACH,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IAC5C,CAAC;IAED,4EAA4E;IAC5E,sBAAsB;IACtB,4EAA4E;IAE5E,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;QACzB,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,kCAAkC;YAC3C,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;IACL,CAAC;SAAM,CAAC;QACN,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YACzC,sCAAsC;YACtC,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAChD,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,kBAAkB;oBACxB,OAAO,EAAE,kCAAkC,GAAG,CAAC,QAAQ,EAAE;oBACzD,KAAK,EAAE,UAAU;iBAClB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,yBAAyB,UAAU,CAAC,QAAQ,EAAE;gBACvD,KAAK,EAAE,UAAU;aAClB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,8BAA8B;IAC9B,4EAA4E;IAE5E,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,IAAI,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,qDAAqD;YAC9D,KAAK,EAAE,eAAe;SACvB,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,WAAW,EAAE,CAAC;QACrC,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,6CAA6C;YACtD,KAAK,EAAE,qBAAqB;SAC7B,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QACrE,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,qDAAqD,UAAU,CAAC,OAAO,CAAC,WAAW,GAAG;YAC/F,KAAK,EAAE,qBAAqB;SAC7B,CAAC,CAAC;IACL,CAAC;IAED,4EAA4E;IAC5E,+BAA+B;IAC/B,4EAA4E;IAE5E,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,KAAK,IAAI,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1E,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,sBAAsB;YAC5B,OAAO,EAAE,sDAAsD;YAC/D,KAAK,EAAE,gBAAgB;SACxB,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,8CAA8C;YACvD,KAAK,EAAE,sBAAsB;SAC9B,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QACtE,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,sDAAsD,UAAU,CAAC,QAAQ,CAAC,WAAW,GAAG;YACjG,KAAK,EAAE,sBAAsB;SAC9B,CAAC,CAAC;IACL,CAAC;IAED,4EAA4E;IAC5E,8BAA8B;IAC9B,4EAA4E;IAE5E,IAAI,CAAC,UAAU,CAAC,gBAAgB,IAAI,UAAU,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7E,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,oCAAoC;YAC7C,KAAK,EAAE,kBAAkB;SAC1B,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;QAC1B,MAAM;QACN,QAAQ;KACT,CAAC;AACJ,CAAC"}

package/dist/validation/validate-rhiza.d.ts

@@ -0,0 +1,29 @@
+/**
+ * Rhiza Validation
+ *
+ * Validates rhiza entity properties at creation/update time (static validation).
+ * This ensures rhiza definitions are structurally correct.
+ */
+import type { RhizaProperties } from '../types';
+import type { ValidationResult } from './validate-klados';
+/**
+ * Validate rhiza properties (static validation)
+ *
+ * Checks:
+ * - entry: Required, must be in flow
+ * - flow: Required, non-empty
+ * - All targets in flow must exist
+ * - All paths must terminate (done: true or external rhiza)
+ * - No cycles allowed
+ * - Route rules must have where and target
+ */
+export declare function validateRhizaProperties(properties: Partial<RhizaProperties> | null | undefined): ValidationResult;
+declare module './validate-klados' {
+    interface ValidationWarning {
+        klados_id?: string;
+    }
+    interface ValidationError {
+        klados_id?: string;
+    }
+}
+//# sourceMappingURL=validate-rhiza.d.ts.map

package/dist/validation/validate-rhiza.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-rhiza.d.ts","sourceRoot":"","sources":["../../src/validation/validate-rhiza.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,eAAe,EAA4D,MAAM,UAAU,CAAC;AAE1G,OAAO,KAAK,EAAE,gBAAgB,EAAsC,MAAM,mBAAmB,CAAC;AAE9F;;;;;;;;;;GAUG;AACH,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,OAAO,CAAC,eAAe,CAAC,GAAG,IAAI,GAAG,SAAS,GACtD,gBAAgB,CA6FlB;AAuVD,OAAO,QAAQ,mBAAmB,CAAC;IACjC,UAAU,iBAAiB;QACzB,SAAS,CAAC,EAAE,MAAM,CAAC;KACpB;IACD,UAAU,eAAe;QACvB,SAAS,CAAC,EAAE,MAAM,CAAC;KACpB;CACF"}

package/dist/validation/validate-rhiza.js

@@ -0,0 +1,382 @@
+/**
+ * Rhiza Validation
+ *
+ * Validates rhiza entity properties at creation/update time (static validation).
+ * This ensures rhiza definitions are structurally correct.
+ */
+import { isEntityRef } from '../types';
+/**
+ * Validate rhiza properties (static validation)
+ *
+ * Checks:
+ * - entry: Required, must be in flow
+ * - flow: Required, non-empty
+ * - All targets in flow must exist
+ * - All paths must terminate (done: true or external rhiza)
+ * - No cycles allowed
+ * - Route rules must have where and target
+ */
+export function validateRhizaProperties(properties) {
+    const errors = [];
+    const warnings = [];
+    // Handle null/undefined input
+    if (!properties) {
+        errors.push({
+            code: 'MISSING_ENTRY',
+            message: 'Rhiza must have an entry klados ID',
+            field: 'entry',
+        });
+        errors.push({
+            code: 'EMPTY_FLOW',
+            message: 'Rhiza must have at least one flow step',
+            field: 'flow',
+        });
+        return { valid: false, errors, warnings };
+    }
+    // Entry required and must be valid EntityRef
+    if (!properties.entry) {
+        errors.push({
+            code: 'MISSING_ENTRY',
+            message: 'Rhiza must have an entry klados reference',
+            field: 'entry',
+        });
+    }
+    else if (!isEntityRef(properties.entry)) {
+        errors.push({
+            code: 'INVALID_ENTRY',
+            message: 'Rhiza entry must be an EntityRef with a pi field',
+            field: 'entry',
+        });
+    }
+    else if (!properties.entry.pi) {
+        errors.push({
+            code: 'MISSING_ENTRY',
+            message: 'Rhiza entry reference must have a non-empty pi field',
+            field: 'entry',
+        });
+    }
+    // Flow required
+    if (!properties.flow || Object.keys(properties.flow).length === 0) {
+        errors.push({
+            code: 'EMPTY_FLOW',
+            message: 'Rhiza must have at least one flow step',
+            field: 'flow',
+        });
+        return { valid: false, errors, warnings };
+    }
+    // Entry must be in flow (extract pi from EntityRef)
+    const entryId = isEntityRef(properties.entry) ? properties.entry.pi : null;
+    if (entryId && !properties.flow[entryId]) {
+        errors.push({
+            code: 'ENTRY_NOT_IN_FLOW',
+            message: `Entry klados '${entryId}' is not in flow`,
+            field: 'entry',
+        });
+    }
+    // Validate each flow step
+    for (const [kladosId, step] of Object.entries(properties.flow)) {
+        validateFlowStep(kladosId, step, properties.flow, errors, warnings);
+    }
+    // Check all paths terminate (also detects cycles)
+    if (entryId && properties.flow[entryId]) {
+        const terminationResult = validateAllPathsTerminate(entryId, properties.flow);
+        errors.push(...terminationResult.errors);
+    }
+    // Check for unreachable kladoi
+    if (entryId && properties.flow[entryId]) {
+        const reachable = findReachableIds(entryId, properties.flow);
+        for (const kladosId of Object.keys(properties.flow)) {
+            if (!reachable.has(kladosId)) {
+                warnings.push({
+                    code: 'UNREACHABLE_KLADOS',
+                    message: `Klados '${kladosId}' is not reachable from entry`,
+                    klados_id: kladosId,
+                });
+            }
+        }
+    }
+    return {
+        valid: errors.length === 0,
+        errors,
+        warnings,
+    };
+}
+/**
+ * Validate a single flow step
+ */
+function validateFlowStep(kladosId, step, flow, errors, warnings) {
+    if (!step.then) {
+        errors.push({
+            code: 'MISSING_THEN',
+            message: `Flow step for '${kladosId}' is missing 'then' specification`,
+            klados_id: kladosId,
+        });
+        return;
+    }
+    validateThen(kladosId, step.then, flow, errors, warnings);
+}
+/**
+ * Validate a then spec
+ */
+function validateThen(kladosId, then, flow, errors, warnings) {
+    if ('done' in then) {
+        // Terminal - valid
+        return;
+    }
+    if ('pass' in then) {
+        validateTarget(kladosId, 'pass', then.pass, flow, errors);
+        if (then.route) {
+            validateRouteRules(kladosId, then.route, flow, errors, warnings);
+        }
+        return;
+    }
+    if ('scatter' in then) {
+        validateTarget(kladosId, 'scatter', then.scatter, flow, errors);
+        if (then.route) {
+            validateRouteRules(kladosId, then.route, flow, errors, warnings);
+        }
+        return;
+    }
+    if ('gather' in then) {
+        validateTarget(kladosId, 'gather', then.gather, flow, errors);
+        if (then.route) {
+            validateRouteRules(kladosId, then.route, flow, errors, warnings);
+        }
+        return;
+    }
+    errors.push({
+        code: 'INVALID_HANDOFF',
+        message: `Unknown handoff type in '${kladosId}': ${JSON.stringify(then)}`,
+        klados_id: kladosId,
+    });
+}
+/**
+ * Validate route rules on a handoff
+ */
+function validateRouteRules(kladosId, routes, _flow, errors, _warnings) {
+    for (let i = 0; i < routes.length; i++) {
+        const rule = routes[i];
+        if (!rule.where) {
+            errors.push({
+                code: 'INVALID_ROUTE_RULE',
+                message: `Route rule ${i} in '${kladosId}' is missing 'where' condition`,
+                klados_id: kladosId,
+            });
+        }
+        else {
+            validateWhereCondition(kladosId, rule.where, i, errors);
+        }
+        if (!rule.target) {
+            errors.push({
+                code: 'INVALID_ROUTE_RULE',
+                message: `Route rule ${i} in '${kladosId}' is missing 'target'`,
+                klados_id: kladosId,
+            });
+        }
+        else if (!isEntityRef(rule.target)) {
+            errors.push({
+                code: 'INVALID_TARGET',
+                message: `Route rule ${i} target in '${kladosId}' must be an EntityRef with a pi field`,
+                klados_id: kladosId,
+            });
+        }
+    }
+}
+/**
+ * Validate a where condition (recursive for AND/OR)
+ */
+function validateWhereCondition(kladosId, where, ruleIndex, errors) {
+    if ('property' in where && 'equals' in where) {
+        // WhereEquals - valid
+        if (typeof where.property !== 'string') {
+            errors.push({
+                code: 'INVALID_WHERE_CONDITION',
+                message: `Route rule ${ruleIndex} in '${kladosId}': 'property' must be a string`,
+                klados_id: kladosId,
+            });
+        }
+        return;
+    }
+    if ('and' in where) {
+        // WhereAnd
+        if (!Array.isArray(where.and) || where.and.length === 0) {
+            errors.push({
+                code: 'INVALID_WHERE_CONDITION',
+                message: `Route rule ${ruleIndex} in '${kladosId}': 'and' must be a non-empty array`,
+                klados_id: kladosId,
+            });
+            return;
+        }
+        for (const condition of where.and) {
+            validateWhereCondition(kladosId, condition, ruleIndex, errors);
+        }
+        return;
+    }
+    if ('or' in where) {
+        // WhereOr
+        if (!Array.isArray(where.or) || where.or.length === 0) {
+            errors.push({
+                code: 'INVALID_WHERE_CONDITION',
+                message: `Route rule ${ruleIndex} in '${kladosId}': 'or' must be a non-empty array`,
+                klados_id: kladosId,
+            });
+            return;
+        }
+        for (const condition of where.or) {
+            validateWhereCondition(kladosId, condition, ruleIndex, errors);
+        }
+        return;
+    }
+    errors.push({
+        code: 'INVALID_WHERE_CONDITION',
+        message: `Route rule ${ruleIndex} in '${kladosId}': invalid where condition format`,
+        klados_id: kladosId,
+    });
+}
+/**
+ * Validate a target reference
+ *
+ * Note: This only validates that the target is in the flow for static validation.
+ * External targets (rhiza IDs) are validated at runtime.
+ */
+function validateTarget(sourceKladosId, handoffType, target, flow, errors) {
+    if (!target || !isEntityRef(target)) {
+        errors.push({
+            code: 'INVALID_TARGET',
+            message: `Invalid target in '${sourceKladosId}' ${handoffType}: must be an EntityRef with a pi field`,
+            klados_id: sourceKladosId,
+            field: `then.${handoffType}`,
+        });
+        return;
+    }
+    const targetId = target.pi;
+    // Target must be in flow (for static validation)
+    // At runtime, targets not in flow are resolved as rhiza IDs
+    if (!flow[targetId]) {
+        errors.push({
+            code: 'INVALID_TARGET',
+            message: `Target '${targetId}' in '${sourceKladosId}' is not in flow`,
+            klados_id: sourceKladosId,
+            field: `then.${handoffType}`,
+        });
+    }
+}
+/**
+ * Validate all paths terminate
+ *
+ * Traverses all possible paths from entry and ensures each ends in:
+ * - done: true (terminal)
+ * - A target not in flow (assumed to be a rhiza, validated at runtime)
+ *
+ * Also detects cycles during traversal.
+ */
+function validateAllPathsTerminate(entry, flow) {
+    const errors = [];
+    function traverse(current, path) {
+        // Cycle detection
+        if (path.includes(current)) {
+            const cycleStart = path.indexOf(current);
+            const cycle = [...path.slice(cycleStart), current];
+            errors.push({
+                code: 'CYCLE_DETECTED',
+                message: `Cycle detected: ${cycle.join(' -> ')}`,
+            });
+            return;
+        }
+        const step = flow[current];
+        if (!step || !step.then) {
+            // Not in flow - assumed to be rhiza target (valid termination)
+            return;
+        }
+        const then = step.then;
+        const newPath = [...path, current];
+        if ('done' in then) {
+            // Terminal - valid
+            return;
+        }
+        // Get all possible targets (including route alternatives)
+        const targets = extractAllTargets(then);
+        if (targets.length === 0) {
+            errors.push({
+                code: 'UNTERMINATED_PATH',
+                message: `Path ending at '${current}' has no valid target`,
+                klados_id: current,
+            });
+            return;
+        }
+        for (const target of targets) {
+            if (!flow[target]) {
+                // Target not in flow - assumed to be rhiza (valid termination)
+                continue;
+            }
+            traverse(target, newPath);
+        }
+    }
+    traverse(entry, []);
+    return { errors };
+}
+/**
+ * Extract all possible targets from a ThenSpec (including route alternatives)
+ * Returns the pi (ID) strings from EntityRefs
+ */
+function extractAllTargets(then) {
+    const targets = [];
+    if ('done' in then) {
+        return [];
+    }
+    if ('pass' in then) {
+        if (isEntityRef(then.pass))
+            targets.push(then.pass.pi);
+        if (then.route) {
+            for (const rule of then.route) {
+                if (isEntityRef(rule.target))
+                    targets.push(rule.target.pi);
+            }
+        }
+    }
+    if ('scatter' in then) {
+        if (isEntityRef(then.scatter))
+            targets.push(then.scatter.pi);
+        if (then.route) {
+            for (const rule of then.route) {
+                if (isEntityRef(rule.target))
+                    targets.push(rule.target.pi);
+            }
+        }
+    }
+    if ('gather' in then) {
+        if (isEntityRef(then.gather))
+            targets.push(then.gather.pi);
+        if (then.route) {
+            for (const rule of then.route) {
+                if (isEntityRef(rule.target))
+                    targets.push(rule.target.pi);
+            }
+        }
+    }
+    return targets;
+}
+/**
+ * Find all IDs reachable from entry
+ */
+function findReachableIds(entry, flow) {
+    const reachable = new Set();
+    const queue = [entry];
+    while (queue.length > 0) {
+        const current = queue.shift();
+        if (reachable.has(current))
+            continue;
+        reachable.add(current);
+        const step = flow[current];
+        if (!step || !step.then)
+            continue;
+        const targets = extractAllTargets(step.then);
+        for (const target of targets) {
+            if (!reachable.has(target) && flow[target]) {
+                queue.push(target);
+            }
+        }
+    }
+    return reachable;
+}
+//# sourceMappingURL=validate-rhiza.js.map

package/dist/validation/validate-rhiza.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-rhiza.js","sourceRoot":"","sources":["../../src/validation/validate-rhiza.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAGvC;;;;;;;;;;GAUG;AACH,MAAM,UAAU,uBAAuB,CACrC,UAAuD;IAEvD,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAwB,EAAE,CAAC;IAEzC,8BAA8B;IAC9B,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,oCAAoC;YAC7C,KAAK,EAAE,OAAO;SACf,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE,wCAAwC;YACjD,KAAK,EAAE,MAAM;SACd,CAAC,CAAC;QACH,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IAC5C,CAAC;IAED,6CAA6C;IAC7C,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACtB,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,2CAA2C;YACpD,KAAK,EAAE,OAAO;SACf,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,kDAAkD;YAC3D,KAAK,EAAE,OAAO;SACf,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,sDAAsD;YAC/D,KAAK,EAAE,OAAO;SACf,CAAC,CAAC;IACL,CAAC;IAED,gBAAgB;IAChB,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClE,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE,wCAAwC;YACjD,KAAK,EAAE,MAAM;SACd,CAAC,CAAC;QACH,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IAC5C,CAAC;IAED,oDAAoD;IACpD,MAAM,OAAO,GAAG,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3E,IAAI,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,mBAAmB;YACzB,OAAO,EAAE,iBAAiB,OAAO,kBAAkB;YACnD,KAAK,EAAE,OAAO;SACf,CAAC,CAAC;IACL,CAAC;IAED,0BAA0B;IAC1B,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/D,gBAAgB,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACtE,CAAC;IAED,kDAAkD;IAClD,IAAI,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACxC,MAAM,iBAAiB,GAAG,yBAAyB,CACjD,OAAO,EACP,UAAU,CAAC,IAAI,CAChB,CAAC;QACF,MAAM,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC3C,CAAC;IAED,+BAA+B;IAC/B,IAAI,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;QAC7D,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACpD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,oBAAoB;oBAC1B,OAAO,EAAE,WAAW,QAAQ,+BAA+B;oBAC3D,SAAS,EAAE,QAAQ;iBACpB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;QAC1B,MAAM;QACN,QAAQ;KACT,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CACvB,QAAgB,EAChB,IAAc,EACd,IAA8B,EAC9B,MAAyB,EACzB,QAA6B;IAE7B,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACf,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,kBAAkB,QAAQ,mCAAmC;YACtE,SAAS,EAAE,QAAQ;SACpB,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;AAC5D,CAAC;AAED;;GAEG;AACH,SAAS,YAAY,CACnB,QAAgB,EAChB,IAAc,EACd,IAA8B,EAC9B,MAAyB,EACzB,QAA6B;IAE7B,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QACnB,mBAAmB;QACnB,OAAO;IACT,CAAC;IAED,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QACnB,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1D,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,kBAAkB,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QACnE,CAAC;QACD,OAAO;IACT,CAAC;IAED,IAAI,SAAS,IAAI,IAAI,EAAE,CAAC;QACtB,cAAc,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAChE,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,kBAAkB,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QACnE,CAAC;QACD,OAAO;IACT,CAAC;IAED,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;QACrB,cAAc,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAC9D,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,kBAAkB,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QACnE,CAAC;QACD,OAAO;IACT,CAAC;IAED,MAAM,CAAC,IAAI,CAAC;QACV,IAAI,EAAE,iBAAiB;QACvB,OAAO,EAAE,4BAA4B,QAAQ,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;QACzE,SAAS,EAAE,QAAQ;KACpB,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CACzB,QAAgB,EAChB,MAAmB,EACnB,KAA+B,EAC/B,MAAyB,EACzB,SAA8B;IAE9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAEvB,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,cAAc,CAAC,QAAQ,QAAQ,gCAAgC;gBACxE,SAAS,EAAE,QAAQ;aACpB,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,sBAAsB,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QAC1D,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACjB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,cAAc,CAAC,QAAQ,QAAQ,uBAAuB;gBAC/D,SAAS,EAAE,QAAQ;aACpB,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACrC,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,cAAc,CAAC,eAAe,QAAQ,wCAAwC;gBACvF,SAAS,EAAE,QAAQ;aACpB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAC7B,QAAgB,EAChB,KAAqB,EACrB,SAAiB,EACjB,MAAyB;IAEzB,IAAI,UAAU,IAAI,KAAK,IAAI,QAAQ,IAAI,KAAK,EAAE,CAAC;QAC7C,sBAAsB;QACtB,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,yBAAyB;gBAC/B,OAAO,EAAE,cAAc,SAAS,QAAQ,QAAQ,gCAAgC;gBAChF,SAAS,EAAE,QAAQ;aACpB,CAAC,CAAC;QACL,CAAC;QACD,OAAO;IACT,CAAC;IAED,IAAI,KAAK,IAAI,KAAK,EAAE,CAAC;QACnB,WAAW;QACX,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,yBAAyB;gBAC/B,OAAO,EAAE,cAAc,SAAS,QAAQ,QAAQ,oCAAoC;gBACpF,SAAS,EAAE,QAAQ;aACpB,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,GAAG,EAAE,CAAC;YAClC,sBAAsB,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QACjE,CAAC;QACD,OAAO;IACT,CAAC;IAED,IAAI,IAAI,IAAI,KAAK,EAAE,CAAC;QAClB,UAAU;QACV,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,yBAAyB;gBAC/B,OAAO,EAAE,cAAc,SAAS,QAAQ,QAAQ,mCAAmC;gBACnF,SAAS,EAAE,QAAQ;aACpB,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC;YACjC,sBAAsB,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QACjE,CAAC;QACD,OAAO;IACT,CAAC;IAED,MAAM,CAAC,IAAI,CAAC;QACV,IAAI,EAAE,yBAAyB;QAC/B,OAAO,EAAE,cAAc,SAAS,QAAQ,QAAQ,mCAAmC;QACnF,SAAS,EAAE,QAAQ;KACpB,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CACrB,cAAsB,EACtB,WAAmB,EACnB,MAAiB,EACjB,IAA8B,EAC9B,MAAyB;IAEzB,IAAI,CAAC,MAAM,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;QACpC,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,sBAAsB,cAAc,KAAK,WAAW,wCAAwC;YACrG,SAAS,EAAE,cAAc;YACzB,KAAK,EAAE,QAAQ,WAAW,EAAE;SAC7B,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC;IAE3B,iDAAiD;IACjD,4DAA4D;IAC5D,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpB,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,WAAW,QAAQ,SAAS,cAAc,kBAAkB;YACrE,SAAS,EAAE,cAAc;YACzB,KAAK,EAAE,QAAQ,WAAW,EAAE;SAC7B,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,yBAAyB,CAChC,KAAa,EACb,IAA8B;IAE9B,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,SAAS,QAAQ,CAAC,OAAe,EAAE,IAAc;QAC/C,kBAAkB;QAClB,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACzC,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,CAAC;YACnD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,mBAAmB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;aACjD,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QAED,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3B,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACxB,+DAA+D;YAC/D,OAAO;QACT,CAAC;QAED,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,EAAE,OAAO,CAAC,CAAC;QAEnC,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;YACnB,mBAAmB;YACnB,OAAO;QACT,CAAC;QAED,0DAA0D;QAC1D,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;QAExC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,mBAAmB;gBACzB,OAAO,EAAE,mBAAmB,OAAO,uBAAuB;gBAC1D,SAAS,EAAE,OAAO;aACnB,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QAED,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAClB,+DAA+D;gBAC/D,SAAS;YACX,CAAC;YACD,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACpB,OAAO,EAAE,MAAM,EAAE,CAAC;AACpB,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CAAC,IAAc;IACvC,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QACnB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QACnB,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvD,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC;oBAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC7D,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,SAAS,IAAI,IAAI,EAAE,CAAC;QACtB,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC7D,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC;oBAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC7D,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC3D,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC;oBAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC7D,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CACvB,KAAa,EACb,IAA8B;IAE9B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,KAAK,GAAa,CAAC,KAAK,CAAC,CAAC;IAEhC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC/B,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QACrC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAEvB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3B,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,SAAS;QAElC,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC3C,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACrB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/validation/validate-runtime.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Runtime Validation
+ *
+ * Validates a rhiza at invoke time by loading all targets and checking:
+ * - All targets exist (as klados or rhiza) and are active
+ * - Cardinality compatibility
+ * - Type compatibility (warnings)
+ */
+import type { KladosEntity, RhizaEntity, RhizaProperties } from '../types';
+import type { ValidationError, ValidationWarning } from './validate-klados';
+import type { MockArkeClient } from '../__tests__/fixtures/mock-client';
+export interface RuntimeValidationResult {
+    valid: boolean;
+    errors: ValidationError[];
+    warnings: ValidationWarning[];
+    kladoi: Map<string, KladosEntity>;
+    rhizai: Map<string, RhizaEntity>;
+}
+/**
+ * Validate a rhiza at runtime
+ *
+ * This loads all targets and validates:
+ * 1. All targets exist (as klados or rhiza) and are active
+ * 2. Cardinality compatibility
+ * 3. Type compatibility (warnings)
+ */
+export declare function validateRhizaRuntime(client: MockArkeClient, properties: RhizaProperties): Promise<RuntimeValidationResult>;
+//# sourceMappingURL=validate-runtime.d.ts.map

package/dist/validation/validate-runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-runtime.d.ts","sourceRoot":"","sources":["../../src/validation/validate-runtime.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,eAAe,EAAY,MAAM,UAAU,CAAC;AACrF,OAAO,KAAK,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAC5E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AAExE,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,QAAQ,EAAE,iBAAiB,EAAE,CAAC;IAC9B,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAClC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;CAClC;AAED;;;;;;;GAOG;AACH,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,cAAc,EACtB,UAAU,EAAE,eAAe,GAC1B,OAAO,CAAC,uBAAuB,CAAC,CA4ClC"}