@prodara/compiler 0.1.0

package/dist/testing/test-runner.js

@@ -0,0 +1,131 @@
+// ---------------------------------------------------------------------------
+// Prodara Compiler — Spec Test Runner
+// ---------------------------------------------------------------------------
+// Evaluates test declarations against the compiled Product Graph.
+import { resolveSymbolRef } from '../binder/binder.js';
+import { DiagnosticBag } from '../diagnostics/diagnostic.js';
+export function runSpecTests(files, bindResult, graph) {
+    const bag = new DiagnosticBag();
+    const results = [];
+    for (const file of files) {
+        for (const decl of file.declarations) {
+            if (decl.kind !== 'module')
+                continue;
+            for (const item of decl.items) {
+                if (item.kind !== 'test')
+                    continue;
+                const result = evaluateTest(item, decl.name, bindResult, graph, bag);
+                results.push(result);
+            }
+        }
+    }
+    const totalPassed = results.filter((r) => r.passed).length;
+    const totalFailed = results.filter((r) => !r.passed).length;
+    return { results, totalPassed, totalFailed, bag };
+}
+function evaluateTest(test, moduleName, bind, graph, bag) {
+    const failures = [];
+    const targetId = resolveTestTarget(test, moduleName, bind);
+    // Find the target node in the graph
+    const targetNode = findNodeInGraph(targetId, graph);
+    if (!targetNode) {
+        failures.push(`Target '${test.target.join('.')}' not found in graph`);
+        bag.add({
+            phase: 'test_runner', category: 'test_failure', severity: 'error',
+            code: 'PRD0800', message: `Test '${test.name}': target not found in compiled graph`,
+            file: test.location.file, line: test.location.line, column: test.location.column,
+        });
+        return { name: test.name, target: targetId, passed: false, failures };
+    }
+    // Evaluate expect entries
+    for (const entry of test.expect) {
+        if (entry.key === 'authorization' && Array.isArray(entry.value)) {
+            // Authorization expectations
+            for (const auth of entry.value) {
+                if (typeof auth === 'object' && 'actor' in auth && 'expected' in auth) {
+                    // Check authorization in the target node
+                    const authResult = checkAuthorization(targetNode, auth.actor, auth.expected);
+                    if (!authResult) {
+                        failures.push(`Authorization: expected '${auth.actor}' to be '${auth.expected}'`);
+                    }
+                }
+            }
+        }
+        else {
+            // Generic property check
+            const nodeValue = getProperty(targetNode, entry.key);
+            const expectedValue = normalizeExpectValue(entry.value);
+            if (nodeValue === undefined) {
+                failures.push(`Property '${entry.key}' not found on target node`);
+            }
+            else if (JSON.stringify(nodeValue) !== JSON.stringify(expectedValue)) {
+                failures.push(`Property '${entry.key}': expected ${JSON.stringify(expectedValue)}, got ${JSON.stringify(nodeValue)}`);
+            }
+        }
+    }
+    if (failures.length > 0) {
+        bag.add({
+            phase: 'test_runner', category: 'test_failure', severity: 'error',
+            code: 'PRD0801', message: `Test '${test.name}' failed: ${failures.join('; ')}`,
+            file: test.location.file, line: test.location.line, column: test.location.column,
+        });
+    }
+    return { name: test.name, target: targetId, passed: failures.length === 0, failures };
+}
+function resolveTestTarget(test, moduleName, bind) {
+    if (test.target.length === 0)
+        return '';
+    const sym = resolveSymbolRef(test.target, moduleName, bind.modules, bind.allSymbols);
+    if (sym)
+        return `${sym.module}.${sym.nodeKind}.${sym.name}`;
+    return test.target.join('.');
+}
+/* v8 ignore start */
+function findNodeInGraph(id, graph) {
+    if (id === 'product')
+        return graph.product;
+    for (const mod of graph.modules) {
+        if (mod.id === id)
+            return mod;
+        for (const [, value] of Object.entries(mod)) {
+            if (Array.isArray(value)) {
+                for (const item of value) {
+                    if (typeof item === 'object' && item !== null && 'id' in item && item.id === id) {
+                        return item;
+                    }
+                }
+            }
+        }
+    }
+    return null;
+}
+/* v8 ignore stop */
+function checkAuthorization(node, actor, expected) {
+    const auths = node['authorization'];
+    if (!auths)
+        return expected === 'denied';
+    const entry = auths.find((a) => a.actor.endsWith(`.actor.${actor}`) || a.actor === actor);
+    if (!entry)
+        return expected === 'denied';
+    return expected === 'allowed';
+}
+function getProperty(node, key) {
+    return node[key];
+}
+/* v8 ignore start */
+function normalizeExpectValue(value) {
+    if (typeof value === 'object' && value !== null && 'kind' in value) {
+        const v = value;
+        switch (v['kind']) {
+            case 'string': return v['value'];
+            case 'integer': return v['value'];
+            case 'decimal': return v['value'];
+            case 'boolean': return v['value'];
+            case 'identifier': return v['value'];
+            default: return value;
+        }
+    }
+    return value;
+}
+/* v8 ignore stop */
+//# sourceMappingURL=test-runner.js.map

