@cordiacode/core 0.1.0

package/dist/lexer/lexer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lexer.js","sourceRoot":"","sources":["../../src/lexer/lexer.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAc,SAAS,EAAE,MAAM,YAAY,CAAC;AAarF;;;;;;;;;;GAUG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAc;IACrC,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAEpC,IAAI,IAAI,GAAS,QAAQ,CAAC;IAC1B,8EAA8E;IAC9E,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,0EAA0E;IAC1E,IAAI,gBAAgB,GAAG,KAAK,CAAC;IAE7B,MAAM,IAAI,GAAG,CACX,IAAe,EACf,KAAa,EACb,IAAY,EACZ,MAAc,EACd,GAAW,EACL,EAAE;QACR,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,OAAe,EAAE,IAAY,EAAE,MAAc,EAAQ,EAAE;QACjF,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IAC/C,CAAC,CAAC;IAEF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC;QACrB,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,SAAS,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;QAEzD,oEAAoE;QACpE,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,OAAO,KAAK,GAAG,EAAE,CAAC;gBACpB,IAAI,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;gBACxD,IAAI,GAAG,QAAQ,CAAC;YAClB,CAAC;iBAAM,CAAC;gBACN,8DAA8D;gBAC9D,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;YACnD,CAAC;YACD,SAAS;QACX,CAAC;QAED,+DAA+D;QAC/D,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;YACzB,IAAI,OAAO,KAAK,GAAG,EAAE,CAAC;gBACpB,IAAI,CAAC,SAAS,CAAC,kBAAkB,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;gBAC9D,IAAI,GAAG,QAAQ,CAAC;YAClB,CAAC;iBAAM,IAAI,OAAO,KAAK,EAAE,EAAE,CAAC;gBAC1B,kDAAkD;YACpD,CAAC;iBAAM,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;YAC1E,CAAC;iBAAM,CAAC;gBACN,IAAI,CACF,YAAY,CAAC,gBAAgB,EAC7B,2DAA2D,EAC3D,MAAM,EACN,QAAQ,CACT,CAAC;YACJ,CAAC;YACD,SAAS;QACX,CAAC;QAED,0EAA0E;QAC1E,IAAI,gBAAgB,EAAE,CAAC;YACrB,IAAI,OAAO,KAAK,EAAE;gBAAE,SAAS,CAAC,8CAA8C;YAC5E,IAAI,OAAO,KAAK,GAAG,EAAE,CAAC;gBACpB,IAAI,CAAC,SAAS,CAAC,iBAAiB,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;gBAC7D,IAAI,GAAG,WAAW,CAAC;gBACnB,cAAc,GAAG,MAAM,CAAC;gBACxB,gBAAgB,GAAG,KAAK,CAAC;gBACzB,SAAS;YACX,CAAC;YACD,IAAI,CACF,YAAY,CAAC,oBAAoB,EACjC,+DAA+D,EAC/D,MAAM,EACN,QAAQ,CACT,CAAC;YACF,gBAAgB,GAAG,KAAK,CAAC;YACzB,+CAA+C;QACjD,CAAC;QAED,uBAAuB;QACvB,IAAI,OAAO,KAAK,EAAE;YAAE,SAAS,CAAC,aAAa;QAE3C,4EAA4E;QAC5E,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;YAC5E,SAAS;QACX,CAAC;QAED,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACtC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACxB,kCAAkC;gBAClC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBACvC,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;oBAChB,IAAI,CAAC,YAAY,CAAC,oBAAoB,EAAE,2BAA2B,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;oBACvF,SAAS;gBACX,CAAC;gBACD,IAAI,CAAC,SAAS,CAAC,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;gBAC7D,IAAI,CAAC,SAAS,CAAC,iBAAiB,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;gBAC7D,IAAI,GAAG,WAAW,CAAC;gBACnB,cAAc,GAAG,MAAM,CAAC;YAC1B,CAAC;iBAAM,IAAI,KAAK,KAAK,EAAE,EAAE,CAAC;gBACxB,IAAI,CAAC,YAAY,CAAC,oBAAoB,EAAE,2BAA2B,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;YACzF,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,SAAS,CAAC,eAAe,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;gBAC9D,gBAAgB,GAAG,IAAI,CAAC;gBACxB,cAAc,GAAG,MAAM,CAAC;YAC1B,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAE/B,0CAA0C;QAC1C,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;YAClB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3B,IAAI,CAAC,YAAY,CAAC,gBAAgB,EAAE,iCAAiC,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;gBACzF,SAAS;YACX,CAAC;YACD,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;YACzE,SAAS;QACX,CAAC;QAED,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;YAClB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3B,IAAI,CACF,YAAY,CAAC,iBAAiB,EAC9B,uCAAuC,EACvC,MAAM,EACN,QAAQ,CACT,CAAC;gBACF,SAAS;YACX,CAAC;YACD,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;YAC1E,SAAS;QACX,CAAC;QAED,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;YAClB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3B,IAAI,CACF,YAAY,CAAC,qBAAqB,EAClC,uCAAuC,EACvC,MAAM,EACN,QAAQ,CACT,CAAC;gBACF,SAAS;YACX,CAAC;YACD,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;YAC9E,SAAS;QACX,CAAC;QAED,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;YAClB,IAAI,OAAO,KAAK,GAAG,EAAE,CAAC;gBACpB,IAAI,CACF,YAAY,CAAC,oBAAoB,EACjC,6CAA6C,EAC7C,MAAM,EACN,QAAQ,CACT,CAAC;gBACF,SAAS;YACX,CAAC;YACD,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;YACvD,IAAI,GAAG,SAAS,CAAC;YACjB,cAAc,GAAG,MAAM,CAAC;YACxB,SAAS;QACX,CAAC;QAED,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;YAClB,IAAI,CAAC,YAAY,CAAC,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;YAC5E,SAAS;QACX,CAAC;QAED,6BAA6B;QAC7B,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;YAC7D,SAAS;QACX,CAAC;QAED,IAAI,CACF,YAAY,CAAC,aAAa,EAC1B,iEAAiE,EACjE,MAAM,EACN,QAAQ,CACT,CAAC;IACJ,CAAC;IAED,wDAAwD;IACxD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,CACF,YAAY,CAAC,mBAAmB,EAChC,0CAA0C,EAC1C,cAAc,EACd,CAAC,CACF,CAAC;IACJ,CAAC;SAAM,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QAChC,IAAI,CACF,YAAY,CAAC,qBAAqB,EAClC,2CAA2C,EAC3C,cAAc,EACd,CAAC,CACF,CAAC;IACJ,CAAC;SAAM,IAAI,gBAAgB,EAAE,CAAC;QAC5B,IAAI,CACF,YAAY,CAAC,oBAAoB,EACjC,wCAAwC,EACxC,cAAc,EACd,CAAC,CACF,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IAC7C,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAC5B,CAAC"}

