openlore 2.0.6 → 2.0.8

package/dist/core/architecture/check.js

@@ -0,0 +1,192 @@
+/**
+ * Architecture invariant checker (spec-23).
+ *
+ * Deterministic, offline passes over the file-level dependency graph. Two entry
+ * points:
+ *   - `scanViolations` — the full current-violations report (continuous reporting).
+ *   - `canImport` — the pre-edit query: "may a file under A import B?", answered
+ *     BEFORE the edge is written. Pure; writes nothing.
+ *
+ * The `layers` kind reuses `classifyLayerEdge` from the call-graph analyzer so the
+ * layering convention has exactly one source of truth.
+ */
+import { classifyLayerEdge } from '../analyzer/call-graph.js';
+/** Normalize a path to forward slashes with no trailing slash. */
+function norm(p) {
+    return p.replace(/\\/g, '/').replace(/\/+$/, '');
+}
+/**
+ * Prefix/dir match: `pattern` is treated as a path prefix (a directory or an exact
+ * file). Trailing `/`, `/*`, `/**`, or `*` are tolerated and stripped. Deterministic;
+ * no full glob engine (kept to the well-understood dir-prefix vocabulary).
+ */
+export function pathMatches(rel, pattern) {
+    const r = norm(rel);
+    const p = norm(pattern.replace(/\/\*\*$/, '').replace(/\/\*$/, '').replace(/\*+$/, ''));
+    if (!p)
+        return false;
+    return r === p || r.startsWith(p + '/');
+}
+/**
+ * Evaluate one directed edge (relative paths) against one rule. Returns a reason
+ * string when the edge violates the rule, or null when it's legal under that rule.
+ */
+function edgeViolation(fromRel, toRel, rule) {
+    switch (rule.kind) {
+        case 'layers': {
+            const cls = classifyLayerEdge(fromRel, toRel, rule.layers);
+            if (!cls)
+                return null;
+            return `layer "${cls.fromLayer}" must not depend on upper layer "${cls.toLayer}"`;
+        }
+        case 'forbidden': {
+            if (pathMatches(fromRel, rule.from) && pathMatches(toRel, rule.to)) {
+                return rule.reason ?? `"${rule.from}" must not depend on "${rule.to}"`;
+            }
+            return null;
+        }
+        case 'allowedOnly': {
+            if (!pathMatches(fromRel, rule.module))
+                return null;
+            // Intra-module dependencies are always allowed.
+            if (pathMatches(toRel, rule.module))
+                return null;
+            if (rule.mayDependOn.some(allowed => pathMatches(toRel, allowed)))
+                return null;
+            const why = rule.reason ? ` — ${rule.reason}` : '';
+            return `"${rule.module}" may depend only on [${rule.mayDependOn.join(', ')}]${why}`;
+        }
+    }
+}
+/** Build an absolute→relative path map from dependency-graph nodes. */
+function relMap(depGraph) {
+    const m = new Map();
+    for (const n of depGraph.nodes) {
+        if (n.file?.absolutePath && n.file?.path)
+            m.set(n.file.absolutePath, norm(n.file.path));
+    }
+    return m;
+}
+/** Resolve an edge endpoint (absolute id or already-relative) to a relative path. */
+function toRel(id, rels) {
+    return rels.get(id) ?? norm(id);
+}
+/** Every rule prefix, for the non-existent-path warning pass. */
+function rulePrefixes(rule) {
+    switch (rule.kind) {
+        case 'layers': return Object.values(rule.layers).flat();
+        case 'forbidden': return [rule.from, rule.to];
+        case 'allowedOnly': return [rule.module, ...rule.mayDependOn];
+    }
+}
+/**
+ * Full violation scan over the dependency graph. Reports every edge that breaks a
+ * declared rule, plus warnings for rule prefixes that match no file in the repo
+ * (likely typos) — never a throw.
+ */
+export function scanViolations(depGraph, rules) {
+    const warnings = [...rules.warnings];
+    if (rules.rules.length === 0) {
+        return { violations: [], warnings, checkedEdges: 0, rulesApplied: 0 };
+    }
+    const rels = relMap(depGraph);
+    const allRel = [...rels.values()];
+    // Warn on prefixes that match nothing (typos / stale rules).
+    const seenPrefix = new Set();
+    for (const rule of rules.rules) {
+        for (const prefix of rulePrefixes(rule)) {
+            if (seenPrefix.has(prefix))
+                continue;
+            seenPrefix.add(prefix);
+            if (!allRel.some(f => pathMatches(f, prefix))) {
+                warnings.push(`rule path "${prefix}" matches no file in the repository — check for a typo`);
+            }
+        }
+    }
+    const violations = [];
+    const seen = new Set();
+    for (const edge of depGraph.edges) {
+        const fromRel = toRel(edge.source, rels);
+        const toRelPath = toRel(edge.target, rels);
+        if (fromRel === toRelPath)
+            continue;
+        for (const rule of rules.rules) {
+            const reason = edgeViolation(fromRel, toRelPath, rule);
+            if (reason) {
+                const key = `${rule.kind}|${fromRel}|${toRelPath}|${reason}`;
+                if (seen.has(key))
+                    continue;
+                seen.add(key);
+                violations.push({ kind: rule.kind, from: fromRel, to: toRelPath, reason, source: rule.source });
+            }
+        }
+    }
+    // Deterministic ordering.
+    violations.sort((a, b) => a.from !== b.from ? (a.from < b.from ? -1 : 1)
+        : a.to !== b.to ? (a.to < b.to ? -1 : 1)
+            : a.kind < b.kind ? -1 : a.kind > b.kind ? 1 : 0);
+    return { violations, warnings, checkedEdges: depGraph.edges.length, rulesApplied: rules.rules.length };
+}
+/**
+ * Pre-edit query: would importing `to` from `fromFile` be allowed under the rules?
+ * `to` may be a file path (relative or absolute) or a bare exported symbol — in the
+ * latter case it is resolved to its declaring file via the dependency graph. When
+ * the target cannot be resolved to a file, the verdict is permissive (`allowed:
+ * true`) with an `unresolved` note: the checker only decides what it can ground.
+ */
+export function canImport(fromFile, to, rules, depGraph) {
+    if (rules.rules.length === 0) {
+        return { allowed: true, reason: 'no architecture rules declared — inert' };
+    }
+    const rels = depGraph ? relMap(depGraph) : new Map();
+    const fromRel = toRel(fromFile, rels);
+    // Resolve the target to a relative file path.
+    const looksLikePath = to.includes('/') || /\.[a-z]{1,5}$/i.test(to);
+    let targets;
+    if (looksLikePath) {
+        targets = [toRel(to, rels)];
+    }
+    else if (depGraph) {
+        // Bare symbol → declaring file(s).
+        targets = depGraph.nodes
+            .filter(n => (n.exports ?? []).some(e => e.name === to))
+            .map(n => norm(n.file.path))
+            .sort();
+        if (targets.length === 0) {
+            return {
+                allowed: true,
+                rule: { kind: 'unresolved', reason: `symbol "${to}" not found among exports` },
+                reason: `could not resolve "${to}" to a file; no rule could be evaluated`,
+            };
+        }
+    }
+    else {
+        return {
+            allowed: true,
+            rule: { kind: 'unresolved', reason: 'no dependency graph available to resolve symbol' },
+            reason: `could not resolve "${to}" without a dependency graph; no rule could be evaluated`,
+        };
+    }
+    // Disallow if ANY candidate target breaks ANY rule (conservative pre-edit guard).
+    for (const target of targets) {
+        if (fromRel === target)
+            continue;
+        for (const rule of rules.rules) {
+            const reason = edgeViolation(fromRel, target, rule);
+            if (reason) {
+                return {
+                    allowed: false,
+                    rule: { kind: rule.kind, source: rule.source, reason },
+                    resolvedTo: target,
+                    reason: `importing "${target}" from "${fromRel}" violates a ${rule.kind} rule: ${reason}`,
+                };
+            }
+        }
+    }
+    return {
+        allowed: true,
+        resolvedTo: looksLikePath ? undefined : targets[0],
+        reason: `no rule forbids importing ${looksLikePath ? `"${targets[0]}"` : `"${to}"`} from "${fromRel}"`,
+    };
+}
+//# sourceMappingURL=check.js.map

