@aexol/spectral 0.9.221 → 0.9.222

package/dist/generated/parser/mod.d.ts

@@ -0,0 +1,26 @@
+/**
+ * @aexol/parser - Shared Aexol Language Parser
+ *
+ * This package provides a pure TypeScript implementation of the Aexol
+ * language parser, lexer, and tokenizer. It has zero dependencies and can
+ * be used in any JavaScript/TypeScript environment:
+ *
+ * - Deno (main CLI)
+ * - Node.js (Next.js landing page)
+ * - Browser (Monaco editor, visualizer)
+ * - VS Code extension
+ * - highlight.js integration
+ */
+export { Lexer, TokenType } from "./lexer.js";
+export type { Token } from "./lexer.js";
+export { Tokenizer } from "./tokenizer.js";
+export { Parser } from "./parser.js";
+export type { AgentDefinition, ASTNode, CapabilityNode, ConditionNode, ExpressionNode, PermissionNode, Program, RoleDefinition, Transition, TypeDefinition, TypeField, VisitorDefinition, WorkflowDefinition, WorkflowStep, } from "./parser.js";
+/**
+ * Quick parse function for convenience
+ */
+import { type Program } from "./parser.js";
+export declare function parseAexol(source: string): Program;
+export { Validator } from "./validator.js";
+export type { ValidationError, ValidationResult } from "./validator.js";
+//# sourceMappingURL=mod.d.ts.map

package/dist/generated/parser/mod.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mod.d.ts","sourceRoot":"","sources":["../../../src/generated/parser/mod.ts"],"names":[],"mappings":"AACA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC9C,YAAY,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAGxC,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAG3C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,YAAY,EACV,eAAe,EACf,OAAO,EACP,cAAc,EACd,aAAa,EACb,cAAc,EACd,cAAc,EACd,OAAO,EACP,cAAc,EACd,UAAU,EACV,cAAc,EACd,SAAS,EACT,iBAAiB,EACjB,kBAAkB,EAClB,YAAY,GACb,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,OAAO,EAAU,KAAK,OAAO,EAAE,MAAM,aAAa,CAAC;AAEnD,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAGlD;AAGD,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/generated/parser/mod.js

@@ -0,0 +1,30 @@
+// GENERATED by cli-node/scripts/vendor-parser.mjs — do not edit; regenerate with `node scripts/vendor-parser.mjs`; source: packages/parser/
+/**
+ * @aexol/parser - Shared Aexol Language Parser
+ *
+ * This package provides a pure TypeScript implementation of the Aexol
+ * language parser, lexer, and tokenizer. It has zero dependencies and can
+ * be used in any JavaScript/TypeScript environment:
+ *
+ * - Deno (main CLI)
+ * - Node.js (Next.js landing page)
+ * - Browser (Monaco editor, visualizer)
+ * - VS Code extension
+ * - highlight.js integration
+ */
+// Export lexer types and classes
+export { Lexer, TokenType } from "./lexer.js";
+// Export tokenizer
+export { Tokenizer } from "./tokenizer.js";
+// Export parser and all AST node types
+export { Parser } from "./parser.js";
+/**
+ * Quick parse function for convenience
+ */
+import { Parser } from "./parser.js";
+export function parseAexol(source) {
+    const parser = new Parser(source);
+    return parser.parse();
+}
+// Export validator
+export { Validator } from "./validator.js";

package/dist/generated/parser/parser.d.ts