package/dist/lexer/token.d.ts

@@ -0,0 +1,78 @@
+/**
+ * Token kinds and the line-prefix table for VibeSpec.
+ *
+ * VibeSpec is line-oriented: the lexer emits (mostly) one token per logical
+ * line, classified by the line's leading symbol. The two multi-line constructs
+ * — context blocks and milestone blocks — are represented by paired
+ * open/close/text tokens so the parser (Phase 3) can assemble them.
+ *
+ * See `spec/grammar.md` §1 (symbol table) and §2 (lexical structure).
+ */
+/** All token kinds produced by the lexer. */
+export declare const TokenType: {
+    readonly Goal: "Goal";
+    readonly ContextOpen: "ContextOpen";
+    readonly ContextText: "ContextText";
+    readonly ContextClose: "ContextClose";
+    readonly Inspiration: "Inspiration";
+    readonly Stack: "Stack";
+    readonly Agent: "Agent";
+    readonly Feature: "Feature";
+    readonly Exclusion: "Exclusion";
+    readonly Requirement: "Requirement";
+    readonly Priority: "Priority";
+    readonly Rule: "Rule";
+    readonly File: "File";
+    readonly Test: "Test";
+    readonly Success: "Success";
+    readonly Deliverable: "Deliverable";
+    readonly MilestoneHeader: "MilestoneHeader";
+    readonly MilestoneBodyOpen: "MilestoneBodyOpen";
+    readonly MilestoneBodyClose: "MilestoneBodyClose";
+    readonly Question: "Question";
+    readonly DebugTask: "DebugTask";
+    readonly EOF: "EOF";
+};
+/** Union of all token kind string values. */
+export type TokenType = (typeof TokenType)[keyof typeof TokenType];
+/** A lexed token with its source position (1-based line/column). */
+export interface Token {
+    /** The token kind. */
+    type: TokenType;
+    /**
+     * The token's payload after symbol stripping and trimming. For container
+     * forms (`<…>`, `[…]`, `(…)`) the delimiters are removed. For `ContextText`
+     * the original line is preserved verbatim. CSV/`->` splitting is the parser's
+     * job, not the lexer's.
+     */
+    value: string;
+    /** 1-based line number of the token's start. */
+    line: number;
+    /** 1-based column number of the token's start (first non-whitespace char). */
+    column: number;
+    /** The original, untrimmed source line the token came from. */
+    raw: string;
+}
+/**
+ * Single-character line prefixes that map directly to a token kind. Multi-char
+ * prefixes (`=>`, `>>`) and the container forms (`[]`, `<>`, `()`, `{}`) are
+ * handled explicitly in the lexer because of matching precedence.
+ */
+export declare const SINGLE_CHAR_PREFIX: Readonly<Record<string, TokenType>>;
+/** Machine-readable lexer error codes. */
+export declare const LexErrorCode: {
+    readonly UnknownPrefix: "CORDIA_LEX_UNKNOWN_PREFIX";
+    readonly UnterminatedGoal: "CORDIA_LEX_UNTERMINATED_GOAL";
+    readonly UnterminatedStack: "CORDIA_LEX_UNTERMINATED_STACK";
+    readonly UnterminatedDebugTask: "CORDIA_LEX_UNTERMINATED_DEBUG_TASK";
+    readonly ContextBraceNotAlone: "CORDIA_LEX_CONTEXT_BRACE_NOT_ALONE";
+    readonly UnexpectedCloseBrace: "CORDIA_LEX_UNEXPECTED_CLOSE_BRACE";
+    readonly UnterminatedContext: "CORDIA_LEX_UNTERMINATED_CONTEXT";
+    readonly MilestoneMissingName: "CORDIA_LEX_MILESTONE_MISSING_NAME";
+    readonly MilestoneMissingBody: "CORDIA_LEX_MILESTONE_MISSING_BODY";
+    readonly MilestoneBadLine: "CORDIA_LEX_MILESTONE_BAD_LINE";
+    readonly UnterminatedMilestone: "CORDIA_LEX_UNTERMINATED_MILESTONE";
+};
+/** Union of all lexer error code string values. */
+export type LexErrorCode = (typeof LexErrorCode)[keyof typeof LexErrorCode];
+//# sourceMappingURL=token.d.ts.map