package/dist/core/architecture/check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../../src/core/architecture/check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AA8B9D,kEAAkE;AAClE,SAAS,IAAI,CAAC,CAAS;IACrB,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AACnD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,GAAW,EAAE,OAAe;IACtD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACpB,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;IACxF,IAAI,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACrB,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;AAC1C,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CAAC,OAAe,EAAE,KAAa,EAAE,IAAsB;IAC3E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,GAAG,GAAG,iBAAiB,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YAC3D,IAAI,CAAC,GAAG;gBAAE,OAAO,IAAI,CAAC;YACtB,OAAO,UAAU,GAAG,CAAC,SAAS,qCAAqC,GAAG,CAAC,OAAO,GAAG,CAAC;QACpF,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,IAAI,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBACnE,OAAO,IAAI,CAAC,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,yBAAyB,IAAI,CAAC,EAAE,GAAG,CAAC;YACzE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpD,gDAAgD;YAChD,IAAI,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAC;YACjD,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC/E,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnD,OAAO,IAAI,IAAI,CAAC,MAAM,yBAAyB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC;QACtF,CAAC;IACH,CAAC;AACH,CAAC;AAED,uEAAuE;AACvE,SAAS,MAAM,CAAC,QAA+B;IAC7C,MAAM,CAAC,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,CAAC,IAAI,EAAE,YAAY,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI;YAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,qFAAqF;AACrF,SAAS,KAAK,CAAC,EAAU,EAAE,IAAyB;IAClD,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;AAClC,CAAC;AAED,iEAAiE;AACjE,SAAS,YAAY,CAAC,IAAsB;IAC1C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ,CAAC,CAAC,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;QACxD,KAAK,WAAW,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9C,KAAK,aAAa,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;IAChE,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,QAA+B,EAAE,KAAwB;IACtF,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;IACrC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;IACxE,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAElC,6DAA6D;IAC7D,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,KAAK,MAAM,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,SAAS;YACrC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACvB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;gBAC9C,QAAQ,CAAC,IAAI,CAAC,cAAc,MAAM,wDAAwD,CAAC,CAAC;YAC9F,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAClC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACzC,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC3C,IAAI,OAAO,KAAK,SAAS;YAAE,SAAS;QACpC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;YACvD,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,SAAS,IAAI,MAAM,EAAE,CAAC;gBAC7D,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YAClG,CAAC;QACH,CAAC;IACH,CAAC;IAED,0BAA0B;IAC1B,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACvB,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACtC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAExD,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;AACzG,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CACvB,QAAgB,EAChB,EAAU,EACV,KAAwB,EACxB,QAAgC;IAEhC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,wCAAwC,EAAE,CAAC;IAC7E,CAAC;IAED,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,EAAkB,CAAC;IACrE,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAEtC,8CAA8C;IAC9C,MAAM,aAAa,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpE,IAAI,OAAiB,CAAC;IACtB,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;IAC9B,CAAC;SAAM,IAAI,QAAQ,EAAE,CAAC;QACpB,mCAAmC;QACnC,OAAO,GAAG,QAAQ,CAAC,KAAK;aACrB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC;aACvD,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aAC3B,IAAI,EAAE,CAAC;QACV,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,WAAW,EAAE,2BAA2B,EAAE;gBAC9E,MAAM,EAAE,sBAAsB,EAAE,yCAAyC;aAC1E,CAAC;QACJ,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO;YACL,OAAO,EAAE,IAAI;YACb,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,iDAAiD,EAAE;YACvF,MAAM,EAAE,sBAAsB,EAAE,0DAA0D;SAC3F,CAAC;IACJ,CAAC;IAED,kFAAkF;IAClF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,OAAO,KAAK,MAAM;YAAE,SAAS;QACjC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YACpD,IAAI,MAAM,EAAE,CAAC;gBACX,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE;oBACtD,UAAU,EAAE,MAAM;oBAClB,MAAM,EAAE,cAAc,MAAM,WAAW,OAAO,gBAAgB,IAAI,CAAC,IAAI,UAAU,MAAM,EAAE;iBAC1F,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,IAAI;QACb,UAAU,EAAE,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAClD,MAAM,EAAE,6BAA6B,aAAa,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,UAAU,OAAO,GAAG;KACvG,CAAC;AACJ,CAAC"}

