@prodara/compiler 0.1.0

package/dist/checker/validator.js

@@ -0,0 +1,251 @@
+// ---------------------------------------------------------------------------
+// Prodara Compiler — Semantic Validator
+// ---------------------------------------------------------------------------
+// Enforces semantic rules that go beyond type-checking:
+// - Workflow transitions must reference valid enum members
+// - Capabilities must reference valid actors
+// - Surfaces must reference valid capabilities
+// - Tests must reference valid targets
+// - Various referential integrity checks
+import { resolveSymbolRef } from '../binder/binder.js';
+import { DiagnosticBag } from '../diagnostics/diagnostic.js';
+export function validate(files, bindResult) {
+    const bag = new DiagnosticBag();
+    const v = new SemanticValidator(bindResult, bag);
+    for (const file of files) {
+        for (const decl of file.declarations) {
+            if (decl.kind === 'module') {
+                for (const item of decl.items) {
+                    v.validateItem(item, decl.name);
+                }
+            }
+        }
+    }
+    return { bag };
+}
+class SemanticValidator {
+    bind;
+    bag;
+    constructor(bind, bag) {
+        this.bind = bind;
+        this.bag = bag;
+    }
+    validateItem(item, moduleName) {
+        switch (item.kind) {
+            case 'workflow':
+                this.validateWorkflow(item, moduleName);
+                break;
+            case 'capability':
+                this.validateCapability(item, moduleName);
+                break;
+            case 'surface':
+                this.validateSurface(item, moduleName);
+                break;
+            case 'action':
+                if (item.workflow) {
+                    this.resolveRefOrWarn(item.workflow, moduleName, item.location.file, item.location.line, item.location.column, 'workflow');
+                }
+                break;
+            case 'transport':
+                if (item.target)
+                    this.resolveRefOrWarn(item.target, moduleName, item.location.file, item.location.line, item.location.column);
+                break;
+            case 'storage':
+                if (item.target)
+                    this.resolveRefOrWarn(item.target, moduleName, item.location.file, item.location.line, item.location.column);
+                break;
+            case 'execution':
+                if (item.target)
+                    this.resolveRefOrWarn(item.target, moduleName, item.location.file, item.location.line, item.location.column);
+                break;
+            case 'extension':
+                if (item.target)
+                    this.resolveRefOrWarn(item.target, moduleName, item.location.file, item.location.line, item.location.column);
+                break;
+            case 'rendering':
+                if (item.target)
+                    this.resolveRefOrWarn(item.target, moduleName, item.location.file, item.location.line, item.location.column, 'surface');
+                break;
+            case 'test':
+                if (item.target.length > 0) {
+                    this.resolveRefOrWarn(item.target, moduleName, item.location.file, item.location.line, item.location.column);
+                }
+                break;
+            case 'security':
+                this.validateGovernanceAppliesTo(item, moduleName);
+                break;
+            case 'privacy':
+                this.validatePrivacy(item, moduleName);
+                break;
+            case 'validation':
+                this.validateGovernanceAppliesTo(item, moduleName);
+                break;
+            case 'constitution':
+                this.validateGovernanceAppliesTo(item, moduleName);
+                break;
+            case 'deployment':
+                this.validateDeployment(item, moduleName);
+                break;
+            default:
+                break;
+        }
+    }
+    validateWorkflow(wf, moduleName) {
+        // Validate capability ref
+        if (wf.capability) {
+            this.resolveRefOrWarn(wf.capability, moduleName, wf.location.file, wf.location.line, wf.location.column, 'capability');
+        }
+        // Validate reads/writes refs
+        if (wf.reads) {
+            for (const ref of wf.reads) {
+                this.resolveRefOrWarn(ref, moduleName, wf.location.file, wf.location.line, wf.location.column);
+            }
+        }
+        if (wf.writes) {
+            for (const ref of wf.writes) {
+                this.resolveRefOrWarn(ref, moduleName, wf.location.file, wf.location.line, wf.location.column);
+            }
+        }
+        // Validate rules refs
+        if (wf.rules) {
+            for (const ref of wf.rules) {
+                this.resolveRefOrWarn(ref, moduleName, wf.location.file, wf.location.line, wf.location.column, 'rule');
+            }
+        }
+        // Validate transitions: entity reference must be resolvable
+        if (wf.transitions) {
+            for (const t of wf.transitions) {
+                const sym = this.resolveRefOrWarn(t.entity, moduleName, wf.location.file, wf.location.line, wf.location.column, 'entity');
+                if (sym && sym.nodeKind === 'entity') {
+                    // Check that the field has an enum type (transition field must be enum)
+                    const entityDecl = sym.declaration;
+                    if (entityDecl.kind === 'entity') {
+                        const field = entityDecl.fields.find((f) => f.name === t.field);
+                        if (!field) {
+                            this.bag.add({
+                                phase: 'validator', category: 'semantic_error', severity: 'error',
+                                code: 'PRD0401',
+                                message: `Transition field '${t.field}' not found on entity '${sym.qualifiedName}'`,
+                                file: wf.location.file, line: wf.location.line, column: wf.location.column,
+                            });
+                        }
+                        else if (field.type.kind === 'ref') {
+                            // Resolve the enum type and validate from/to are valid members
+                            const enumSym = resolveSymbolRef(field.type.segments, moduleName, this.bind.modules, this.bind.allSymbols);
+                            if (enumSym && enumSym.nodeKind === 'enum' && enumSym.declaration.kind === 'enum') {
+                                const members = enumSym.declaration.members.map((m) => m.name);
+                                if (!members.includes(t.from)) {
+                                    this.bag.add({
+                                        phase: 'validator', category: 'semantic_error', severity: 'error',
+                                        code: 'PRD0402',
+                                        message: `Transition 'from' state '${t.from}' is not a member of enum '${enumSym.qualifiedName}'`,
+                                        file: wf.location.file, line: wf.location.line, column: wf.location.column,
+                                    });
+                                }
+                                if (!members.includes(t.to)) {
+                                    this.bag.add({
+                                        phase: 'validator', category: 'semantic_error', severity: 'error',
+                                        code: 'PRD0402',
+                                        message: `Transition 'to' state '${t.to}' is not a member of enum '${enumSym.qualifiedName}'`,
+                                        file: wf.location.file, line: wf.location.line, column: wf.location.column,
+                                    });
+                                }
+                            }
+                        }
+                    }
+                }
+            }
+        }
+        // Validate trigger
+        if (wf.trigger) {
+            this.resolveRefOrWarn(wf.trigger, moduleName, wf.location.file, wf.location.line, wf.location.column, 'event');
+        }
+    }
+    validateCapability(cap, moduleName) {
+        if (cap.actors) {
+            for (const ref of cap.actors) {
+                this.resolveRefOrWarn(ref, moduleName, cap.location.file, cap.location.line, cap.location.column, 'actor');
+            }
+        }
+    }
+    validateSurface(surf, moduleName) {
+        if (surf.capability) {
+            this.resolveRefOrWarn(surf.capability, moduleName, surf.location.file, surf.location.line, surf.location.column, 'capability');
+        }
+        if (surf.binds) {
+            this.resolveRefOrWarn(surf.binds, moduleName, surf.location.file, surf.location.line, surf.location.column, 'entity');
+        }
+        if (surf.actions) {
+            for (const ref of surf.actions) {
+                this.resolveRefOrWarn(ref, moduleName, surf.location.file, surf.location.line, surf.location.column, 'action');
+            }
+        }
+        if (surf.surfaces) {
+            for (const ref of surf.surfaces) {
+                this.resolveRefOrWarn(ref, moduleName, surf.location.file, surf.location.line, surf.location.column, 'surface');
+            }
+        }
+        if (surf.rules) {
+            for (const ref of surf.rules) {
+                this.resolveRefOrWarn(ref, moduleName, surf.location.file, surf.location.line, surf.location.column, 'rule');
+            }
+        }
+        if (surf.hooks) {
+            for (const hook of surf.hooks) {
+                if (hook.target) {
+                    this.resolveRefOrWarn(hook.target, moduleName, surf.location.file, surf.location.line, surf.location.column);
+                }
+            }
+        }
+    }
+    validateGovernanceAppliesTo(item, moduleName) {
+        if (item.appliesTo) {
+            for (const ref of item.appliesTo) {
+                // Governance applies_to may target modules (single segment = module name) or items
+                if (ref.length === 1 && this.bind.modules.has(ref[0]))
+                    continue;
+                this.resolveRefOrWarn(ref, moduleName, item.location.file, item.location.line, item.location.column);
+            }
+        }
+    }
+    validatePrivacy(item, moduleName) {
+        this.validateGovernanceAppliesTo(item, moduleName);
+        if (item.redactOn) {
+            for (const ref of item.redactOn) {
+                this.resolveRefOrWarn(ref, moduleName, item.location.file, item.location.line, item.location.column);
+            }
+        }
+    }
+    validateDeployment(item, moduleName) {
+        if (item.environments) {
+            for (const ref of item.environments) {
+                this.resolveRefOrWarn(ref, moduleName, item.location.file, item.location.line, item.location.column, 'environment');
+            }
+        }
+    }
+    resolveRefOrWarn(segments, moduleName, file, line, column, expectedKind) {
+        /* v8 ignore next */
+        if (segments.length === 0)
+            return null;
+        const sym = resolveSymbolRef(segments, moduleName, this.bind.modules, this.bind.allSymbols);
+        if (!sym) {
+            this.bag.add({
+                phase: 'validator', category: 'resolution_error', severity: 'error',
+                code: 'PRD0400',
+                message: `Unresolved reference '${segments.join('.')}'`,
+                file, line, column,
+            });
+            return null;
+        }
+        if (expectedKind && sym.nodeKind !== expectedKind) {
+            this.bag.add({
+                phase: 'validator', category: 'semantic_error', severity: 'warning',
+                code: 'PRD0402',
+                message: `Expected '${expectedKind}' but '${segments.join('.')}' resolves to '${sym.nodeKind}'`,
+                file, line, column,
+            });
+        }
+        return sym;
+    }
+}
+//# sourceMappingURL=validator.js.map