package/dist/lexer/token.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"token.d.ts","sourceRoot":"","sources":["../../src/lexer/token.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,6CAA6C;AAC7C,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;CA4BZ,CAAC;AAEX,6CAA6C;AAC7C,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,SAAS,CAAC,CAAC,MAAM,OAAO,SAAS,CAAC,CAAC;AAEnE,oEAAoE;AACpE,MAAM,WAAW,KAAK;IACpB,sBAAsB;IACtB,IAAI,EAAE,SAAS,CAAC;IAChB;;;;;OAKG;IACH,KAAK,EAAE,MAAM,CAAC;IACd,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,8EAA8E;IAC9E,MAAM,EAAE,MAAM,CAAC;IACf,+DAA+D;IAC/D,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAYlE,CAAC;AAEF,0CAA0C;AAC1C,eAAO,MAAM,YAAY;;;;;;;;;;;;CAYf,CAAC;AAEX,mDAAmD;AACnD,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,OAAO,YAAY,CAAC,CAAC"}

package/dist/lexer/token.js

@@ -0,0 +1,68 @@
+/**
+ * Token kinds and the line-prefix table for VibeSpec.
+ *
+ * VibeSpec is line-oriented: the lexer emits (mostly) one token per logical
+ * line, classified by the line's leading symbol. The two multi-line constructs
+ * — context blocks and milestone blocks — are represented by paired
+ * open/close/text tokens so the parser (Phase 3) can assemble them.
+ *
+ * See `spec/grammar.md` §1 (symbol table) and §2 (lexical structure).
+ */
+/** All token kinds produced by the lexer. */
+export const TokenType = {
+    Goal: 'Goal',
+    ContextOpen: 'ContextOpen',
+    ContextText: 'ContextText',
+    ContextClose: 'ContextClose',
+    Inspiration: 'Inspiration',
+    Stack: 'Stack',
+    Agent: 'Agent',
+    Feature: 'Feature',
+    Exclusion: 'Exclusion',
+    Requirement: 'Requirement',
+    Priority: 'Priority',
+    Rule: 'Rule',
+    File: 'File',
+    Test: 'Test',
+    Success: 'Success',
+    Deliverable: 'Deliverable',
+    MilestoneHeader: 'MilestoneHeader',
+    MilestoneBodyOpen: 'MilestoneBodyOpen',
+    MilestoneBodyClose: 'MilestoneBodyClose',
+    Question: 'Question',
+    DebugTask: 'DebugTask',
+    EOF: 'EOF',
+};
+/**
+ * Single-character line prefixes that map directly to a token kind. Multi-char
+ * prefixes (`=>`, `>>`) and the container forms (`[]`, `<>`, `()`, `{}`) are
+ * handled explicitly in the lexer because of matching precedence.
+ */
+export const SINGLE_CHAR_PREFIX = {
+    '~': TokenType.Inspiration,
+    $: TokenType.Agent,
+    '+': TokenType.Feature,
+    '-': TokenType.Exclusion,
+    '!': TokenType.Requirement,
+    '^': TokenType.Priority,
+    '&': TokenType.Rule,
+    '#': TokenType.File,
+    '%': TokenType.Test,
+    '=': TokenType.Success,
+    '?': TokenType.Question,
+};
+/** Machine-readable lexer error codes. */
+export const LexErrorCode = {
+    UnknownPrefix: 'CORDIA_LEX_UNKNOWN_PREFIX',
+    UnterminatedGoal: 'CORDIA_LEX_UNTERMINATED_GOAL',
+    UnterminatedStack: 'CORDIA_LEX_UNTERMINATED_STACK',
+    UnterminatedDebugTask: 'CORDIA_LEX_UNTERMINATED_DEBUG_TASK',
+    ContextBraceNotAlone: 'CORDIA_LEX_CONTEXT_BRACE_NOT_ALONE',
+    UnexpectedCloseBrace: 'CORDIA_LEX_UNEXPECTED_CLOSE_BRACE',
+    UnterminatedContext: 'CORDIA_LEX_UNTERMINATED_CONTEXT',
+    MilestoneMissingName: 'CORDIA_LEX_MILESTONE_MISSING_NAME',
+    MilestoneMissingBody: 'CORDIA_LEX_MILESTONE_MISSING_BODY',
+    MilestoneBadLine: 'CORDIA_LEX_MILESTONE_BAD_LINE',
+    UnterminatedMilestone: 'CORDIA_LEX_UNTERMINATED_MILESTONE',
+};
+//# sourceMappingURL=token.js.map

