@memoarchitect/tools 0.7.2 → 0.8.7

package/packages/tools/lib/dhf/standards-library.js

@@ -0,0 +1,295 @@
+// ─── Standards Library Reader ─────────────────────────────────────────────────
+//
+// Reads the concrete RegulatoryStandard / StandardClause instances the ontology
+// ships under `src/artifacts/standards/`, one file per standard.
+//
+// This is a reader, not a registry. Nothing about any particular standard is
+// written down here: adding ISO 13485 is one SysML file in the ontology and no
+// change to this file, which is the whole point of the standards axis. The
+// three places that used to hold their own copy of "which clause does this
+// document claim" — DHF_DOCUMENT_TYPES[].standards, the Architect's DHF_GROUPS,
+// and the template resolver's directory list — now derive from template
+// frontmatter checked against this library.
+//
+// Why parse the source rather than build a model: the same reason
+// template-lint reads attribute declarations out of the registry's
+// `sourceFile`. The clause packs are library content, not project content, so
+// they are not in any project's element graph; a regex over declarations MEMO
+// itself authors is both cheaper and honest about what it can see.
+// ─────────────────────────────────────────────────────────────────────────────
+import { readFileSync, readdirSync, existsSync } from 'node:fs';
+import { resolve, join, dirname } from 'node:path';
+import { resolveContentPackageRoot, VENDOR_ONTOLOGY_DIR } from '../model/paths.js';
+/** Relative path (from a legacy tools checkout) to the shipped standards packs. */
+export const VENDOR_STANDARDS_DIR = `${VENDOR_ONTOLOGY_DIR}/src/artifacts/standards`;
+// ─── Locating the packs ───────────────────────────────────────────────────────
+let cachedDir;
+/** Locate the ontology's standards directory. Cached after first hit. */
+export function findVendorStandardsDir(startDir = process.cwd()) {
+    if (cachedDir !== undefined)
+        return cachedDir;
+    try {
+        const installed = join(resolveContentPackageRoot(), 'src/artifacts/standards');
+        if (existsSync(installed)) {
+            cachedDir = installed;
+            return installed;
+        }
+    }
+    catch {
+        // Fall through for dependency-free legacy source checkouts.
+    }
+    let dir = resolve(startDir);
+    while (true) {
+        const candidate = join(dir, VENDOR_STANDARDS_DIR);
+        if (existsSync(candidate)) {
+            cachedDir = candidate;
+            return candidate;
+        }
+        const parent = dirname(dir);
+        if (parent === dir)
+            break;
+        dir = parent;
+    }
+    cachedDir = null;
+    return null;
+}
+/** Test hook: reset the cached standards directory. */
+export function resetStandardsDirCache() {
+    cachedDir = undefined;
+    cachedRegimeVocabulary = undefined;
+}
+// ─── The regime vocabulary ────────────────────────────────────────────────────
+const ENUM_DEF_RE = (name) => new RegExp(`enum\\s+def\\s+${name}\\s*\\{([\\s\\S]*?)\\}`, 'm');
+let cachedRegimeVocabulary;
+/**
+ * Read the members of an ontology `enum def` out of the ontology source.
+ *
+ * The packs are at `<ontology>/src/artifacts/standards`, so the ontology's
+ * `src/` root is two levels up; the enum is found by walking it rather than by
+ * naming the file that happens to hold it today. What is hardcoded here is a
+ * locator, never a value: the members themselves come from the ontology, which
+ * is the whole reason a regime is an enum and not a string convention.
+ */
+export function readEnumMembers(standardsDir, enumName) {
+    const srcRoot = resolve(standardsDir, '..', '..');
+    const stack = [srcRoot];
+    while (stack.length > 0) {
+        const dir = stack.pop();
+        let entries;
+        try {
+            entries = readdirSync(dir, { withFileTypes: true });
+        }
+        catch {
+            continue;
+        }
+        for (const entry of entries) {
+            const path = join(dir, entry.name);
+            if (entry.isDirectory()) {
+                stack.push(path);
+                continue;
+            }
+            if (!entry.name.endsWith('.sysml'))
+                continue;
+            let source;
+            try {
+                source = readFileSync(path, 'utf-8');
+            }
+            catch {
+                continue;
+            }
+            const body = source.match(ENUM_DEF_RE(enumName))?.[1];
+            if (!body)
+                continue;
+            return [...body.matchAll(/^\s*enum\s+(\w+)\s*;/gm)].map(m => m[1]);
+        }
+    }
+    return [];
+}
+// ─── Parsing ──────────────────────────────────────────────────────────────────
+// `item <name> : <Def> {` … matching braces. Instances are flat data — one
+// level of braces — so a non-greedy match to the first closing brace at the
+// declaration's own indentation is enough, and a nested brace would show up as
+// a missing attribute rather than as silently wrong data.
+const INSTANCE_RE = /^\s*item\s+(\w+)\s*:\s*(RegulatoryStandard|StandardClause)\s*\{([\s\S]*?)^\s*\}/gm;
+const COMPOSES_RE = /^\s*connection\s+\w+\s*:\s*Composes\s+connect\s+parent\s*::>\s*(\w+)\s+to\s+child\s*::>\s*(\w+)\s*;/gm;
+function attr(body, name) {
+    const m = body.match(new RegExp(`attribute\\s+:>>\\s+${name}\\s*=\\s*"([^"]*)"`));
+    return m?.[1];
+}
+/**
+ * Read an enum-valued attribute, single or set-literal:
+ *
+ *   attribute :>> appliesToRegime = RegulatoryRegimeKind::CE;
+ *   attribute :>> appliesToRegime = (RegulatoryRegimeKind::CE, RegulatoryRegimeKind::MDR);
+ *
+ * Entries are returned verbatim so the caller can report an unqualified or
+ * misspelled one. The bare member name is not accepted anywhere in MEMO —
+ * one spelling, the qualified one — so it is returned and rejected rather
+ * than quietly matched.
+ */
+function attrEnumEntries(body, name) {
+    const m = body.match(new RegExp(`attribute\\s+:>>\\s+${name}\\s*=\\s*([^;]+);`));
+    if (!m)
+        return [];
+    return m[1].replace(/^\s*\(|\)\s*$/g, '').split(',').map(s => s.trim()).filter(Boolean);
+}
+function attrAll(body, name) {
+    const values = [];
+    for (const m of body.matchAll(new RegExp(`attribute\\s+:>>\\s+${name}\\s*=\\s*"([^"]*)"`, 'g'))) {
+        values.push(m[1]);
+    }
+    return values;
+}
+/**
+ * Read every standards pack under the ontology's `src/artifacts/standards/`.
+ *
+ * Clause-to-standard membership comes from the `Composes` links the packs
+ * declare, walked transitively, rather than from "one file, one standard" —
+ * containment is a modelled fact and reading it back is what keeps the pack
+ * and the library agreeing.
+ */
+export function loadStandardsLibrary(startDir) {
+    const dir = findVendorStandardsDir(startDir);
+    if (!dir) {
+        return {
+            standards: new Map(), orphanClauses: [],
+            regimeVocabulary: [], unknownRegimes: [], sourceDir: null,
+        };
+    }
+    if (cachedRegimeVocabulary === undefined) {
+        cachedRegimeVocabulary = readEnumMembers(dir, 'RegulatoryRegimeKind');
+    }
+    const regimeVocabulary = cachedRegimeVocabulary;
+    const unknownRegimes = [];
+    const standardsByUsage = new Map();
+    const clausesByUsage = new Map();
+    /** child usage name → parent usage name */
+    const parentOf = new Map();
+    let files;
+    try {
+        files = readdirSync(dir).filter(f => f.endsWith('.sysml')).sort();
+    }
+    catch {
+        return { standards: new Map(), orphanClauses: [], regimeVocabulary, unknownRegimes, sourceDir: dir };
+    }
+    for (const file of files) {
+        const path = join(dir, file);
+        let source;
+        try {
+            source = readFileSync(path, 'utf-8');
+        }
+        catch {
+            continue;
+        }
+        for (const m of source.matchAll(INSTANCE_RE)) {
+            const [, name, def, body] = m;
+            if (def === 'RegulatoryStandard') {
+                const designation = attr(body, 'designation');
+                if (!designation)
+                    continue;
+                const regimes = [];
+                for (const entry of attrEnumEntries(body, 'appliesToRegime')) {
+                    const parts = entry.split('::');
+                    if (parts.length !== 2 || parts[0] !== 'RegulatoryRegimeKind') {
+                        unknownRegimes.push({ designation, raw: entry, reason: 'unqualified' });
+                        continue;
+                    }
+                    if (!regimeVocabulary.includes(parts[1])) {
+                        unknownRegimes.push({ designation, raw: entry, reason: 'unknown-member' });
+                        continue;
+                    }
+                    regimes.push(parts[1]);
+                }
+                standardsByUsage.set(name, {
+                    name,
+                    designation,
+                    edition: attr(body, 'edition'),
+                    issuer: attr(body, 'issuer'),
+                    amendments: attrAll(body, 'amendments'),
+                    regimes,
+                    sourceFile: path,
+                    clauses: new Map(),
+                });
+            }
+            else {
+                const clauseNumber = attr(body, 'clauseNumber');
+                if (!clauseNumber)
+                    continue;
+                clausesByUsage.set(name, {
+                    name,
+                    id: attr(body, 'id'),
+                    clauseNumber,
+                    title: attr(body, 'title'),
+                    normativeStrength: attr(body, 'normativeStrength'),
+                    designation: '',
+                });
+            }
+        }
+        for (const m of source.matchAll(COMPOSES_RE))
+            parentOf.set(m[2], m[1]);
+    }
+    const orphanClauses = [];
+    for (const clause of clausesByUsage.values()) {
+        // Walk up the containment chain to the standard the clause belongs to.
+        // The visited set keeps a mis-authored cycle from hanging the reader.
+        const visited = new Set([clause.name]);
+        let cursor = parentOf.get(clause.name);
+        let owner;
+        while (cursor && !visited.has(cursor)) {
+            visited.add(cursor);
+            owner = standardsByUsage.get(cursor);
+            if (owner)
+                break;
+            cursor = parentOf.get(cursor);
+        }
+        if (!owner) {
+            orphanClauses.push(clause);
+            continue;
+        }
+        clause.designation = owner.designation;
+        owner.clauses.set(clause.clauseNumber, clause);
+    }
+    const standards = new Map();
+    for (const std of standardsByUsage.values())
+        standards.set(std.designation, std);
+    return { standards, orphanClauses, regimeVocabulary, unknownRegimes, sourceDir: dir };
+}
+/**
+ * Parse one `clauses:` frontmatter entry.
+ *
+ *   "5.4"                  → relative: the document's own `standard:`
+ *   "ISO 14971:2019 §7"    → qualified: designation before §, clause after
+ *
+ * An entry containing "§" is qualified and nothing else is. That is the whole
+ * grammar, and it is written into the ontology's package header too — the two
+ * shapes were both already in use before Phase 2, one of them undocumented.
+ */
+export function parseClauseReference(entry, documentStandard) {
+    const raw = String(entry).trim();
+    const sign = raw.indexOf('§');
+    if (sign >= 0) {
+        return {
+            designation: raw.slice(0, sign).trim(),
+            clauseNumber: raw.slice(sign + 1).trim(),
+            raw,
+            qualified: true,
+        };
+    }
+    return { designation: (documentStandard ?? '').trim(), clauseNumber: raw, raw, qualified: false };
+}
+/** Render a clause reference the way document metadata cites it. */
+export function formatClauseReference(ref) {
+    return `${ref.designation} §${ref.clauseNumber}`;
+}
+/** Resolve one citation against the library. */
+export function resolveClause(library, entry, documentStandard) {
+    const ref = parseClauseReference(entry, documentStandard);
+    const std = library.standards.get(ref.designation);
+    if (!std)
+        return { ok: false, ref, reason: 'unknown-standard' };
+    const clause = std.clauses.get(ref.clauseNumber);
+    if (!clause)
+        return { ok: false, ref, reason: 'unknown-clause' };
+    return { ok: true, ref, clause };
+}
+//# sourceMappingURL=standards-library.js.map

