@cordiacode/core 0.1.0

package/dist/validator/validator.js

@@ -0,0 +1,138 @@
+import { parse } from '../parser/index.js';
+/** Machine-readable validator error codes. */
+export const ValidationErrorCode = {
+    MissingGoal: 'CORDIA_VAL_MISSING_GOAL',
+    MultipleGoals: 'CORDIA_VAL_MULTIPLE_GOALS',
+    EmptyValue: 'CORDIA_VAL_EMPTY_VALUE',
+    Duplicate: 'CORDIA_VAL_DUPLICATE',
+    DuplicateMilestone: 'CORDIA_VAL_DUPLICATE_MILESTONE',
+    TestMissingArrow: 'CORDIA_VAL_TEST_MISSING_ARROW',
+    TestEmptyInput: 'CORDIA_VAL_TEST_EMPTY_INPUT',
+    TestEmptyExpected: 'CORDIA_VAL_TEST_EMPTY_EXPECTED',
+};
+/**
+ * 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 function validate(spec) {
+    const errors = [];
+    const add = (code, message, at) => {
+        errors.push({ code, message, line: at.line, column: at.column });
+    };
+    // --- Goal cardinality (exactly one). ---
+    if (spec.goals.length === 0) {
+        errors.push({
+            code: ValidationErrorCode.MissingGoal,
+            message: 'Specification is missing a goal (`[ … ]`)',
+            line: 1,
+            column: 1,
+        });
+    }
+    else {
+        for (const extra of spec.goals.slice(1)) {
+            add(ValidationErrorCode.MultipleGoals, 'Only one goal (`[ … ]`) is allowed', extra);
+        }
+    }
+    // --- Empty values: every construct must carry non-empty text. ---
+    const valueLists = [
+        ['goal', spec.goals],
+        ['context entry', spec.context],
+        ['inspiration', spec.inspirations],
+        ['tech-stack item', spec.stack],
+        ['agent', spec.agents],
+        ['feature', spec.features],
+        ['exclusion', spec.exclusions],
+        ['requirement', spec.requirements],
+        ['priority', spec.priorities],
+        ['rule', spec.rules],
+        ['file', spec.files],
+        ['success criterion', spec.successCriteria],
+        ['deliverable', spec.deliverables],
+        ['question', spec.questions],
+        ['debug task', spec.debugTasks],
+    ];
+    for (const [label, nodes] of valueLists) {
+        for (const node of nodes) {
+            if (node.value.trim() === '')
+                add(ValidationErrorCode.EmptyValue, `Empty ${label}`, node);
+        }
+    }
+    // --- Tests: must split into non-empty input and expected. ---
+    for (const test of spec.tests) {
+        if (!test.hasArrow) {
+            add(ValidationErrorCode.TestMissingArrow, 'Test must be written as `input -> expected`', test);
+            continue;
+        }
+        if (test.input.trim() === '')
+            add(ValidationErrorCode.TestEmptyInput, 'Test input is empty', test);
+        if (test.expected.trim() === '') {
+            add(ValidationErrorCode.TestEmptyExpected, 'Test expected value is empty', test);
+        }
+    }
+    // --- Milestones: non-empty names and features. ---
+    for (const milestone of spec.milestones) {
+        if (milestone.name.trim() === '') {
+            add(ValidationErrorCode.EmptyValue, 'Empty milestone name', milestone);
+        }
+        for (const feature of milestone.features) {
+            if (feature.value.trim() === '') {
+                add(ValidationErrorCode.EmptyValue, 'Empty milestone feature', feature);
+            }
+        }
+    }
+    // --- Duplicates where repetition is meaningless (ambiguities §7). ---
+    const dedupeLists = [
+        ['feature', spec.features],
+        ['exclusion', spec.exclusions],
+        ['requirement', spec.requirements],
+        ['priority', spec.priorities],
+        ['rule', spec.rules],
+        ['file', spec.files],
+        ['agent', spec.agents],
+        ['inspiration', spec.inspirations],
+        ['tech-stack item', spec.stack],
+        ['deliverable', spec.deliverables],
+    ];
+    for (const [label, nodes] of dedupeLists) {
+        const seen = new Set();
+        for (const node of nodes) {
+            const key = node.value.trim();
+            if (key === '')
+                continue; // already reported as empty
+            if (seen.has(key))
+                add(ValidationErrorCode.Duplicate, `Duplicate ${label}: "${key}"`, node);
+            else
+                seen.add(key);
+        }
+    }
+    // --- Duplicate milestone names. ---
+    const seenMilestones = new Set();
+    for (const milestone of spec.milestones) {
+        const key = milestone.name.trim();
+        if (key === '')
+            continue;
+        if (seenMilestones.has(key)) {
+            add(ValidationErrorCode.DuplicateMilestone, `Duplicate milestone: "${key}"`, milestone);
+        }
+        else {
+            seenMilestones.add(key);
+        }
+    }
+    return { errors };
+}
+/**
+ * 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 function analyze(source) {
+    const { spec, errors } = parse(source);
+    const { errors: validationErrors } = validate(spec);
+    return { spec, errors: [...errors, ...validationErrors] };
+}
+//# sourceMappingURL=validator.js.map

package/dist/validator/validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.js","sourceRoot":"","sources":["../../src/validator/validator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAG3C,8CAA8C;AAC9C,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,WAAW,EAAE,yBAAyB;IACtC,aAAa,EAAE,2BAA2B;IAC1C,UAAU,EAAE,wBAAwB;IACpC,SAAS,EAAE,sBAAsB;IACjC,kBAAkB,EAAE,gCAAgC;IACpD,gBAAgB,EAAE,+BAA+B;IACjD,cAAc,EAAE,6BAA6B;IAC7C,iBAAiB,EAAE,gCAAgC;CAC3C,CAAC;AAaX;;;;;;;;GAQG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAa;IACpC,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,MAAM,GAAG,GAAG,CAAC,IAAyB,EAAE,OAAe,EAAE,EAAc,EAAQ,EAAE;QAC/E,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;IACnE,CAAC,CAAC;IAEF,0CAA0C;IAC1C,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,mBAAmB,CAAC,WAAW;YACrC,OAAO,EAAE,2CAA2C;YACpD,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;SACV,CAAC,CAAC;IACL,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YACxC,GAAG,CAAC,mBAAmB,CAAC,aAAa,EAAE,oCAAoC,EAAE,KAAK,CAAC,CAAC;QACtF,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,MAAM,UAAU,GAAgB;QAC9B,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC;QACpB,CAAC,eAAe,EAAE,IAAI,CAAC,OAAO,CAAC;QAC/B,CAAC,aAAa,EAAE,IAAI,CAAC,YAAY,CAAC;QAClC,CAAC,iBAAiB,EAAE,IAAI,CAAC,KAAK,CAAC;QAC/B,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC;QACtB,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC;QAC1B,CAAC,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC;QAC9B,CAAC,aAAa,EAAE,IAAI,CAAC,YAAY,CAAC;QAClC,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC;QAC7B,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC;QACpB,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC;QACpB,CAAC,mBAAmB,EAAE,IAAI,CAAC,eAAe,CAAC;QAC3C,CAAC,aAAa,EAAE,IAAI,CAAC,YAAY,CAAC;QAClC,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC;QAC5B,CAAC,YAAY,EAAE,IAAI,CAAC,UAAU,CAAC;KAChC,CAAC;IACF,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,UAAU,EAAE,CAAC;QACxC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE;gBAAE,GAAG,CAAC,mBAAmB,CAAC,UAAU,EAAE,SAAS,KAAK,EAAE,EAAE,IAAI,CAAC,CAAC;QAC5F,CAAC;IACH,CAAC;IAED,+DAA+D;IAC/D,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnB,GAAG,CACD,mBAAmB,CAAC,gBAAgB,EACpC,6CAA6C,EAC7C,IAAI,CACL,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE;YAC1B,GAAG,CAAC,mBAAmB,CAAC,cAAc,EAAE,qBAAqB,EAAE,IAAI,CAAC,CAAC;QACvE,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YAChC,GAAG,CAAC,mBAAmB,CAAC,iBAAiB,EAAE,8BAA8B,EAAE,IAAI,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;IAED,oDAAoD;IACpD,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACxC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACjC,GAAG,CAAC,mBAAmB,CAAC,UAAU,EAAE,sBAAsB,EAAE,SAAS,CAAC,CAAC;QACzE,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;YACzC,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;gBAChC,GAAG,CAAC,mBAAmB,CAAC,UAAU,EAAE,yBAAyB,EAAE,OAAO,CAAC,CAAC;YAC1E,CAAC;QACH,CAAC;IACH,CAAC;IAED,uEAAuE;IACvE,MAAM,WAAW,GAAgB;QAC/B,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC;QAC1B,CAAC,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC;QAC9B,CAAC,aAAa,EAAE,IAAI,CAAC,YAAY,CAAC;QAClC,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC;QAC7B,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC;QACpB,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC;QACpB,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC;QACtB,CAAC,aAAa,EAAE,IAAI,CAAC,YAAY,CAAC;QAClC,CAAC,iBAAiB,EAAE,IAAI,CAAC,KAAK,CAAC;QAC/B,CAAC,aAAa,EAAE,IAAI,CAAC,YAAY,CAAC;KACnC,CAAC;IACF,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,WAAW,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAC9B,IAAI,GAAG,KAAK,EAAE;gBAAE,SAAS,CAAC,4BAA4B;YACtD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,GAAG,CAAC,mBAAmB,CAAC,SAAS,EAAE,aAAa,KAAK,MAAM,GAAG,GAAG,EAAE,IAAI,CAAC,CAAC;;gBACvF,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,qCAAqC;IACrC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAClC,IAAI,GAAG,KAAK,EAAE;YAAE,SAAS;QACzB,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,GAAG,CAAC,mBAAmB,CAAC,kBAAkB,EAAE,yBAAyB,GAAG,GAAG,EAAE,SAAS,CAAC,CAAC;QAC1F,CAAC;aAAM,CAAC;YACN,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,CAAC;AACpB,CAAC;AAQD;;;;GAIG;AACH,MAAM,UAAU,OAAO,CAAC,MAAc;IACpC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACpD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,GAAG,gBAAgB,CAAC,EAAE,CAAC;AAC5D,CAAC"}

package/package.json

@@ -0,0 +1,48 @@
+{
+  "name": "@cordiacode/core",
+  "version": "0.1.0",
+  "description": "Bloom compiler for Cordia VibeSpec: lexer, parser, validator, and Prompt JSON compiler.",
+  "license": "Apache-2.0",
+  "author": "Parth Verma",
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist",
+    "LICENSE"
+  ],
+  "keywords": [
+    "cordia",
+    "vibespec",
+    "compiler",
+    "intent",
+    "prompt",
+    "bloom"
+  ],
+  "engines": {
+    "node": ">=20"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/Parthverma-0/cordia.git",
+    "directory": "packages/core"
+  },
+  "homepage": "https://github.com/Parthverma-0/cordia#readme",
+  "bugs": "https://github.com/Parthverma-0/cordia/issues",
+  "publishConfig": {
+    "access": "public"
+  },
+  "dependencies": {
+    "@cordiacode/schema": "0.1.0"
+  },
+  "scripts": {
+    "build": "tsc",
+    "typecheck": "tsc --noEmit"
+  }
+}