@memoarchitect/tools 0.6.6 → 0.7.2

package/packages/tools/lib/model/methodology-loader.js

@@ -1,203 +1,206 @@
-// ─── Methodology Loader (Phase B) ─────────────────────────────────────────────
+// ─── Methodology Descriptor ───────────────────────────────────────────────────
 //
-// Parses methodology SysML files (e.g. ontology/methodology/<name>/*.sysml) into
-// a typed MethodologyDescriptor. Methodology in MEMO = a curated bundle that
-// selects from the architecture/viewpoints/views/compliance ontologies and adds
-// rules / gates / patterns / workflow / profile metadata.
+// The methodology content a project resolved, as a DTO the server can publish.
 //
-// SysML shape consumed:
-//   part def Viewpoint :> ... { attribute purpose : String; ... }
-//   part swArchView : Viewpoint {
-//       attribute id   = "VP-002";
-//       attribute name = "SoftwareArchitectureView";
-//       attribute purpose = "...";
-//       ...
-//   }
+// Two things changed at the native flip. The scan is an AST walk over the
+// documents the native resolver already parsed, not a regex pass over whatever
+// `.sysml` files sat under a `methodology/` directory — a folder convention is
+// not a selection mechanism. And the descriptor now carries the *effective*
+// methodology and rule set, so a client can show the inheritance and policy
+// chain rather than re-deriving it from raw parts.
 //
-// The loader does a regex-based scan (matching the style of ontology-loader's
-// parseConstructsInFile) and is independent of the Langium grammar so that
-// methodology files load even while grammar work is in flight.
+// Design reference: sections 9.1, 10.3, 15.2 deliverables 4-5.
 // ─────────────────────────────────────────────────────────────────────────────