package/dist/testing/test-runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-runner.js","sourceRoot":"","sources":["../../src/testing/test-runner.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,sCAAsC;AACtC,8EAA8E;AAC9E,kEAAkE;AAKlE,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAgB7D,MAAM,UAAU,YAAY,CAC1B,KAAyB,EACzB,UAAsB,EACtB,KAAmB;IAEnB,MAAM,GAAG,GAAG,IAAI,aAAa,EAAE,CAAC;IAChC,MAAM,OAAO,GAAqB,EAAE,CAAC;IAErC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAS;YACrC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;oBAAE,SAAS;gBACnC,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;gBACrE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;IAC3D,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;IAE5D,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,YAAY,CACnB,IAAc,EACd,UAAkB,EAClB,IAAgB,EAChB,KAAmB,EACnB,GAAkB;IAElB,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IAE3D,oCAAoC;IACpC,MAAM,UAAU,GAAG,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACpD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,QAAQ,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;QACtE,GAAG,CAAC,GAAG,CAAC;YACN,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,cAAc,EAAE,QAAQ,EAAE,OAAO;YACjE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,IAAI,CAAC,IAAI,uCAAuC;YACnF,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM;SACjF,CAAC,CAAC;QACH,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACxE,CAAC;IAED,0BAA0B;IAC1B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChC,IAAI,KAAK,CAAC,GAAG,KAAK,eAAe,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAChE,6BAA6B;YAC7B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBAC/B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,IAAI,IAAI,UAAU,IAAI,IAAI,EAAE,CAAC;oBACtE,yCAAyC;oBACzC,MAAM,UAAU,GAAG,kBAAkB,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;oBAC7E,IAAI,CAAC,UAAU,EAAE,CAAC;wBAChB,QAAQ,CAAC,IAAI,CAAC,4BAA4B,IAAI,CAAC,KAAK,YAAY,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC;oBACpF,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;aAAM,CAAC;YACN,yBAAyB;YACzB,MAAM,SAAS,GAAG,WAAW,CAAC,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;YACrD,MAAM,aAAa,GAAG,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACxD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,QAAQ,CAAC,IAAI,CAAC,aAAa,KAAK,CAAC,GAAG,4BAA4B,CAAC,CAAC;YACpE,CAAC;iBAAM,IAAI,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,CAAC;gBACvE,QAAQ,CAAC,IAAI,CAAC,aAAa,KAAK,CAAC,GAAG,eAAe,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YACxH,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,GAAG,CAAC,GAAG,CAAC;YACN,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,cAAc,EAAE,QAAQ,EAAE,OAAO;YACjE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,IAAI,CAAC,IAAI,aAAa,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAC9E,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM;SACjF,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC;AACxF,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAc,EAAE,UAAkB,EAAE,IAAgB;IAC7E,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,MAAM,GAAG,GAAG,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IACrF,IAAI,GAAG;QAAE,OAAO,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;IAC5D,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/B,CAAC;AAED,qBAAqB;AACrB,SAAS,eAAe,CAAC,EAAU,EAAE,KAAmB;IACtD,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,OAA6C,CAAC;IACjF,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAChC,IAAI,GAAG,CAAC,EAAE,KAAK,EAAE;YAAE,OAAO,GAAyC,CAAC;QACpE,KAAK,MAAM,CAAC,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,IAAI,IAAI,IAAK,IAAuB,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;wBACpG,OAAO,IAA+B,CAAC;oBACzC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AACD,oBAAoB;AAEpB,SAAS,kBAAkB,CAAC,IAA6B,EAAE,KAAa,EAAE,QAAgB;IACxF,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAgE,CAAC;IACnG,IAAI,CAAC,KAAK;QAAE,OAAO,QAAQ,KAAK,QAAQ,CAAC;IACzC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;IAC1F,IAAI,CAAC,KAAK;QAAE,OAAO,QAAQ,KAAK,QAAQ,CAAC;IACzC,OAAO,QAAQ,KAAK,SAAS,CAAC;AAChC,CAAC;AAED,SAAS,WAAW,CAAC,IAA6B,EAAE,GAAW;IAC7D,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;AACnB,CAAC;AAED,qBAAqB;AACrB,SAAS,oBAAoB,CAAC,KAAc;IAC1C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;QACnE,MAAM,CAAC,GAAG,KAAiD,CAAC;QAC5D,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;YAClB,KAAK,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC;YACjC,KAAK,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC;YAClC,KAAK,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC;YAClC,KAAK,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC;YAClC,KAAK,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC;YACrC,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC;QACxB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AACD,oBAAoB"}