package/dist/core/architecture/rules.d.ts

@@ -0,0 +1,73 @@
+/**
+ * Architecture invariant rules (spec-23).
+ *
+ * A small, opt-in, fully declarative rule format for dependency / layer /
+ * module-boundary constraints. Rules are author-declared in
+ * `.openlore/architecture.json` (and optionally sourced from synced ADR files),
+ * NEVER inferred by an LLM. Parsing is total: malformed entries become warnings
+ * and are skipped — loading rules never throws.
+ *
+ * The checker ([check.ts](./check.ts)) compiles these down to deterministic
+ * passes over the file-level dependency graph, reusing the canonical
+ * `classifyLayerEdge` primitive from the call-graph analyzer for the `layers` kind.
+ */
+/** Where a rule came from — an author's config file, or a recorded decision (spec-16). */
+export type RuleSource = 'config' | 'decision';
+/**
+ * Ordered layering: key order is top → bottom, so a lower layer depending on an
+ * upper layer is a violation. Each layer maps to one or more path prefixes.
+ */
+export interface LayersRule {
+    kind: 'layers';
+    layers: Record<string, string[]>;
+    source: RuleSource;
+}
+/** "Files under `from` must not depend on files under `to`." */
+export interface ForbiddenRule {
+    kind: 'forbidden';
+    from: string;
+    to: string;
+    reason?: string;
+    source: RuleSource;
+}
+/** Module boundary: "files under `module` may depend ONLY on `mayDependOn` (plus themselves)." */
+export interface AllowedOnlyRule {
+    kind: 'allowedOnly';
+    module: string;
+    mayDependOn: string[];
+    reason?: string;
+    source: RuleSource;
+}
+export type ArchitectureRule = LayersRule | ForbiddenRule | AllowedOnlyRule;
+/** The parsed rule set plus any non-fatal warnings collected while loading. */
+export interface ArchitectureRules {
+    rules: ArchitectureRule[];
+    warnings: string[];
+}
+/**
+ * Parse a raw config object into validated rules. Total: every malformed entry is
+ * recorded as a warning and skipped; this never throws. `source` tags provenance.
+ */
+export declare function parseArchitectureRules(raw: unknown, source: RuleSource): ArchitectureRules;
+/**
+ * Parse `Invariant:` markers out of synced ADR files. We read SYNCED files only —
+ * never `pending.json` fields, which are purged on sync (spec-16 edge case).
+ * Supported single-line grammar (deterministic, no LLM):
+ *
+ *   Invariant: forbidden <fromPrefix> -> <toPrefix> [(reason)]
+ *   Invariant: allowedOnly <modulePrefix> -> <prefixA>, <prefixB> [(reason)]
+ *
+ * Anything else is ignored. Returns rules tagged `source: 'decision'`.
+ */
+export declare function parseInvariantMarkers(adrText: string): ArchitectureRule[];
+/**
+ * Load the effective architecture rules for a project: the opt-in config file
+ * merged with any decision-sourced invariants. Absent config is NOT an error —
+ * returns an empty, inert rule set. Never throws.
+ */
+export declare function loadArchitectureRules(absDir: string, opts?: {
+    includeDecisions?: boolean;
+}): Promise<ArchitectureRules>;
+/** True when no rules are declared — the instrument is fully inert. */
+export declare function rulesAreInert(rules: ArchitectureRules): boolean;
+//# sourceMappingURL=rules.d.ts.map