package/dist/checker/validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.js","sourceRoot":"","sources":["../../src/checker/validator.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,wCAAwC;AACxC,8EAA8E;AAC9E,wDAAwD;AACxD,2DAA2D;AAC3D,6CAA6C;AAC7C,+CAA+C;AAC/C,uCAAuC;AACvC,yCAAyC;AAIzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAM7D,MAAM,UAAU,QAAQ,CAAC,KAAyB,EAAE,UAAsB;IACxE,MAAM,GAAG,GAAG,IAAI,aAAa,EAAE,CAAC;IAChC,MAAM,CAAC,GAAG,IAAI,iBAAiB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IAEjD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC3B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBAC9B,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,GAAG,EAAE,CAAC;AACjB,CAAC;AAED,MAAM,iBAAiB;IAEF;IACA;IAFnB,YACmB,IAAgB,EAChB,GAAkB;QADlB,SAAI,GAAJ,IAAI,CAAY;QAChB,QAAG,GAAH,GAAG,CAAe;IAClC,CAAC;IAEJ,YAAY,CAAC,IAAgB,EAAE,UAAkB;QAC/C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,UAAU;gBACb,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBACxC,MAAM;YACR,KAAK,YAAY;gBACf,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBAC1C,MAAM;YACR,KAAK,SAAS;gBACZ,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBACvC,MAAM;YACR,KAAK,QAAQ;gBACX,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBAClB,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;gBAC7H,CAAC;gBACD,MAAM;YACR,KAAK,WAAW;gBACd,IAAI,IAAI,CAAC,MAAM;oBAAE,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;gBAC9H,MAAM;YACR,KAAK,SAAS;gBACZ,IAAI,IAAI,CAAC,MAAM;oBAAE,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;gBAC9H,MAAM;YACR,KAAK,WAAW;gBACd,IAAI,IAAI,CAAC,MAAM;oBAAE,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;gBAC9H,MAAM;YACR,KAAK,WAAW;gBACd,IAAI,IAAI,CAAC,MAAM;oBAAE,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;gBAC9H,MAAM;YACR,KAAK,WAAW;gBACd,IAAI,IAAI,CAAC,MAAM;oBAAE,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;gBACzI,MAAM;YACR,KAAK,MAAM;gBACT,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC3B,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;gBAC/G,CAAC;gBACD,MAAM;YACR,KAAK,UAAU;gBACb,IAAI,CAAC,2BAA2B,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBACnD,MAAM;YACR,KAAK,SAAS;gBACZ,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBACvC,MAAM;YACR,KAAK,YAAY;gBACf,IAAI,CAAC,2BAA2B,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBACnD,MAAM;YACR,KAAK,cAAc;gBACjB,IAAI,CAAC,2BAA2B,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBACnD,MAAM;YACR,KAAK,YAAY;gBACf,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBAC1C,MAAM;YACR;gBACE,MAAM;QACV,CAAC;IACH,CAAC;IAEO,gBAAgB,CAAC,EAAgB,EAAE,UAAkB;QAC3D,0BAA0B;QAC1B,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;YAClB,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QACzH,CAAC;QAED,6BAA6B;QAC7B,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YACb,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;gBAC3B,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YACjG,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YACd,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;gBAC5B,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YACjG,CAAC;QACH,CAAC;QAED,sBAAsB;QACtB,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YACb,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;gBAC3B,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YACzG,CAAC;QACH,CAAC;QAED,4DAA4D;QAC5D,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACnB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;gBAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;gBAC1H,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;oBACrC,wEAAwE;oBACxE,MAAM,UAAU,GAAG,GAAG,CAAC,WAAW,CAAC;oBACnC,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBACjC,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC;wBAChE,IAAI,CAAC,KAAK,EAAE,CAAC;4BACX,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gCACX,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,gBAAgB,EAAE,QAAQ,EAAE,OAAO;gCACjE,IAAI,EAAE,SAAS;gCACf,OAAO,EAAE,qBAAqB,CAAC,CAAC,KAAK,0BAA0B,GAAG,CAAC,aAAa,GAAG;gCACnF,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM;6BAC3E,CAAC,CAAC;wBACL,CAAC;6BAAM,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;4BACrC,+DAA+D;4BAC/D,MAAM,OAAO,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;4BAC3G,IAAI,OAAO,IAAI,OAAO,CAAC,QAAQ,KAAK,MAAM,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gCAClF,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gCAC/D,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;oCAC9B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;wCACX,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,gBAAgB,EAAE,QAAQ,EAAE,OAAO;wCACjE,IAAI,EAAE,SAAS;wCACf,OAAO,EAAE,4BAA4B,CAAC,CAAC,IAAI,8BAA8B,OAAO,CAAC,aAAa,GAAG;wCACjG,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM;qCAC3E,CAAC,CAAC;gCACL,CAAC;gCACD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;oCAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;wCACX,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,gBAAgB,EAAE,QAAQ,EAAE,OAAO;wCACjE,IAAI,EAAE,SAAS;wCACf,OAAO,EAAE,0BAA0B,CAAC,CAAC,EAAE,8BAA8B,OAAO,CAAC,aAAa,GAAG;wCAC7F,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM;qCAC3E,CAAC,CAAC;gCACL,CAAC;4BACH,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,mBAAmB;QACnB,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;YACf,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACjH,CAAC;IACH,CAAC;IAEO,kBAAkB,CAAC,GAAmB,EAAE,UAAkB;QAChE,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YACf,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;gBAC7B,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YAC7G,CAAC;QACH,CAAC;IACH,CAAC;IAEO,eAAe,CAAC,IAAiB,EAAE,UAAkB;QAC3D,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QACjI,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACxH,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAC/B,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YACjH,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAChC,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;YAClH,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC7B,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAC/G,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;oBAChB,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;gBAC/G,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAEO,2BAA2B,CAAC,IAAuE,EAAE,UAAkB;QAC7H,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACjC,mFAAmF;gBACnF,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;oBAAE,SAAS;gBACjE,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YACvG,CAAC;QACH,CAAC;IACH,CAAC;IAEO,eAAe,CAAC,IAAiB,EAAE,UAAkB;QAC3D,IAAI,CAAC,2BAA2B,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACnD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAChC,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YACvG,CAAC;QACH,CAAC;IACH,CAAC;IAEO,kBAAkB,CAAC,IAAoB,EAAE,UAAkB;QACjE,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACtB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACpC,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;YACtH,CAAC;QACH,CAAC;IACH,CAAC;IAEO,gBAAgB,CACtB,QAA2B,EAC3B,UAAkB,EAClB,IAAY,EACZ,IAAY,EACZ,MAAc,EACd,YAAqB;QAErB,oBAAoB;QACpB,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACvC,MAAM,GAAG,GAAG,gBAAgB,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5F,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBACX,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,kBAAkB,EAAE,QAAQ,EAAE,OAAO;gBACnE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,yBAAyB,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG;gBACvD,IAAI,EAAE,IAAI,EAAE,MAAM;aACnB,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,YAAY,IAAI,GAAG,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;YAClD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBACX,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,gBAAgB,EAAE,QAAQ,EAAE,SAAS;gBACnE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,aAAa,YAAY,UAAU,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,kBAAkB,GAAG,CAAC,QAAQ,GAAG;gBAC/F,IAAI,EAAE,IAAI,EAAE,MAAM;aACnB,CAAC,CAAC;QACL,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF"}