@@ -0,0 +1,161 @@
+/**
+ * Aexol Language Parser
+ *
+ * Builds an Abstract Syntax Tree (AST) from a token stream.
+ * Supports the full Aexol language grammar for capability definitions,
+ * workflows, and agent structures.
+ */
+export interface ASTNode {
+    type: string;
+    location: {
+        start: number;
+        end: number;
+        line: number;
+        column: number;
+    };
+}
+export interface Program extends ASTNode {
+    type: "Program";
+    body: (RoleDefinition | VisitorDefinition | WorkflowDefinition | AgentDefinition | TypeDefinition)[];
+}
+export interface VisitorDefinition extends ASTNode {
+    type: "VisitorDefinition";
+    name?: string;
+    description?: string;
+    capabilities: CapabilityNode[];
+}
+export interface CapabilityNode extends ASTNode {
+    type: "Capability";
+    verb?: "can" | "had" | "must" | "should" | "may" | "will" | "shall" | "cannot";
+    action: string;
+    description?: string;
+    context?: string;
+    nested?: CapabilityNode[];
+    conditions?: ConditionNode[];
+    metadata?: Record<string, unknown>;
+}
+export interface ConditionNode extends ASTNode {
+    type: "Condition";
+    expression: ExpressionNode;
+}
+export interface ExpressionNode extends ASTNode {
+    type: "Expression";
+    operator?: string;
+    left?: ExpressionNode;
+    right?: ExpressionNode;
+    value?: string | number | boolean;
+}
+export interface RoleDefinition extends ASTNode {
+    type: "RoleDefinition";
+    name: string;
+    description?: string;
+    permissions: PermissionNode[];
+    inherits?: string[];
+}
+export interface PermissionNode extends ASTNode {
+    type: "Permission";
+    resource: string;
+    description?: string;
+    actions: string[];
+    conditions?: ConditionNode[];
+}
+export interface WorkflowDefinition extends ASTNode {
+    type: "WorkflowDefinition";
+    name: string;
+    description?: string;
+    steps: WorkflowStep[];
+    initialState: string;
+    finalStates: string[];
+}
+export interface WorkflowStep extends ASTNode {
+    type: "WorkflowStep";
+    name: string;
+    description?: string;
+    action: string;
+    transitions: Transition[];
+    parallel?: boolean;
+}
+export interface Transition extends ASTNode {
+    type: "Transition";
+    from: string;
+    to: string;
+    description?: string;
+    condition?: ConditionNode;
+    metadata?: Record<string, unknown>;
+}
+export interface AgentDefinition extends ASTNode {
+    type: "AgentDefinition";
+    name: string;
+    description?: string;
+    agentKind: "domain" | "builder";
+    role: string;
+    responsibilities: string[];
+    workflow?: string;
+    capabilities: CapabilityNode[];
+    skills?: string[];
+    model?: string;
+    maxConcurrent?: number;
+}
+export interface TypeDefinition extends ASTNode {
+    type: "TypeDefinition";
+    name: string;
+    description?: string;
+    kind: "type" | "enum" | "interface";
+    fields?: TypeField[];
+    values?: string[];
+    extends?: string[];
+}
+export interface TypeField extends ASTNode {
+    type: "TypeField";
+    name: string;
+    description?: string;
+    fieldType: string;
+    required: boolean;
+    default?: string | number | boolean;
+}
+export declare class Parser {
+    private tokenizer;
+    private currentToken;
+    constructor(source: string);
+    private advance;
+    private check;
+    private checkAny;
+    private consume;
+    private match;
+    private consumeIdentifierOrKeyword;
+    /**
+     * Check if the current token is a keyword being used as an identifier in a
+     * capability context. Many common English words (import, from, context, etc.)
+     * are reserved keywords in the lexer but should be accepted as-is when they
+     * appear as unquoted capability names (e.g. "can import catalog").
+     */
+    private isKeywordUsedAsIdentifier;
+    private skipNewlines;
+    private isAtEnd;
+    /**
+     * Check for and consume a description (PROMPT token with triple single-quotes) if present
+     */
+    private parseDescriptionIfPresent;
+    private throwUnexpectedTopLevelToken;
+    /**
+     * Parse the entire program
+     */
+    parse(): Program;
+    private parseVisitor;
+    private parseCapability;
+    private parseCondition;
+    private parseExpression;
+    private parseOrExpression;
+    private parseAndExpression;
+    private parseComparisonExpression;
+    private parsePrimaryExpression;
+    private parseRole;
+    private parseWorkflow;
+    private parseAgent;
+    private parseTypeDefinition;
+    /**
+     * Parse string array: [item1, item2, item3]
+     */
+    private parseStringArray;
+}
+//# sourceMappingURL=parser.d.ts.map