package/dist/lexer/token.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"token.js","sourceRoot":"","sources":["../../src/lexer/token.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,6CAA6C;AAC7C,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,IAAI,EAAE,MAAM;IAEZ,WAAW,EAAE,aAAa;IAC1B,WAAW,EAAE,aAAa;IAC1B,YAAY,EAAE,cAAc;IAE5B,WAAW,EAAE,aAAa;IAC1B,KAAK,EAAE,OAAO;IACd,KAAK,EAAE,OAAO;IACd,OAAO,EAAE,SAAS;IAClB,SAAS,EAAE,WAAW;IACtB,WAAW,EAAE,aAAa;IAC1B,QAAQ,EAAE,UAAU;IACpB,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,MAAM;IACZ,OAAO,EAAE,SAAS;IAClB,WAAW,EAAE,aAAa;IAE1B,eAAe,EAAE,iBAAiB;IAClC,iBAAiB,EAAE,mBAAmB;IACtC,kBAAkB,EAAE,oBAAoB;IAExC,QAAQ,EAAE,UAAU;IACpB,SAAS,EAAE,WAAW;IAEtB,GAAG,EAAE,KAAK;CACF,CAAC;AAwBX;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAwC;IACrE,GAAG,EAAE,SAAS,CAAC,WAAW;IAC1B,CAAC,EAAE,SAAS,CAAC,KAAK;IAClB,GAAG,EAAE,SAAS,CAAC,OAAO;IACtB,GAAG,EAAE,SAAS,CAAC,SAAS;IACxB,GAAG,EAAE,SAAS,CAAC,WAAW;IAC1B,GAAG,EAAE,SAAS,CAAC,QAAQ;IACvB,GAAG,EAAE,SAAS,CAAC,IAAI;IACnB,GAAG,EAAE,SAAS,CAAC,IAAI;IACnB,GAAG,EAAE,SAAS,CAAC,IAAI;IACnB,GAAG,EAAE,SAAS,CAAC,OAAO;IACtB,GAAG,EAAE,SAAS,CAAC,QAAQ;CACxB,CAAC;AAEF,0CAA0C;AAC1C,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,aAAa,EAAE,2BAA2B;IAC1C,gBAAgB,EAAE,8BAA8B;IAChD,iBAAiB,EAAE,+BAA+B;IAClD,qBAAqB,EAAE,oCAAoC;IAC3D,oBAAoB,EAAE,oCAAoC;IAC1D,oBAAoB,EAAE,mCAAmC;IACzD,mBAAmB,EAAE,iCAAiC;IACtD,oBAAoB,EAAE,mCAAmC;IACzD,oBAAoB,EAAE,mCAAmC;IACzD,gBAAgB,EAAE,+BAA+B;IACjD,qBAAqB,EAAE,mCAAmC;CAClD,CAAC"}

package/dist/parser/ast.d.ts

@@ -0,0 +1,59 @@
+/**
+ * The VibeSpec Abstract Syntax Tree.
+ *
+ * The parser (Phase 3) turns the lexer's token stream into a {@link SpecAst}.
+ * The AST is intentionally **pre-validation**: it collects everything the source
+ * declared (e.g. all goals, even if there must be exactly one) and carries
+ * source positions on every node so the validator (Phase 4) can emit
+ * line-numbered diagnostics. The compiler (Phase 5) consumes a validated AST.
+ */
+/** A node that knows where it came from (1-based line/column). */
+export interface Positioned {
+    line: number;
+    column: number;
+}
+/** A single string-valued construct (feature, rule, goal, …). */
+export interface ValueNode extends Positioned {
+    value: string;
+}
+/**
+ * A `% input -> expected` test. `value` is the raw payload; `input`/`expected`
+ * are the split halves (first `->`, each trimmed). When the source has no `->`,
+ * `input` holds the whole payload and `expected` is empty — the validator
+ * rejects that case.
+ */
+export interface TestNode extends Positioned {
+    value: string;
+    input: string;
+    expected: string;
+    /** Whether a `->` separator was present in the source. */
+    hasArrow: boolean;
+}
+/** A `>> Name { + … }` milestone and its ordered feature list. */
+export interface MilestoneNode extends Positioned {
+    name: string;
+    features: ValueNode[];
+}
+/** The full parsed spec. Every field is a list; cardinality is the validator's job. */
+export interface SpecAst {
+    goals: ValueNode[];
+    context: ValueNode[];
+    inspirations: ValueNode[];
+    stack: ValueNode[];
+    agents: ValueNode[];
+    features: ValueNode[];
+    exclusions: ValueNode[];
+    requirements: ValueNode[];
+    priorities: ValueNode[];
+    rules: ValueNode[];
+    files: ValueNode[];
+    tests: TestNode[];
+    successCriteria: ValueNode[];
+    deliverables: ValueNode[];
+    milestones: MilestoneNode[];
+    questions: ValueNode[];
+    debugTasks: ValueNode[];
+}
+/** Create an empty {@link SpecAst} with all lists initialized. */
+export declare function emptySpecAst(): SpecAst;
+//# sourceMappingURL=ast.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/parser/ast.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,kEAAkE;AAClE,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,iEAAiE;AACjE,MAAM,WAAW,SAAU,SAAQ,UAAU;IAC3C,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;GAKG;AACH,MAAM,WAAW,QAAS,SAAQ,UAAU;IAC1C,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,0DAA0D;IAC1D,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,kEAAkE;AAClE,MAAM,WAAW,aAAc,SAAQ,UAAU;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,SAAS,EAAE,CAAC;CACvB;AAED,uFAAuF;AACvF,MAAM,WAAW,OAAO;IACtB,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,YAAY,EAAE,SAAS,EAAE,CAAC;IAC1B,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,QAAQ,EAAE,SAAS,EAAE,CAAC;IACtB,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,YAAY,EAAE,SAAS,EAAE,CAAC;IAC1B,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB,eAAe,EAAE,SAAS,EAAE,CAAC;IAC7B,YAAY,EAAE,SAAS,EAAE,CAAC;IAC1B,UAAU,EAAE,aAAa,EAAE,CAAC;IAC5B,SAAS,EAAE,SAAS,EAAE,CAAC;IACvB,UAAU,EAAE,SAAS,EAAE,CAAC;CACzB;AAED,kEAAkE;AAClE,wBAAgB,YAAY,IAAI,OAAO,CAoBtC"}