package/dist/core/architecture/rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.d.ts","sourceRoot":"","sources":["../../../src/core/architecture/rules.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAMH,0FAA0F;AAC1F,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,UAAU,CAAC;AAE/C;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACjC,MAAM,EAAE,UAAU,CAAC;CACpB;AAED,gEAAgE;AAChE,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,UAAU,CAAC;CACpB;AAED,kGAAkG;AAClG,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,UAAU,CAAC;CACpB;AAED,MAAM,MAAM,gBAAgB,GAAG,UAAU,GAAG,aAAa,GAAG,eAAe,CAAC;AAE5E,+EAA+E;AAC/E,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,gBAAgB,EAAE,CAAC;IAC1B,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAeD;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,GAAG,iBAAiB,CAwE1F;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,gBAAgB,EAAE,CA0BzE;AAyBD;;;;GAIG;AACH,wBAAsB,qBAAqB,CACzC,MAAM,EAAE,MAAM,EACd,IAAI,GAAE;IAAE,gBAAgB,CAAC,EAAE,OAAO,CAAA;CAAO,GACxC,OAAO,CAAC,iBAAiB,CAAC,CA4B5B;AAED,uEAAuE;AACvE,wBAAgB,aAAa,CAAC,KAAK,EAAE,iBAAiB,GAAG,OAAO,CAE/D"}

package/dist/core/architecture/rules.js

