@prodara/compiler 0.1.0

package/dist/build-state/build-state.d.ts

@@ -0,0 +1,40 @@
+import type { ProductGraph } from '../graph/graph-types.js';
+import type { Plan } from '../planner/plan-types.js';
+export interface BuildState {
+    readonly version: string;
+    readonly lastCompiled: string;
+    readonly sourceHash: string;
+    readonly graphHash: string;
+    readonly checksum: string;
+}
+export interface LockInfo {
+    readonly pid: number;
+    readonly timestamp: string;
+}
+/**
+ * Ensure the .prodara/ directory exists.
+ */
+export declare function ensureBuildDir(root: string): string;
+/**
+ * Read the previous product graph from build state, if it exists.
+ */
+export declare function readPreviousGraph(root: string): ProductGraph | null;
+/**
+ * Clean up any leftover temp files from a failed write.
+ */
+export declare function cleanupTempFiles(root: string): void;
+/**
+ * Write build state files atomically.
+ * Writes to temp files first, then renames all three.
+ * If any rename fails, cleans up temp files.
+ */
+export declare function writeBuildState(root: string, graph: ProductGraph, plan: Plan, sourceFiles: readonly string[]): void;
+/**
+ * Acquire a build lock. Throws if another process holds the lock.
+ */
+export declare function acquireLock(root: string): void;
+/**
+ * Release the build lock.
+ */
+export declare function releaseLock(root: string): void;
+//# sourceMappingURL=build-state.d.ts.map

package/dist/build-state/build-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"build-state.d.ts","sourceRoot":"","sources":["../../src/build-state/build-state.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAC;AAWrD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAMnD;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,GAAG,IAAI,CAKnE;AAWD;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAMnD;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,YAAY,EACnB,IAAI,EAAE,IAAI,EACV,WAAW,EAAE,SAAS,MAAM,EAAE,GAC7B,IAAI,CAiDN;AAeD;;GAEG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CA6B9C;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAG9C"}

package/dist/build-state/build-state.js