package/dist/parser/ast.js

@@ -0,0 +1,32 @@
+/**
+ * The VibeSpec Abstract Syntax Tree.
+ *
+ * The parser (Phase 3) turns the lexer's token stream into a {@link SpecAst}.
+ * The AST is intentionally **pre-validation**: it collects everything the source
+ * declared (e.g. all goals, even if there must be exactly one) and carries
+ * source positions on every node so the validator (Phase 4) can emit
+ * line-numbered diagnostics. The compiler (Phase 5) consumes a validated AST.
+ */
+/** Create an empty {@link SpecAst} with all lists initialized. */
+export function emptySpecAst() {
+    return {
+        goals: [],
+        context: [],
+        inspirations: [],
+        stack: [],
+        agents: [],
+        features: [],
+        exclusions: [],
+        requirements: [],
+        priorities: [],
+        rules: [],
+        files: [],
+        tests: [],
+        successCriteria: [],
+        deliverables: [],
+        milestones: [],
+        questions: [],
+        debugTasks: [],
+    };
+}
+//# sourceMappingURL=ast.js.map

package/dist/parser/ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../src/parser/ast.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAsDH,kEAAkE;AAClE,MAAM,UAAU,YAAY;IAC1B,OAAO;QACL,KAAK,EAAE,EAAE;QACT,OAAO,EAAE,EAAE;QACX,YAAY,EAAE,EAAE;QAChB,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE,EAAE;QACZ,UAAU,EAAE,EAAE;QACd,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE,EAAE;QACd,KAAK,EAAE,EAAE;QACT,KAAK,EAAE,EAAE;QACT,KAAK,EAAE,EAAE;QACT,eAAe,EAAE,EAAE;QACnB,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE,EAAE;QACd,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,EAAE;KACf,CAAC;AACJ,CAAC"}

package/dist/parser/index.d.ts

@@ -0,0 +1,3 @@
+export * from './ast.js';
+export * from './parser.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/parser/index.ts"],"names":[],"mappings":"AAAA,cAAc,UAAU,CAAC;AACzB,cAAc,aAAa,CAAC"}

package/dist/parser/index.js

@@ -0,0 +1,3 @@
+export * from './ast.js';
+export * from './parser.js';
+//# sourceMappingURL=index.js.map

package/dist/parser/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/parser/index.ts"],"names":[],"mappings":"AAAA,cAAc,UAAU,CAAC;AACzB,cAAc,aAAa,CAAC"}

package/dist/parser/parser.d.ts

@@ -0,0 +1,30 @@
+import type { CordiaError } from '../errors.js';
+import { type Token } from '../lexer/index.js';
+import { type SpecAst } from './ast.js';
+/** Machine-readable parser error codes. */
+export declare const ParseErrorCode: {
+    readonly EmptyStackItem: "CORDIA_PARSE_EMPTY_STACK_ITEM";
+    readonly UnexpectedToken: "CORDIA_PARSE_UNEXPECTED_TOKEN";
+};
+/** Union of all parser error code string values. */
+export type ParseErrorCode = (typeof ParseErrorCode)[keyof typeof ParseErrorCode];
+/** The result of parsing: the AST plus any diagnostics gathered along the way. */
+export interface ParseResult {
+    spec: SpecAst;
+    errors: CordiaError[];
+}
+/**
+ * Parse a lexed token stream into a {@link SpecAst}.
+ *
+ * Because the lexer has already grouped the multi-line constructs into
+ * open/text/close token sequences, the parser is a straightforward recursive
+ * descent over the stream: most tokens map 1:1 to a node, while context blocks
+ * and milestone bodies are assembled from their bracketing tokens.
+ */
+export declare function parseTokens(tokens: Token[]): ParseResult;
+/**
+ * Lex and parse VibeSpec source in one call. Lexer and parser diagnostics are
+ * concatenated (lexer errors first).
+ */
+export declare function parse(source: string): ParseResult;
+//# sourceMappingURL=parser.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../src/parser/parser.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,KAAK,KAAK,EAAuB,MAAM,mBAAmB,CAAC;AACpE,OAAO,EAEL,KAAK,OAAO,EAIb,MAAM,UAAU,CAAC;AAElB,2CAA2C;AAC3C,eAAO,MAAM,cAAc;;;CAGjB,CAAC;AAEX,oDAAoD;AACpD,MAAM,MAAM,cAAc,GAAG,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,OAAO,cAAc,CAAC,CAAC;AAElF,kFAAkF;AAClF,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,OAAO,CAAC;IACd,MAAM,EAAE,WAAW,EAAE,CAAC;CACvB;AA+BD;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,WAAW,CAmHxD;AAED;;;GAGG;AACH,wBAAgB,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAIjD"}