package/dist/types.d.ts

@@ -0,0 +1,36 @@
+/** Source location for diagnostics and tooling. */
+export interface SourceLocation {
+    readonly file: string;
+    readonly line: number;
+    readonly column: number;
+    readonly endLine: number;
+    readonly endColumn: number;
+}
+/** All primitive type names recognised by the language. */
+export declare const PRIMITIVE_TYPES: readonly ["string", "integer", "decimal", "boolean", "uuid", "date", "datetime"];
+export type PrimitiveTypeName = (typeof PRIMITIVE_TYPES)[number];
+/** Discriminated union of all type expressions in the AST. */
+export type TypeExpr = {
+    readonly kind: 'primitive';
+    readonly name: PrimitiveTypeName;
+    readonly location: SourceLocation;
+} | {
+    readonly kind: 'ref';
+    readonly segments: readonly string[];
+    readonly location: SourceLocation;
+} | {
+    readonly kind: 'generic';
+    readonly wrapper: string;
+    readonly inner: TypeExpr;
+    readonly location: SourceLocation;
+};
+export declare const NODE_KINDS: readonly ["product", "module", "entity", "value", "enum", "rule", "actor", "capability", "workflow", "action", "event", "schedule", "surface", "rendering", "tokens", "theme", "strings", "serialization", "integration", "transport", "storage", "execution", "extension", "constitution", "security", "privacy", "validation", "secret", "environment", "deployment", "test", "product_ref"];
+export type NodeKind = (typeof NODE_KINDS)[number];
+export declare const EDGE_KINDS: readonly ["contains", "imports", "field_type", "input_type", "return_type", "payload_type", "contract_type", "reads", "writes", "uses_rule", "calls", "transitions", "triggers_on", "emits", "notifies", "invokes", "binds", "exposes_action", "contains_surface", "uses_serialization", "targets_surface", "uses_token", "extends_tokens", "references_string", "refines_entity", "refines_workflow", "refines_surface", "attaches_to", "uses_secret", "governs", "binds_secret", "includes_env", "tests", "authorized_as", "member_of", "product_dependency", "consumes_type", "consumes_event", "consumes_surface", "consumes_actor"];
+export type EdgeKind = (typeof EDGE_KINDS)[number];
+export type DiagnosticSeverity = 'error' | 'warning' | 'info';
+export declare const DIAGNOSTIC_PHASES: readonly ["lexer", "parser", "binder", "checker", "validator", "graph", "registry", "planner", "test_runner", "verifier"];
+export type DiagnosticPhase = (typeof DIAGNOSTIC_PHASES)[number];
+export declare const DIAGNOSTIC_CATEGORIES: readonly ["lexical_error", "syntax_error", "resolution_error", "type_error", "semantic_error", "graph_error", "registry_error", "planning_error", "test_failure", "verification_error", "generation_error", "generation_warning", "seam_warning", "review_fix_error", "warning", "lint"];
+export type DiagnosticCategory = (typeof DIAGNOSTIC_CATEGORIES)[number];
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAKA,mDAAmD;AACnD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,2DAA2D;AAC3D,eAAO,MAAM,eAAe,kFAQlB,CAAC;AAEX,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC;AAEjE,8DAA8D;AAC9D,MAAM,MAAM,QAAQ,GAChB;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAA;CAAE,GACnG;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAA;CAAE,GACjG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAA;CAAE,CAAC;AAKxH,eAAO,MAAM,UAAU,gYAiCb,CAAC;AAEX,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AAKnD,eAAO,MAAM,UAAU,0mBAyCb,CAAC;AAEX,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AAKnD,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAE9D,eAAO,MAAM,iBAAiB,2HAWpB,CAAC;AAEX,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEjE,eAAO,MAAM,qBAAqB,0RAiBxB,CAAC;AAEX,MAAM,MAAM,kBAAkB,GAAG,CAAC,OAAO,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC"}

