@angriff36/manifest 2.18.0

package/dist/manifest/constraint-analysis.js

@@ -0,0 +1,340 @@
+/**
+ * Constraint analysis utilities for projections.
+ *
+ * Extracts static range/bounds information from IR constraint expressions
+ * that use built-in constraint functions (min, max, between, length).
+ *
+ * This enables projections to emit:
+ * - SQL CHECK constraints (Prisma @@check, raw SQL)
+ * - Zod .min()/.max() validators
+ * - OpenAPI schema minimum/maximum
+ *
+ * IMPORTANT: This is projection-side analysis only. It does NOT alter
+ * IR semantics or runtime behavior. Constraints that cannot be statically
+ * analyzed are silently skipped — the runtime still evaluates them.
+ */
+// ============================================================================
+// Helpers
+// ============================================================================
+/** Extract a literal number value from an IRExpression, or undefined */
+function extractLiteralNumber(expr) {
+    if (expr.kind === 'literal' && expr.value?.kind === 'number') {
+        return expr.value.value;
+    }
+    return undefined;
+}
+/** Extract a literal string value from an IRExpression, or undefined */
+function extractLiteralString(expr) {
+    if (expr.kind === 'literal' && expr.value?.kind === 'string') {
+        return expr.value.value;
+    }
+    return undefined;
+}
+/** Format an IRExpression as a human-readable property path */
+function formatPropertyPath(expr) {
+    if (expr.kind === 'identifier')
+        return expr.name;
+    if (expr.kind === 'member') {
+        const obj = formatPropertyPath(expr.object);
+        if (obj)
+            return `${obj}.${expr.property}`;
+    }
+    return undefined;
+}
+/**
+ * Extract the property being constrained and the literal bound
+ * from a binary comparison like `self.price > 0`.
+ */
+function extractBinaryRange(expr) {
+    if (expr.kind !== 'binary')
+        return undefined;
+    const { operator, left, right } = expr;
+    const leftNum = extractLiteralNumber(left);
+    const rightNum = extractLiteralNumber(right);
+    const leftPath = formatPropertyPath(left);
+    const rightPath = formatPropertyPath(right);
+    // Property on left, literal on right: self.price > 0
+    if (leftPath && rightNum !== undefined) {
+        switch (operator) {
+            case '>': return { min: rightNum + 1, propertyPath: leftPath }; // exclusive > becomes >= min+epsilon
+            case '>=': return { min: rightNum, propertyPath: leftPath };
+            case '<': return { max: rightNum - 1, propertyPath: leftPath };
+            case '<=': return { max: rightNum, propertyPath: leftPath };
+        }
+    }
+    // Literal on left, property on right: 0 < self.price
+    if (rightPath && leftNum !== undefined) {
+        switch (operator) {
+            case '<': return { min: leftNum + 1, propertyPath: rightPath };
+            case '<=': return { min: leftNum, propertyPath: rightPath };
+            case '>': return { max: leftNum - 1, propertyPath: rightPath };
+            case '>=': return { max: leftNum, propertyPath: rightPath };
+        }
+    }
+    return undefined;
+}
+// ============================================================================
+// Main analysis
+// ============================================================================
+/**
+ * Analyze a single constraint expression and extract range information.
+ *
+ * Recognized patterns:
+ *   - `between(self.prop, minVal, maxVal)` → NumericRange
+ *   - `min(self.prop, minVal)` → NumericRange (lower bound)
+ *   - `max(self.prop, maxVal)` → NumericRange (upper bound)
+ *   - `length(self.prop) >= N` → LengthConstraint
+ *   - `length(self.prop) <= N` → LengthConstraint
+ *   - `self.prop >= N` / `self.prop > N` → NumericRange
+ *   - `self.prop <= N` / `self.prop < N` → NumericRange
+ *   - `matches(self.prop, "pattern")` → PatternConstraint
+ */
+export function analyzeConstraintExpression(expression) {
+    const numericRanges = [];
+    const lengthConstraints = [];
+    const patternConstraints = [];
+    // Handle `between(self.prop, min, max)` calls
+    if (expression.kind === 'call' &&
+        expression.callee.kind === 'identifier' &&
+        expression.callee.name === 'between' &&
+        expression.args.length === 3) {
+        const propPath = formatPropertyPath(expression.args[0]);
+        const low = extractLiteralNumber(expression.args[1]);
+        const high = extractLiteralNumber(expression.args[2]);
+        if (propPath && low !== undefined && high !== undefined) {
+            numericRanges.push({ min: low, max: high, propertyPath: propPath });
+        }
+        return { numericRanges, lengthConstraints, patternConstraints };
+    }
+    // Handle `matches(self.prop, "pattern")` calls
+    if (expression.kind === 'call' &&
+        expression.callee.kind === 'identifier' &&
+        expression.callee.name === 'matches' &&
+        expression.args.length === 2) {
+        const propPath = formatPropertyPath(expression.args[0]);
+        const pattern = extractLiteralString(expression.args[1]);
+        if (propPath && pattern !== undefined) {
+            patternConstraints.push({ pattern, propertyPath: propPath });
+        }
+        return { numericRanges, lengthConstraints, patternConstraints };
+    }
+    // Handle `min(self.prop, minVal)` as lower bound
+    if (expression.kind === 'call' &&
+        expression.callee.kind === 'identifier' &&
+        expression.callee.name === 'min' &&
+        expression.args.length >= 2) {
+        const propPath = formatPropertyPath(expression.args[0]);
+        const minVal = extractLiteralNumber(expression.args[1]);
+        if (propPath && minVal !== undefined) {
+            numericRanges.push({ min: minVal, propertyPath: propPath });
+        }
+        return { numericRanges, lengthConstraints, patternConstraints };
+    }
+    // Handle `max(self.prop, maxVal)` as upper bound
+    if (expression.kind === 'call' &&
+        expression.callee.kind === 'identifier' &&
+        expression.callee.name === 'max' &&
+        expression.args.length >= 2) {
+        const propPath = formatPropertyPath(expression.args[0]);
+        const maxVal = extractLiteralNumber(expression.args[1]);
+        if (propPath && maxVal !== undefined) {
+            numericRanges.push({ max: maxVal, propertyPath: propPath });
+        }
+        return { numericRanges, lengthConstraints, patternConstraints };
+    }
+    // Handle binary comparisons involving `length()` calls
+    if (expression.kind === 'binary') {
+        const { operator, left, right } = expression;
+        // `length(self.prop) >= N` or `length(self.prop) > N`
+        if (left.kind === 'call' && left.callee.kind === 'identifier' && left.callee.name === 'length') {
+            const propPath = formatPropertyPath(left.args[0]);
+            const rightNum = extractLiteralNumber(right);
+            if (propPath && rightNum !== undefined) {
+                if (operator === '>=') {
+                    lengthConstraints.push({ minLength: rightNum, propertyPath: propPath });
+                }
+                else if (operator === '>') {
+                    lengthConstraints.push({ minLength: rightNum + 1, propertyPath: propPath });
+                }
+                else if (operator === '<=') {
+                    lengthConstraints.push({ maxLength: rightNum, propertyPath: propPath });
+                }
+                else if (operator === '<') {
+                    lengthConstraints.push({ maxLength: rightNum - 1, propertyPath: propPath });
+                }
+                return { numericRanges, lengthConstraints, patternConstraints };
+            }
+        }
+        // `N >= length(self.prop)` → length <= N
+        if (right.kind === 'call' && right.callee.kind === 'identifier' && right.callee.name === 'length') {
+            const propPath = formatPropertyPath(right.args[0]);
+            const leftNum = extractLiteralNumber(left);
+            if (propPath && leftNum !== undefined) {
+                if (operator === '>=') {
+                    lengthConstraints.push({ maxLength: leftNum, propertyPath: propPath });
+                }
+                else if (operator === '>') {
+                    lengthConstraints.push({ maxLength: leftNum - 1, propertyPath: propPath });
+                }
+                else if (operator === '<=') {
+                    lengthConstraints.push({ minLength: leftNum, propertyPath: propPath });
+                }
+                else if (operator === '<') {
+                    lengthConstraints.push({ minLength: leftNum + 1, propertyPath: propPath });
+                }
+                return { numericRanges, lengthConstraints, patternConstraints };
+            }
+        }
+        // Handle simple binary comparisons: `self.prop >= N`, `self.prop <= N`, etc.
+        const binaryRange = extractBinaryRange(expression);
+        if (binaryRange) {
+            numericRanges.push(binaryRange);
+        }
+    }
+    return { numericRanges, lengthConstraints, patternConstraints };
+}
+/**
+ * Analyze all constraints on an entity and aggregate range/length information.
+ *
+ * Multiple constraints on the same property are merged (tightest bounds win).
+ */
+export function analyzeConstraints(constraints) {
+    const allRanges = new Map();
+    const allLengths = new Map();
+    const allPatterns = [];
+    for (const constraint of constraints) {
+        const { numericRanges, lengthConstraints, patternConstraints } = analyzeConstraintExpression(constraint.expression);
+        for (const range of numericRanges) {
+            const key = range.propertyPath;
+            const existing = allRanges.get(key);
+            if (existing) {
+                // Merge: take tighter bounds
+                if (range.min !== undefined) {
+                    existing.min = existing.min !== undefined ? Math.max(existing.min, range.min) : range.min;
+                }
+                if (range.max !== undefined) {
+                    existing.max = existing.max !== undefined ? Math.min(existing.max, range.max) : range.max;
+                }
+            }
+            else {
+                allRanges.set(key, { ...range });
+            }
+        }
+        for (const lc of lengthConstraints) {
+            const key = lc.propertyPath;
+            const existing = allLengths.get(key);
+            if (existing) {
+                // Merge: take tighter bounds
+                if (lc.minLength !== undefined) {
+                    existing.minLength = existing.minLength !== undefined ? Math.max(existing.minLength, lc.minLength) : lc.minLength;
+                }
+                if (lc.maxLength !== undefined) {
+                    existing.maxLength = existing.maxLength !== undefined ? Math.min(existing.maxLength, lc.maxLength) : lc.maxLength;
+                }
+            }
+            else {
+                allLengths.set(key, { ...lc });
+            }
+        }
+        // Pattern constraints: collect all (multiple patterns on same property are all kept)
+        for (const pc of patternConstraints) {
+            allPatterns.push({ ...pc });
+        }
+    }
+    return {
+        numericRanges: Array.from(allRanges.values()),
+        lengthConstraints: Array.from(allLengths.values()),
+        patternConstraints: allPatterns,
+    };
+}
+/**
+ * Convert a NumericRange to a SQL CHECK constraint expression.
+ *
+ * @param range - The numeric range to convert
+ * @param column - The SQL column name (defaults to property path stripped of "self.")
+ * @returns SQL CHECK expression or undefined if no bounds
+ */
+export function numericRangeToCheckConstraint(range, column) {
+    const col = column ?? range.propertyPath.replace(/^self\./, '');
+    const conditions = [];
+    if (range.min !== undefined) {
+        conditions.push(`${col} >= ${range.min}`);
+    }
+    if (range.max !== undefined) {
+        conditions.push(`${col} <= ${range.max}`);
+    }
+    return conditions.length > 0 ? conditions.join(' AND ') : undefined;
+}
+/**
+ * Convert a LengthConstraint to a SQL CHECK constraint expression.
+ *
+ * @param lc - The length constraint
+ * @param column - The SQL column name
+ * @returns SQL CHECK expression or undefined if no bounds
+ */
+export function lengthConstraintToCheckConstraint(lc, column) {
+    const col = column ?? lc.propertyPath.replace(/^self\./, '');
+    const conditions = [];
+    if (lc.minLength !== undefined) {
+        conditions.push(`length(${col}) >= ${lc.minLength}`);
+    }
+    if (lc.maxLength !== undefined) {
+        conditions.push(`length(${col}) <= ${lc.maxLength}`);
+    }
+    return conditions.length > 0 ? conditions.join(' AND ') : undefined;
+}
+/**
+ * Convert a NumericRange to a Zod method chain (e.g., ".min(0).max(100)").
+ *
+ * @param range - The numeric range
+ * @returns Zod method chain string
+ */
+export function numericRangeToZodChain(range) {
+    const parts = [];
+    if (range.min !== undefined)
+        parts.push(`.min(${range.min})`);
+    if (range.max !== undefined)
+        parts.push(`.max(${range.max})`);
+    return parts.join('');
+}
+/**
+ * Convert a LengthConstraint to a Zod method chain (e.g., ".min(1).max(255)").
+ *
+ * @param lc - The length constraint
+ * @returns Zod method chain string
+ */
+export function lengthConstraintToZodChain(lc) {
+    const parts = [];
+    if (lc.minLength !== undefined)
+        parts.push(`.min(${lc.minLength})`);
+    if (lc.maxLength !== undefined)
+        parts.push(`.max(${lc.maxLength})`);
+    return parts.join('');
+}
+/**
+ * Convert a PatternConstraint to a SQL CHECK constraint expression.
+ *
+ * Uses the ~ operator (PostgreSQL regex match). Other DBs may need adaptation.
+ *
+ * @param pc - The pattern constraint
+ * @param column - The SQL column name
+ * @returns SQL CHECK expression
+ */
+export function patternConstraintToCheckConstraint(pc, column) {
+    const col = column ?? pc.propertyPath.replace(/^self\./, '');
+    // Escape single quotes in pattern for SQL
+    const escapedPattern = pc.pattern.replace(/'/g, "''");
+    return `${col} ~ '${escapedPattern}'`;
+}
+/**
+ * Convert a PatternConstraint to a Zod method chain (e.g., ".regex(/pattern/)").
+ *
+ * @param pc - The pattern constraint
+ * @returns Zod method chain string
+ */
+export function patternConstraintToZodChain(pc) {
+    // Escape forward slashes in pattern for regex literal
+    const escapedPattern = pc.pattern.replace(/\//g, '\\/');
+    return `.regex(/${escapedPattern}/)`;
+}
+//# sourceMappingURL=constraint-analysis.js.map

package/dist/manifest/constraint-analysis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-analysis.js","sourceRoot":"","sources":["../../src/manifest/constraint-analysis.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AA8CH,+EAA+E;AAC/E,UAAU;AACV,+EAA+E;AAE/E,wEAAwE;AACxE,SAAS,oBAAoB,CAAC,IAAkB;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7D,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,wEAAwE;AACxE,SAAS,oBAAoB,CAAC,IAAkB;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7D,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,+DAA+D;AAC/D,SAAS,kBAAkB,CAAC,IAAkB;IAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5C,IAAI,GAAG;YAAE,OAAO,GAAG,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC5C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;GAGG;AACH,SAAS,kBAAkB,CAAC,IAAkB;IAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAE7C,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;IACvC,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,SAAS,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAE5C,qDAAqD;IACrD,IAAI,QAAQ,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QACvC,QAAQ,QAAQ,EAAE,CAAC;YACjB,KAAK,GAAG,CAAC,CAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,GAAG,CAAC,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,CAAE,qCAAqC;YACvG,KAAK,IAAI,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;YAC5D,KAAK,GAAG,CAAC,CAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,GAAG,CAAC,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;YAChE,KAAK,IAAI,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,qDAAqD;IACrD,IAAI,SAAS,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACvC,QAAQ,QAAQ,EAAE,CAAC;YACjB,KAAK,GAAG,CAAC,CAAE,OAAO,EAAE,GAAG,EAAE,OAAO,GAAG,CAAC,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC;YAChE,KAAK,IAAI,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC;YAC5D,KAAK,GAAG,CAAC,CAAE,OAAO,EAAE,GAAG,EAAE,OAAO,GAAG,CAAC,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC;YAChE,KAAK,IAAI,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,+EAA+E;AAC/E,gBAAgB;AAChB,+EAA+E;AAE/E;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,2BAA2B,CAAC,UAAwB;IAKlE,MAAM,aAAa,GAAmB,EAAE,CAAC;IACzC,MAAM,iBAAiB,GAAuB,EAAE,CAAC;IACjD,MAAM,kBAAkB,GAAwB,EAAE,CAAC;IAEnD,8CAA8C;IAC9C,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM;QAC1B,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;QACvC,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;QACpC,UAAU,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,GAAG,GAAG,oBAAoB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,MAAM,IAAI,GAAG,oBAAoB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,IAAI,QAAQ,IAAI,GAAG,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACxD,aAAa,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,CAAC;QACtE,CAAC;QACD,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,CAAC;IAClE,CAAC;IAED,+CAA+C;IAC/C,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM;QAC1B,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;QACvC,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;QACpC,UAAU,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,oBAAoB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACzD,IAAI,QAAQ,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YACtC,kBAAkB,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC/D,CAAC;QACD,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,CAAC;IAClE,CAAC;IAED,iDAAiD;IACjD,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM;QAC1B,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;QACvC,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK;QAChC,UAAU,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,MAAM,GAAG,oBAAoB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,IAAI,QAAQ,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACrC,aAAa,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC9D,CAAC;QACD,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,CAAC;IAClE,CAAC;IAED,iDAAiD;IACjD,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM;QAC1B,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;QACvC,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK;QAChC,UAAU,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,MAAM,GAAG,oBAAoB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,IAAI,QAAQ,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACrC,aAAa,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC9D,CAAC;QACD,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,CAAC;IAClE,CAAC;IAED,uDAAuD;IACvD,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,UAAU,CAAC;QAE7C,sDAAsD;QACtD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC/F,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAClD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;YAC7C,IAAI,QAAQ,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBACvC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;oBACtB,iBAAiB,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAC1E,CAAC;qBAAM,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;oBAC5B,iBAAiB,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,QAAQ,GAAG,CAAC,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAC9E,CAAC;qBAAM,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;oBAC7B,iBAAiB,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAC1E,CAAC;qBAAM,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;oBAC5B,iBAAiB,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,QAAQ,GAAG,CAAC,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAC9E,CAAC;gBACD,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,CAAC;YAClE,CAAC;QACH,CAAC;QAED,yCAAyC;QACzC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAClG,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACnD,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YAC3C,IAAI,QAAQ,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBACtC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;oBACtB,iBAAiB,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACzE,CAAC;qBAAM,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;oBAC5B,iBAAiB,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,OAAO,GAAG,CAAC,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAC7E,CAAC;qBAAM,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;oBAC7B,iBAAiB,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACzE,CAAC;qBAAM,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;oBAC5B,iBAAiB,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,OAAO,GAAG,CAAC,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAC7E,CAAC;gBACD,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,CAAC;YAClE,CAAC;QACH,CAAC;QAED,6EAA6E;QAC7E,MAAM,WAAW,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;QACnD,IAAI,WAAW,EAAE,CAAC;YAChB,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,CAAC;AAClE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,WAA2B;IAC5D,MAAM,SAAS,GAA8B,IAAI,GAAG,EAAE,CAAC;IACvD,MAAM,UAAU,GAAkC,IAAI,GAAG,EAAE,CAAC;IAC5D,MAAM,WAAW,GAAwB,EAAE,CAAC;IAE5C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,EAAE,aAAa,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,GAAG,2BAA2B,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAEpH,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,MAAM,GAAG,GAAG,KAAK,CAAC,YAAY,CAAC;YAC/B,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACpC,IAAI,QAAQ,EAAE,CAAC;gBACb,6BAA6B;gBAC7B,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;oBAC5B,QAAQ,CAAC,GAAG,GAAG,QAAQ,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;gBAC5F,CAAC;gBACD,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;oBAC5B,QAAQ,CAAC,GAAG,GAAG,QAAQ,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;gBAC5F,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QAED,KAAK,MAAM,EAAE,IAAI,iBAAiB,EAAE,CAAC;YACnC,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC;YAC5B,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACrC,IAAI,QAAQ,EAAE,CAAC;gBACb,6BAA6B;gBAC7B,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC/B,QAAQ,CAAC,SAAS,GAAG,QAAQ,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC;gBACpH,CAAC;gBACD,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC/B,QAAQ,CAAC,SAAS,GAAG,QAAQ,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC;gBACpH,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;YACjC,CAAC;QACH,CAAC;QAED,qFAAqF;QACrF,KAAK,MAAM,EAAE,IAAI,kBAAkB,EAAE,CAAC;YACpC,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,OAAO;QACL,aAAa,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QAC7C,iBAAiB,EAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QAClD,kBAAkB,EAAE,WAAW;KAChC,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,6BAA6B,CAAC,KAAmB,EAAE,MAAe;IAChF,MAAM,GAAG,GAAG,MAAM,IAAI,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAChE,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QAC5B,UAAU,CAAC,IAAI,CAAC,GAAG,GAAG,OAAO,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QAC5B,UAAU,CAAC,IAAI,CAAC,GAAG,GAAG,OAAO,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,OAAO,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACtE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iCAAiC,CAAC,EAAoB,EAAE,MAAe;IACrF,MAAM,GAAG,GAAG,MAAM,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAC/B,UAAU,CAAC,IAAI,CAAC,UAAU,GAAG,QAAQ,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAC/B,UAAU,CAAC,IAAI,CAAC,UAAU,GAAG,QAAQ,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC;IACvD,CAAC;IAED,OAAO,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACtE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAmB;IACxD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC;IAC9D,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC;IAC9D,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACxB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B,CAAC,EAAoB;IAC7D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,SAAS,GAAG,CAAC,CAAC;IACpE,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,SAAS,GAAG,CAAC,CAAC;IACpE,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACxB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,kCAAkC,CAAC,EAAqB,EAAE,MAAe;IACvF,MAAM,GAAG,GAAG,MAAM,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAC7D,0CAA0C;IAC1C,MAAM,cAAc,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACtD,OAAO,GAAG,GAAG,OAAO,cAAc,GAAG,CAAC;AACxC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,2BAA2B,CAAC,EAAqB;IAC/D,sDAAsD;IACtD,MAAM,cAAc,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACxD,OAAO,WAAW,cAAc,IAAI,CAAC;AACvC,CAAC"}

package/dist/manifest/date-time.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Date/time primitive type helpers. Pure, UTC-only, deterministic.
+ * Representations (docs/spec/semantics.md, Date/Time Types):
+ *   datetime = finite epoch ms within the representable Date range (±8.64e15);
+ *   duration = finite ms;
+ *   date = "YYYY-MM-DD" (valid calendar); time = "HH:MM:SS" (00:00:00–23:59:59).
+ */
+export declare function isValidDateString(value: unknown): boolean;
+export declare function isValidTimeString(value: unknown): boolean;
+export declare function dateOf(ts: unknown): string | null;
+export declare function timeOf(ts: unknown): string | null;
+export declare function datetimeOf(dateStr: unknown, timeStr?: unknown): number | null;
+//# sourceMappingURL=date-time.d.ts.map

package/dist/manifest/date-time.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"date-time.d.ts","sourceRoot":"","sources":["../../src/manifest/date-time.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAKH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CASzD;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAOzD;AAMD,wBAAgB,MAAM,CAAC,EAAE,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAKjD;AAED,wBAAgB,MAAM,CAAC,EAAE,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAKjD;AAED,wBAAgB,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAK7E"}

package/dist/manifest/date-time.js

@@ -0,0 +1,60 @@
+/**
+ * Date/time primitive type helpers. Pure, UTC-only, deterministic.
+ * Representations (docs/spec/semantics.md, Date/Time Types):
+ *   datetime = finite epoch ms within the representable Date range (±8.64e15);
+ *   duration = finite ms;
+ *   date = "YYYY-MM-DD" (valid calendar); time = "HH:MM:SS" (00:00:00–23:59:59).
+ */
+const DATE_RE = /^(\d{4})-(\d{2})-(\d{2})$/;
+const TIME_RE = /^(\d{2}):(\d{2}):(\d{2})$/;
+export function isValidDateString(value) {
+    if (typeof value !== 'string')
+        return false;
+    const m = DATE_RE.exec(value);
+    if (!m)
+        return false;
+    const [, ys, ms, ds] = m;
+    const year = Number(ys), month = Number(ms), day = Number(ds);
+    if (month < 1 || month > 12 || day < 1)
+        return false;
+    const daysInMonth = new Date(Date.UTC(year, month, 0)).getUTCDate();
+    return day <= daysInMonth;
+}
+export function isValidTimeString(value) {
+    if (typeof value !== 'string')
+        return false;
+    const m = TIME_RE.exec(value);
+    if (!m)
+        return false;
+    const [, hs, mins, ss] = m;
+    const h = Number(hs), min = Number(mins), s = Number(ss);
+    return h <= 23 && min <= 59 && s <= 59;
+}
+function pad(n) {
+    return String(n).padStart(2, '0');
+}
+export function dateOf(ts) {
+    if (typeof ts !== 'number' || !Number.isFinite(ts))
+        return null;
+    const d = new Date(ts);
+    if (Number.isNaN(d.getTime()))
+        return null; // finite but outside the representable Date range
+    return `${d.getUTCFullYear()}-${pad(d.getUTCMonth() + 1)}-${pad(d.getUTCDate())}`;
+}
+export function timeOf(ts) {
+    if (typeof ts !== 'number' || !Number.isFinite(ts))
+        return null;
+    const d = new Date(ts);
+    if (Number.isNaN(d.getTime()))
+        return null; // finite but outside the representable Date range
+    return `${pad(d.getUTCHours())}:${pad(d.getUTCMinutes())}:${pad(d.getUTCSeconds())}`;
+}
+export function datetimeOf(dateStr, timeStr) {
+    if (!isValidDateString(dateStr))
+        return null;
+    const t = timeStr === undefined ? '00:00:00' : timeStr;
+    if (!isValidTimeString(t))
+        return null;
+    return Date.parse(`${dateStr}T${t}.000Z`);
+}
+//# sourceMappingURL=date-time.js.map

package/dist/manifest/date-time.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"date-time.js","sourceRoot":"","sources":["../../src/manifest/date-time.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,MAAM,OAAO,GAAG,2BAA2B,CAAC;AAC5C,MAAM,OAAO,GAAG,2BAA2B,CAAC;AAE5C,MAAM,UAAU,iBAAiB,CAAC,KAAc;IAC9C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACrB,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;IACzB,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,EAAE,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;IAC9D,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,EAAE,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACrD,MAAM,WAAW,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;IACpE,OAAO,GAAG,IAAI,WAAW,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAc;IAC9C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACrB,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;IAC3B,MAAM,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,EAAE,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;IACzD,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;AACzC,CAAC;AAED,SAAS,GAAG,CAAC,CAAS;IACpB,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,EAAW;IAChC,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IAChE,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;IACvB,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,kDAAkD;IAC9F,OAAO,GAAG,CAAC,CAAC,cAAc,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC;AACpF,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,EAAW;IAChC,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IAChE,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;IACvB,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,kDAAkD;IAC9F,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC;AACvF,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,OAAgB,EAAE,OAAiB;IAC5D,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,CAAC,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC;IACvD,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC;AAC5C,CAAC"}

package/dist/manifest/debug/command-trace.d.ts

@@ -0,0 +1,37 @@
+import type { RuntimeEngine, EntityInstance } from '../runtime-engine.js';
+export interface SerializedRuntimeSnapshot {
+    ir: unknown;
+    stores: Record<string, EntityInstance[]>;
+    context?: Record<string, unknown>;
+}
+export interface CommandTraceStep {
+    index: number;
+    label: string;
+    snapshot: SerializedRuntimeSnapshot;
+}
+/**
+ * Records store snapshots around command execution for step replay via
+ * RuntimeEngine.restore(). v1 captures before/after the full command; optional
+ * per-action steps when actionTraceHook is wired on RuntimeOptions.
+ */
+export declare class CommandTraceRecorder {
+    private readonly engine;
+    private steps;
+    private actionIndex;
+    constructor(engine: RuntimeEngine);
+    runCommand(commandName: string, input: Record<string, unknown>, options?: {
+        entityName?: string;
+        instanceId?: string;
+    }): Promise<import("../runtime-engine.js").CommandResult>;
+    getSteps(): readonly CommandTraceStep[];
+    restoreToStep(stepIndex: number): Promise<void>;
+    /** Register on RuntimeOptions.actionTraceHook to capture per-action snapshots. */
+    createActionHook(): (info: {
+        index: number;
+        kind: string;
+        target?: string;
+        entityName?: string;
+        instanceId?: string;
+    }) => Promise<void>;
+}
+//# sourceMappingURL=command-trace.d.ts.map

package/dist/manifest/debug/command-trace.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"command-trace.d.ts","sourceRoot":"","sources":["../../../src/manifest/debug/command-trace.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE1E,MAAM,WAAW,yBAAyB;IACxC,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;IACzC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnC;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,yBAAyB,CAAC;CACrC;AAED;;;;GAIG;AACH,qBAAa,oBAAoB;IAInB,OAAO,CAAC,QAAQ,CAAC,MAAM;IAHnC,OAAO,CAAC,KAAK,CAA0B;IACvC,OAAO,CAAC,WAAW,CAAK;gBAEK,MAAM,EAAE,aAAa;IAE5C,UAAU,CACd,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,OAAO,GAAE;QACP,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,UAAU,CAAC,EAAE,MAAM,CAAC;KAChB;IAqBR,QAAQ,IAAI,SAAS,gBAAgB,EAAE;IAIjC,aAAa,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAQrD,kFAAkF;IAClF,gBAAgB,IAAI,CAAC,IAAI,EAAE;QACzB,KAAK,EAAE,MAAM,CAAC;QACd,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,KAAK,OAAO,CAAC,IAAI,CAAC;CAUpB"}

package/dist/manifest/debug/command-trace.js

@@ -0,0 +1,51 @@
+/**
+ * Records store snapshots around command execution for step replay via
+ * RuntimeEngine.restore(). v1 captures before/after the full command; optional
+ * per-action steps when actionTraceHook is wired on RuntimeOptions.
+ */
+export class CommandTraceRecorder {
+    engine;
+    steps = [];
+    actionIndex = 0;
+    constructor(engine) {
+        this.engine = engine;
+    }
+    async runCommand(commandName, input, options = {}) {
+        this.steps = [];
+        this.actionIndex = 0;
+        this.steps.push({
+            index: 0,
+            label: 'before',
+            snapshot: await this.engine.serialize(),
+        });
+        const result = await this.engine.runCommand(commandName, input, options);
+        this.steps.push({
+            index: this.steps.length,
+            label: 'after',
+            snapshot: await this.engine.serialize(),
+        });
+        return result;
+    }
+    getSteps() {
+        return this.steps;
+    }
+    async restoreToStep(stepIndex) {
+        const step = this.steps[stepIndex];
+        if (!step) {
+            throw new Error(`CommandTraceRecorder: no step at index ${stepIndex}`);
+        }
+        await this.engine.restore(step.snapshot);
+    }
+    /** Register on RuntimeOptions.actionTraceHook to capture per-action snapshots. */
+    createActionHook() {
+        return async (info) => {
+            this.actionIndex += 1;
+            this.steps.push({
+                index: this.steps.length,
+                label: `action:${info.index}:${info.kind}${info.target ? `:${info.target}` : ''}`,
+                snapshot: await this.engine.serialize(),
+            });
+        };
+    }
+}
+//# sourceMappingURL=command-trace.js.map

package/dist/manifest/debug/command-trace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"command-trace.js","sourceRoot":"","sources":["../../../src/manifest/debug/command-trace.ts"],"names":[],"mappings":"AAcA;;;;GAIG;AACH,MAAM,OAAO,oBAAoB;IAIF;IAHrB,KAAK,GAAuB,EAAE,CAAC;IAC/B,WAAW,GAAG,CAAC,CAAC;IAExB,YAA6B,MAAqB;QAArB,WAAM,GAAN,MAAM,CAAe;IAAG,CAAC;IAEtD,KAAK,CAAC,UAAU,CACd,WAAmB,EACnB,KAA8B,EAC9B,UAGI,EAAE;QAEN,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;QAChB,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC;QACrB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YACd,KAAK,EAAE,CAAC;YACR,KAAK,EAAE,QAAQ;YACf,QAAQ,EAAE,MAAM,IAAI,CAAC,MAAM,CAAC,SAAS,EAA+B;SACrE,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QAEzE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YACd,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM;YACxB,KAAK,EAAE,OAAO;YACd,QAAQ,EAAE,MAAM,IAAI,CAAC,MAAM,CAAC,SAAS,EAA+B;SACrE,CAAC,CAAC;QAEH,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,SAAiB;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CAAC,0CAA0C,SAAS,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC;IAED,kFAAkF;IAClF,gBAAgB;QAOd,OAAO,KAAK,EAAC,IAAI,EAAC,EAAE;YAClB,IAAI,CAAC,WAAW,IAAI,CAAC,CAAC;YACtB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;gBACd,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM;gBACxB,KAAK,EAAE,UAAU,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;gBACjF,QAAQ,EAAE,MAAM,IAAI,CAAC,MAAM,CAAC,SAAS,EAA+B;aACrE,CAAC,CAAC;QACL,CAAC,CAAC;IACJ,CAAC;CACF"}

package/dist/manifest/debug/index.d.ts

@@ -0,0 +1,3 @@
+export { CommandTraceRecorder } from './command-trace.js';
+export type { CommandTraceStep, SerializedRuntimeSnapshot } from './command-trace.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/manifest/debug/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/manifest/debug/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,YAAY,EAAE,gBAAgB,EAAE,yBAAyB,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/manifest/debug/index.js

@@ -0,0 +1,2 @@
+export { CommandTraceRecorder } from './command-trace.js';
+//# sourceMappingURL=index.js.map

package/dist/manifest/debug/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/manifest/debug/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/manifest/domain-completeness.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Domain completeness diagnostics — product-wiring checks beyond syntax/semantics.
+ * Surfaces half-wired owned-child models (manual FK params with no belongsTo),
+ * one-sided relationships, and orphan entities so they fail at compile time, not in the app.
+ */
+import type { IRCommand, IREntity, IRReactionRule, IRStore, IRTenant } from './ir.js';
+/** Fields legitimately child-specific or infrastructure — not parent-context propagation. */
+export declare const PARENT_CONTEXT_EXCLUDED_FIELDS: Set<string>;
+export type DomainCompletenessEmit = (severity: 'error' | 'warning' | 'info', message: string) => void;
+/** Map `disciplinaryActionId` → `DisciplinaryAction` when that entity exists. */
+export declare function resolveEntityForFkField(fieldName: string, entityNames: ReadonlySet<string>): string | null;
+export declare function checkDomainCompleteness(entities: IREntity[], commands: IRCommand[], stores: IRStore[], emit: DomainCompletenessEmit, reactions?: IRReactionRule[], tenant?: IRTenant): void;
+//# sourceMappingURL=domain-completeness.d.ts.map

package/dist/manifest/domain-completeness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain-completeness.d.ts","sourceRoot":"","sources":["../../src/manifest/domain-completeness.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAc,cAAc,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AA8BlG,6FAA6F;AAC7F,eAAO,MAAM,8BAA8B,aAczC,CAAC;AAQH,MAAM,MAAM,sBAAsB,GAAG,CACnC,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,EACtC,OAAO,EAAE,MAAM,KACZ,IAAI,CAAC;AAUV,iFAAiF;AACjF,wBAAgB,uBAAuB,CACrC,SAAS,EAAE,MAAM,EACjB,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,GAC/B,MAAM,GAAG,IAAI,CAQf;AAmOD,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,QAAQ,EAAE,EACpB,QAAQ,EAAE,SAAS,EAAE,EACrB,MAAM,EAAE,OAAO,EAAE,EACjB,IAAI,EAAE,sBAAsB,EAC5B,SAAS,GAAE,cAAc,EAAO,EAChC,MAAM,CAAC,EAAE,QAAQ,GAChB,IAAI,CAeN"}