@@ -0,0 +1,180 @@
+// ---------------------------------------------------------------------------
+// Prodara Compiler — Build State
+// ---------------------------------------------------------------------------
+// Manages the .prodara/ directory: build.json, graph.json, plan.json
+// All writes are atomic: write to temp files then rename.
+import { readFileSync, writeFileSync, mkdirSync, existsSync, renameSync, unlinkSync } from 'node:fs';
+import { join } from 'node:path';
+import { createHash } from 'node:crypto';
+const BUILD_DIR = '.prodara';
+const BUILD_FILE = 'build.json';
+const GRAPH_FILE = 'graph.json';
+const PLAN_FILE = 'plan.json';
+const SOURCES_FILE = 'sources.json';
+const LOCK_FILE = '.lock';
+const LOCK_STALE_MS = 5 * 60 * 1000; // 5 minutes
+/**
+ * Ensure the .prodara/ directory exists.
+ */
+export function ensureBuildDir(root) {
+    const dir = join(root, BUILD_DIR);
+    if (!existsSync(dir)) {
+        mkdirSync(dir, { recursive: true });
+    }
+    return dir;
+}
+/**
+ * Read the previous product graph from build state, if it exists.
+ */
+export function readPreviousGraph(root) {
+    const path = join(root, BUILD_DIR, GRAPH_FILE);
+    if (!existsSync(path))
+        return null;
+    const content = readFileSync(path, 'utf-8');
+    return JSON.parse(content);
+}
+/**
+ * Atomically write a string to a file by writing to a temp file then renaming.
+ */
+function atomicWriteSync(filePath, content) {
+    const tmpPath = filePath + '.tmp';
+    writeFileSync(tmpPath, content, 'utf-8');
+    renameSync(tmpPath, filePath);
+}
+/**
+ * Clean up any leftover temp files from a failed write.
+ */
+export function cleanupTempFiles(root) {
+    const dir = join(root, BUILD_DIR);
+    for (const name of [GRAPH_FILE, PLAN_FILE, BUILD_FILE, SOURCES_FILE]) {
+        const tmpPath = join(dir, name + '.tmp');
+        try {
+            unlinkSync(tmpPath);
+        }
+        catch { /* no temp file */ }
+    }
+}
+/**
+ * Write build state files atomically.
+ * Writes to temp files first, then renames all three.
+ * If any rename fails, cleans up temp files.
+ */
+export function writeBuildState(root, graph, plan, sourceFiles) {
+    const dir = ensureBuildDir(root);
+    const graphJson = JSON.stringify(graph, null, 2);
+    const planJson = JSON.stringify(plan, null, 2);
+    const sourcesJson = JSON.stringify(sourceFiles, null, 2);
+    const sourceHash = hashStrings(sourceFiles);
+    const graphHash = hashString(graphJson);
+    const buildState = {
+        version: '0.1.0',
+        lastCompiled: new Date().toISOString(),
+        sourceHash,
+        graphHash,
+        checksum: '', // placeholder — computed below
+    };
+    // Compute checksum over the other fields
+    const stateForChecksum = { ...buildState, checksum: undefined };
+    const buildJson = JSON.stringify(stateForChecksum, null, 2);
+    const checksum = hashString(graphJson + planJson + buildJson);
+    const finalBuildState = { ...buildState, checksum };
+    const finalBuildJson = JSON.stringify(finalBuildState, null, 2);
+    // Write all to temp files first
+    const graphTmp = join(dir, GRAPH_FILE + '.tmp');
+    const planTmp = join(dir, PLAN_FILE + '.tmp');
+    const buildTmp = join(dir, BUILD_FILE + '.tmp');
+    const sourcesTmp = join(dir, SOURCES_FILE + '.tmp');
+    try {
+        writeFileSync(graphTmp, graphJson, 'utf-8');
+        writeFileSync(planTmp, planJson, 'utf-8');
+        writeFileSync(buildTmp, finalBuildJson, 'utf-8');
+        writeFileSync(sourcesTmp, sourcesJson, 'utf-8');
+        // Atomic renames
+        renameSync(graphTmp, join(dir, GRAPH_FILE));
+        renameSync(planTmp, join(dir, PLAN_FILE));
+        renameSync(buildTmp, join(dir, BUILD_FILE));
+        renameSync(sourcesTmp, join(dir, SOURCES_FILE));
+    }
+    catch (err) {
+        // Clean up temp files on failure
+        for (const tmp of [graphTmp, planTmp, buildTmp, sourcesTmp]) {
+            try {
+                unlinkSync(tmp);
+            }
+            catch { /* ignore */ }
+        }
+        throw err;
+    }
+}
+// ---------------------------------------------------------------------------
+// Build Locking
+// ---------------------------------------------------------------------------
+function isProcessAlive(pid) {
+    try {
+        process.kill(pid, 0);
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * Acquire a build lock. Throws if another process holds the lock.
+ */
+export function acquireLock(root) {
+    const dir = ensureBuildDir(root);
+    const lockPath = join(dir, LOCK_FILE);
+    if (existsSync(lockPath)) {
+        try {
+            const content = readFileSync(lockPath, 'utf-8');
+            const lock = JSON.parse(content);
+            const age = Date.now() - new Date(lock.timestamp).getTime();
+            // Release stale locks (dead process or >5 min)
+            if (!isProcessAlive(lock.pid) || age > LOCK_STALE_MS) {
+                unlinkSync(lockPath);
+            }
+            else {
+                throw new Error(`Build locked by PID ${lock.pid} (started ${lock.timestamp})`);
+            }
+        }
+        catch (err) {
+            if (err instanceof Error && err.message.startsWith('Build locked'))
+                throw err;
+            // Corrupt lock file — remove and proceed
+            /* v8 ignore next */
+            try {
+                unlinkSync(lockPath);
+            }
+            catch { /* ignore */ }
+        }
+    }
+    const lockInfo = {
+        pid: process.pid,
+        timestamp: new Date().toISOString(),
+    };
+    atomicWriteSync(lockPath, JSON.stringify(lockInfo, null, 2));
+}
+/**
+ * Release the build lock.
+ */
+export function releaseLock(root) {
+    const lockPath = join(root, BUILD_DIR, LOCK_FILE);
+    try {
+        unlinkSync(lockPath);
+    }
+    catch { /* no lock file */ }
+}
+// ---------------------------------------------------------------------------
+// Hashing
+// ---------------------------------------------------------------------------
+function hashString(s) {
+    return createHash('sha256').update(s).digest('hex');
+}
+function hashStrings(strs) {
+    const hash = createHash('sha256');
+    for (const s of [...strs].sort()) {
+        hash.update(s);
+    }
+    return hash.digest('hex');
+}
+//# sourceMappingURL=build-state.js.map

package/dist/build-state/build-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"build-state.js","sourceRoot":"","sources":["../../src/build-state/build-state.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,iCAAiC;AACjC,8EAA8E;AAC9E,qEAAqE;AACrE,0DAA0D;AAE1D,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrG,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAIzC,MAAM,SAAS,GAAG,UAAU,CAAC;AAC7B,MAAM,UAAU,GAAG,YAAY,CAAC;AAChC,MAAM,UAAU,GAAG,YAAY,CAAC;AAChC,MAAM,SAAS,GAAG,WAAW,CAAC;AAC9B,MAAM,YAAY,GAAG,cAAc,CAAC;AACpC,MAAM,SAAS,GAAG,OAAO,CAAC;AAE1B,MAAM,aAAa,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,YAAY;AAejD;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAClC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACrB,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IAC/C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5C,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAiB,CAAC;AAC7C,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,QAAgB,EAAE,OAAe;IACxD,MAAM,OAAO,GAAG,QAAQ,GAAG,MAAM,CAAC;IAClC,aAAa,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IACzC,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;AAChC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,CAAC,EAAE,CAAC;QACrE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,GAAG,MAAM,CAAC,CAAC;QACzC,IAAI,CAAC;YAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC,CAAC,kBAAkB,CAAC,CAAC;IAC3D,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAC7B,IAAY,EACZ,KAAmB,EACnB,IAAU,EACV,WAA8B;IAE9B,MAAM,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAEjC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/C,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAEzD,MAAM,UAAU,GAAG,WAAW,CAAC,WAAW,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC;IAExC,MAAM,UAAU,GAAe;QAC7B,OAAO,EAAE,OAAO;QAChB,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACtC,UAAU;QACV,SAAS;QACT,QAAQ,EAAE,EAAE,EAAE,+BAA+B;KAC9C,CAAC;IAEF,yCAAyC;IACzC,MAAM,gBAAgB,GAAG,EAAE,GAAG,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;IAChE,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,GAAG,QAAQ,GAAG,SAAS,CAAC,CAAC;IAC9D,MAAM,eAAe,GAAe,EAAE,GAAG,UAAU,EAAE,QAAQ,EAAE,CAAC;IAChE,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAEhE,gCAAgC;IAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,UAAU,GAAG,MAAM,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,SAAS,GAAG,MAAM,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,UAAU,GAAG,MAAM,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,YAAY,GAAG,MAAM,CAAC,CAAC;IAEpD,IAAI,CAAC;QACH,aAAa,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QAC5C,aAAa,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC1C,aAAa,CAAC,QAAQ,EAAE,cAAc,EAAE,OAAO,CAAC,CAAC;QACjD,aAAa,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;QAEhD,iBAAiB;QACjB,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC;QAC5C,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;QAC1C,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC;QAC5C,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC;IAClD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,iCAAiC;QACjC,KAAK,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC;YAC5D,IAAI,CAAC;gBAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC;QACjD,CAAC;QACD,MAAM,GAAG,CAAC;IACZ,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,gBAAgB;AAChB,8EAA8E;AAE9E,SAAS,cAAc,CAAC,GAAW;IACjC,IAAI,CAAC;QACH,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,IAAY;IACtC,MAAM,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IAEtC,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzB,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAChD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAa,CAAC;YAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,CAAC;YAE5D,+CAA+C;YAC/C,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,aAAa,EAAE,CAAC;gBACrD,UAAU,CAAC,QAAQ,CAAC,CAAC;YACvB,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,CAAC,GAAG,aAAa,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC;YACjF,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,GAAG,YAAY,KAAK,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,cAAc,CAAC;gBAAE,MAAM,GAAG,CAAC;YAC9E,yCAAyC;YACzC,oBAAoB;YACpB,IAAI,CAAC;gBAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAa;QACzB,GAAG,EAAE,OAAO,CAAC,GAAG;QAChB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACpC,CAAC;IACF,eAAe,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,IAAY;IACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;IAClD,IAAI,CAAC;QAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC,CAAC,kBAAkB,CAAC,CAAC;AAC5D,CAAC;AAED,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,SAAS,UAAU,CAAC,CAAS;IAC3B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,WAAW,CAAC,IAAuB;IAC1C,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC5B,CAAC"}

package/dist/build-state/index.d.ts

@@ -0,0 +1,3 @@
+export { ensureBuildDir, readPreviousGraph, writeBuildState, acquireLock, releaseLock, cleanupTempFiles } from './build-state.js';
+export type { BuildState, LockInfo } from './build-state.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/build-state/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/build-state/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,eAAe,EAAE,WAAW,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAClI,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/build-state/index.js

@@ -0,0 +1,2 @@
+export { ensureBuildDir, readPreviousGraph, writeBuildState, acquireLock, releaseLock, cleanupTempFiles } from './build-state.js';
+//# sourceMappingURL=index.js.map

package/dist/build-state/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/build-state/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,eAAe,EAAE,WAAW,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/checker/index.d.ts

@@ -0,0 +1,5 @@
+export { checkTypes } from './type-checker.js';
+export type { CheckResult } from './type-checker.js';
+export { validate } from './validator.js';
+export type { ValidateResult } from './validator.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/checker/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/C,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,YAAY,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/checker/index.js

@@ -0,0 +1,3 @@
+export { checkTypes } from './type-checker.js';
+export { validate } from './validator.js';
+//# sourceMappingURL=index.js.map

package/dist/checker/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/checker/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE/C,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/checker/type-checker.d.ts

@@ -0,0 +1,8 @@
+import type { BindResult } from '../binder/binder.js';
+import type { AstFile } from '../parser/ast.js';
+import { DiagnosticBag } from '../diagnostics/diagnostic.js';
+export interface CheckResult {
+    readonly bag: DiagnosticBag;
+}
+export declare function checkTypes(files: readonly AstFile[], bindResult: BindResult): CheckResult;
+//# sourceMappingURL=type-checker.d.ts.map

package/dist/checker/type-checker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-checker.d.ts","sourceRoot":"","sources":["../../src/checker/type-checker.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,UAAU,EAAU,MAAM,qBAAqB,CAAC;AAE9D,OAAO,KAAK,EAAE,OAAO,EAA4G,MAAM,kBAAkB,CAAC;AAC1J,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAK7D,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC;CAC7B;AAKD,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,EAAE,UAAU,EAAE,UAAU,GAAG,WAAW,CAezF"}

package/dist/checker/type-checker.js

@@ -0,0 +1,136 @@
+// ---------------------------------------------------------------------------
+// Prodara Compiler — Type Checker
+// ---------------------------------------------------------------------------
+// Validates type references, field types, input/return types, and payload
+// types across the entire AST.
+import { resolveSymbolRef } from '../binder/binder.js';
+import { DiagnosticBag } from '../diagnostics/diagnostic.js';
+// ---------------------------------------------------------------------------
+// Type Checker
+// ---------------------------------------------------------------------------
+export function checkTypes(files, bindResult) {
+    const bag = new DiagnosticBag();
+    const checker = new TypeChecker(bindResult, bag);
+    for (const file of files) {
+        for (const decl of file.declarations) {
+            if (decl.kind === 'module') {
+                for (const item of decl.items) {
+                    checker.checkItem(item, decl.name);
+                }
+            }
+        }
+    }
+    return { bag };
+}
+class TypeChecker {
+    bind;
+    bag;
+    constructor(bind, bag) {
+        this.bind = bind;
+        this.bag = bag;
+    }
+    checkItem(item, moduleName) {
+        switch (item.kind) {
+            case 'entity':
+            case 'value':
+                this.checkFields(item.fields, item.name, moduleName, item.location.file);
+                break;
+            case 'workflow':
+                this.checkWorkflow(item, moduleName);
+                break;
+            case 'event':
+                if (item.payload)
+                    this.checkTypeExpr(item.payload, moduleName, item.location.file);
+                break;
+            case 'extension':
+                this.checkExtension(item, moduleName);
+                break;
+            case 'rule':
+                this.checkRule(item, moduleName);
+                break;
+            case 'test':
+                this.checkTest(item, moduleName);
+                break;
+            default:
+                break;
+        }
+    }
+    checkFields(fields, declName, moduleName, file) {
+        const seen = new Set();
+        for (const f of fields) {
+            if (seen.has(f.name)) {
+                this.bag.add({
+                    phase: 'checker', category: 'type_error', severity: 'error',
+                    code: 'PRD0300',
+                    message: `Duplicate field '${f.name}' in '${declName}'`,
+                    file, line: f.location.line, column: f.location.column,
+                });
+            }
+            seen.add(f.name);
+            this.checkTypeExpr(f.type, moduleName, file);
+        }
+    }
+    checkWorkflow(wf, moduleName) {
+        if (wf.input)
+            this.checkFields(wf.input, wf.name, moduleName, wf.location.file);
+        if (wf.returns) {
+            for (const r of wf.returns) {
+                this.checkTypeExpr(r.type, moduleName, wf.location.file);
+            }
+        }
+    }
+    checkExtension(ext, moduleName) {
+        if (ext.contract?.input)
+            this.checkTypeExpr(ext.contract.input, moduleName, ext.location.file);
+        if (ext.contract?.output)
+            this.checkTypeExpr(ext.contract.output, moduleName, ext.location.file);
+    }
+    checkRule(rule, moduleName) {
+        if (rule.entity.length > 0) {
+            this.resolveRef(rule.entity, moduleName, rule.location.file, rule.location.line, rule.location.column, 'entity');
+        }
+    }
+    checkTest(test, moduleName) {
+        if (test.target.length > 0) {
+            this.resolveRef(test.target, moduleName, test.location.file, test.location.line, test.location.column);
+        }
+    }
+    checkTypeExpr(type, moduleName, file) {
+        switch (type.kind) {
+            case 'primitive':
+                // Valid by construction — PRIMITIVE_TYPES is exhaustive
+                break;
+            case 'ref':
+                this.resolveRef(type.segments, moduleName, file, type.location.line, type.location.column);
+                break;
+            case 'generic':
+                this.checkTypeExpr(type.inner, moduleName, file);
+                break;
+        }
+    }
+    resolveRef(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: 'checker', category: 'resolution_error', severity: 'error',
+                code: 'PRD0301',
+                message: `Unresolved symbol '${segments.join('.')}'`,
+                file, line, column,
+            });
+            return null;
+        }
+        if (expectedKind && sym.nodeKind !== expectedKind) {
+            this.bag.add({
+                phase: 'checker', category: 'type_error', severity: 'warning',
+                code: 'PRD0302',
+                message: `Expected '${expectedKind}' but '${segments.join('.')}' is a '${sym.nodeKind}'`,
+                file, line, column,
+            });
+        }
+        return sym;
+    }
+}
+//# sourceMappingURL=type-checker.js.map