package/dist/types.js

@@ -0,0 +1,127 @@
+// ---------------------------------------------------------------------------
+// Prodara Compiler — Core Types
+// ---------------------------------------------------------------------------
+// Shared type definitions used across all compiler subsystems.
+/** All primitive type names recognised by the language. */
+export const PRIMITIVE_TYPES = [
+    'string',
+    'integer',
+    'decimal',
+    'boolean',
+    'uuid',
+    'date',
+    'datetime',
+];
+// ---------------------------------------------------------------------------
+// Product Graph node kinds — mirrors the specification exactly.
+// ---------------------------------------------------------------------------
+export const NODE_KINDS = [
+    'product',
+    'module',
+    'entity',
+    'value',
+    'enum',
+    'rule',
+    'actor',
+    'capability',
+    'workflow',
+    'action',
+    'event',
+    'schedule',
+    'surface',
+    'rendering',
+    'tokens',
+    'theme',
+    'strings',
+    'serialization',
+    'integration',
+    'transport',
+    'storage',
+    'execution',
+    'extension',
+    'constitution',
+    'security',
+    'privacy',
+    'validation',
+    'secret',
+    'environment',
+    'deployment',
+    'test',
+    'product_ref',
+];
+// ---------------------------------------------------------------------------
+// Product Graph edge kinds — mirrors the specification exactly.
+// ---------------------------------------------------------------------------
+export const EDGE_KINDS = [
+    'contains',
+    'imports',
+    'field_type',
+    'input_type',
+    'return_type',
+    'payload_type',
+    'contract_type',
+    'reads',
+    'writes',
+    'uses_rule',
+    'calls',
+    'transitions',
+    'triggers_on',
+    'emits',
+    'notifies',
+    'invokes',
+    'binds',
+    'exposes_action',
+    'contains_surface',
+    'uses_serialization',
+    'targets_surface',
+    'uses_token',
+    'extends_tokens',
+    'references_string',
+    'refines_entity',
+    'refines_workflow',
+    'refines_surface',
+    'attaches_to',
+    'uses_secret',
+    'governs',
+    'binds_secret',
+    'includes_env',
+    'tests',
+    'authorized_as',
+    'member_of',
+    'product_dependency',
+    'consumes_type',
+    'consumes_event',
+    'consumes_surface',
+    'consumes_actor',
+];
+export const DIAGNOSTIC_PHASES = [
+    'lexer',
+    'parser',
+    'binder',
+    'checker',
+    'validator',
+    'graph',
+    'registry',
+    'planner',
+    'test_runner',
+    'verifier',
+];
+export const DIAGNOSTIC_CATEGORIES = [
+    'lexical_error',
+    'syntax_error',
+    'resolution_error',
+    'type_error',
+    'semantic_error',
+    'graph_error',
+    'registry_error',
+    'planning_error',
+    'test_failure',
+    'verification_error',
+    'generation_error',
+    'generation_warning',
+    'seam_warning',
+    'review_fix_error',
+    'warning',
+    'lint',
+];
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,gCAAgC;AAChC,8EAA8E;AAC9E,+DAA+D;AAW/D,2DAA2D;AAC3D,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,QAAQ;IACR,SAAS;IACT,SAAS;IACT,SAAS;IACT,MAAM;IACN,MAAM;IACN,UAAU;CACF,CAAC;AAUX,8EAA8E;AAC9E,gEAAgE;AAChE,8EAA8E;AAC9E,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,SAAS;IACT,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,MAAM;IACN,MAAM;IACN,OAAO;IACP,YAAY;IACZ,UAAU;IACV,QAAQ;IACR,OAAO;IACP,UAAU;IACV,SAAS;IACT,WAAW;IACX,QAAQ;IACR,OAAO;IACP,SAAS;IACT,eAAe;IACf,aAAa;IACb,WAAW;IACX,SAAS;IACT,WAAW;IACX,WAAW;IACX,cAAc;IACd,UAAU;IACV,SAAS;IACT,YAAY;IACZ,QAAQ;IACR,aAAa;IACb,YAAY;IACZ,MAAM;IACN,aAAa;CACL,CAAC;AAIX,8EAA8E;AAC9E,gEAAgE;AAChE,8EAA8E;AAC9E,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,UAAU;IACV,SAAS;IACT,YAAY;IACZ,YAAY;IACZ,aAAa;IACb,cAAc;IACd,eAAe;IACf,OAAO;IACP,QAAQ;IACR,WAAW;IACX,OAAO;IACP,aAAa;IACb,aAAa;IACb,OAAO;IACP,UAAU;IACV,SAAS;IACT,OAAO;IACP,gBAAgB;IAChB,kBAAkB;IAClB,oBAAoB;IACpB,iBAAiB;IACjB,YAAY;IACZ,gBAAgB;IAChB,mBAAmB;IACnB,gBAAgB;IAChB,kBAAkB;IAClB,iBAAiB;IACjB,aAAa;IACb,aAAa;IACb,SAAS;IACT,cAAc;IACd,cAAc;IACd,OAAO;IACP,eAAe;IACf,WAAW;IACX,oBAAoB;IACpB,eAAe;IACf,gBAAgB;IAChB,kBAAkB;IAClB,gBAAgB;CACR,CAAC;AASX,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,WAAW;IACX,OAAO;IACP,UAAU;IACV,SAAS;IACT,aAAa;IACb,UAAU;CACF,CAAC;AAIX,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,eAAe;IACf,cAAc;IACd,kBAAkB;IAClB,YAAY;IACZ,gBAAgB;IAChB,aAAa;IACb,gBAAgB;IAChB,gBAAgB;IAChB,cAAc;IACd,oBAAoB;IACpB,kBAAkB;IAClB,oBAAoB;IACpB,cAAc;IACd,kBAAkB;IAClB,SAAS;IACT,MAAM;CACE,CAAC"}

