@prodara/compiler 0.1.0

package/dist/proposal/proposal.js

@@ -0,0 +1,169 @@
+// ---------------------------------------------------------------------------
+// Prodara Compiler — Proposal Operations
+// ---------------------------------------------------------------------------
+// Core logic for creating, listing, applying, and archiving change proposals.
+import { existsSync, mkdirSync, writeFileSync, readFileSync, readdirSync, renameSync } from 'node:fs';
+import { join } from 'node:path';
+export const CHANGES_DIR = '.prodara/changes';
+export const ARCHIVE_DIR = '.prodara/changes/archive';
+// ---------------------------------------------------------------------------
+// Create
+// ---------------------------------------------------------------------------
+export function createProposal(description, root) {
+    const name = slugify(description);
+    const changesDir = join(root, CHANGES_DIR);
+    const proposalDir = join(changesDir, name);
+    if (existsSync(proposalDir)) {
+        throw new Error(`Change proposal already exists: ${name}`);
+    }
+    mkdirSync(proposalDir, { recursive: true });
+    const metadata = {
+        name,
+        description,
+        status: 'proposed',
+        created: new Date().toISOString(),
+    };
+    // Write metadata
+    writeFileSync(join(proposalDir, 'metadata.json'), JSON.stringify(metadata, null, 2) + '\n', 'utf-8');
+    // Write proposal markdown
+    writeFileSync(join(proposalDir, 'proposal.md'), [
+        `# ${description}`,
+        '',
+        '## Summary',
+        '',
+        'Describe the change and its motivation here.',
+        '',
+        '## Scope',
+        '',
+        '- Affected modules:',
+        '- New entities/workflows:',
+        '- Modified entities/workflows:',
+        '',
+    ].join('\n'), 'utf-8');
+    // Write delta.prd template
+    writeFileSync(join(proposalDir, 'delta.prd'), [
+        `// Delta specification for: ${description}`,
+        '// This file is compiled alongside your main .prd files.',
+        '// Add new or modified entity, workflow, surface, and event blocks below.',
+        '//',
+        '// Example:',
+        '//   entity new_feature {',
+        '//     id: uuid',
+        '//     name: string',
+        '//   }',
+        '',
+    ].join('\n'), 'utf-8');
+    // Write task checklist
+    writeFileSync(join(proposalDir, 'tasks.md'), [
+        `# Tasks — ${description}`,
+        '',
+        '- [ ] Define delta specification (delta.prd)',
+        '- [ ] Run `prodara validate` on delta',
+        '- [ ] Review semantic diff',
+        '- [ ] Implement changes',
+        '- [ ] Archive proposal',
+        '',
+    ].join('\n'), 'utf-8');
+    return {
+        name,
+        description,
+        status: 'proposed',
+        created: metadata.created,
+        path: proposalDir,
+    };
+}
+// ---------------------------------------------------------------------------
+// List
+// ---------------------------------------------------------------------------
+export function listProposals(root) {
+    const changesDir = join(root, CHANGES_DIR);
+    if (!existsSync(changesDir))
+        return [];
+    const entries = readdirSync(changesDir, { withFileTypes: true });
+    const proposals = [];
+    for (const entry of entries) {
+        if (!entry.isDirectory() || entry.name === 'archive')
+            continue;
+        const metadataPath = join(changesDir, entry.name, 'metadata.json');
+        /* v8 ignore next -- defensive: metadata always exists for valid proposals */
+        if (!existsSync(metadataPath))
+            continue;
+        const metadata = JSON.parse(readFileSync(metadataPath, 'utf-8'));
+        proposals.push({
+            name: metadata.name,
+            description: metadata.description,
+            status: metadata.status,
+            created: metadata.created,
+            path: join(changesDir, entry.name),
+        });
+    }
+    return proposals.sort((a, b) => b.created.localeCompare(a.created));
+}
+// ---------------------------------------------------------------------------
+// Get
+// ---------------------------------------------------------------------------
+export function getProposal(name, root) {
+    const changesDir = join(root, CHANGES_DIR);
+    const proposalDir = join(changesDir, name);
+    const metadataPath = join(proposalDir, 'metadata.json');
+    if (!existsSync(metadataPath))
+        return null;
+    const metadata = JSON.parse(readFileSync(metadataPath, 'utf-8'));
+    return {
+        name: metadata.name,
+        description: metadata.description,
+        status: metadata.status,
+        created: metadata.created,
+        path: proposalDir,
+    };
+}
+// ---------------------------------------------------------------------------
+// Apply
+// ---------------------------------------------------------------------------
+export function applyProposal(name, root) {
+    const proposal = getProposal(name, root);
+    if (!proposal) {
+        throw new Error(`Change proposal not found: ${name}`);
+    }
+    // Update status to in-progress
+    updateStatus(proposal.path, 'in-progress');
+    return { ...proposal, status: 'in-progress' };
+}
+// ---------------------------------------------------------------------------
+// Archive
+// ---------------------------------------------------------------------------
+export function archiveProposal(name, root) {
+    const proposal = getProposal(name, root);
+    if (!proposal) {
+        throw new Error(`Change proposal not found: ${name}`);
+    }
+    const archiveDir = join(root, ARCHIVE_DIR);
+    mkdirSync(archiveDir, { recursive: true });
+    const date = new Date().toISOString().slice(0, 10);
+    const archiveName = `${date}-${name}`;
+    const archivePath = join(archiveDir, archiveName);
+    // Update status before moving
+    updateStatus(proposal.path, 'archived');
+    // Move to archive
+    renameSync(proposal.path, archivePath);
+    return { ...proposal, status: 'archived', path: archivePath };
+}
+// ---------------------------------------------------------------------------
+// Helpers
+// ---------------------------------------------------------------------------
+function updateStatus(proposalPath, status) {
+    const metadataPath = join(proposalPath, 'metadata.json');
+    const metadata = JSON.parse(readFileSync(metadataPath, 'utf-8'));
+    const updated = { ...metadata, status };
+    writeFileSync(metadataPath, JSON.stringify(updated, null, 2) + '\n', 'utf-8');
+}
+function slugify(text) {
+    return text
+        .toLowerCase()
+        .replace(/[^a-z0-9\s-]/g, '')
+        .replace(/\s+/g, '-')
+        .replace(/-+/g, '-')
+        .replace(/^-|-$/g, '')
+        .slice(0, 60);
+}
+//# sourceMappingURL=proposal.js.map