@@ -0,0 +1,201 @@
+/**
+ * Architecture invariant rules (spec-23).
+ *
+ * A small, opt-in, fully declarative rule format for dependency / layer /
+ * module-boundary constraints. Rules are author-declared in
+ * `.openlore/architecture.json` (and optionally sourced from synced ADR files),
+ * NEVER inferred by an LLM. Parsing is total: malformed entries become warnings
+ * and are skipped — loading rules never throws.
+ *
+ * The checker ([check.ts](./check.ts)) compiles these down to deterministic
+ * passes over the file-level dependency graph, reusing the canonical
+ * `classifyLayerEdge` primitive from the call-graph analyzer for the `layers` kind.
+ */
+import { readFile, readdir } from 'node:fs/promises';
+import { join } from 'node:path';
+import { OPENLORE_DIR } from '../../constants.js';
+const ARCHITECTURE_CONFIG_FILE = 'architecture.json';
+function isStringArray(v) {
+    return Array.isArray(v) && v.every(x => typeof x === 'string');
+}
+/**
+ * Parse a raw config object into validated rules. Total: every malformed entry is
+ * recorded as a warning and skipped; this never throws. `source` tags provenance.
+ */
+export function parseArchitectureRules(raw, source) {
+    const rules = [];
+    const warnings = [];
+    if (!raw || typeof raw !== 'object') {
+        return { rules, warnings: ['architecture rules: expected a JSON object'] };
+    }
+    const cfg = raw;
+    // layers
+    if (cfg.layers !== undefined) {
+        if (cfg.layers && typeof cfg.layers === 'object' && !Array.isArray(cfg.layers)) {
+            const layers = {};
+            for (const [name, prefixes] of Object.entries(cfg.layers)) {
+                if (isStringArray(prefixes) && prefixes.length > 0) {
+                    layers[name] = prefixes;
+                }
+                else {
+                    warnings.push(`layers.${name}: expected a non-empty array of path prefixes — skipped`);
+                }
+            }
+            if (Object.keys(layers).length >= 2) {
+                rules.push({ kind: 'layers', layers, source });
+            }
+            else if (Object.keys(layers).length > 0) {
+                warnings.push('layers: need at least 2 layers to define a direction — skipped');
+            }
+        }
+        else {
+            warnings.push('layers: expected an object mapping layer name → path prefixes — skipped');
+        }
+    }
+    // forbidden
+    if (cfg.forbidden !== undefined) {
+        if (Array.isArray(cfg.forbidden)) {
+            cfg.forbidden.forEach((r, i) => {
+                if (r && typeof r.from === 'string' && typeof r.to === 'string') {
+                    rules.push({
+                        kind: 'forbidden',
+                        from: r.from,
+                        to: r.to,
+                        reason: typeof r.reason === 'string' ? r.reason : undefined,
+                        source,
+                    });
+                }
+                else {
+                    warnings.push(`forbidden[${i}]: requires string "from" and "to" — skipped`);
+                }
+            });
+        }
+        else {
+            warnings.push('forbidden: expected an array — skipped');
+        }
+    }
+    // allowedOnly
+    if (cfg.allowedOnly !== undefined) {
+        if (Array.isArray(cfg.allowedOnly)) {
+            cfg.allowedOnly.forEach((r, i) => {
+                if (r && typeof r.module === 'string' && isStringArray(r.mayDependOn)) {
+                    rules.push({
+                        kind: 'allowedOnly',
+                        module: r.module,
+                        mayDependOn: r.mayDependOn,
+                        reason: typeof r.reason === 'string' ? r.reason : undefined,
+                        source,
+                    });
+                }
+                else {
+                    warnings.push(`allowedOnly[${i}]: requires string "module" and string[] "mayDependOn" — skipped`);
+                }
+            });
+        }
+        else {
+            warnings.push('allowedOnly: expected an array — skipped');
+        }
+    }
+    return { rules, warnings };
+}
+/**
+ * Parse `Invariant:` markers out of synced ADR files. We read SYNCED files only —
+ * never `pending.json` fields, which are purged on sync (spec-16 edge case).
+ * Supported single-line grammar (deterministic, no LLM):
+ *
+ *   Invariant: forbidden <fromPrefix> -> <toPrefix> [(reason)]
+ *   Invariant: allowedOnly <modulePrefix> -> <prefixA>, <prefixB> [(reason)]
+ *
+ * Anything else is ignored. Returns rules tagged `source: 'decision'`.
+ */
+export function parseInvariantMarkers(adrText) {
+    const rules = [];
+    for (const line of adrText.split(/\r?\n/)) {
+        const m = line.match(/^\s*(?:[-*>]\s*)*Invariant:\s*(.+)$/i);
+        if (!m)
+            continue;
+        let body = m[1].trim();
+        let reason;
+        const reasonMatch = body.match(/\(([^)]*)\)\s*$/);
+        if (reasonMatch) {
+            reason = reasonMatch[1].trim() || undefined;
+            body = body.slice(0, reasonMatch.index).trim();
+        }
+        const forbidden = body.match(/^forbidden\s+(\S+)\s*->\s*(\S+)$/i);
+        if (forbidden) {
+            rules.push({ kind: 'forbidden', from: forbidden[1], to: forbidden[2], reason, source: 'decision' });
+            continue;
+        }
+        const allowed = body.match(/^allowedOnly\s+(\S+)\s*->\s*(.+)$/i);
+        if (allowed) {
+            const mayDependOn = allowed[2].split(',').map(s => s.trim()).filter(Boolean);
+            if (mayDependOn.length > 0) {
+                rules.push({ kind: 'allowedOnly', module: allowed[1], mayDependOn, reason, source: 'decision' });
+            }
+        }
+    }
+    return rules;
+}
+/** Read invariants from synced ADR files under `openspec/decisions/adr-*.md`. */
+async function loadDecisionInvariants(absDir) {
+    const rules = [];
+    const warnings = [];
+    const decisionsDir = join(absDir, 'openspec', 'decisions');
+    let entries;
+    try {
+        entries = await readdir(decisionsDir);
+    }
+    catch {
+        return { rules, warnings }; // no decisions dir — fine
+    }
+    for (const name of entries.sort()) {
+        if (!/^adr-.*\.md$/i.test(name))
+            continue;
+        try {
+            const text = await readFile(join(decisionsDir, name), 'utf-8');
+            rules.push(...parseInvariantMarkers(text));
+        }
+        catch {
+            warnings.push(`could not read decision file ${name}`);
+        }
+    }
+    return { rules, warnings };
+}
+/**
+ * Load the effective architecture rules for a project: the opt-in config file
+ * merged with any decision-sourced invariants. Absent config is NOT an error —
+ * returns an empty, inert rule set. Never throws.
+ */
+export async function loadArchitectureRules(absDir, opts = {}) {
+    const rules = [];
+    const warnings = [];
+    // Config file (opt-in).
+    try {
+        const raw = await readFile(join(absDir, OPENLORE_DIR, ARCHITECTURE_CONFIG_FILE), 'utf-8');
+        let parsed;
+        try {
+            parsed = JSON.parse(raw);
+        }
+        catch {
+            return { rules, warnings: [`${OPENLORE_DIR}/${ARCHITECTURE_CONFIG_FILE}: invalid JSON — ignored`] };
+        }
+        const fromConfig = parseArchitectureRules(parsed, 'config');
+        rules.push(...fromConfig.rules);
+        warnings.push(...fromConfig.warnings);
+    }
+    catch {
+        /* no config file — inert */
+    }
+    // Decision-sourced invariants (spec-16 tie), opt-in via flag.
+    if (opts.includeDecisions !== false) {
+        const fromDecisions = await loadDecisionInvariants(absDir);
+        rules.push(...fromDecisions.rules);
+        warnings.push(...fromDecisions.warnings);
+    }
+    return { rules, warnings };
+}
+/** True when no rules are declared — the instrument is fully inert. */
+export function rulesAreInert(rules) {
+    return rules.rules.length === 0;
+}
+//# sourceMappingURL=rules.js.map