package/dist/parser/parser.js

@@ -0,0 +1,164 @@
+import { TokenType, tokenize } from '../lexer/index.js';
+import { emptySpecAst, } from './ast.js';
+/** Machine-readable parser error codes. */
+export const ParseErrorCode = {
+    EmptyStackItem: 'CORDIA_PARSE_EMPTY_STACK_ITEM',
+    UnexpectedToken: 'CORDIA_PARSE_UNEXPECTED_TOKEN',
+};
+/** Project a token onto a positioned value node. */
+function valueOf(token) {
+    return { value: token.value, line: token.line, column: token.column };
+}
+/** Split a `% input -> expected` payload on its first `->`. */
+function parseTest(token) {
+    const raw = token.value;
+    const idx = raw.indexOf('->');
+    if (idx < 0) {
+        return {
+            value: raw,
+            input: raw.trim(),
+            expected: '',
+            hasArrow: false,
+            line: token.line,
+            column: token.column,
+        };
+    }
+    return {
+        value: raw,
+        input: raw.slice(0, idx).trim(),
+        expected: raw.slice(idx + 2).trim(),
+        hasArrow: true,
+        line: token.line,
+        column: token.column,
+    };
+}
+/**
+ * Parse a lexed token stream into a {@link SpecAst}.
+ *
+ * Because the lexer has already grouped the multi-line constructs into
+ * open/text/close token sequences, the parser is a straightforward recursive
+ * descent over the stream: most tokens map 1:1 to a node, while context blocks
+ * and milestone bodies are assembled from their bracketing tokens.
+ */
+export function parseTokens(tokens) {
+    const spec = emptySpecAst();
+    const errors = [];
+    let i = 0;
+    const fail = (code, message, token) => {
+        errors.push({ code, message, line: token.line, column: token.column });
+    };
+    while (i < tokens.length) {
+        const token = tokens[i];
+        if (token === undefined || token.type === TokenType.EOF)
+            break;
+        switch (token.type) {
+            case TokenType.Goal:
+                spec.goals.push(valueOf(token));
+                break;
+            case TokenType.Inspiration:
+                spec.inspirations.push(valueOf(token));
+                break;
+            case TokenType.Agent:
+                spec.agents.push(valueOf(token));
+                break;
+            case TokenType.Feature:
+                spec.features.push(valueOf(token));
+                break;
+            case TokenType.Exclusion:
+                spec.exclusions.push(valueOf(token));
+                break;
+            case TokenType.Requirement:
+                spec.requirements.push(valueOf(token));
+                break;
+            case TokenType.Priority:
+                spec.priorities.push(valueOf(token));
+                break;
+            case TokenType.Rule:
+                spec.rules.push(valueOf(token));
+                break;
+            case TokenType.File:
+                spec.files.push(valueOf(token));
+                break;
+            case TokenType.Success:
+                spec.successCriteria.push(valueOf(token));
+                break;
+            case TokenType.Deliverable:
+                spec.deliverables.push(valueOf(token));
+                break;
+            case TokenType.Question:
+                spec.questions.push(valueOf(token));
+                break;
+            case TokenType.DebugTask:
+                spec.debugTasks.push(valueOf(token));
+                break;
+            case TokenType.Test:
+                spec.tests.push(parseTest(token));
+                break;
+            case TokenType.Stack: {
+                // Split the raw `<a, b, c>` payload; empty items are a syntax error.
+                for (const part of token.value.split(',')) {
+                    const value = part.trim();
+                    if (value === '') {
+                        fail(ParseErrorCode.EmptyStackItem, 'Empty tech-stack item', token);
+                        continue;
+                    }
+                    spec.stack.push({ value, line: token.line, column: token.column });
+                }
+                break;
+            }
+            case TokenType.ContextOpen: {
+                // Collect verbatim text lines until the matching ContextClose.
+                const openLine = token.line;
+                const openColumn = token.column;
+                const lines = [];
+                i++;
+                while (i < tokens.length && tokens[i]?.type === TokenType.ContextText) {
+                    lines.push(tokens[i]?.value ?? '');
+                    i++;
+                }
+                // Consume the ContextClose if present (the lexer guarantees one unless EOF).
+                if (tokens[i]?.type === TokenType.ContextClose)
+                    i++;
+                spec.context.push({ value: lines.join('\n').trim(), line: openLine, column: openColumn });
+                continue; // i already advanced past the block
+            }
+            case TokenType.MilestoneHeader: {
+                const milestone = {
+                    name: token.value,
+                    features: [],
+                    line: token.line,
+                    column: token.column,
+                };
+                i++;
+                if (tokens[i]?.type === TokenType.MilestoneBodyOpen)
+                    i++;
+                while (i < tokens.length && tokens[i]?.type === TokenType.Feature) {
+                    const feature = tokens[i];
+                    if (feature !== undefined)
+                        milestone.features.push(valueOf(feature));
+                    i++;
+                }
+                if (tokens[i]?.type === TokenType.MilestoneBodyClose)
+                    i++;
+                spec.milestones.push(milestone);
+                continue; // i already advanced past the block
+            }
+            default:
+                // The lexer should never surface a stray block-internal token here.
+                fail(ParseErrorCode.UnexpectedToken, `Unexpected token: ${token.type}`, token);
+                break;
+        }
+        i++;
+    }
+    return { spec, errors };
+}
+/**
+ * Lex and parse VibeSpec source in one call. Lexer and parser diagnostics are
+ * concatenated (lexer errors first).
+ */
+export function parse(source) {
+    const lexed = tokenize(source);
+    const parsed = parseTokens(lexed.tokens);
+    return { spec: parsed.spec, errors: [...lexed.errors, ...parsed.errors] };
+}
+//# sourceMappingURL=parser.js.map