-import { existsSync, readFileSync, readdirSync } from 'node:fs';
-import { resolve, join, basename, relative } from 'node:path';
-import { findOntologyPackageDirs, resolvePackageSysmlDir, getPackageMetadata } from './ontology-loader.js';
-// ─── Regex helpers ───────────────────────────────────────────────────────────
-/** `part def Foo :> Bar { ... }` */
-const PART_DEF_RE = /^\s*part\s+def\s+(\w+)(?:\s*:>\s*([\w:]+))?\s*\{/gm;
-/** `part name : Type { body }` — body is captured to be parsed for attributes. */
-const PART_INSTANCE_RE = /^\s*part\s+(\w+)\s*:\s*(\w+)\s*\{([\s\S]*?)\n\s*\}/gm;
-/** `attribute key = value;` — value can be string literal, enum ref, integer, boolean. */
-const ATTR_RE = /attribute\s+(\w+)\s*=\s*(?:"([^"]*)"|(\w+(?:::\w+)*)|(-?\d+(?:\.\d+)?)|(true|false))\s*;/g;
-/** `package memo::methodology::profiles {` — top-level namespace */
-const PACKAGE_RE = /^\s*package\s+([\w:]+)\s*\{/m;
-function parseAttributes(body) {
-    const attrs = {};
-    const multi = {};
-    for (const m of body.matchAll(ATTR_RE)) {
-        const key = m[1];
-        let value;
-        if (m[2] !== undefined) {
-            value = m[2];
-        }
-        else if (m[3] !== undefined) {
-            const qualified = m[3];
-            const short = qualified.includes('::') ? qualified.split('::').pop() : qualified;
-            value = short;
-            attrs[`${key}__qualified`] = qualified;
+import { basename, relative } from 'node:path';
+import { resolveNativeProject, } from './native-project.js';
+import { resolveEffectiveMethodology, } from './methodology-resolver.js';
+// ─── AST reading ──────────────────────────────────────────────────────────────
+function literal(value) {
+    if (!value)
+        return undefined;
+    switch (value.$type) {
+        case 'StringValue':
+            try {
+                return JSON.parse(value.value ?? '""');
+            }
+            catch {
+                return String(value.value ?? '').replace(/^"|"$/g, '');
+            }
+        case 'IntValue':
+        case 'RealValue':
+            return Number(value.value);
+        case 'BooleanValue':
+            return value.value === 'true' || value.value === true;
+        case 'EnumValue': {
+            const ref = value.enumRef ?? '';
+            const idx = ref.lastIndexOf('::');
+            return idx >= 0 ? ref.slice(idx + 2) : ref;
         }
-        else if (m[4] !== undefined) {
-            value = Number(m[4]);
+        default:
+            return undefined;
+    }
+}
+function readBody(body) {
+    const attributes = {};
+    const multiAttributes = {};
+    const push = (key, v) => {
+        (multiAttributes[key] ??= []).push(v);
+        attributes[key] = v;
+    };
+    for (const member of body ?? []) {
+        if (member.$type !== 'AttributeMember' || !member.name || !member.value)
+            continue;
+        if (member.value.$type === 'SetLiteral') {
+            for (const el of member.value.elements ?? []) {
+                const raw = el.stringValue ?? el.value;
+                if (typeof raw !== 'string')
+                    continue;
+                try {
+                    push(member.name, JSON.parse(raw));
+                }
+                catch {
+                    push(member.name, raw.replace(/^"|"$/g, ''));
+                }
+            }
         }
-        else if (m[5] !== undefined) {
-            value = m[5] === 'true';
+        else if (member.value.$type === 'EnumValue') {
+            const ref = member.value.enumRef ?? '';
+            const v = literal(member.value);
+            if (v !== undefined)
+                push(member.name, v);
+            attributes[`${member.name}__qualified`] = ref;
         }
         else {
-            continue;
+            const v = literal(member.value);
+            if (v !== undefined)
+                push(member.name, v);
         }
-        if (!multi[key])
-            multi[key] = [];
-        multi[key].push(value);
-        attrs[key] = value;
     }
-    return { attrs, multi };
+    return { attributes, multiAttributes };
 }
-function parseMethodologyFile(absPath, projectRoot) {
+function shortName(qualified) {
+    if (!qualified)
+        return undefined;
+    const idx = qualified.lastIndexOf('::');
+    return idx >= 0 ? qualified.slice(idx + 2) : qualified;
+}
+function walkDocument(doc, projectRoot) {
     const partDefs = [];
     const parts = [];
-    let content = '';
-    try {
-        content = readFileSync(absPath, 'utf-8');
-    }
-    catch {
-        return { partDefs, parts };
-    }
-    const sourceFile = relative(projectRoot, absPath) || basename(absPath);
-    const nsMatch = content.match(PACKAGE_RE);
-    const namespace = nsMatch ? nsMatch[1] : undefined;
-    for (const m of content.matchAll(PART_DEF_RE)) {
-        partDefs.push({
-            name: m[1],
-            superType: m[2] || undefined,
-            sourceFile,
-            namespace,
-        });
-    }
-    // Reset because PART_INSTANCE_RE has the `g` flag and content shares scope.
-    PART_INSTANCE_RE.lastIndex = 0;
-    for (const m of content.matchAll(PART_INSTANCE_RE)) {
-        const partName = m[1];
-        const partType = m[2];
-        // Skip `part def` matches — PART_INSTANCE_RE doesn't, since `def` isn't excluded.
-        // The PART_DEF_RE form has `def` after `part`; PART_INSTANCE_RE matches `part NAME :`,
-        // but `part def Foo :> Bar { ... }` matches as partName="def", partType="Foo" — filter that.
-        if (partName === 'def')
-            continue;
-        const { attrs, multi } = parseAttributes(m[3]);
-        parts.push({
-            partName,
-            partType,
-            attributes: attrs,
-            multiAttributes: multi,
-            sourceFile,
-            namespace,
-        });
-    }
-    return { partDefs, parts, namespace };
-}
-function listSysmlFiles(dir) {
-    const files = [];
-    try {
-        for (const entry of readdirSync(dir, { withFileTypes: true })) {
-            const full = join(dir, entry.name);
-            if (entry.isDirectory()) {
-                files.push(...listSysmlFiles(full));
-            }
-            else if (entry.name.endsWith('.sysml') && entry.name !== 'index.sysml') {
-                files.push(full);
+    const namespaces = [];
+    const model = doc.document.parseResult?.value;
+    if (!model)
+        return { partDefs, parts, namespaces };
+    const sourceFile = relative(projectRoot, doc.filePath) || basename(doc.filePath);
+    const visit = (node, ns) => {
+        if (!node)
+            return;
+        if (node.$type === 'PackageDeclaration') {
+            if (node.name && !namespaces.includes(node.name))
+                namespaces.push(node.name);
+            for (const m of node.members ?? [])
+                visit(m, node.name ?? ns);
+            return;
+        }
+        if (node.$type === 'PartDefinition') {
+            partDefs.push({
+                name: node.name,
+                superType: shortName(node.specialization?.superType),
+                sourceFile,
+                namespace: ns,
+            });
+            return;
+        }
+        // `action` usages carry workflow steps, so they are read alongside parts.
+        if (node.$type === 'PartUsage' || node.$type === 'PartMember' || node.$type === 'ActionUsage') {
+            const partType = shortName(node.type);
+            if (partType && node.name) {
+                parts.push({
+                    partName: node.name,
+                    partType,
+                    ...readBody(node.body ?? node.usageBody ?? []),
+                    sourceFile,
+                    namespace: ns,
+                });
             }
+            for (const m of node.body ?? [])
+                visit(m, ns);
         }
-    }
-    catch { /* skip */ }
-    return files;
+    };
+    for (const member of model.members ?? [])
+        visit(member);
+    return { partDefs, parts, namespaces };
 }
-export { extractScopeInfo } from './dimension-filter.js';
 /**
- * Discover all methodology folders reachable from a project config and parse them.
+ * Build the methodology descriptor for a project.
  *
- * For each ontology package on the extends chain, look for a `methodology/`
- * subdirectory under its sysml root. Each direct subdirectory of `methodology/`
- * is treated as one methodology (Phase A convention).
+ * A source unit appears here when it supplies methodology content the project
+ * resolved — that is, when a package in the import closure declares a
+ * methodology part. Discovery is not "a directory called `methodology/`":
+ * that convention meant a package could ship methodology content the project
+ * never imported and have it load anyway.
  */
-export async function loadMethodologyDescriptor(configPath, projectRoot) {
-    const root = projectRoot ?? resolve(configPath, '..');
-    const folders = [];
-    const errors = [];
-    const seenFolders = new Set();
-    // Two discovery sources, deduped by package directory:
-    //   1. extends chain (authoritative once project pins a methodology — Phase C)
-    //   2. getPackageMetadata (every installed @memo package — covers transitional state
-    //      where the project config still references retired ontology stubs)
-    const pkgDirs = new Set();
-    try {
-        for (const d of findOntologyPackageDirs(configPath))
-            pkgDirs.add(d);
+export async function loadMethodologyDescriptor(projectRoot, resolution) {
+    const resolved = resolution ?? await resolveNativeProject(projectRoot);
+    const errors = resolved.diagnostics.map(d => `${d.code}: ${d.message}`);
+    const METHODOLOGY_TYPES = new Set([
+        'MethodologyLibrary', 'MethodologyDefinition', 'ProjectMethodBinding', 'RulePolicy',
+        'ElementUsageRule', 'RelationUsageRule', 'ModelingPattern', 'MethodologyWorkflowStep',
+        'QualityGate', 'DhfDocumentBinding', 'Archetype', 'ResolvedMethodology',
+    ]);
+    const byRoot = new Map();
+    const fileToPackage = new Map();
+    for (const pkg of resolved.closure.values()) {
+        for (const file of pkg.files)
+            fileToPackage.set(file, pkg.qualifiedName);
     }
-    catch (e) {
-        errors.push(`methodology: failed to walk extends chain (${e instanceof Error ? e.message : e})`);
-    }
-    try {
-        for (const pkg of getPackageMetadata(root)) {
-            if (pkg.rootDir)
-                pkgDirs.add(pkg.rootDir);
-        }
-    }
-    catch (e) {
-        errors.push(`methodology: failed to scan installed packages (${e instanceof Error ? e.message : e})`);
-    }
-    for (const pkgDir of pkgDirs) {
-        const sysmlDir = resolvePackageSysmlDir(pkgDir);
-        const methodologyRoot = join(sysmlDir, 'methodology');
-        if (!existsSync(methodologyRoot))
+    for (const doc of resolved.documents) {
+        const pkgName = fileToPackage.get(doc.filePath);
+        if (!pkgName)
+            continue; // outside the import closure
+        const pkg = resolved.closure.get(pkgName);
+        const { partDefs, parts, namespaces } = walkDocument(doc, resolved.projectRoot);
+        const relevant = parts.filter(p => METHODOLOGY_TYPES.has(p.partType));
+        if (relevant.length === 0 && partDefs.length === 0)
             continue;
-        let entries = [];
-        try {
-            entries = readdirSync(methodologyRoot, { withFileTypes: true })
-                .filter(e => e.isDirectory())
-                .map(e => e.name);
-        }
-        catch {
+        if (relevant.length === 0)
             continue;
+        const key = pkg?.root?.dir ?? resolved.projectRoot;
+        let folder = byRoot.get(key);
+        if (!folder) {
+            folder = {
+                name: pkg?.root?.packageName ?? basename(resolved.projectRoot),
+                rootDir: key,
+                sourceFiles: [],
+                namespaces: [],
+                partDefs: [],
+                parts: {},
+            };
+            byRoot.set(key, folder);
         }
-        for (const name of entries) {
-            const folderDir = join(methodologyRoot, name);
-            if (seenFolders.has(folderDir))
-                continue;
-            seenFolders.add(folderDir);
-            const sysmlFiles = listSysmlFiles(folderDir);
-            const partDefs = [];
-            const partsByType = {};
-            const namespaceSet = new Set();
-            for (const file of sysmlFiles) {
-                const { partDefs: pds, parts, namespace } = parseMethodologyFile(file, root);
-                if (namespace)
-                    namespaceSet.add(namespace);
-                partDefs.push(...pds);
-                for (const part of parts) {
-                    if (!partsByType[part.partType])
-                        partsByType[part.partType] = [];
-                    partsByType[part.partType].push(part);
-                }
-            }
-            folders.push({
-                name,
-                rootDir: folderDir,
-                sourceFiles: sysmlFiles.map(f => relative(root, f) || basename(f)),
-                namespaces: [...namespaceSet].sort(),
-                partDefs,
-                parts: partsByType,
-            });
+        const rel = relative(resolved.projectRoot, doc.filePath) || basename(doc.filePath);
+        if (!folder.sourceFiles.includes(rel))
+            folder.sourceFiles.push(rel);
+        for (const ns of namespaces)
+            if (!folder.namespaces.includes(ns))
+                folder.namespaces.push(ns);
+        folder.partDefs.push(...partDefs);
+        for (const part of relevant) {
+            (folder.parts[part.partType] ??= []).push(part);
         }
     }
-    return { folders, errors };
+    for (const folder of byRoot.values()) {
+        folder.namespaces.sort();
+        folder.sourceFiles.sort();
+    }
+    const effective = resolveEffectiveMethodology(resolved.binding, resolved.methodologies, new Set(resolved.filePackages.values()));
+    for (const d of effective.diagnostics)
+        errors.push(`${d.code}: ${d.message}`);
+    return {
+        folders: [...byRoot.values()],
+        errors,
+        effective,
+        available: [...resolved.methodologies.values()],
+    };
 }
 //# sourceMappingURL=methodology-loader.js.map

package/packages/tools/lib/model/methodology-loader.js.map

@@ -1 +1 @@
-{"version":3,"file":"methodology-loader.js","sourceRoot":"","sources":["../../src/model/methodology-loader.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,iFAAiF;AACjF,6EAA6E;AAC7E,gFAAgF;AAChF,0DAA0D;AAC1D,EAAE;AACF,wBAAwB;AACxB,kEAAkE;AAClE,kCAAkC;AAClC,mCAAmC;AACnC,qDAAqD;AACrD,mCAAmC;AACnC,YAAY;AACZ,MAAM;AACN,EAAE;AACF,8EAA8E;AAC9E,2EAA2E;AAC3E,+DAA+D;AAC/D,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAC9D,OAAO,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAqD3G,gFAAgF;AAEhF,oCAAoC;AACpC,MAAM,WAAW,GAAG,oDAAoD,CAAC;AAEzE,kFAAkF;AAClF,MAAM,gBAAgB,GAAG,sDAAsD,CAAC;AAEhF,0FAA0F;AAC1F,MAAM,OAAO,GAAG,2FAA2F,CAAC;AAE5G,oEAAoE;AACpE,MAAM,UAAU,GAAG,8BAA8B,CAAC;AAElD,SAAS,eAAe,CAAC,IAAY;IACjC,MAAM,KAAK,GAAyC,EAAE,CAAC;IACvD,MAAM,KAAK,GAA2C,EAAE,CAAC;IACzD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,KAA2B,CAAC;QAChC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;YACrB,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC;aAAM,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACvB,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAG,CAAC,CAAC,CAAC,SAAS,CAAC;YAClF,KAAK,GAAG,KAAK,CAAC;YACd,KAAK,CAAC,GAAG,GAAG,aAAa,CAAC,GAAG,SAAS,CAAC;QAC3C,CAAC;aAAM,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;YAC5B,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzB,CAAC;aAAM,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;YAC5B,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC;QAC5B,CAAC;aAAM,CAAC;YACJ,SAAS;QACb,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;QACjC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvB,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IACvB,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAe,EAAE,WAAmB;IAK9D,MAAM,QAAQ,GAAyB,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAsB,EAAE,CAAC;IAEpC,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,IAAI,CAAC;QAAC,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAAC,CAAC;IAEvF,MAAM,UAAU,GAAG,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC1C,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAEnD,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5C,QAAQ,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACV,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS;YAC5B,UAAU;YACV,SAAS;SACZ,CAAC,CAAC;IACP,CAAC;IAED,4EAA4E;IAC5E,gBAAgB,CAAC,SAAS,GAAG,CAAC,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACjD,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACtB,kFAAkF;QAClF,uFAAuF;QACvF,6FAA6F;QAC7F,IAAI,QAAQ,KAAK,KAAK;YAAE,SAAS;QACjC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC;YACP,QAAQ;YACR,QAAQ;YACR,UAAU,EAAE,KAAK;YACjB,eAAe,EAAE,KAAK;YACtB,UAAU;YACV,SAAS;SACZ,CAAC,CAAC;IACP,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,cAAc,CAAC,GAAW;IAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;YACxC,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBACvE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrB,CAAC;QACL,CAAC;IACL,CAAC;IAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC;IACtB,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,OAAO,EAAE,gBAAgB,EAA6B,MAAM,uBAAuB,CAAC;AAEpF;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC3C,UAAkB,EAClB,WAAoB;IAEpB,MAAM,IAAI,GAAG,WAAW,IAAI,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACtD,MAAM,OAAO,GAA4B,EAAE,CAAC;IAC5C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IAEtC,uDAAuD;IACvD,+EAA+E;IAC/E,qFAAqF;IACrF,yEAAyE;IACzE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,uBAAuB,CAAC,UAAU,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACT,MAAM,CAAC,IAAI,CAAC,8CAA8C,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACrG,CAAC;IACD,IAAI,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,IAAI,GAAG,CAAC,OAAO;gBAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC9C,CAAC;IACL,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACT,MAAM,CAAC,IAAI,CAAC,mDAAmD,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC1G,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,eAAe,GAAG,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;QACtD,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC;YAAE,SAAS;QAE3C,IAAI,OAAO,GAAa,EAAE,CAAC;QAC3B,IAAI,CAAC;YACD,OAAO,GAAG,WAAW,CAAC,eAAe,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;iBAC1D,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;iBAC5B,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;QAAC,MAAM,CAAC;YAAC,SAAS;QAAC,CAAC;QAErB,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;YACzB,MAAM,SAAS,GAAG,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;YAC9C,IAAI,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC;gBAAE,SAAS;YACzC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAE3B,MAAM,UAAU,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;YAC7C,MAAM,QAAQ,GAAyB,EAAE,CAAC;YAC1C,MAAM,WAAW,GAAsC,EAAE,CAAC;YAC1D,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;YAEvC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;gBAC5B,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC7E,IAAI,SAAS;oBAAE,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBAC3C,QAAQ,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;gBACtB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACvB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC;wBAAE,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC;oBACjE,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC1C,CAAC;YACL,CAAC;YAED,OAAO,CAAC,IAAI,CAAC;gBACT,IAAI;gBACJ,OAAO,EAAE,SAAS;gBAClB,WAAW,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAClE,UAAU,EAAE,CAAC,GAAG,YAAY,CAAC,CAAC,IAAI,EAAE;gBACpC,QAAQ;gBACR,KAAK,EAAE,WAAW;aACrB,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAC/B,CAAC"}
+{"version":3,"file":"methodology-loader.js","sourceRoot":"","sources":["../../src/model/methodology-loader.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,+EAA+E;AAC/E,EAAE;AACF,0EAA0E;AAC1E,+EAA+E;AAC/E,+EAA+E;AAC/E,4EAA4E;AAC5E,4EAA4E;AAC5E,mDAAmD;AACnD,EAAE;AACF,+DAA+D;AAC/D,gFAAgF;AAEhF,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAE/C,OAAO,EACH,oBAAoB,GAGvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACH,2BAA2B,GAE9B,MAAM,2BAA2B,CAAC;AA6CnC,iFAAiF;AAEjF,SAAS,OAAO,CAAC,KAAU;IACvB,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,QAAQ,KAAK,CAAC,KAAK,EAAE,CAAC;QAClB,KAAK,aAAa;YACd,IAAI,CAAC;gBAAC,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC;YAAC,CAAC;YAC/C,MAAM,CAAC;gBAAC,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YAAC,CAAC;QACrE,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACZ,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/B,KAAK,cAAc;YACf,OAAO,KAAK,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC;QAC1D,KAAK,WAAW,CAAC,CAAC,CAAC;YACf,MAAM,GAAG,GAAW,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC;YACxC,MAAM,GAAG,GAAG,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAClC,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAC/C,CAAC;QACD;YACI,OAAO,SAAS,CAAC;IACzB,CAAC;AACL,CAAC;AAED,SAAS,QAAQ,CAAC,IAAW;IACzB,MAAM,UAAU,GAAyC,EAAE,CAAC;IAC5D,MAAM,eAAe,GAA2C,EAAE,CAAC;IACnE,MAAM,IAAI,GAAG,CAAC,GAAW,EAAE,CAAuB,EAAE,EAAE;QAClD,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,CAAC,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,IAAI,IAAI,EAAE,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,KAAK,KAAK,iBAAiB,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK;YAAE,SAAS;QAClF,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,YAAY,EAAE,CAAC;YACtC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;gBAC3C,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,IAAI,EAAE,CAAC,KAAK,CAAC;gBACvC,IAAI,OAAO,GAAG,KAAK,QAAQ;oBAAE,SAAS;gBACtC,IAAI,CAAC;oBAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAC,CAAC;gBAC3C,MAAM,CAAC;oBAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC;gBAAC,CAAC;YAC3D,CAAC;QACL,CAAC;aAAM,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;YAC5C,MAAM,GAAG,GAAW,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC;YAC/C,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK,SAAS;gBAAE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YAC1C,UAAU,CAAC,GAAG,MAAM,CAAC,IAAI,aAAa,CAAC,GAAG,GAAG,CAAC;QAClD,CAAC;aAAM,CAAC;YACJ,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK,SAAS;gBAAE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC9C,CAAC;IACL,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,SAAS,CAAC,SAA6B;IAC5C,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IACjC,MAAM,GAAG,GAAG,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACxC,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3D,CAAC;AAED,SAAS,YAAY,CAAC,GAAmB,EAAE,WAAmB;IAK1D,MAAM,QAAQ,GAAyB,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAsB,EAAE,CAAC;IACpC,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAY,CAAC;IACrD,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;IACnD,MAAM,UAAU,GAAG,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAEjF,MAAM,KAAK,GAAG,CAAC,IAAS,EAAE,EAAW,EAAE,EAAE;QACrC,IAAI,CAAC,IAAI;YAAE,OAAO;QAClB,IAAI,IAAI,CAAC,KAAK,KAAK,oBAAoB,EAAE,CAAC;YACtC,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7E,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,IAAI,EAAE;gBAAE,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;YAC9D,OAAO;QACX,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,KAAK,gBAAgB,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,cAAc,EAAE,SAAS,CAAC;gBACpD,UAAU;gBACV,SAAS,EAAE,EAAE;aAChB,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QACD,0EAA0E;QAC1E,IAAI,IAAI,CAAC,KAAK,KAAK,WAAW,IAAI,IAAI,CAAC,KAAK,KAAK,YAAY,IAAI,IAAI,CAAC,KAAK,KAAK,aAAa,EAAE,CAAC;YAC5F,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACxB,KAAK,CAAC,IAAI,CAAC;oBACP,QAAQ,EAAE,IAAI,CAAC,IAAI;oBACnB,QAAQ;oBACR,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC;oBAC9C,UAAU;oBACV,SAAS,EAAE,EAAE;iBAChB,CAAC,CAAC;YACP,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE;gBAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClD,CAAC;IACL,CAAC,CAAC;IAEF,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,IAAI,EAAE;QAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACxD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;AAC3C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC3C,WAAmB,EACnB,UAAoC;IAEpC,MAAM,QAAQ,GAAG,UAAU,IAAI,MAAM,oBAAoB,CAAC,WAAW,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAExE,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC;QAC9B,oBAAoB,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,YAAY;QACnF,kBAAkB,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,yBAAyB;QACrF,aAAa,EAAE,oBAAoB,EAAE,WAAW,EAAE,qBAAqB;KAC1E,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiC,CAAC;IACxD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QAC1C,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK;YAAE,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC;IAC7E,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,OAAO;YAAE,SAAS,CAAW,6BAA6B;QAC/D,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC1C,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;QAChF,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QACtE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC7D,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEpC,MAAM,GAAG,GAAG,GAAG,EAAE,IAAI,EAAE,GAAG,IAAI,QAAQ,CAAC,WAAW,CAAC;QACnD,IAAI,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,MAAM,GAAG;gBACL,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,IAAI,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC;gBAC9D,OAAO,EAAE,GAAG;gBACZ,WAAW,EAAE,EAAE;gBACf,UAAU,EAAE,EAAE;gBACd,QAAQ,EAAE,EAAE;gBACZ,KAAK,EAAE,EAAE;aACZ,CAAC;YACF,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC5B,CAAC;QACD,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACnF,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpE,KAAK,MAAM,EAAE,IAAI,UAAU;YAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAAE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7F,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;QAClC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC1B,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,CAAC;IACL,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACnC,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;QACzB,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;IAC9B,CAAC;IAED,MAAM,SAAS,GAAG,2BAA2B,CACzC,QAAQ,CAAC,OAAO,EAChB,QAAQ,CAAC,aAAa,EACtB,IAAI,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAC1C,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,WAAW;QAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAE9E,OAAO;QACH,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QAC7B,MAAM;QACN,SAAS;QACT,SAAS,EAAE,CAAC,GAAG,QAAQ,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;KAClD,CAAC;AACN,CAAC"}

package/packages/tools/lib/model/methodology-resolver.d.ts

@@ -0,0 +1,115 @@
+import type { NativeMethodBinding, NativeMethodology, NativeRulePolicy, ScopeMode } from './native-project.js';
+import type { CompiledConstraint } from '../validator/constraint-eval.js';
+/** Severity as the ontology and policies spell it. */
+export type RuleSeverity = 'error' | 'warning' | 'info';
+/** How far a rule may be tailored, from the rule's own `tailoring` attribute. */
+export type RuleTailoring = 'invariant' | 'assurance' | 'methodology';
+/** One step in the chain that produced a rule's effective disposition. */
+export interface PolicyChainEntry {
+    /** Methodology usage name, or the binding's usage name for a project policy. */
+    source: string;
+    /** 'methodology' or 'project' — which authority applied it. */
+    level: 'methodology' | 'project';
+    policy: NativeRulePolicy;
+}
+/** A rule and everything that happened to it. */
+export interface EffectiveRule {
+    /** The rule as originally defined. */
+    sourceRuleId: string;
+    sourceRuleType: string;
+    /** The rule that actually evaluates; differs from the source when replaced. */
+    activeRuleId: string;
+    activeRuleType: string;
+    disposition: 'enabled' | 'disabled' | 'replaced';
+    /** Severity after any override. */
+    effectiveSeverity: RuleSeverity;
+    /** Severity as the ontology authored it. */
+    declaredSeverity: RuleSeverity;
+    tailoring: RuleTailoring;
+    /** Every policy that touched this rule, base-first. */
+    policyChain: PolicyChainEntry[];
+    /** Rationale and authority from the last policy that changed the rule. */
+    rationaleText?: string;
+    authority?: string;
+    approvalReference?: string;
+    /** Where the rule is declared. */
+    sourceFile?: string;
+}
+export interface RuleResolutionDiagnostic {
+    code: 'missing-target' | 'missing-replacement' | 'duplicate-rule-id' | 'invariant-protected' | 'replacement-without-target' | 'missing-rationale' | 'ambiguous-target'
+    /** Resolution itself threw. Reported so the UI shows why the set is empty. */
+     | 'resolution-failed';
+    message: string;
+    ruleId?: string;
+    policy?: string;
+    file?: string;
+}
+export interface MethodologyDiagnostic {
+    code: 'missing-base' | 'inheritance-cycle' | 'unavailable-module' | 'scope-mode-conflict';
+    message: string;
+    methodology?: string;
+}
+/** The methodology chain plus its merged selection. */
+export interface EffectiveMethodology {
+    /** Base first, selected methodology last. */
+    chain: NativeMethodology[];
+    scopeMode: ScopeMode;
+    includedLayers: string[];
+    includedModules: string[];
+    includedStandards: string[];
+    includedArtifactKinds: string[];
+    includedViewpoints: string[];
+    /** Policies in application order: base methodology first, project binding last. */
+    policyChain: PolicyChainEntry[];
+    diagnostics: MethodologyDiagnostic[];
+}
+/**
+ * Walk the methodology inheritance chain and merge its selection.
+ *
+ * Exactly one base per methodology, so the chain is a list. The resolver walks
+ * base-first and then applies the child, which is also the order policies are
+ * applied in: a child methodology may tailor what its base decided, and the
+ * project binding gets the last word.
+ */
+export declare function resolveEffectiveMethodology(binding: NativeMethodBinding | undefined, methodologies: Map<string, NativeMethodology>, availablePackages: ReadonlySet<string>): EffectiveMethodology;
+/** A rule as the constraint loader found it, plus the metadata policies need. */
+export interface RuleCandidate {
+    /** Stable rule ID, e.g. "CR-MED-040". Durable identity for audit records. */
+    id: string;
+    /** The `constraint def` name, which is what a policy references. */
+    typeName: string;
+    severity: RuleSeverity;
+    tailoring: RuleTailoring;
+    file?: string;
+    constraint?: CompiledConstraint;
+}
+/**
+ * Map compiled native constraints onto rule candidates.
+ *
+ * One place, because both `memo rules` and the dev server need it and they got
+ * the field names wrong independently — `collectNativeConstraints` returns
+ * `id`/`typeName`/`sourceFile`, not `ruleId`/`ruleType`/`file`. A rule whose
+ * identity does not survive this mapping resolves as `undefined` and is
+ * unauditable, which is the opposite of what section 10.4 asks for.
+ *
+ * A constraint with no `typeName` is skipped: a policy references a rule by its
+ * `constraint def` name, so a rule without one cannot be tailored and does not
+ * belong in a set whose purpose is recording tailoring decisions.
+ */
+export declare function ruleCandidatesFromConstraints(constraints: readonly CompiledConstraint[]): RuleCandidate[];
+export interface EffectiveRuleSet {
+    rules: EffectiveRule[];
+    diagnostics: RuleResolutionDiagnostic[];
+    /** The constraints that should actually be evaluated, in rule-ID order. */
+    activeConstraints: CompiledConstraint[];
+}
+/**
+ * Produce the effective rule set.
+ *
+ * Steps 1-3 of section 10.3 (collecting rules from ontology, extension, and
+ * methodology packages) happen upstream: `collectNativeConstraints` walks the
+ * resolved closure, which is exactly the set of packages those steps describe.
+ * This function is steps 4-9 — apply policies base-first, validate, and emit.
+ */
+export declare function resolveEffectiveRules(candidates: RuleCandidate[], policyChain: PolicyChainEntry[]): EffectiveRuleSet;
+//# sourceMappingURL=methodology-resolver.d.ts.map

package/packages/tools/lib/model/methodology-resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"methodology-resolver.d.ts","sourceRoot":"","sources":["../../src/model/methodology-resolver.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EACR,mBAAmB,EACnB,iBAAiB,EACjB,gBAAgB,EAChB,SAAS,EACZ,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAE1E,sDAAsD;AACtD,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAExD,iFAAiF;AACjF,MAAM,MAAM,aAAa,GAAG,WAAW,GAAG,WAAW,GAAG,aAAa,CAAC;AAEtE,0EAA0E;AAC1E,MAAM,WAAW,gBAAgB;IAC7B,gFAAgF;IAChF,MAAM,EAAE,MAAM,CAAC;IACf,+DAA+D;IAC/D,KAAK,EAAE,aAAa,GAAG,SAAS,CAAC;IACjC,MAAM,EAAE,gBAAgB,CAAC;CAC5B;AAED,iDAAiD;AACjD,MAAM,WAAW,aAAa;IAC1B,sCAAsC;IACtC,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,+EAA+E;IAC/E,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,SAAS,GAAG,UAAU,GAAG,UAAU,CAAC;IACjD,mCAAmC;IACnC,iBAAiB,EAAE,YAAY,CAAC;IAChC,4CAA4C;IAC5C,gBAAgB,EAAE,YAAY,CAAC;IAC/B,SAAS,EAAE,aAAa,CAAC;IACzB,uDAAuD;IACvD,WAAW,EAAE,gBAAgB,EAAE,CAAC;IAChC,0EAA0E;IAC1E,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,kCAAkC;IAClC,UAAU,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,wBAAwB;IACrC,IAAI,EACE,gBAAgB,GAChB,qBAAqB,GACrB,mBAAmB,GACnB,qBAAqB,GACrB,4BAA4B,GAC5B,mBAAmB,GACnB,kBAAkB;IACpB,8EAA8E;OAC5E,mBAAmB,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,qBAAqB;IAClC,IAAI,EAAE,cAAc,GAAG,mBAAmB,GAAG,oBAAoB,GAAG,qBAAqB,CAAC;IAC1F,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,uDAAuD;AACvD,MAAM,WAAW,oBAAoB;IACjC,6CAA6C;IAC7C,KAAK,EAAE,iBAAiB,EAAE,CAAC;IAC3B,SAAS,EAAE,SAAS,CAAC;IACrB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,mFAAmF;IACnF,WAAW,EAAE,gBAAgB,EAAE,CAAC;IAChC,WAAW,EAAE,qBAAqB,EAAE,CAAC;CACxC;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACvC,OAAO,EAAE,mBAAmB,GAAG,SAAS,EACxC,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,iBAAiB,CAAC,EAC7C,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAAC,GACvC,oBAAoB,CA0GtB;AAED,iFAAiF;AACjF,MAAM,WAAW,aAAa;IAC1B,6EAA6E;IAC7E,EAAE,EAAE,MAAM,CAAC;IACX,oEAAoE;IACpE,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,YAAY,CAAC;IACvB,SAAS,EAAE,aAAa,CAAC;IACzB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,kBAAkB,CAAC;CACnC;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,6BAA6B,CACzC,WAAW,EAAE,SAAS,kBAAkB,EAAE,GAC3C,aAAa,EAAE,CAcjB;AAED,MAAM,WAAW,gBAAgB;IAC7B,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,WAAW,EAAE,wBAAwB,EAAE,CAAC;IACxC,2EAA2E;IAC3E,iBAAiB,EAAE,kBAAkB,EAAE,CAAC;CAC3C;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACjC,UAAU,EAAE,aAAa,EAAE,EAC3B,WAAW,EAAE,gBAAgB,EAAE,GAChC,gBAAgB,CAwKlB"}