package/dist/core/architecture/rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.js","sourceRoot":"","sources":["../../../src/core/architecture/rules.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAgDlD,MAAM,wBAAwB,GAAG,mBAAmB,CAAC;AAErD,SAAS,aAAa,CAAC,CAAU;IAC/B,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;AACjE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CAAC,GAAY,EAAE,MAAkB;IACrE,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QACpC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,4CAA4C,CAAC,EAAE,CAAC;IAC7E,CAAC;IACD,MAAM,GAAG,GAAG,GAA4B,CAAC;IAEzC,SAAS;IACT,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC7B,IAAI,GAAG,CAAC,MAAM,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/E,MAAM,MAAM,GAA6B,EAAE,CAAC;YAC5C,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC1D,IAAI,aAAa,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACnD,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC;gBAC1B,CAAC;qBAAM,CAAC;oBACN,QAAQ,CAAC,IAAI,CAAC,UAAU,IAAI,yDAAyD,CAAC,CAAC;gBACzF,CAAC;YACH,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;YACjD,CAAC;iBAAM,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1C,QAAQ,CAAC,IAAI,CAAC,gEAAgE,CAAC,CAAC;YAClF,CAAC;QACH,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,yEAAyE,CAAC,CAAC;QAC3F,CAAC;IACH,CAAC;IAED,YAAY;IACZ,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAChC,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YACjC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC7B,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;oBAChE,KAAK,CAAC,IAAI,CAAC;wBACT,IAAI,EAAE,WAAW;wBACjB,IAAI,EAAE,CAAC,CAAC,IAAI;wBACZ,EAAE,EAAE,CAAC,CAAC,EAAE;wBACR,MAAM,EAAE,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;wBAC3D,MAAM;qBACP,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,8CAA8C,CAAC,CAAC;gBAC9E,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,cAAc;IACd,IAAI,GAAG,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;YACnC,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC/B,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;oBACtE,KAAK,CAAC,IAAI,CAAC;wBACT,IAAI,EAAE,aAAa;wBACnB,MAAM,EAAE,CAAC,CAAC,MAAM;wBAChB,WAAW,EAAE,CAAC,CAAC,WAAW;wBAC1B,MAAM,EAAE,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;wBAC3D,MAAM;qBACP,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,kEAAkE,CAAC,CAAC;gBACpG,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC7B,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAAe;IACnD,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAC;QAC7D,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACvB,IAAI,MAA0B,CAAC;QAC/B,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;QAClD,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,SAAS,CAAC;YAC5C,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACjD,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAC;QAClE,IAAI,SAAS,EAAE,CAAC;YACd,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;YACpG,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACjE,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC7E,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC3B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;YACnG,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,iFAAiF;AACjF,KAAK,UAAU,sBAAsB,CAAC,MAAc;IAClD,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;IAC3D,IAAI,OAAiB,CAAC;IACtB,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,OAAO,CAAC,YAAY,CAAC,CAAC;IACxC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,0BAA0B;IACxD,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QAClC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAC1C,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;YAC/D,KAAK,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7C,CAAC;QAAC,MAAM,CAAC;YACP,QAAQ,CAAC,IAAI,CAAC,gCAAgC,IAAI,EAAE,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC7B,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,MAAc,EACd,OAAuC,EAAE;IAEzC,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,wBAAwB;IACxB,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,EAAE,wBAAwB,CAAC,EAAE,OAAO,CAAC,CAAC;QAC1F,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC3B,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,GAAG,YAAY,IAAI,wBAAwB,0BAA0B,CAAC,EAAE,CAAC;QACtG,CAAC;QACD,MAAM,UAAU,GAAG,sBAAsB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC5D,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAChC,QAAQ,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;IAAC,MAAM,CAAC;QACP,4BAA4B;IAC9B,CAAC;IAED,8DAA8D;IAC9D,IAAI,IAAI,CAAC,gBAAgB,KAAK,KAAK,EAAE,CAAC;QACpC,MAAM,aAAa,GAAG,MAAM,sBAAsB,CAAC,MAAM,CAAC,CAAC;QAC3D,KAAK,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;QACnC,QAAQ,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC7B,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,aAAa,CAAC,KAAwB;IACpD,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;AAClC,CAAC"}