package/dist/checker/type-checker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-checker.js","sourceRoot":"","sources":["../../src/checker/type-checker.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,kCAAkC;AAClC,8EAA8E;AAC9E,0EAA0E;AAC1E,+BAA+B;AAK/B,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAEvD,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAS7D,8EAA8E;AAC9E,eAAe;AACf,8EAA8E;AAC9E,MAAM,UAAU,UAAU,CAAC,KAAyB,EAAE,UAAsB;IAC1E,MAAM,GAAG,GAAG,IAAI,aAAa,EAAE,CAAC;IAChC,MAAM,OAAO,GAAG,IAAI,WAAW,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,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,GAAG,EAAE,CAAC;AACjB,CAAC;AAED,MAAM,WAAW;IAEI;IACA;IAFnB,YACmB,IAAgB,EAChB,GAAkB;QADlB,SAAI,GAAJ,IAAI,CAAY;QAChB,QAAG,GAAH,GAAG,CAAe;IAClC,CAAC;IAEJ,SAAS,CAAC,IAAgB,EAAE,UAAkB;QAC5C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,QAAQ,CAAC;YACd,KAAK,OAAO;gBACV,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACzE,MAAM;YACR,KAAK,UAAU;gBACb,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBACrC,MAAM;YACR,KAAK,OAAO;gBACV,IAAI,IAAI,CAAC,OAAO;oBAAE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACnF,MAAM;YACR,KAAK,WAAW;gBACd,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBACtC,MAAM;YACR,KAAK,MAAM;gBACT,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBACjC,MAAM;YACR,KAAK,MAAM;gBACT,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBACjC,MAAM;YACR;gBACE,MAAM;QACV,CAAC;IACH,CAAC;IAEO,WAAW,CAAC,MAA4B,EAAE,QAAgB,EAAE,UAAkB,EAAE,IAAY;QAClG,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;oBACX,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,OAAO;oBAC3D,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,oBAAoB,CAAC,CAAC,IAAI,SAAS,QAAQ,GAAG;oBACvD,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM;iBACvD,CAAC,CAAC;YACL,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACjB,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IAEO,aAAa,CAAC,EAAgB,EAAE,UAAkB;QACxD,IAAI,EAAE,CAAC,KAAK;YAAE,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAChF,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;YACf,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;gBAC3B,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;IACH,CAAC;IAEO,cAAc,CAAC,GAAkB,EAAE,UAAkB;QAC3D,IAAI,GAAG,CAAC,QAAQ,EAAE,KAAK;YAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC/F,IAAI,GAAG,CAAC,QAAQ,EAAE,MAAM;YAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACnG,CAAC;IAEO,SAAS,CAAC,IAAc,EAAE,UAAkB;QAClD,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,IAAI,CAAC,UAAU,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,QAAQ,CAAC,CAAC;QACnH,CAAC;IACH,CAAC;IAEO,SAAS,CAAC,IAAc,EAAE,UAAkB;QAClD,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,IAAI,CAAC,UAAU,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;QACzG,CAAC;IACH,CAAC;IAEO,aAAa,CAAC,IAAc,EAAE,UAAkB,EAAE,IAAY;QACpE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,WAAW;gBACd,wDAAwD;gBACxD,MAAM;YACR,KAAK,KAAK;gBACR,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;gBAC3F,MAAM;YACR,KAAK,SAAS;gBACZ,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;gBACjD,MAAM;QACV,CAAC;IACH,CAAC;IAEO,UAAU,CAChB,QAA2B,EAC3B,UAAkB,EAClB,IAAY,EACZ,IAAY,EACZ,MAAc,EACd,YAAuB;QAEvB,oBAAoB;QACpB,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAEvC,MAAM,GAAG,GAAG,gBAAgB,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAE5F,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBACX,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,kBAAkB,EAAE,QAAQ,EAAE,OAAO;gBACjE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,sBAAsB,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG;gBACpD,IAAI,EAAE,IAAI,EAAE,MAAM;aACnB,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IAAI,YAAY,IAAI,GAAG,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;YAClD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBACX,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS;gBAC7D,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,aAAa,YAAY,UAAU,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,GAAG,CAAC,QAAQ,GAAG;gBACxF,IAAI,EAAE,IAAI,EAAE,MAAM;aACnB,CAAC,CAAC;QACL,CAAC;QAED,OAAO,GAAG,CAAC;IACb,CAAC;CACF"}

package/dist/checker/validator.d.ts

@@ -0,0 +1,8 @@
+import type { AstFile } from '../parser/ast.js';
+import type { BindResult } from '../binder/binder.js';
+import { DiagnosticBag } from '../diagnostics/diagnostic.js';
+export interface ValidateResult {
+    readonly bag: DiagnosticBag;
+}
+export declare function validate(files: readonly AstFile[], bindResult: BindResult): ValidateResult;
+//# sourceMappingURL=validator.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../src/checker/validator.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,OAAO,EAA2J,MAAM,kBAAkB,CAAC;AACzM,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAEtD,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAE7D,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC;CAC7B;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,EAAE,UAAU,EAAE,UAAU,GAAG,cAAc,CAe1F"}