package/dist/proposal/proposal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proposal.js","sourceRoot":"","sources":["../../src/proposal/proposal.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,yCAAyC;AACzC,8EAA8E;AAC9E,8EAA8E;AAE9E,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACtG,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGjC,MAAM,CAAC,MAAM,WAAW,GAAG,kBAAkB,CAAC;AAC9C,MAAM,CAAC,MAAM,WAAW,GAAG,0BAA0B,CAAC;AAEtD,8EAA8E;AAC9E,SAAS;AACT,8EAA8E;AAE9E,MAAM,UAAU,cAAc,CAAC,WAAmB,EAAE,IAAY;IAC9D,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IAClC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC3C,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAE3C,IAAI,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,mCAAmC,IAAI,EAAE,CAAC,CAAC;IAC7D,CAAC;IAED,SAAS,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAE5C,MAAM,QAAQ,GAAmB;QAC/B,IAAI;QACJ,WAAW;QACX,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KAClC,CAAC;IAEF,iBAAiB;IACjB,aAAa,CACX,IAAI,CAAC,WAAW,EAAE,eAAe,CAAC,EAClC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,EACxC,OAAO,CACR,CAAC;IAEF,0BAA0B;IAC1B,aAAa,CACX,IAAI,CAAC,WAAW,EAAE,aAAa,CAAC,EAChC;QACE,KAAK,WAAW,EAAE;QAClB,EAAE;QACF,YAAY;QACZ,EAAE;QACF,8CAA8C;QAC9C,EAAE;QACF,UAAU;QACV,EAAE;QACF,qBAAqB;QACrB,2BAA2B;QAC3B,gCAAgC;QAChC,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,EACZ,OAAO,CACR,CAAC;IAEF,2BAA2B;IAC3B,aAAa,CACX,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,EAC9B;QACE,+BAA+B,WAAW,EAAE;QAC5C,0DAA0D;QAC1D,2EAA2E;QAC3E,IAAI;QACJ,aAAa;QACb,2BAA2B;QAC3B,iBAAiB;QACjB,qBAAqB;QACrB,QAAQ;QACR,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,EACZ,OAAO,CACR,CAAC;IAEF,uBAAuB;IACvB,aAAa,CACX,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,EAC7B;QACE,aAAa,WAAW,EAAE;QAC1B,EAAE;QACF,8CAA8C;QAC9C,uCAAuC;QACvC,4BAA4B;QAC5B,yBAAyB;QACzB,wBAAwB;QACxB,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,EACZ,OAAO,CACR,CAAC;IAEF,OAAO;QACL,IAAI;QACJ,WAAW;QACX,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,IAAI,EAAE,WAAW;KAClB,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,OAAO;AACP,8EAA8E;AAE9E,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC3C,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,CAAC;IAEvC,MAAM,OAAO,GAAG,WAAW,CAAC,UAAU,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IACjE,MAAM,SAAS,GAAqB,EAAE,CAAC;IAEvC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QAE/D,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;QACnE,6EAA6E;QAC7E,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC;YAAE,SAAS;QAExC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAmB,CAAC;QACnF,SAAS,CAAC,IAAI,CAAC;YACb,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,WAAW,EAAE,QAAQ,CAAC,WAAW;YACjC,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC;SACnC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,8EAA8E;AAC9E,MAAM;AACN,8EAA8E;AAE9E,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,IAAY;IACpD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC3C,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC;IAExD,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC;QAAE,OAAO,IAAI,CAAC;IAE3C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAmB,CAAC;IACnF,OAAO;QACL,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,IAAI,EAAE,WAAW;KAClB,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,QAAQ;AACR,8EAA8E;AAE9E,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,IAAY;IACtD,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACzC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,8BAA8B,IAAI,EAAE,CAAC,CAAC;IACxD,CAAC;IAED,+BAA+B;IAC/B,YAAY,CAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IAE3C,OAAO,EAAE,GAAG,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;AAChD,CAAC;AAED,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,IAAY;IACxD,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACzC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,8BAA8B,IAAI,EAAE,CAAC,CAAC;IACxD,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC3C,SAAS,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAE3C,MAAM,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACnD,MAAM,WAAW,GAAG,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;IACtC,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;IAElD,8BAA8B;IAC9B,YAAY,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAExC,kBAAkB;IAClB,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAEvC,OAAO,EAAE,GAAG,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AAChE,CAAC;AAED,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,SAAS,YAAY,CAAC,YAAoB,EAAE,MAAoB;IAC9D,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAmB,CAAC;IACnF,MAAM,OAAO,GAAmB,EAAE,GAAG,QAAQ,EAAE,MAAM,EAAE,CAAC;IACxD,aAAa,CAAC,YAAY,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,EAAE,OAAO,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,IAAI;SACR,WAAW,EAAE;SACb,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC;SAC5B,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;SACnB,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;SACrB,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAClB,CAAC"}