package/dist/parser/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../src/parser/parser.ts"],"names":[],"mappings":"AACA,OAAO,EAAc,SAAS,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AACpE,OAAO,EAKL,YAAY,GACb,MAAM,UAAU,CAAC;AAElB,2CAA2C;AAC3C,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,cAAc,EAAE,+BAA+B;IAC/C,eAAe,EAAE,+BAA+B;CACxC,CAAC;AAWX,oDAAoD;AACpD,SAAS,OAAO,CAAC,KAAY;IAC3B,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;AACxE,CAAC;AAED,+DAA+D;AAC/D,SAAS,SAAS,CAAC,KAAY;IAC7B,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC;IACxB,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;QACZ,OAAO;YACL,KAAK,EAAE,GAAG;YACV,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE;YACjB,QAAQ,EAAE,EAAE;YACZ,QAAQ,EAAE,KAAK;YACf,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,MAAM,EAAE,KAAK,CAAC,MAAM;SACrB,CAAC;IACJ,CAAC;IACD,OAAO;QACL,KAAK,EAAE,GAAG;QACV,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE;QAC/B,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE;QACnC,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,KAAK,CAAC,MAAM;KACrB,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CAAC,MAAe;IACzC,MAAM,IAAI,GAAG,YAAY,EAAE,CAAC;IAC5B,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,IAAI,CAAC,GAAG,CAAC,CAAC;IAEV,MAAM,IAAI,GAAG,CAAC,IAAoB,EAAE,OAAe,EAAE,KAAY,EAAQ,EAAE;QACzE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACzE,CAAC,CAAC;IAEF,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,GAAG;YAAE,MAAM;QAE/D,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,SAAS,CAAC,IAAI;gBACjB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;gBAChC,MAAM;YACR,KAAK,SAAS,CAAC,WAAW;gBACxB,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;gBACvC,MAAM;YACR,KAAK,SAAS,CAAC,KAAK;gBAClB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;gBACjC,MAAM;YACR,KAAK,SAAS,CAAC,OAAO;gBACpB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;gBACnC,MAAM;YACR,KAAK,SAAS,CAAC,SAAS;gBACtB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;gBACrC,MAAM;YACR,KAAK,SAAS,CAAC,WAAW;gBACxB,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;gBACvC,MAAM;YACR,KAAK,SAAS,CAAC,QAAQ;gBACrB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;gBACrC,MAAM;YACR,KAAK,SAAS,CAAC,IAAI;gBACjB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;gBAChC,MAAM;YACR,KAAK,SAAS,CAAC,IAAI;gBACjB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;gBAChC,MAAM;YACR,KAAK,SAAS,CAAC,OAAO;gBACpB,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC1C,MAAM;YACR,KAAK,SAAS,CAAC,WAAW;gBACxB,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;gBACvC,MAAM;YACR,KAAK,SAAS,CAAC,QAAQ;gBACrB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;gBACpC,MAAM;YACR,KAAK,SAAS,CAAC,SAAS;gBACtB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;gBACrC,MAAM;YACR,KAAK,SAAS,CAAC,IAAI;gBACjB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;gBAClC,MAAM;YAER,KAAK,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;gBACrB,qEAAqE;gBACrE,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC1B,IAAI,KAAK,KAAK,EAAE,EAAE,CAAC;wBACjB,IAAI,CAAC,cAAc,CAAC,cAAc,EAAE,uBAAuB,EAAE,KAAK,CAAC,CAAC;wBACpE,SAAS;oBACX,CAAC;oBACD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;gBACrE,CAAC;gBACD,MAAM;YACR,CAAC;YAED,KAAK,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC;gBAC3B,+DAA+D;gBAC/D,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC;gBAC5B,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC;gBAChC,MAAM,KAAK,GAAa,EAAE,CAAC;gBAC3B,CAAC,EAAE,CAAC;gBACJ,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,WAAW,EAAE,CAAC;oBACtE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;oBACnC,CAAC,EAAE,CAAC;gBACN,CAAC;gBACD,6EAA6E;gBAC7E,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,YAAY;oBAAE,CAAC,EAAE,CAAC;gBACpD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;gBAC1F,SAAS,CAAC,oCAAoC;YAChD,CAAC;YAED,KAAK,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC;gBAC/B,MAAM,SAAS,GAAkB;oBAC/B,IAAI,EAAE,KAAK,CAAC,KAAK;oBACjB,QAAQ,EAAE,EAAE;oBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,MAAM,EAAE,KAAK,CAAC,MAAM;iBACrB,CAAC;gBACF,CAAC,EAAE,CAAC;gBACJ,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,iBAAiB;oBAAE,CAAC,EAAE,CAAC;gBACzD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,OAAO,EAAE,CAAC;oBAClE,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;oBAC1B,IAAI,OAAO,KAAK,SAAS;wBAAE,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;oBACrE,CAAC,EAAE,CAAC;gBACN,CAAC;gBACD,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,kBAAkB;oBAAE,CAAC,EAAE,CAAC;gBAC1D,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAChC,SAAS,CAAC,oCAAoC;YAChD,CAAC;YAED;gBACE,oEAAoE;gBACpE,IAAI,CAAC,cAAc,CAAC,eAAe,EAAE,qBAAqB,KAAK,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;gBAC/E,MAAM;QACV,CAAC;QAED,CAAC,EAAE,CAAC;IACN,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,KAAK,CAAC,MAAc;IAClC,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC/B,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACzC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;AAC5E,CAAC"}