package/dist/core/decisions/lock.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Acquire the consolidation lock. Returns an idempotent release function.
+ * Waits (polling) while another process holds it; steals a stale lock left by a
+ * crashed holder. On the rare MAX_WAIT timeout it proceeds without the lock
+ * rather than block a background process forever.
+ */
+export declare function acquireDecisionsLock(rootPath: string): Promise<() => Promise<void>>;
+/** Run `fn` while holding the consolidation lock; always releases. */
+export declare function withDecisionsLock<T>(rootPath: string, fn: () => Promise<T>): Promise<T>;
+//# sourceMappingURL=lock.d.ts.map

package/dist/core/decisions/lock.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lock.d.ts","sourceRoot":"","sources":["../../../src/core/decisions/lock.ts"],"names":[],"mappings":"AAwBA;;;;;GAKG;AACH,wBAAsB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC,CAmCzF;AAED,sEAAsE;AACtE,wBAAsB,iBAAiB,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAO7F"}

package/dist/core/decisions/lock.js

@@ -0,0 +1,77 @@
+/**
+ * Cross-process advisory lock for the decision store (Spec 15 dogfood fix).
+ *
+ * `record_decision` spawns a detached `decisions --consolidate` per call. Under
+ * rapid recording, several consolidations run at once; each does a
+ * load → mutate → save of `pending.json`, and the later save clobbers the
+ * earlier one — silently losing decisions (observed during the spec-15 dogfood:
+ * 5 rapid records produced 3 stored decisions).
+ *
+ * Serializing consolidation behind this lock — and reloading the store *inside*
+ * it — makes the read-modify-write safe: whoever holds the lock sees every draft
+ * written so far, so nothing is lost.
+ */
+import { open, stat, unlink, mkdir } from 'node:fs/promises';
+import { join } from 'node:path';
+import { decisionsDir } from './store.js';
+const LOCK_FILE = '.consolidate.lock';
+const STALE_MS = 120_000; // steal a lock older than this (crashed/killed holder)
+const POLL_MS = 150;
+const MAX_WAIT_MS = 180_000; // give up waiting after this and proceed best-effort
+const sleep = (ms) => new Promise((r) => setTimeout(r, ms));
+/**
+ * Acquire the consolidation lock. Returns an idempotent release function.
+ * Waits (polling) while another process holds it; steals a stale lock left by a
+ * crashed holder. On the rare MAX_WAIT timeout it proceeds without the lock
+ * rather than block a background process forever.
+ */
+export async function acquireDecisionsLock(rootPath) {
+    const dir = decisionsDir(rootPath);
+    await mkdir(dir, { recursive: true });
+    const lockPath = join(dir, LOCK_FILE);
+    const start = Date.now();
+    for (;;) {
+        try {
+            const fh = await open(lockPath, 'wx'); // exclusive create — fails if held
+            await fh.writeFile(`${process.pid} ${new Date().toISOString()}`);
+            await fh.close();
+            let released = false;
+            return async () => {
+                if (released)
+                    return;
+                released = true;
+                await unlink(lockPath).catch(() => { });
+            };
+        }
+        catch (err) {
+            if (err.code !== 'EEXIST')
+                throw err;
+            // Held by someone else — steal if stale, else wait.
+            try {
+                const s = await stat(lockPath);
+                if (Date.now() - s.mtimeMs > STALE_MS) {
+                    await unlink(lockPath).catch(() => { });
+                    continue; // retry acquire immediately
+                }
+            }
+            catch {
+                continue; // lock vanished between open and stat — retry acquire
+            }
+            if (Date.now() - start > MAX_WAIT_MS) {
+                return async () => { }; // best-effort: proceed without the lock
+            }
+            await sleep(POLL_MS);
+        }
+    }
+}
+/** Run `fn` while holding the consolidation lock; always releases. */
+export async function withDecisionsLock(rootPath, fn) {
+    const release = await acquireDecisionsLock(rootPath);
+    try {
+        return await fn();
+    }
+    finally {
+        await release();
+    }
+}
+//# sourceMappingURL=lock.js.map

package/dist/core/decisions/lock.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lock.js","sourceRoot":"","sources":["../../../src/core/decisions/lock.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C,MAAM,SAAS,GAAG,mBAAmB,CAAC;AACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAK,uDAAuD;AACrF,MAAM,OAAO,GAAG,GAAG,CAAC;AACpB,MAAM,WAAW,GAAG,OAAO,CAAC,CAAE,qDAAqD;AAEnF,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,IAAI,OAAO,CAAO,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;AAE1E;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,QAAgB;IACzD,MAAM,GAAG,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAEzB,SAAS,CAAC;QACR,IAAI,CAAC;YACH,MAAM,EAAE,GAAG,MAAM,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,mCAAmC;YAC1E,MAAM,EAAE,CAAC,SAAS,CAAC,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;YACjE,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC;YACjB,IAAI,QAAQ,GAAG,KAAK,CAAC;YACrB,OAAO,KAAK,IAAI,EAAE;gBAChB,IAAI,QAAQ;oBAAE,OAAO;gBACrB,QAAQ,GAAG,IAAI,CAAC;gBAChB,MAAM,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;YACzC,CAAC,CAAC;QACJ,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAK,GAA6B,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,GAAG,CAAC;YAChE,oDAAoD;YACpD,IAAI,CAAC;gBACH,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC/B,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,OAAO,GAAG,QAAQ,EAAE,CAAC;oBACtC,MAAM,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;oBACvC,SAAS,CAAC,4BAA4B;gBACxC,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS,CAAC,sDAAsD;YAClE,CAAC;YACD,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,GAAG,WAAW,EAAE,CAAC;gBACrC,OAAO,KAAK,IAAI,EAAE,GAAE,CAAC,CAAC,CAAC,wCAAwC;YACjE,CAAC;YACD,MAAM,KAAK,CAAC,OAAO,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;AACH,CAAC;AAED,sEAAsE;AACtE,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAI,QAAgB,EAAE,EAAoB;IAC/E,MAAM,OAAO,GAAG,MAAM,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IACrD,IAAI,CAAC;QACH,OAAO,MAAM,EAAE,EAAE,CAAC;IACpB,CAAC;YAAS,CAAC;QACT,MAAM,OAAO,EAAE,CAAC;IAClB,CAAC;AACH,CAAC"}