package/dist/cli/agent-setup.d.ts

@@ -0,0 +1,27 @@
+export type AgentId = 'claude' | 'copilot' | 'cursor' | 'gemini' | 'windsurf' | 'codex' | 'opencode' | 'amp' | 'roo' | 'kiro' | 'jules' | 'aider' | 'cline' | 'continue' | 'zed' | 'bolt' | 'aide' | 'trae' | 'augment' | 'sourcegraph' | 'tabnine' | 'supermaven' | 'void' | 'pear' | 'double' | 'generic';
+export interface AgentCommandConfig {
+    readonly agentId: AgentId;
+    readonly commandsDir: string;
+    readonly commandExtension: string;
+    readonly frontmatterStyle: 'yaml' | 'none';
+    readonly needsToolsField: boolean;
+}
+export interface SlashCommandFile {
+    readonly path: string;
+    readonly content: string;
+}
+/** Total number of registered slash commands. */
+export declare const SLASH_COMMAND_COUNT = 29;
+export declare function getAgentConfig(agentId: AgentId): AgentCommandConfig | null;
+export declare function listSupportedAgents(): readonly AgentId[];
+export declare function isValidAgentId(value: string): value is AgentId;
+/**
+ * Generate slash command files for a given AI agent.
+ * Returns file paths (relative to root) and their content.
+ */
+export declare function generateSlashCommands(agentId: AgentId, root: string, productName: string, customDir?: string): SlashCommandFile[];
+/**
+ * Write generated slash command files to disk.
+ */
+export declare function writeSlashCommands(commands: readonly SlashCommandFile[]): void;
+//# sourceMappingURL=agent-setup.d.ts.map