package/packages/tools/lib/dhf/standards-library.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"standards-library.js","sourceRoot":"","sources":["../../src/dhf/standards-library.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,gFAAgF;AAChF,iEAAiE;AACjE,EAAE;AACF,6EAA6E;AAC7E,+EAA+E;AAC/E,2EAA2E;AAC3E,2EAA2E;AAC3E,gFAAgF;AAChF,wEAAwE;AACxE,4CAA4C;AAC5C,EAAE;AACF,kEAAkE;AAClE,mEAAmE;AACnE,8EAA8E;AAC9E,8EAA8E;AAC9E,mEAAmE;AACnE,gFAAgF;AAEhF,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,yBAAyB,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAEnF,mFAAmF;AACnF,MAAM,CAAC,MAAM,oBAAoB,GAAG,GAAG,mBAAmB,0BAA0B,CAAC;AAsErF,iFAAiF;AAEjF,IAAI,SAAoC,CAAC;AAEzC,yEAAyE;AACzE,MAAM,UAAU,sBAAsB,CAAC,WAAmB,OAAO,CAAC,GAAG,EAAE;IACnE,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAE9C,IAAI,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,yBAAyB,EAAE,EAAE,yBAAyB,CAAC,CAAC;QAC/E,IAAI,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAAC,SAAS,GAAG,SAAS,CAAC;YAAC,OAAO,SAAS,CAAC;QAAC,CAAC;IAC3E,CAAC;IAAC,MAAM,CAAC;QACL,4DAA4D;IAChE,CAAC;IAED,IAAI,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC5B,OAAO,IAAI,EAAE,CAAC;QACV,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC;QAClD,IAAI,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAAC,SAAS,GAAG,SAAS,CAAC;YAAC,OAAO,SAAS,CAAC;QAAC,CAAC;QACvE,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,GAAG;YAAE,MAAM;QAC1B,GAAG,GAAG,MAAM,CAAC;IACjB,CAAC;IAED,SAAS,GAAG,IAAI,CAAC;IACjB,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,uDAAuD;AACvD,MAAM,UAAU,sBAAsB;IAClC,SAAS,GAAG,SAAS,CAAC;IACtB,sBAAsB,GAAG,SAAS,CAAC;AACvC,CAAC;AAED,iFAAiF;AAEjF,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,EAAE,CACjC,IAAI,MAAM,CAAC,kBAAkB,IAAI,wBAAwB,EAAE,GAAG,CAAC,CAAC;AAEpE,IAAI,sBAA4C,CAAC;AAEjD;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAAC,YAAoB,EAAE,QAAgB;IAClE,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,CAAC;IACxB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACzB,IAAI,OAAO,CAAC;QACZ,IAAI,CAAC;YAAC,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,SAAS;QAAC,CAAC;QAChF,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;gBAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YACxD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBAAE,SAAS;YAC7C,IAAI,MAAc,CAAC;YACnB,IAAI,CAAC;gBAAC,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC;gBAAC,SAAS;YAAC,CAAC;YACjE,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACtD,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvE,CAAC;IACL,CAAC;IACD,OAAO,EAAE,CAAC;AACd,CAAC;AAED,iFAAiF;AAEjF,2EAA2E;AAC3E,4EAA4E;AAC5E,+EAA+E;AAC/E,0DAA0D;AAC1D,MAAM,WAAW,GAAG,mFAAmF,CAAC;AACxG,MAAM,WAAW,GAAG,uGAAuG,CAAC;AAE5H,SAAS,IAAI,CAAC,IAAY,EAAE,IAAY;IACpC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,uBAAuB,IAAI,oBAAoB,CAAC,CAAC,CAAC;IAClF,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,eAAe,CAAC,IAAY,EAAE,IAAY;IAC/C,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,uBAAuB,IAAI,mBAAmB,CAAC,CAAC,CAAC;IACjF,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IAClB,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,OAAO,CAAC,IAAY,EAAE,IAAY;IACvC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,uBAAuB,IAAI,oBAAoB,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QAC9F,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAAC,QAAiB;IAClD,MAAM,GAAG,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,CAAC,GAAG,EAAE,CAAC;QACP,OAAO;YACH,SAAS,EAAE,IAAI,GAAG,EAAE,EAAE,aAAa,EAAE,EAAE;YACvC,gBAAgB,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI;SAC5D,CAAC;IACN,CAAC;IAED,IAAI,sBAAsB,KAAK,SAAS,EAAE,CAAC;QACvC,sBAAsB,GAAG,eAAe,CAAC,GAAG,EAAE,sBAAsB,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,gBAAgB,GAAG,sBAAsB,CAAC;IAChD,MAAM,cAAc,GAA4B,EAAE,CAAC;IAEnD,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkC,CAAC;IACnE,MAAM,cAAc,GAAG,IAAI,GAAG,EAA8B,CAAC;IAC7D,2CAA2C;IAC3C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE3C,IAAI,KAAe,CAAC;IACpB,IAAI,CAAC;QACD,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACtE,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,gBAAgB,EAAE,cAAc,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;IACzG,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC7B,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YAAC,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,SAAS;QAAC,CAAC;QAEjE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YAC3C,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAC9B,IAAI,GAAG,KAAK,oBAAoB,EAAE,CAAC;gBAC/B,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;gBAC9C,IAAI,CAAC,WAAW;oBAAE,SAAS;gBAC3B,MAAM,OAAO,GAAa,EAAE,CAAC;gBAC7B,KAAK,MAAM,KAAK,IAAI,eAAe,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAAE,CAAC;oBAC3D,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBAChC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,sBAAsB,EAAE,CAAC;wBAC5D,cAAc,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC;wBACxE,SAAS;oBACb,CAAC;oBACD,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;wBACvC,cAAc,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;wBAC3E,SAAS;oBACb,CAAC;oBACD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC3B,CAAC;gBACD,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE;oBACvB,IAAI;oBACJ,WAAW;oBACX,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC;oBAC9B,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC;oBAC5B,UAAU,EAAE,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC;oBACvC,OAAO;oBACP,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,IAAI,GAAG,EAAE;iBACrB,CAAC,CAAC;YACP,CAAC;iBAAM,CAAC;gBACJ,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;gBAChD,IAAI,CAAC,YAAY;oBAAE,SAAS;gBAC5B,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE;oBACrB,IAAI;oBACJ,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC;oBACpB,YAAY;oBACZ,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;oBAC1B,iBAAiB,EAAE,IAAI,CAAC,IAAI,EAAE,mBAAmB,CAAC;oBAClD,WAAW,EAAE,EAAE;iBAClB,CAAC,CAAC;YACP,CAAC;QACL,CAAC;QAED,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3E,CAAC;IAED,MAAM,aAAa,GAAyB,EAAE,CAAC;IAC/C,KAAK,MAAM,MAAM,IAAI,cAAc,CAAC,MAAM,EAAE,EAAE,CAAC;QAC3C,uEAAuE;QACvE,sEAAsE;QACtE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/C,IAAI,MAAM,GAAuB,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAI,KAAyC,CAAC;QAC9C,OAAO,MAAM,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACpC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACpB,KAAK,GAAG,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACrC,IAAI,KAAK;gBAAE,MAAM;YACjB,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAClC,CAAC;QACD,IAAI,CAAC,KAAK,EAAE,CAAC;YAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACrD,MAAM,CAAC,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC;QACvC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACnD,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkC,CAAC;IAC5D,KAAK,MAAM,GAAG,IAAI,gBAAgB,CAAC,MAAM,EAAE;QAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;IAEjF,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,gBAAgB,EAAE,cAAc,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;AAC1F,CAAC;AAcD;;;;;;;;;GASG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAa,EAAE,gBAAyB;IACzE,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACZ,OAAO;YACH,WAAW,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE;YACtC,YAAY,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE;YACxC,GAAG;YACH,SAAS,EAAE,IAAI;SAClB,CAAC;IACN,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AACtG,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,qBAAqB,CAAC,GAAoB;IACtD,OAAO,GAAG,GAAG,CAAC,WAAW,KAAK,GAAG,CAAC,YAAY,EAAE,CAAC;AACrD,CAAC;AAMD,gDAAgD;AAChD,MAAM,UAAU,aAAa,CACzB,OAAyB,EACzB,KAAa,EACb,gBAAyB;IAEzB,MAAM,GAAG,GAAG,oBAAoB,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;IAC1D,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACnD,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;IAChE,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACjD,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;IACjE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;AACrC,CAAC"}