package/dist/core/decisions/project.d.ts

@@ -0,0 +1,59 @@
+/**
+ * Projection: decision store → first-class graph nodes + `affects` edges (spec-16).
+ *
+ * This is the decisions analogue of src/core/analyzer/iac/project.ts. The JSON
+ * store (.openlore/decisions/pending.json) remains the authored source of truth;
+ * this projection is derived and regenerable. Promoting a Decision to a graph node
+ * with `affects` edges to the files it governs turns orient's runtime
+ * set-membership filter into a deterministic graph join, and lets
+ * analyze_impact / get_subgraph answer "what decisions govern this code?" with the
+ * same machinery they use for code edges.
+ *
+ * Edge direction is decision → governed file, mirroring the IaC convention
+ * (dependent/owner → dependency): a decision "affects" the files it governs.
+ */
+import type { DecisionStore, DecisionStatus } from '../../types/index.js';
+/** Graph node-id namespace for projected decisions (keeps them distinct from code ids). */
+export declare const DECISION_NODE_PREFIX = "decision::";
+/** Stable graph node id for a decision's 8-char store id. */
+export declare function decisionNodeId(decisionId: string): string;
+/** A projected decision — a first-class, clearly-typed graph node (not a FunctionNode). */
+export interface DecisionNode {
+    /** Graph node id, e.g. "decision::c6d1ad07". */
+    id: string;
+    /** Original 8-char store id. */
+    decisionId: string;
+    /** Discriminator so callers never confuse this with a code node. */
+    kind: 'decision';
+    title: string;
+    status: DecisionStatus;
+    rationale: string;
+    consequences: string;
+    affectedDomains: string[];
+    affectedFiles: string[];
+    confidence: 'high' | 'medium' | 'low';
+    /** 8-char id of a prior decision this one reverses, if any. */
+    supersedes?: string;
+}
+/** An `affects` edge: decision node → a governed file path. */
+export interface DecisionAffectsEdge {
+    /** Graph node id of the decision ("decision::<id>"). */
+    decisionNodeId: string;
+    /** Repo-relative, POSIX path of the governed file. */
+    filePath: string;
+    kind: 'affects';
+}
+export interface ProjectedDecisions {
+    nodes: DecisionNode[];
+    edges: DecisionAffectsEdge[];
+}
+/**
+ * Project the active decisions in a store onto decision nodes + `affects` edges.
+ *
+ * - Inactive decisions (synced / rejected / phantom) are excluded, matching
+ *   orient's INACTIVE_STATUSES — their content already lives in ADRs / spec.md.
+ * - An empty or legacy store projects to zero nodes/edges.
+ * - Output is fully sorted for deterministic, regenerable persistence.
+ */
+export declare function projectDecisions(store: DecisionStore): ProjectedDecisions;
+//# sourceMappingURL=project.d.ts.map

package/dist/core/decisions/project.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"project.d.ts","sourceRoot":"","sources":["../../../src/core/decisions/project.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAmB,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAG3F,2FAA2F;AAC3F,eAAO,MAAM,oBAAoB,eAAe,CAAC;AAEjD,6DAA6D;AAC7D,wBAAgB,cAAc,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAEzD;AAED,2FAA2F;AAC3F,MAAM,WAAW,YAAY;IAC3B,gDAAgD;IAChD,EAAE,EAAE,MAAM,CAAC;IACX,gCAAgC;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,oEAAoE;IACpE,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,cAAc,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,UAAU,EAAE,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;IACtC,+DAA+D;IAC/D,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,+DAA+D;AAC/D,MAAM,WAAW,mBAAmB;IAClC,wDAAwD;IACxD,cAAc,EAAE,MAAM,CAAC;IACvB,sDAAsD;IACtD,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,SAAS,CAAC;CACjB;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,KAAK,EAAE,mBAAmB,EAAE,CAAC;CAC9B;AAOD;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,aAAa,GAAG,kBAAkB,CAmCzE"}