package/dist/proposal/types.d.ts

@@ -0,0 +1,15 @@
+export type ChangeStatus = 'proposed' | 'in-progress' | 'implemented' | 'archived';
+export interface ChangeMetadata {
+    readonly name: string;
+    readonly description: string;
+    readonly status: ChangeStatus;
+    readonly created: string;
+}
+export interface ChangeProposal {
+    readonly name: string;
+    readonly description: string;
+    readonly status: ChangeStatus;
+    readonly created: string;
+    readonly path: string;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/proposal/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/proposal/types.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG,aAAa,GAAG,aAAa,GAAG,UAAU,CAAC;AAEnF,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB"}

package/dist/proposal/types.js

@@ -0,0 +1,5 @@
+// ---------------------------------------------------------------------------
+// Prodara Compiler — Proposal Types
+// ---------------------------------------------------------------------------
+export {};
+//# sourceMappingURL=types.js.map

package/dist/proposal/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/proposal/types.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,oCAAoC;AACpC,8EAA8E"}

package/dist/registry/index.d.ts

@@ -0,0 +1,3 @@
+export { resolveConstitutions, parsePackageRef } from './resolution.js';
+export type { ConstitutionResolutionResult, ResolvedPackage, ResolvedPolicy, ConstitutionPackageRef } from './resolution.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/registry/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACxE,YAAY,EAAE,4BAA4B,EAAE,eAAe,EAAE,cAAc,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/registry/index.js

@@ -0,0 +1,2 @@
+export { resolveConstitutions, parsePackageRef } from './resolution.js';
+//# sourceMappingURL=index.js.map

package/dist/registry/index.js.map

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

package/dist/registry/resolution.d.ts

@@ -0,0 +1,39 @@
+import type { AstFile, PackageRef as AstPackageRef } from '../parser/ast.js';
+import type { BindResult } from '../binder/binder.js';
+import { DiagnosticBag } from '../diagnostics/diagnostic.js';
+/** A resolved constitution package */
+export interface ResolvedPackage {
+    readonly name: string;
+    readonly version: string;
+    readonly source: 'local' | 'git' | 'registry';
+    /** Resolved policies from this package */
+    readonly policies: readonly ResolvedPolicy[];
+}
+/** A policy resolved from a constitution package */
+export interface ResolvedPolicy {
+    readonly name: string;
+    readonly properties: ReadonlyMap<string, unknown>;
+}
+/** A package reference found in a constitution declaration */
+export interface ConstitutionPackageRef {
+    readonly path: string;
+    readonly version: string;
+    readonly module: string;
+    readonly constitutionName: string;
+}
+export interface ConstitutionResolutionResult {
+    readonly bag: DiagnosticBag;
+    readonly packages: readonly ResolvedPackage[];
+    readonly refs: readonly ConstitutionPackageRef[];
+}
+/**
+ * Extract constitution package references from the AST and attempt
+ * resolution. In v0.1, only local vendored packages are supported — remote
+ * packages emit an informational diagnostic.
+ */
+export declare function resolveConstitutions(files: readonly AstFile[], _bindResult: BindResult): ConstitutionResolutionResult;
+/**
+ * Parse a raw package reference string. Exported for testing.
+ */
+export declare function parsePackageRef(raw: string): AstPackageRef | null;
+//# sourceMappingURL=resolution.d.ts.map

package/dist/registry/resolution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolution.d.ts","sourceRoot":"","sources":["../../src/registry/resolution.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,OAAO,EAAE,UAAU,IAAI,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAC7E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAM7D,sCAAsC;AACtC,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,KAAK,GAAG,UAAU,CAAC;IAC9C,0CAA0C;IAC1C,QAAQ,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAC;CAC9C;AAED,oDAAoD;AACpD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnD;AAED,8DAA8D;AAC9D,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;CACnC;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAC;IAC9C,QAAQ,CAAC,IAAI,EAAE,SAAS,sBAAsB,EAAE,CAAC;CAClD;AAMD;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,SAAS,OAAO,EAAE,EACzB,WAAW,EAAE,UAAU,GACtB,4BAA4B,CAyC9B;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,aAAa,GAAG,IAAI,CAIjE"}

package/dist/registry/resolution.js

@@ -0,0 +1,70 @@
+// ---------------------------------------------------------------------------
+// Prodara Compiler — Constitution & Registry Resolution
+// ---------------------------------------------------------------------------
+// Resolves constitution package references declared via `use` in constitution
+// blocks. This module implements the resolution model described in the spec:
+//
+// Resolution order: local vendored → custom Git taps → official registry
+//
+// In v0.1 only local resolution is implemented. Remote registry and Git taps
+// are defined as interfaces ready for future plug-in.
+import { DiagnosticBag } from '../diagnostics/diagnostic.js';
+// ---------------------------------------------------------------------------
+// Resolution
+// ---------------------------------------------------------------------------
+/**
+ * Extract constitution package references from the AST and attempt
+ * resolution. In v0.1, only local vendored packages are supported — remote
+ * packages emit an informational diagnostic.
+ */
+export function resolveConstitutions(files, _bindResult) {
+    const bag = new DiagnosticBag();
+    const refs = [];
+    const packages = [];
+    // Collect all constitution package references
+    for (const file of files) {
+        for (const decl of file.declarations) {
+            if (decl.kind !== 'module')
+                continue;
+            for (const item of decl.items) {
+                if (item.kind !== 'constitution')
+                    continue;
+                if (item.packages) {
+                    for (const pkg of item.packages) {
+                        refs.push({
+                            path: pkg.path,
+                            version: pkg.version,
+                            module: decl.name,
+                            constitutionName: item.name,
+                        });
+                    }
+                }
+            }
+        }
+    }
+    // Attempt resolution (local only in v0.1)
+    for (const ref of refs) {
+        // In v0.1, no actual package fetching
+        bag.add({
+            phase: 'registry',
+            category: 'registry_error',
+            severity: 'info',
+            code: 'PRD0601',
+            message: `Constitution package '${ref.path}@${ref.version}' referenced but registry resolution is not yet available`,
+            file: '',
+            line: 0,
+            column: 0,
+        });
+    }
+    return { bag, packages, refs };
+}
+/**
+ * Parse a raw package reference string. Exported for testing.
+ */
+export function parsePackageRef(raw) {
+    const match = /^([@\w][\w./-]*)(?:@(.+))?$/.exec(raw);
+    if (!match)
+        return null;
+    return { path: match[1], version: match[2] ?? '*' };
+}
+//# sourceMappingURL=resolution.js.map

package/dist/registry/resolution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolution.js","sourceRoot":"","sources":["../../src/registry/resolution.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,wDAAwD;AACxD,8EAA8E;AAC9E,8EAA8E;AAC9E,6EAA6E;AAC7E,EAAE;AACF,yEAAyE;AACzE,EAAE;AACF,6EAA6E;AAC7E,sDAAsD;AAItD,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAmC7D,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAyB,EACzB,WAAuB;IAEvB,MAAM,GAAG,GAAG,IAAI,aAAa,EAAE,CAAC;IAChC,MAAM,IAAI,GAA6B,EAAE,CAAC;IAC1C,MAAM,QAAQ,GAAsB,EAAE,CAAC;IAEvC,8CAA8C;IAC9C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAS;YACrC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc;oBAAE,SAAS;gBAC3C,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBAClB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;wBAChC,IAAI,CAAC,IAAI,CAAC;4BACR,IAAI,EAAE,GAAG,CAAC,IAAI;4BACd,OAAO,EAAE,GAAG,CAAC,OAAO;4BACpB,MAAM,EAAE,IAAI,CAAC,IAAI;4BACjB,gBAAgB,EAAE,IAAI,CAAC,IAAI;yBAC5B,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,0CAA0C;IAC1C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,sCAAsC;QACtC,GAAG,CAAC,GAAG,CAAC;YACN,KAAK,EAAE,UAAU;YACjB,QAAQ,EAAE,gBAAgB;YAC1B,QAAQ,EAAE,MAAM;YAChB,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,yBAAyB,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,OAAO,2DAA2D;YACpH,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;SACV,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AACjC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,GAAW;IACzC,MAAM,KAAK,GAAG,6BAA6B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtD,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAE,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;AACvD,CAAC"}

package/dist/reviewers/adversarial.d.ts

@@ -0,0 +1,3 @@
+import type { ReviewerAgent } from './reviewer.js';
+export declare const adversarialReviewer: ReviewerAgent;
+//# sourceMappingURL=adversarial.d.ts.map

package/dist/reviewers/adversarial.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"adversarial.d.ts","sourceRoot":"","sources":["../../src/reviewers/adversarial.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAEnD,eAAO,MAAM,mBAAmB,EAAE,aA2GjC,CAAC"}

package/dist/reviewers/adversarial.js

@@ -0,0 +1,111 @@
+// ---------------------------------------------------------------------------
+// Prodara Compiler — Adversarial Reviewer
+// ---------------------------------------------------------------------------
+// A cynical/skeptical reviewer that assumes problems exist and exhaustively
+// finds gaps, unstated assumptions, contradictions, and missing items.
+export const adversarialReviewer = {
+    name: 'adversarial',
+    description: 'Cynical reviewer that assumes problems exist and finds gaps, contradictions, and unstated assumptions',
+    review(graph, _spec) {
+        const findings = [];
+        // Check: modules without any policies or rules
+        for (const mod of graph.modules) {
+            const policies = getNodeArray(mod, 'policies');
+            const rules = getNodeArray(mod, 'rules');
+            const entities = getNodeArray(mod, 'entities');
+            if (entities.length > 0 && policies.length === 0 && rules.length === 0) {
+                findings.push({
+                    reviewer: 'adversarial',
+                    severity: 'warning',
+                    category: 'missing_policies',
+                    nodeId: mod.id,
+                    message: `Module "${mod.name}" has entities but no policies or rules — data integrity is unguarded`,
+                    suggestion: 'Add validation policies to protect entity invariants',
+                });
+            }
+        }
+        // Check: modules without tests
+        for (const mod of graph.modules) {
+            const tests = getNodeArray(mod, 'tests');
+            if (tests.length === 0) {
+                findings.push({
+                    reviewer: 'adversarial',
+                    severity: 'warning',
+                    category: 'missing_tests',
+                    nodeId: mod.id,
+                    message: `Module "${mod.name}" has no tests — correctness is unverified`,
+                    suggestion: 'Add spec tests to verify module behavior',
+                });
+            }
+        }
+        // Check: entities without any edges (orphan entities)
+        for (const mod of graph.modules) {
+            for (const entity of getNodeArray(mod, 'entities')) {
+                const hasEdge = graph.edges.some((e) => e.from === entity.id || e.to === entity.id);
+                if (!hasEdge) {
+                    findings.push({
+                        reviewer: 'adversarial',
+                        severity: 'warning',
+                        category: 'orphan_entity',
+                        nodeId: entity.id,
+                        message: `Entity "${entity.name}" in module "${mod.name}" has no edges — it may be unused`,
+                        suggestion: 'Connect this entity to workflows or other entities, or remove it',
+                    });
+                }
+            }
+        }
+        // Check: workflows without any output edges
+        for (const mod of graph.modules) {
+            for (const wf of getNodeArray(mod, 'workflows')) {
+                const hasOutput = graph.edges.some(
+                /* v8 ignore next -- both emits and writes are tested */
+                (e) => e.from === wf.id && (e.kind === 'emits' || e.kind === 'writes'));
+                if (!hasOutput) {
+                    findings.push({
+                        reviewer: 'adversarial',
+                        severity: 'info',
+                        category: 'missing_output',
+                        nodeId: wf.id,
+                        message: `Workflow "${wf.name}" in module "${mod.name}" has no output edges — side effects are unstated`,
+                        suggestion: 'Declare what this workflow produces, emits, or writes',
+                    });
+                }
+            }
+        }
+        // Check: duplicate node names within a module
+        for (const mod of graph.modules) {
+            const names = new Map();
+            for (const category of ['entities', 'workflows', 'screens', 'policies', 'events', 'actors']) {
+                for (const node of getNodeArray(mod, category)) {
+                    const existing = names.get(node.name);
+                    if (existing) {
+                        existing.push(node.id);
+                    }
+                    else {
+                        names.set(node.name, [node.id]);
+                    }
+                }
+            }
+            for (const [name, ids] of names) {
+                if (ids.length > 1) {
+                    findings.push({
+                        reviewer: 'adversarial',
+                        severity: 'error',
+                        category: 'duplicate_name',
+                        nodeId: ids[0],
+                        message: `Duplicate name "${name}" in module "${mod.name}" — ambiguous references`,
+                        suggestion: 'Rename one of the duplicates to avoid confusion',
+                    });
+                }
+            }
+        }
+        return findings;
+    },
+};
+function getNodeArray(mod, category) {
+    const val = mod[category];
+    if (!Array.isArray(val))
+        return [];
+    return val;
+}
+//# sourceMappingURL=adversarial.js.map

package/dist/reviewers/adversarial.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"adversarial.js","sourceRoot":"","sources":["../../src/reviewers/adversarial.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,0CAA0C;AAC1C,8EAA8E;AAC9E,4EAA4E;AAC5E,uEAAuE;AAOvE,MAAM,CAAC,MAAM,mBAAmB,GAAkB;IAChD,IAAI,EAAE,aAAa;IACnB,WAAW,EAAE,uGAAuG;IAEpH,MAAM,CAAC,KAAmB,EAAE,KAAsB;QAChD,MAAM,QAAQ,GAAoB,EAAE,CAAC;QAErC,+CAA+C;QAC/C,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAChC,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;YAC/C,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YACzC,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;YAC/C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvE,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,aAAa;oBACvB,QAAQ,EAAE,SAAS;oBACnB,QAAQ,EAAE,kBAAkB;oBAC5B,MAAM,EAAE,GAAG,CAAC,EAAE;oBACd,OAAO,EAAE,WAAW,GAAG,CAAC,IAAI,uEAAuE;oBACnG,UAAU,EAAE,sDAAsD;iBACnE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,+BAA+B;QAC/B,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YACzC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,aAAa;oBACvB,QAAQ,EAAE,SAAS;oBACnB,QAAQ,EAAE,eAAe;oBACzB,MAAM,EAAE,GAAG,CAAC,EAAE;oBACd,OAAO,EAAE,WAAW,GAAG,CAAC,IAAI,4CAA4C;oBACxE,UAAU,EAAE,0CAA0C;iBACvD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,sDAAsD;QACtD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAChC,KAAK,MAAM,MAAM,IAAI,YAAY,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,CAAC;gBACnD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAC9B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,CAClD,CAAC;gBACF,IAAI,CAAC,OAAO,EAAE,CAAC;oBACb,QAAQ,CAAC,IAAI,CAAC;wBACZ,QAAQ,EAAE,aAAa;wBACvB,QAAQ,EAAE,SAAS;wBACnB,QAAQ,EAAE,eAAe;wBACzB,MAAM,EAAE,MAAM,CAAC,EAAE;wBACjB,OAAO,EAAE,WAAW,MAAM,CAAC,IAAI,gBAAgB,GAAG,CAAC,IAAI,mCAAmC;wBAC1F,UAAU,EAAE,kEAAkE;qBAC/E,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,4CAA4C;QAC5C,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAChC,KAAK,MAAM,EAAE,IAAI,YAAY,CAAC,GAAG,EAAE,WAAW,CAAC,EAAE,CAAC;gBAChD,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI;gBAChC,wDAAwD;gBACxD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CACvE,CAAC;gBACF,IAAI,CAAC,SAAS,EAAE,CAAC;oBACf,QAAQ,CAAC,IAAI,CAAC;wBACZ,QAAQ,EAAE,aAAa;wBACvB,QAAQ,EAAE,MAAM;wBAChB,QAAQ,EAAE,gBAAgB;wBAC1B,MAAM,EAAE,EAAE,CAAC,EAAE;wBACb,OAAO,EAAE,aAAa,EAAE,CAAC,IAAI,gBAAgB,GAAG,CAAC,IAAI,mDAAmD;wBACxG,UAAU,EAAE,uDAAuD;qBACpE,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,8CAA8C;QAC9C,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;YAC1C,KAAK,MAAM,QAAQ,IAAI,CAAC,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAU,EAAE,CAAC;gBACrG,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC;oBAC/C,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACtC,IAAI,QAAQ,EAAE,CAAC;wBACb,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACzB,CAAC;yBAAM,CAAC;wBACN,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;oBAClC,CAAC;gBACH,CAAC;YACH,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC;gBAChC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACnB,QAAQ,CAAC,IAAI,CAAC;wBACZ,QAAQ,EAAE,aAAa;wBACvB,QAAQ,EAAE,OAAO;wBACjB,QAAQ,EAAE,gBAAgB;wBAC1B,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;wBACd,OAAO,EAAE,mBAAmB,IAAI,gBAAgB,GAAG,CAAC,IAAI,0BAA0B;wBAClF,UAAU,EAAE,iDAAiD;qBAC9D,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF,CAAC;AAOF,SAAS,YAAY,CAAC,GAAe,EAAE,QAAgB;IACrD,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC1B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,OAAO,GAA2B,CAAC;AACrC,CAAC"}

package/dist/reviewers/architecture.d.ts

@@ -0,0 +1,3 @@
+import type { ReviewerAgent } from './reviewer.js';
+export declare const architectureReviewer: ReviewerAgent;
+//# sourceMappingURL=architecture.d.ts.map

package/dist/reviewers/architecture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"architecture.d.ts","sourceRoot":"","sources":["../../src/reviewers/architecture.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAEnD,eAAO,MAAM,oBAAoB,EAAE,aA6DlC,CAAC"}

package/dist/reviewers/architecture.js

@@ -0,0 +1,71 @@
+// ---------------------------------------------------------------------------
+// Prodara Compiler — Architecture Reviewer
+// ---------------------------------------------------------------------------
+// Validates architectural quality: module boundaries, dependency patterns,
+// authorization coverage, and circular dependency risks.
+export const architectureReviewer = {
+    name: 'architecture',
+    description: 'Validates module boundaries, dependency patterns, and authorization coverage',
+    review(graph, _spec) {
+        const findings = [];
+        // Check: every module should have at least one entity or workflow
+        for (const mod of graph.modules) {
+            const entities = getNodeArray(mod, 'entities');
+            const workflows = getNodeArray(mod, 'workflows');
+            if (entities.length === 0 && workflows.length === 0) {
+                findings.push({
+                    reviewer: 'architecture',
+                    severity: 'warning',
+                    category: 'empty_module',
+                    nodeId: mod.id,
+                    message: `Module "${mod.name}" has no entities or workflows`,
+                    suggestion: 'Consider adding domain constructs or merging into another module',
+                });
+            }
+        }
+        // Check: workflows should have authorization
+        for (const mod of graph.modules) {
+            for (const wf of getNodeArray(mod, 'workflows')) {
+                const hasAuth = graph.edges.some((e) => e.from === wf.id && e.kind === 'authorized_as');
+                if (!hasAuth) {
+                    findings.push({
+                        reviewer: 'architecture',
+                        severity: 'warning',
+                        category: 'missing_authorization',
+                        nodeId: wf.id,
+                        message: `Workflow "${wf.name}" in module "${mod.name}" has no authorization`,
+                        suggestion: 'Add an authorization block to restrict access',
+                    });
+                }
+            }
+        }
+        // Check: cross-module dependency density
+        const crossModuleEdges = graph.edges.filter((e) => {
+            const fromMod = extractModule(e.from);
+            const toMod = extractModule(e.to);
+            return fromMod && toMod && fromMod !== toMod;
+        });
+        const moduleCount = graph.modules.length;
+        if (moduleCount > 1 && crossModuleEdges.length > moduleCount * 10) {
+            findings.push({
+                reviewer: 'architecture',
+                severity: 'info',
+                category: 'high_coupling',
+                message: `High cross-module coupling: ${crossModuleEdges.length} cross-module edges across ${moduleCount} modules`,
+                suggestion: 'Consider refactoring to reduce inter-module dependencies',
+            });
+        }
+        return findings;
+    },
+};
+function extractModule(nodeId) {
+    const parts = nodeId.split('.');
+    return parts.length >= 2 ? parts[0] : null;
+}
+function getNodeArray(mod, category) {
+    const val = mod[category];
+    if (!Array.isArray(val))
+        return [];
+    return val;
+}
+//# sourceMappingURL=architecture.js.map

package/dist/reviewers/architecture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"architecture.js","sourceRoot":"","sources":["../../src/reviewers/architecture.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,2CAA2C;AAC3C,8EAA8E;AAC9E,2EAA2E;AAC3E,yDAAyD;AAOzD,MAAM,CAAC,MAAM,oBAAoB,GAAkB;IACjD,IAAI,EAAE,cAAc;IACpB,WAAW,EAAE,8EAA8E;IAE3F,MAAM,CAAC,KAAmB,EAAE,KAAsB;QAChD,MAAM,QAAQ,GAAoB,EAAE,CAAC;QAErC,kEAAkE;QAClE,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAChC,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;YAC/C,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;YACjD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACpD,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,cAAc;oBACxB,QAAQ,EAAE,SAAS;oBACnB,QAAQ,EAAE,cAAc;oBACxB,MAAM,EAAE,GAAG,CAAC,EAAE;oBACd,OAAO,EAAE,WAAW,GAAG,CAAC,IAAI,gCAAgC;oBAC5D,UAAU,EAAE,kEAAkE;iBAC/E,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,6CAA6C;QAC7C,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAChC,KAAK,MAAM,EAAE,IAAI,YAAY,CAAC,GAAG,EAAE,WAAW,CAAC,EAAE,CAAC;gBAChD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAC9B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,CACtD,CAAC;gBACF,IAAI,CAAC,OAAO,EAAE,CAAC;oBACb,QAAQ,CAAC,IAAI,CAAC;wBACZ,QAAQ,EAAE,cAAc;wBACxB,QAAQ,EAAE,SAAS;wBACnB,QAAQ,EAAE,uBAAuB;wBACjC,MAAM,EAAE,EAAE,CAAC,EAAE;wBACb,OAAO,EAAE,aAAa,EAAE,CAAC,IAAI,gBAAgB,GAAG,CAAC,IAAI,wBAAwB;wBAC7E,UAAU,EAAE,+CAA+C;qBAC5D,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,yCAAyC;QACzC,MAAM,gBAAgB,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;YAChD,MAAM,OAAO,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACtC,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAClC,OAAO,OAAO,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,CAAC;QAC/C,CAAC,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QACzC,IAAI,WAAW,GAAG,CAAC,IAAI,gBAAgB,CAAC,MAAM,GAAG,WAAW,GAAG,EAAE,EAAE,CAAC;YAClE,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,cAAc;gBACxB,QAAQ,EAAE,MAAM;gBAChB,QAAQ,EAAE,eAAe;gBACzB,OAAO,EAAE,+BAA+B,gBAAgB,CAAC,MAAM,8BAA8B,WAAW,UAAU;gBAClH,UAAU,EAAE,0DAA0D;aACvE,CAAC,CAAC;QACL,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF,CAAC;AAEF,SAAS,aAAa,CAAC,MAAc;IACnC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAChC,OAAO,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9C,CAAC;AAOD,SAAS,YAAY,CAAC,GAAe,EAAE,QAAgB;IACrD,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC1B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,OAAO,GAA2B,CAAC;AACrC,CAAC"}

package/dist/reviewers/code-quality.d.ts

@@ -0,0 +1,3 @@
+import type { ReviewerAgent } from './reviewer.js';
+export declare const codeQualityReviewer: ReviewerAgent;
+//# sourceMappingURL=code-quality.d.ts.map

package/dist/reviewers/code-quality.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"code-quality.d.ts","sourceRoot":"","sources":["../../src/reviewers/code-quality.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAEnD,eAAO,MAAM,mBAAmB,EAAE,aAoEjC,CAAC"}

package/dist/reviewers/code-quality.js

@@ -0,0 +1,72 @@
+// ---------------------------------------------------------------------------
+// Prodara Compiler — Code Quality Reviewer
+// ---------------------------------------------------------------------------
+// Validates graph structural quality: orphan nodes, edge validity,
+// duplicate identifiers, and consistent graph structure.
+import { collectAllNodeIds } from '../graph/graph-types.js';
+export const codeQualityReviewer = {
+    name: 'codeQuality',
+    description: 'Validates graph structure: orphans, edge validity, and duplicates',
+    review(graph, _spec) {
+        const findings = [];
+        const allNodeIds = collectAllNodeIds(graph);
+        // Check: edges reference valid nodes
+        for (const edge of graph.edges) {
+            if (!allNodeIds.has(edge.from)) {
+                findings.push({
+                    reviewer: 'codeQuality',
+                    severity: 'error',
+                    category: 'invalid_edge_source',
+                    message: `Edge "${edge.kind}" has source "${edge.from}" which is not in the graph`,
+                });
+            }
+            if (!allNodeIds.has(edge.to)) {
+                findings.push({
+                    reviewer: 'codeQuality',
+                    severity: 'error',
+                    category: 'invalid_edge_target',
+                    message: `Edge "${edge.kind}" has target "${edge.to}" which is not in the graph`,
+                });
+            }
+        }
+        // Check: orphan nodes (non-module, non-product nodes with no edges)
+        const connectedNodes = new Set();
+        for (const edge of graph.edges) {
+            connectedNodes.add(edge.from);
+            connectedNodes.add(edge.to);
+        }
+        for (const id of allNodeIds) {
+            if (id === 'product')
+                continue;
+            // Module nodes are connected via 'contains' edges automatically
+            if (graph.modules.some((m) => m.id === id))
+                continue;
+            if (!connectedNodes.has(id)) {
+                findings.push({
+                    reviewer: 'codeQuality',
+                    severity: 'warning',
+                    category: 'orphan_node',
+                    nodeId: id,
+                    message: `Node "${id}" has no edges — it may be orphaned`,
+                    suggestion: 'Verify this node is intentionally disconnected or add relationships',
+                });
+            }
+        }
+        // Check: duplicate edge detection
+        const edgeSet = new Set();
+        for (const edge of graph.edges) {
+            const key = `${edge.from}|${edge.to}|${edge.kind}`;
+            if (edgeSet.has(key)) {
+                findings.push({
+                    reviewer: 'codeQuality',
+                    severity: 'warning',
+                    category: 'duplicate_edge',
+                    message: `Duplicate edge: ${edge.from} -> ${edge.to} (${edge.kind})`,
+                });
+            }
+            edgeSet.add(key);
+        }
+        return findings;
+    },
+};
+//# sourceMappingURL=code-quality.js.map