package/packages/tools/lib/dhf/standards-report.d.ts

@@ -0,0 +1,189 @@
+import type { MemoModel } from '../model/semantic.js';
+import type { KindRegistry } from '../model/kind-registry.js';
+import type { StandardsLibrary, StandardClauseInfo, UnknownRegimeCitation } from './standards-library.js';
+export type EvidenceCategory = 'verification' | 'risk-control' | 'approval';
+export interface EvidenceRef {
+    category: EvidenceCategory;
+    /** Element the evidence link reaches. */
+    elementId: string;
+    elementName: string;
+    elementKind: string;
+    /** Relationship type the link was made with, e.g. "verifiedBy". */
+    via: string;
+}
+/** One `clauses:` citation from a document that exists in the project. */
+export interface DocumentClauseCitation {
+    /** Document id as the project knows it, e.g. "DOC-RMP-001". */
+    documentId: string;
+    documentTitle: string;
+    /** Resolved standard designation. */
+    designation: string;
+    clauseNumber: string;
+}
+export interface StandardsReportInput {
+    library: StandardsLibrary;
+    /** The project's model. Absent means nothing is claimed — every clause is a gap. */
+    model?: MemoModel;
+    /** Resolves supertypes so an evidence anchor matches its subtypes. */
+    kindRegistry?: KindRegistry;
+    /**
+     * Regimes to scope `required()` to. Empty or absent means the project
+     * declared none, and every standard the library carries is reported —
+     * stated as such rather than silently assuming a market.
+     */
+    regimes?: string[];
+    /** Where `regimes` came from, for the report header. */
+    regimeSource?: RegimeSource;
+    /** Clause citations from documents that exist in the project. */
+    documentClauses?: DocumentClauseCitation[];
+}
+export type RegimeSource = 'project' | 'flag' | 'none';
+export type ClauseStatus = 'evidenced' | 'claimed' | 'gap';
+export interface ClaimantRef {
+    elementId: string;
+    name: string;
+    kind: string;
+}
+export interface ClauseRow {
+    /** SysML usage name of the clause instance. */
+    name: string;
+    /** The `id` attribute, e.g. "STD-IEC-62304-5-2-2". */
+    id?: string;
+    clauseNumber: string;
+    /** MEMO-authored scope phrase; absent where MEMO has no verified reading. */
+    title?: string;
+    normativeStrength?: string;
+    status: ClauseStatus;
+    /** Elements whose ConformsTo edge targets this clause. */
+    claimants: ClaimantRef[];
+    /** Documents whose frontmatter cites this clause. */
+    documents: Array<{
+        documentId: string;
+        documentTitle: string;
+    }>;
+    evidence: EvidenceRef[];
+}
+export interface StandardTotals {
+    clauses: number;
+    claimed: number;
+    evidenced: number;
+    gaps: number;
+}
+export interface StandardRow {
+    designation: string;
+    edition?: string;
+    issuer?: string;
+    /** Regimes this standard has standing in. Empty = no regime mandates it. */
+    regimes: string[];
+    /**
+     * True when a declared regime pulls this standard into `required()`.
+     * False for a standard the project's regimes do not reach, and for a
+     * method/reference standard no regime mandates — both are still reported,
+     * because a project may legitimately claim clauses of either.
+     */
+    required: boolean;
+    clauses: ClauseRow[];
+    totals: StandardTotals;
+}
+export interface StandardsReport {
+    /** Regimes the report was scoped to. */
+    regimes: string[];
+    regimeSource: RegimeSource;
+    /** Every `RegulatoryRegimeKind` member, for a "did you mean" on a bad flag. */
+    regimeVocabulary: string[];
+    /** Standards a declared regime requires. */
+    standards: StandardRow[];
+    /**
+     * Standards no declared regime requires: method and reference standards,
+     * and packs outside the declared regimes. Reported separately rather than
+     * dropped — a clause claimed here is still traceability, and a pack that
+     * vanished from the output would look like a pack that does not exist.
+     */
+    unrequired: StandardRow[];
+    /** Totals over `standards` only — the required set is what "gaps" means. */
+    totals: StandardTotals;
+    /** Defects in the packs themselves, surfaced rather than swallowed. */
+    unknownRegimes: UnknownRegimeCitation[];
+    orphanClauses: StandardClauseInfo[];
+    /** True when the library could not be located at all. */
+    libraryMissing: boolean;
+    /**
+     * False when no kind registry was available, so the evidence anchors could
+     * not be widened to their subtypes.
+     *
+     * Without it a `MarkdownDocumentSource` is not recognised as a
+     * `ControlledArtifact` and its approval does not count — the report
+     * UNDER-states evidence. That is the safer direction to fail in, but it is
+     * still a wrong number, so it is stated rather than left to be inferred
+     * from a suspiciously low column.
+     */
+    evidenceResolvable: boolean;
+}
+export declare function computeStandardsReport(input: StandardsReportInput): StandardsReport;
+/** A document that exists in the project, as the workbench store hands it over. */
+export interface ProjectDocument {
+    id: string;
+    title: string;
+    /** Template the document was created from, e.g. "iso-14971/rmp". */
+    templateId?: string;
+    /** Raw markdown including frontmatter, when the document has its own. */
+    content?: string;
+}
+/**
+ * Resolve the clauses cited by documents that EXIST in the project.
+ *
+ * Existence is the point. The clause list a template carries says what a
+ * document of that type would claim; only a document actually present in
+ * `dhf/documents/` claims it. A checklist built from the template set would
+ * report full coverage for a project that has written nothing.
+ *
+ * A document's own frontmatter wins over its template's, because the workbench
+ * merges hand edits back into the file and a document that has narrowed or
+ * extended its claim has said so there.
+ */
+export declare function collectDocumentClauses(docs: ProjectDocument[], library: StandardsLibrary, customTemplateDir?: string): DocumentClauseCitation[];
+/**
+ * The regimes a project declares on its `ProjectMethodBinding`.
+ *
+ * Not application settings: `MEMOConfig` carries how a command runs, never what
+ * the model means, and `settings-boundary.ts` rejects semantic fields outright.
+ * A submission target selects which clauses a project is answerable for, which
+ * is squarely semantic, so it is declared in `model/catalog/project.sysml` like
+ * the methodology selection beside it.
+ *
+ * The attribute arrives from the builder as the qualified members joined by
+ * commas — `"RegulatoryRegimeKind::CE, RegulatoryRegimeKind::MDR"`. One
+ * spelling only: an unqualified member is not a synonym, it is skipped and
+ * reported, the same rule the enum carries everywhere else in MEMO.
+ */
+export declare function readDeclaredRegimes(model: MemoModel | undefined): {
+    regimes: string[];
+    /** Entries that were not qualified members, verbatim. */
+    rejected: string[];
+};
+export interface StandardsReportFilter {
+    /** Substring of a designation, case-insensitive. */
+    standard?: string;
+    /** Keep only gap clauses (and only standards that have some). */
+    gapsOnly?: boolean;
+}
+/**
+ * Narrow a computed report. Filtering is separate from computing so the totals
+ * a filtered view shows are the totals of what it shows — a `--gaps-only`
+ * table whose "Clauses" column still counted the claimed ones would be a
+ * different kind of lie than the one this whole area exists to remove.
+ */
+export declare function filterStandardsReport(report: StandardsReport, filter: StandardsReportFilter): StandardsReport;
+/**
+ * Clause numbers sort numerically segment by segment, so §8 precedes §14.
+ * `localeCompare` put IEC 60601-1 clause 14 above clause 8 in the Phase 3.0
+ * conformance matrix; a compliance table ordered 10, 11, 14, 8, 9 reads as
+ * broken long before a reader works out why. Non-numeric segments — 820.30(c),
+ * V.A — fall back to a string compare within the segment.
+ */
+export declare function byClauseNumber(a: {
+    clauseNumber: string;
+}, b: {
+    clauseNumber: string;
+}): number;
+//# sourceMappingURL=standards-report.d.ts.map