package/dist/validator/index.d.ts

@@ -0,0 +1,2 @@
+export * from './validator.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/validator/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAC"}

package/dist/validator/index.js

@@ -0,0 +1,2 @@
+export * from './validator.js';
+//# sourceMappingURL=index.js.map

package/dist/validator/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/validator/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAC"}

package/dist/validator/validator.d.ts

@@ -0,0 +1,41 @@
+import type { CordiaError } from '../errors.js';
+import type { SpecAst } from '../parser/ast.js';
+/** Machine-readable validator error codes. */
+export declare const ValidationErrorCode: {
+    readonly MissingGoal: "CORDIA_VAL_MISSING_GOAL";
+    readonly MultipleGoals: "CORDIA_VAL_MULTIPLE_GOALS";
+    readonly EmptyValue: "CORDIA_VAL_EMPTY_VALUE";
+    readonly Duplicate: "CORDIA_VAL_DUPLICATE";
+    readonly DuplicateMilestone: "CORDIA_VAL_DUPLICATE_MILESTONE";
+    readonly TestMissingArrow: "CORDIA_VAL_TEST_MISSING_ARROW";
+    readonly TestEmptyInput: "CORDIA_VAL_TEST_EMPTY_INPUT";
+    readonly TestEmptyExpected: "CORDIA_VAL_TEST_EMPTY_EXPECTED";
+};
+/** Union of all validator error code string values. */
+export type ValidationErrorCode = (typeof ValidationErrorCode)[keyof typeof ValidationErrorCode];
+/** The result of validating an AST. */
+export interface ValidationResult {
+    errors: CordiaError[];
+}
+/**
+ * Semantically validate a parsed {@link SpecAst}.
+ *
+ * Enforces the rules the grammar/schema cannot express on their own
+ * (`spec/ambiguities.md`): exactly one goal, no empty values, well-formed
+ * tests, and no duplicates in the lists where repetition is meaningless. Every
+ * diagnostic carries an error code and the offending node's line/column —
+ * "validation rejects, never guesses."
+ */
+export declare function validate(spec: SpecAst): ValidationResult;
+/** The combined front-end result: the AST plus all diagnostics. */
+export interface AnalyzeResult {
+    spec: SpecAst;
+    errors: CordiaError[];
+}
+/**
+ * Lex, parse, and validate VibeSpec source in one call. Diagnostics are
+ * concatenated in pipeline order (lexer → parser → validator). This is the
+ * entry point the CLI's `bloom validate` will use.
+ */
+export declare function analyze(source: string): AnalyzeResult;
+//# sourceMappingURL=validator.d.ts.map

package/dist/validator/validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../src/validator/validator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEhD,OAAO,KAAK,EAAc,OAAO,EAAa,MAAM,kBAAkB,CAAC;AAEvE,8CAA8C;AAC9C,eAAO,MAAM,mBAAmB;;;;;;;;;CAStB,CAAC;AAEX,uDAAuD;AACvD,MAAM,MAAM,mBAAmB,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,OAAO,mBAAmB,CAAC,CAAC;AAEjG,uCAAuC;AACvC,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,WAAW,EAAE,CAAC;CACvB;AAKD;;;;;;;;GAQG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,gBAAgB,CA6GxD;AAED,mEAAmE;AACnE,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,OAAO,CAAC;IACd,MAAM,EAAE,WAAW,EAAE,CAAC;CACvB;AAED;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,aAAa,CAIrD"}