package/dist/generated/parser/parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../../src/generated/parser/parser.ts"],"names":[],"mappings":"AACA;;;;;;GAMG;AAOH,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE;QACR,KAAK,EAAE,MAAM,CAAC;QACd,GAAG,EAAE,MAAM,CAAC;QACZ,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC;CACH;AAED,MAAM,WAAW,OAAQ,SAAQ,OAAO;IACtC,IAAI,EAAE,SAAS,CAAC;IAChB,IAAI,EAAE,CACF,cAAc,GACd,iBAAiB,GACjB,kBAAkB,GAClB,eAAe,GACf,cAAc,CACjB,EAAE,CAAC;CACL;AAED,MAAM,WAAW,iBAAkB,SAAQ,OAAO;IAChD,IAAI,EAAE,mBAAmB,CAAC;IAC1B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,cAAc,EAAE,CAAC;CAChC;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,CAAC,EACD,KAAK,GACL,KAAK,GACL,MAAM,GACN,QAAQ,GACR,KAAK,GACL,MAAM,GACN,OAAO,GACP,QAAQ,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,cAAc,EAAE,CAAC;IAC1B,UAAU,CAAC,EAAE,aAAa,EAAE,CAAC;IAC7B,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAED,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,WAAW,CAAC;IAClB,UAAU,EAAE,cAAc,CAAC;CAC5B;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,YAAY,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,cAAc,CAAC;IACtB,KAAK,CAAC,EAAE,cAAc,CAAC;IACvB,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;CACnC;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,gBAAgB,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,cAAc,EAAE,CAAC;IAC9B,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,YAAY,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,UAAU,CAAC,EAAE,aAAa,EAAE,CAAC;CAC9B;AAED,MAAM,WAAW,kBAAmB,SAAQ,OAAO;IACjD,IAAI,EAAE,oBAAoB,CAAC;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,YAAa,SAAQ,OAAO;IAC3C,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,UAAW,SAAQ,OAAO;IACzC,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,aAAa,CAAC;IAC1B,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAED,MAAM,WAAW,eAAgB,SAAQ,OAAO;IAC9C,IAAI,EAAE,iBAAiB,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,QAAQ,GAAG,SAAS,CAAC;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,cAAc,EAAE,CAAC;IAC/B,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,gBAAgB,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,WAAW,CAAC;IACpC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC;IACrB,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,SAAU,SAAQ,OAAO;IACxC,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;CACrC;AAED,qBAAa,MAAM;IACjB,OAAO,CAAC,SAAS,CAAY;IAC7B,OAAO,CAAC,YAAY,CAAQ;gBAEhB,MAAM,EAAE,MAAM;IAK1B,OAAO,CAAC,OAAO;IAOf,OAAO,CAAC,KAAK;IAIb,OAAO,CAAC,QAAQ;IAIhB,OAAO,CAAC,OAAO;IAUf,OAAO,CAAC,KAAK;IAQb,OAAO,CAAC,0BAA0B;IAclC;;;;;OAKG;IACH,OAAO,CAAC,yBAAyB;IAqCjC,OAAO,CAAC,YAAY;IAapB,OAAO,CAAC,OAAO;IAIf;;OAEG;IACH,OAAO,CAAC,yBAAyB;IASjC,OAAO,CAAC,4BAA4B;IAWpC;;OAEG;IACI,KAAK,IAAI,OAAO;IA0CvB,OAAO,CAAC,YAAY;IAmCpB,OAAO,CAAC,eAAe;IAuFvB,OAAO,CAAC,cAAc;IAgBtB,OAAO,CAAC,eAAe;IAIvB,OAAO,CAAC,iBAAiB;IAwBzB,OAAO,CAAC,kBAAkB;IAwB1B,OAAO,CAAC,yBAAyB;IAiCjC,OAAO,CAAC,sBAAsB;IAqF9B,OAAO,CAAC,SAAS;IAyFjB,OAAO,CAAC,aAAa;IAyGrB,OAAO,CAAC,UAAU;IAgGlB,OAAO,CAAC,mBAAmB;IA8F3B;;OAEG;IACH,OAAO,CAAC,gBAAgB;CA4BzB"}