package/dist/cli/agent-setup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-setup.d.ts","sourceRoot":"","sources":["../../src/cli/agent-setup.ts"],"names":[],"mappings":"AAgBA,MAAM,MAAM,OAAO,GACf,QAAQ,GACR,SAAS,GACT,QAAQ,GACR,QAAQ,GACR,UAAU,GACV,OAAO,GACP,UAAU,GACV,KAAK,GACL,KAAK,GACL,MAAM,GACN,OAAO,GACP,OAAO,GACP,OAAO,GACP,UAAU,GACV,KAAK,GACL,MAAM,GACN,MAAM,GACN,MAAM,GACN,SAAS,GACT,aAAa,GACb,SAAS,GACT,YAAY,GACZ,MAAM,GACN,MAAM,GACN,QAAQ,GACR,SAAS,CAAC;AAEd,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3C,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC;CACnC;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAgvBD,iDAAiD;AACjD,eAAO,MAAM,mBAAmB,KAAK,CAAC;AAMtC,wBAAgB,cAAc,CAAC,OAAO,EAAE,OAAO,GAAG,kBAAkB,GAAG,IAAI,CAG1E;AAED,wBAAgB,mBAAmB,IAAI,SAAS,OAAO,EAAE,CAExD;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,OAAO,CAE9D;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,EACnB,SAAS,CAAC,EAAE,MAAM,GACjB,gBAAgB,EAAE,CAiBpB;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,SAAS,gBAAgB,EAAE,GAAG,IAAI,CAK9E"}