package/dist/validation/index.d.ts

@@ -0,0 +1,3 @@
+export { runValidation } from './validation.js';
+export type { ValidationCommandResult, ValidationResult, ValidationStep, ValidationStatus } from './types.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/validation/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/validation/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChD,YAAY,EAAE,uBAAuB,EAAE,gBAAgB,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC"}

package/dist/validation/index.js

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

package/dist/validation/index.js.map

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

package/dist/validation/types.d.ts

@@ -0,0 +1,16 @@
+export type ValidationStatus = 'passed' | 'failed' | 'skipped' | 'timeout';
+export type ValidationStep = 'lint' | 'typecheck' | 'test' | 'build';
+export interface ValidationCommandResult {
+    readonly step: ValidationStep;
+    readonly command: string;
+    readonly status: ValidationStatus;
+    readonly exitCode: number | null;
+    readonly stdout: string;
+    readonly stderr: string;
+    readonly duration_ms: number;
+}
+export interface ValidationResult {
+    readonly passed: boolean;
+    readonly results: readonly ValidationCommandResult[];
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/validation/types.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,gBAAgB,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAC;AAE3E,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,WAAW,GAAG,MAAM,GAAG,OAAO,CAAC;AAErE,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,SAAS,uBAAuB,EAAE,CAAC;CACtD"}

package/dist/validation/types.js

@@ -0,0 +1,5 @@
+// ---------------------------------------------------------------------------
+// Prodara Compiler — Validation Types
+// ---------------------------------------------------------------------------
+export {};
+//# sourceMappingURL=types.js.map

package/dist/validation/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/validation/types.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,sCAAsC;AACtC,8EAA8E"}

package/dist/validation/validation.d.ts

@@ -0,0 +1,8 @@
+import type { ResolvedValidationConfig } from '../config/config.js';
+import type { ValidationResult } from './types.js';
+/**
+ * Run all configured validation commands in order.
+ * Returns immediately if no commands are configured.
+ */
+export declare function runValidation(config: ResolvedValidationConfig, cwd: string): ValidationResult;
+//# sourceMappingURL=validation.d.ts.map

package/dist/validation/validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../src/validation/validation.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AACpE,OAAO,KAAK,EAA2B,gBAAgB,EAAoC,MAAM,YAAY,CAAC;AAW9G;;;GAGG;AACH,wBAAgB,aAAa,CAC3B,MAAM,EAAE,wBAAwB,EAChC,GAAG,EAAE,MAAM,GACV,gBAAgB,CAuBlB"}

package/dist/validation/validation.js

@@ -0,0 +1,101 @@
+// ---------------------------------------------------------------------------
+// Prodara Compiler — Validation Executor
+// ---------------------------------------------------------------------------
+// Runs configured validation commands (lint, typecheck, test, build)
+// in the project directory. Commands run with shell=false to prevent
+// injection. Order: lint → typecheck → test → build.
+import { execFileSync } from 'node:child_process';
+const STEP_ORDER = ['lint', 'typecheck', 'test', 'build'];
+const DEFAULT_TIMEOUTS = {
+    lint: 60_000,
+    typecheck: 60_000,
+    test: 300_000,
+    build: 300_000,
+};
+/**
+ * Run all configured validation commands in order.
+ * Returns immediately if no commands are configured.
+ */
+export function runValidation(config, cwd) {
+    const results = [];
+    for (const step of STEP_ORDER) {
+        const command = config[step];
+        if (!command) {
+            results.push({
+                step,
+                command: '',
+                status: 'skipped',
+                exitCode: null,
+                stdout: '',
+                stderr: '',
+                duration_ms: 0,
+            });
+            continue;
+        }
+        results.push(executeCommand(step, command, cwd));
+    }
+    const passed = results.every(r => r.status === 'passed' || r.status === 'skipped');
+    return { passed, results };
+}
+function executeCommand(step, command, cwd) {
+    const timeout = DEFAULT_TIMEOUTS[step];
+    const parts = parseCommand(command);
+    if (parts.length === 0) {
+        return {
+            step,
+            command,
+            status: 'skipped',
+            exitCode: null,
+            stdout: '',
+            stderr: '',
+            duration_ms: 0,
+        };
+    }
+    const [cmd, ...args] = parts;
+    const start = Date.now();
+    try {
+        const stdout = execFileSync(cmd, args, {
+            cwd,
+            timeout,
+            encoding: 'utf-8',
+            stdio: ['pipe', 'pipe', 'pipe'],
+            env: { ...process.env },
+        });
+        return {
+            step,
+            command,
+            status: 'passed',
+            exitCode: 0,
+            /* v8 ignore next -- execFileSync with encoding always returns string */
+            stdout: stdout ?? '',
+            stderr: '',
+            duration_ms: Date.now() - start,
+        };
+    }
+    catch (err) {
+        const duration_ms = Date.now() - start;
+        const error = err;
+        let status = 'failed';
+        /* v8 ignore next 3 -- timeout requires real I/O delay; tested via integration */
+        if (error.killed) {
+            status = 'timeout';
+        }
+        return {
+            step,
+            command,
+            status,
+            exitCode: error.status ?? 1,
+            stdout: typeof error.stdout === 'string' ? error.stdout : '',
+            stderr: typeof error.stderr === 'string' ? error.stderr : '',
+            duration_ms,
+        };
+    }
+}
+/**
+ * Parse a command string into executable and arguments.
+ * Simple whitespace splitting — does not support shell features.
+ */
+function parseCommand(command) {
+    return command.trim().split(/\s+/).filter(Boolean);
+}
+//# sourceMappingURL=validation.js.map

package/dist/validation/validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../src/validation/validation.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,yCAAyC;AACzC,8EAA8E;AAC9E,qEAAqE;AACrE,qEAAqE;AACrE,qDAAqD;AAErD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAIlD,MAAM,UAAU,GAA8B,CAAC,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;AAErF,MAAM,gBAAgB,GAAmC;IACvD,IAAI,EAAE,MAAM;IACZ,SAAS,EAAE,MAAM;IACjB,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,OAAO;CACf,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAgC,EAChC,GAAW;IAEX,MAAM,OAAO,GAA8B,EAAE,CAAC;IAE9C,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI;gBACJ,OAAO,EAAE,EAAE;gBACX,MAAM,EAAE,SAAS;gBACjB,QAAQ,EAAE,IAAI;gBACd,MAAM,EAAE,EAAE;gBACV,MAAM,EAAE,EAAE;gBACV,WAAW,EAAE,CAAC;aACf,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;IACnD,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;IACnF,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC7B,CAAC;AAED,SAAS,cAAc,CACrB,IAAoB,EACpB,OAAe,EACf,GAAW;IAEX,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,IAAI;YACJ,OAAO;YACP,MAAM,EAAE,SAAS;YACjB,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,EAAE;YACV,MAAM,EAAE,EAAE;YACV,WAAW,EAAE,CAAC;SACf,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC;IAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAEzB,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,YAAY,CAAC,GAAI,EAAE,IAAI,EAAE;YACtC,GAAG;YACH,OAAO;YACP,QAAQ,EAAE,OAAO;YACjB,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;YAC/B,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE;SACxB,CAAC,CAAC;QAEH,OAAO;YACL,IAAI;YACJ,OAAO;YACP,MAAM,EAAE,QAAQ;YAChB,QAAQ,EAAE,CAAC;YACX,wEAAwE;YACxE,MAAM,EAAE,MAAM,IAAI,EAAE;YACpB,MAAM,EAAE,EAAE;YACV,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;SAChC,CAAC;IACJ,CAAC;IAAC,OAAO,GAAY,EAAE,CAAC;QACtB,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;QACvC,MAAM,KAAK,GAAG,GAA8E,CAAC;QAE7F,IAAI,MAAM,GAAqB,QAAQ,CAAC;QACxC,iFAAiF;QACjF,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YACjB,MAAM,GAAG,SAAS,CAAC;QACrB,CAAC;QAED,OAAO;YACL,IAAI;YACJ,OAAO;YACP,MAAM;YACN,QAAQ,EAAE,KAAK,CAAC,MAAM,IAAI,CAAC;YAC3B,MAAM,EAAE,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;YAC5D,MAAM,EAAE,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;YAC5D,WAAW;SACZ,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,OAAe;IACnC,OAAO,OAAO,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AACrD,CAAC"}

package/dist/verification/index.d.ts

@@ -0,0 +1,3 @@
+export type { VerificationSeverity, VerificationCheck, VerificationResult } from './types.js';
+export { verify } from './verify.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/verification/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAIA,YAAY,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAC9F,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC"}

package/dist/verification/index.js

@@ -0,0 +1,5 @@
+// ---------------------------------------------------------------------------
+// Prodara Compiler — Verification (public API)
+// ---------------------------------------------------------------------------
+export { verify } from './verify.js';
+//# sourceMappingURL=index.js.map

package/dist/verification/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,+CAA+C;AAC/C,8EAA8E;AAG9E,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC"}

package/dist/verification/types.d.ts

@@ -0,0 +1,14 @@
+export type VerificationSeverity = 'pass' | 'fail' | 'warn';
+export interface VerificationCheck {
+    readonly name: string;
+    readonly severity: VerificationSeverity;
+    readonly message: string;
+}
+export interface VerificationResult {
+    readonly passed: boolean;
+    readonly checks: readonly VerificationCheck[];
+    readonly passCount: number;
+    readonly failCount: number;
+    readonly warnCount: number;
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/verification/types.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,oBAAoB,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;AAE5D,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAC;IACxC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC9C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B"}

package/dist/verification/types.js

@@ -0,0 +1,5 @@
+// ---------------------------------------------------------------------------
+// Prodara Compiler — Verification Types
+// ---------------------------------------------------------------------------
+export {};
+//# sourceMappingURL=types.js.map

package/dist/verification/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/verification/types.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,wCAAwC;AACxC,8EAA8E"}

package/dist/verification/verify.d.ts

@@ -0,0 +1,7 @@
+import type { ProductGraph } from '../graph/graph-types.js';
+import type { IncrementalSpec } from '../incremental/types.js';
+import type { ReviewCycleResult } from '../reviewers/types.js';
+import type { WorkflowResult } from '../workflow/engine.js';
+import type { VerificationResult } from './types.js';
+export declare function verify(graph: ProductGraph, spec: IncrementalSpec, workflow: WorkflowResult, reviewCycles: readonly ReviewCycleResult[]): VerificationResult;
+//# sourceMappingURL=verify.d.ts.map

package/dist/verification/verify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../src/verification/verify.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,YAAY,EAAc,MAAM,yBAAyB,CAAC;AAExE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAqB,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAMxE,wBAAgB,MAAM,CACpB,KAAK,EAAE,YAAY,EACnB,IAAI,EAAE,eAAe,EACrB,QAAQ,EAAE,cAAc,EACxB,YAAY,EAAE,SAAS,iBAAiB,EAAE,GACzC,kBAAkB,CAoBpB"}