package/packages/tools/lib/dhf/standards-report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"standards-report.d.ts","sourceRoot":"","sources":["../../src/dhf/standards-report.ts"],"names":[],"mappings":"AAmCA,OAAO,KAAK,EAAE,SAAS,EAAe,MAAM,sBAAsB,CAAC;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,KAAK,EACR,gBAAgB,EAA0B,kBAAkB,EAAE,qBAAqB,EACtF,MAAM,wBAAwB,CAAC;AA4BhC,MAAM,MAAM,gBAAgB,GAAG,cAAc,GAAG,cAAc,GAAG,UAAU,CAAC;AAE5E,MAAM,WAAW,WAAW;IACxB,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,yCAAyC;IACzC,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,mEAAmE;IACnE,GAAG,EAAE,MAAM,CAAC;CACf;AAID,0EAA0E;AAC1E,MAAM,WAAW,sBAAsB;IACnC,+DAA+D;IAC/D,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,MAAM,CAAC;IACtB,qCAAqC;IACrC,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,oBAAoB;IACjC,OAAO,EAAE,gBAAgB,CAAC;IAC1B,oFAAoF;IACpF,KAAK,CAAC,EAAE,SAAS,CAAC;IAClB,sEAAsE;IACtE,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B;;;;OAIG;IACH,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,wDAAwD;IACxD,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,iEAAiE;IACjE,eAAe,CAAC,EAAE,sBAAsB,EAAE,CAAC;CAC9C;AAED,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,MAAM,GAAG,MAAM,CAAC;AAIvD,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG,SAAS,GAAG,KAAK,CAAC;AAE3D,MAAM,WAAW,WAAW;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,SAAS;IACtB,+CAA+C;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,sDAAsD;IACtD,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,YAAY,EAAE,MAAM,CAAC;IACrB,6EAA6E;IAC7E,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,MAAM,EAAE,YAAY,CAAC;IACrB,0DAA0D;IAC1D,SAAS,EAAE,WAAW,EAAE,CAAC;IACzB,qDAAqD;IACrD,SAAS,EAAE,KAAK,CAAC;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,aAAa,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAChE,QAAQ,EAAE,WAAW,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,cAAc;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,WAAW;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,4EAA4E;IAC5E,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB;;;;;OAKG;IACH,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,MAAM,EAAE,cAAc,CAAC;CAC1B;AAED,MAAM,WAAW,eAAe;IAC5B,wCAAwC;IACxC,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,YAAY,EAAE,YAAY,CAAC;IAC3B,+EAA+E;IAC/E,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,4CAA4C;IAC5C,SAAS,EAAE,WAAW,EAAE,CAAC;IACzB;;;;;OAKG;IACH,UAAU,EAAE,WAAW,EAAE,CAAC;IAC1B,4EAA4E;IAC5E,MAAM,EAAE,cAAc,CAAC;IACvB,uEAAuE;IACvE,cAAc,EAAE,qBAAqB,EAAE,CAAC;IACxC,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,yDAAyD;IACzD,cAAc,EAAE,OAAO,CAAC;IACxB;;;;;;;;;OASG;IACH,kBAAkB,EAAE,OAAO,CAAC;CAC/B;AAsBD,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,oBAAoB,GAAG,eAAe,CAuJnF;AAID,mFAAmF;AACnF,MAAM,WAAW,eAAe;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,oEAAoE;IACpE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,yEAAyE;IACzE,OAAO,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,sBAAsB,CAClC,IAAI,EAAE,eAAe,EAAE,EACvB,OAAO,EAAE,gBAAgB,EACzB,iBAAiB,CAAC,EAAE,MAAM,GAC3B,sBAAsB,EAAE,CA+B1B;AAID;;;;;;;;;;;;;GAaG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,GAAG;IAC/D,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,yDAAyD;IACzD,QAAQ,EAAE,MAAM,EAAE,CAAC;CACtB,CAgBA;AAID,MAAM,WAAW,qBAAqB;IAClC,oDAAoD;IACpD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,iEAAiE;IACjE,QAAQ,CAAC,EAAE,OAAO,CAAC;CACtB;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,qBAAqB,GAAG,eAAe,CAyB7G;AAwBD;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE;IAAE,YAAY,EAAE,MAAM,CAAA;CAAE,EAAE,CAAC,EAAE;IAAE,YAAY,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAgB/F"}