@memoarchitect/tools 0.13.2 → 0.15.0

package/packages/tools/lib/methodology/guide.js

@@ -0,0 +1,80 @@
+// ─── The Guide: where a model stands against its method ──────────────────────
+//
+// Pure. For a workspace, each step of the method is done, open or blocked, from what the step states:
+//
+//   done      every output kind has an element in the workspace, and every rule the step is `#DoneWhen`
+//             has a subject there and no finding on any subject. A rule with nothing to judge is not
+//             satisfied, it has not run.
+//   blocked   not done, and a step that comes first (`first … then …`, at the same level) is open or blocked.
+//   open      everything else.
+//   no criterion  the step names no output kind and no rule: it is never reported as done.
+//
+// An imported element (one that carries `@ExternalSource`) counts toward an output only when it is traced:
+// it has at least one link other than the containment of its own package, so an import nobody relates to
+// anything does not complete a step.
+//
+// The caller gives the findings already scoped to the workspace (`validateModel(…, workspace)`): filtering a
+// whole-model result afterwards would lose the rule that a trace to another system's element is not evidence,
+// and a pump test would then complete a generator's step.
+// ─────────────────────────────────────────────────────────────────────────────
+import { derivesFrom } from '../model/workspace-membership.js';
+const IMPORTED = 'externalReference.identifier';
+const LEVEL_OF_SCOPE = { sos: 'systemOfSystems', system: 'system' };
+export function evaluateGuide(input) {
+    const { model, kinds, workspace } = input;
+    const inScope = (id) => !workspace || workspace.subjects.has(id);
+    const elements = [...model.elements.values()].filter(e => inScope(e.id));
+    const conforms = (kind, root) => kind === root || (kinds !== undefined && derivesFrom(kinds, kind, root));
+    const traced = (id) => [...(model.outgoing.get(id) ?? []), ...(model.incoming.get(id) ?? [])].some(r => r.type !== 'composes');
+    // A workspace is worked at one level; the whole model has both.
+    const wanted = workspace ? LEVEL_OF_SCOPE[workspace.scope] : undefined;
+    const steps = input.steps.filter(step => !wanted || !step.level || step.level === wanted);
+    const status = new Map();
+    for (const step of steps) {
+        const reasons = [];
+        const outputs = step.outputKinds.map(kind => {
+            const ofKind = elements.filter(e => conforms(e.kind, kind));
+            const counted = ofKind.filter(e => !e.attributes?.[IMPORTED] || traced(e.id));
+            return { kind, count: counted.length, untracedImports: ofKind.length - counted.length };
+        });
+        for (const output of outputs.filter(o => o.count === 0)) {
+            reasons.push(output.untracedImports > 0
+                ? `${output.untracedImports} imported ${output.kind} element(s) are not traced to anything`
+                : `no ${output.kind} yet`);
+        }
+        const rules = step.doneWhen.map(name => {
+            const rule = input.rules.find(r => r.typeName === name);
+            if (!rule)
+                return { rule: name, known: false, subjects: 0, violations: 0 };
+            const subjects = elements.filter(e => conforms(e.kind, rule.appliesToKind)).length;
+            const violations = input.violations.filter(v => v.ruleId === rule.id && inScope(v.elementId)).length;
+            return { rule: name, known: true, subjects, violations };
+        });
+        for (const rule of rules) {
+            if (!rule.known)
+                reasons.push(`the rule ${rule.rule} is not in the rule set`);
+            else if (rule.subjects === 0)
+                reasons.push(`${rule.rule} has nothing to judge yet`);
+            else if (rule.violations > 0)
+                reasons.push(`${rule.rule}: ${rule.violations} finding(s)`);
+        }
+        const criterion = step.outputKinds.length > 0 || step.doneWhen.length > 0;
+        const done = criterion && reasons.length === 0;
+        status.set(step.id, {
+            ...step, state: !criterion ? 'no-criterion' : done ? 'done' : 'open', outputs, rules, blockedBy: [], reasons,
+        });
+    }
+    // Blocked: a step that comes first is open or blocked. Resolved in order, so a chain blocks all the way down.
+    for (const step of steps) {
+        const own = status.get(step.id);
+        if (own.state === 'done' || own.state === 'no-criterion')
+            continue;
+        const before = step.predecessors.map(id => status.get(id)).filter((s) => s !== undefined);
+        own.blockedBy = before.filter(s => s.state === 'open' || s.state === 'blocked').map(s => s.id);
+        if (own.blockedBy.length > 0)
+            own.state = 'blocked';
+    }
+    const ordered = steps.map(step => status.get(step.id));
+    return { steps: ordered, next: ordered.find(step => step.state === 'open')?.id };
+}
+//# sourceMappingURL=guide.js.map

package/packages/tools/lib/methodology/guide.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"guide.js","sourceRoot":"","sources":["../../src/methodology/guide.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,sGAAsG;AACtG,EAAE;AACF,wGAAwG;AACxG,qGAAqG;AACrG,yCAAyC;AACzC,8GAA8G;AAC9G,+BAA+B;AAC/B,2FAA2F;AAC3F,EAAE;AACF,2GAA2G;AAC3G,yGAAyG;AACzG,qCAAqC;AACrC,EAAE;AACF,6GAA6G;AAC7G,8GAA8G;AAC9G,0DAA0D;AAC1D,gFAAgF;AAIhF,OAAO,EAAE,WAAW,EAAE,MAAM,kCAAkC,CAAC;AA0D/D,MAAM,QAAQ,GAAG,8BAA8B,CAAC;AAChD,MAAM,cAAc,GAAG,EAAE,GAAG,EAAE,iBAAiB,EAAE,MAAM,EAAE,QAAQ,EAAW,CAAC;AAE7E,MAAM,UAAU,aAAa,CAAC,KAAiB;IAC3C,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;IAC1C,MAAM,OAAO,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,CAAC,SAAS,IAAI,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAC1H,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IAEvI,gEAAgE;IAChE,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvE,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC;IAE1F,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAmB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;YACxD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YAC5D,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9E,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,eAAe,EAAE,MAAM,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QAC5F,CAAC,CAAC,CAAC;QACH,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;YACtD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,eAAe,GAAG,CAAC;gBACnC,CAAC,CAAC,GAAG,MAAM,CAAC,eAAe,aAAa,MAAM,CAAC,IAAI,wCAAwC;gBAC3F,CAAC,CAAC,MAAM,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC;QACnC,CAAC;QACD,MAAM,KAAK,GAAiB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;YACjD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;YACxD,IAAI,CAAC,IAAI;gBAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;YAC3E,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC;YACnF,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;YACrG,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;QAC7D,CAAC,CAAC,CAAC;QACH,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,KAAK;gBAAE,OAAO,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,IAAI,yBAAyB,CAAC,CAAC;iBACzE,IAAI,IAAI,CAAC,QAAQ,KAAK,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,2BAA2B,CAAC,CAAC;iBAC/E,IAAI,IAAI,CAAC,UAAU,GAAG,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,UAAU,aAAa,CAAC,CAAC;QAC9F,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QAC1E,MAAM,IAAI,GAAG,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE;YAChB,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO;SAC/G,CAAC,CAAC;IACP,CAAC;IACD,8GAA8G;IAC9G,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC;QACjC,IAAI,GAAG,CAAC,KAAK,KAAK,MAAM,IAAI,GAAG,CAAC,KAAK,KAAK,cAAc;YAAE,SAAS;QACnE,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAmB,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;QAC3G,GAAG,CAAC,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/F,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;YAAE,GAAG,CAAC,KAAK,GAAG,SAAS,CAAC;IACxD,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC,CAAC;IACxD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC;AACrF,CAAC"}

package/packages/tools/lib/model/census-projects.d.ts

@@ -0,0 +1,26 @@
+import { type ProjectCensus } from './census.js';
+/** One subject: its baseline id and the directory holding the project. */
+export interface CensusSubject {
+    id: string;
+    dir: string;
+}
+/**
+ * The example projects, in directory order.
+ *
+ * Discovered rather than listed: a new example is content the census should
+ * cover from the day it lands, and a hardcoded list would have to be edited to
+ * get that — which is the edit nobody makes. A directory that does not resolve
+ * as a project is skipped here and never reaches a baseline.
+ */
+export declare function censusSubjects(examplesDir: string): CensusSubject[];
+/**
+ * Build one subject's model and count it.
+ *
+ * The build is `memo validate`'s: resolve natively, subtract every library root
+ * — selected AND unused, because a file from a root the project never imported
+ * is not its content — and build what is left. Counting the library's own
+ * elements would make every project's census move when the ontology changes,
+ * which is the one signal this must not drown.
+ */
+export declare function censusOf(subject: CensusSubject): Promise<ProjectCensus>;
+//# sourceMappingURL=census-projects.d.ts.map

package/packages/tools/lib/model/census-projects.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"census-projects.d.ts","sourceRoot":"","sources":["../../src/model/census-projects.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAiB,KAAK,aAAa,EAAE,MAAM,aAAa,CAAC;AAGhE,0EAA0E;AAC1E,MAAM,WAAW,aAAa;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,GAAG,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,WAAW,EAAE,MAAM,GAAG,aAAa,EAAE,CAOnE;AAED;;;;;;;;GAQG;AACH,wBAAsB,QAAQ,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC,CAK7E"}

package/packages/tools/lib/model/census-projects.js

@@ -0,0 +1,53 @@
+// ─── Census subjects ─────────────────────────────────────────────────────────
+//
+// Which projects the element census counts, and how one of them is built.
+//
+// Shared by the gate test and the capture script so the two cannot disagree
+// about what was frozen: a baseline captured over a different project set than
+// the gate checks is a baseline that passes for the wrong reason.
+//
+// The subjects are the shipped examples. They are what a reader opens first,
+// they are the only in-repository models that exercise the full ingestion path,
+// and a change to a shared ontology definition reaches every one of them at
+// once — which is the change this census exists to watch.
+// ─────────────────────────────────────────────────────────────────────────────
+import { existsSync, readdirSync } from 'node:fs';
+import { resolve } from 'node:path';
+import { loadProjectSettings } from './config-loader.js';
+import { findProjectRoot } from './native-project.js';
+import { computeCensus } from './census.js';
+import { loadProjectModel } from '../toolchain/project-model.js';
+/**
+ * The example projects, in directory order.
+ *
+ * Discovered rather than listed: a new example is content the census should
+ * cover from the day it lands, and a hardcoded list would have to be edited to
+ * get that — which is the edit nobody makes. A directory that does not resolve
+ * as a project is skipped here and never reaches a baseline.
+ */
+export function censusSubjects(examplesDir) {
+    if (!existsSync(examplesDir))
+        return [];
+    return readdirSync(examplesDir, { withFileTypes: true })
+        .filter(entry => entry.isDirectory())
+        .map(entry => ({ id: entry.name, dir: resolve(examplesDir, entry.name) }))
+        .filter(subject => findProjectRoot(subject.dir))
+        .sort((a, b) => a.id.localeCompare(b.id));
+}
+/**
+ * Build one subject's model and count it.
+ *
+ * The build is `memo validate`'s: resolve natively, subtract every library root
+ * — selected AND unused, because a file from a root the project never imported
+ * is not its content — and build what is left. Counting the library's own
+ * elements would make every project's census move when the ontology changes,
+ * which is the one signal this must not drown.
+ */
+export async function censusOf(subject) {
+    const root = findProjectRoot(subject.dir);
+    if (!root)
+        throw new Error(`${subject.id}: not a MEMO project (${subject.dir})`);
+    const { model } = await loadProjectModel({ projectRoot: root, config: loadProjectSettings(root) });
+    return computeCensus(model, { project: subject.id, projectRoot: root });
+}
+//# sourceMappingURL=census-projects.js.map

package/packages/tools/lib/model/census-projects.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"census-projects.js","sourceRoot":"","sources":["../../src/model/census-projects.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,0EAA0E;AAC1E,EAAE;AACF,4EAA4E;AAC5E,+EAA+E;AAC/E,kEAAkE;AAClE,EAAE;AACF,6EAA6E;AAC7E,gFAAgF;AAChF,4EAA4E;AAC5E,0DAA0D;AAC1D,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAsB,MAAM,aAAa,CAAC;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAQjE;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,WAAmB;IAC9C,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,OAAO,WAAW,CAAC,WAAW,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;SACnD,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;SACpC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SACzE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;SAC/C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAClD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,OAAsB;IACjD,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC1C,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,CAAC,EAAE,yBAAyB,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC;IACjF,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,gBAAgB,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnG,OAAO,aAAa,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;AAC5E,CAAC"}

package/packages/tools/lib/model/census.d.ts

@@ -0,0 +1,103 @@
+import type { MemoModel } from './semantic.js';
+/** Per-file counts. Every map is sorted by key so a baseline diffs cleanly. */
+export interface FileCensus {
+    /** Elements this file declares. */
+    elements: number;
+    /** Of those, DEFINITIONS (`part def Pump`) rather than usages. */
+    definitions: number;
+    /** Elements per ontology kind. */
+    kinds: Record<string, number>;
+    /** Relationships whose declaration this file carries. */
+    relationships: number;
+    /** Relationships per type, including the ones the builder synthesizes. */
+    relationshipTypes: Record<string, number>;
+    /** Packages declared here, empty ones included. */
+    packages: number;
+    /**
+     * Parse errors reported against this file — the parser's own complaints,
+     * which carry no diagnostic code.
+     *
+     * One of the two INVERTED measures in the census: more of these is worse,
+     * and a rise fails the comparison the same way a falling element count
+     * does. A file that stops parsing loses its elements in the same run, so
+     * this is the measure that says WHY the count moved.
+     */
+    parseErrors: number;
+    /**
+     * Builder findings against this file — a short-name collision, an ambiguous
+     * reference, a relationship whose ends do not conform to its declared
+     * types.
+     *
+     * Counted apart from parse errors because they are a different failure with
+     * a different cause, and because most of them are reported by nothing today
+     * (the board row "Builder well-formedness findings are computed and
+     * discarded"). Inverted for the same reason: more of them is worse.
+     */
+    builderFindings: number;
+}
+/** A census of one built model. */
+export interface ProjectCensus {
+    /** Identifier for the project, used in the baseline filename and messages. */
+    project: string;
+    /** Sums over every file. */
+    totals: {
+        files: number;
+        elements: number;
+        definitions: number;
+        relationships: number;
+        packages: number;
+        parseErrors: number;
+        builderFindings: number;
+    };
+    /** Per project-relative file path, sorted. */
+    files: Record<string, FileCensus>;
+}
+/** What a census comparison found. */
+export interface CensusFinding {
+    /**
+     * `drop` fails the gate: the model holds less than the baseline recorded.
+     * `rise` passes and is reported, so the baseline can be re-frozen knowingly.
+     */
+    severity: 'drop' | 'rise';
+    /** Project-relative file, or `(totals)` for a whole-project measure. */
+    file: string;
+    /** What was counted: `elements`, `kind:Hazard`, `relationshipType:flow`, … */
+    measure: string;
+    baseline: number;
+    current: number;
+    /** One line, already readable without the structured fields. */
+    message: string;
+}
+/**
+ * Count one built model.
+ *
+ * `projectRoot` makes the recorded paths project-relative. Absolute paths are
+ * what the model carries and would make a baseline machine-specific, so a root
+ * is required for anything that gets committed.
+ */
+export declare function computeCensus(model: MemoModel, options: {
+    project: string;
+    projectRoot?: string;
+}): ProjectCensus;
+/**
+ * Diff a current census against a frozen one.
+ *
+ * Drops are the failure: a file that lost elements, a kind that lost instances,
+ * a relationship type that lost edges, a file that disappeared from the model
+ * entirely, or a file that gained parse errors.
+ *
+ * Rises are reported and do not fail, which has one cost worth being explicit
+ * about: a baseline left un-refrozen after content is ADDED goes stale low, and
+ * a later drop back to that stale number is not caught. Re-freeze after adding
+ * content (`pnpm census:capture`) and the window closes; the check prints the
+ * command every time it sees a rise, for that reason.
+ */
+export declare function compareCensus(baseline: ProjectCensus, current: ProjectCensus): CensusFinding[];
+/**
+ * Render findings for a human, drops first.
+ *
+ * `limit` caps the listing: a shared-definition change moves hundreds of counts
+ * at once, and a reader needs the first few plus the total, not the whole diff.
+ */
+export declare function formatCensusFindings(findings: CensusFinding[], limit?: number): string;
+//# sourceMappingURL=census.d.ts.map

package/packages/tools/lib/model/census.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"census.d.ts","sourceRoot":"","sources":["../../src/model/census.ts"],"names":[],"mappings":"AAiCA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAK/C,+EAA+E;AAC/E,MAAM,WAAW,UAAU;IACvB,mCAAmC;IACnC,QAAQ,EAAE,MAAM,CAAC;IACjB,kEAAkE;IAClE,WAAW,EAAE,MAAM,CAAC;IACpB,kCAAkC;IAClC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9B,yDAAyD;IACzD,aAAa,EAAE,MAAM,CAAC;IACtB,0EAA0E;IAC1E,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1C,mDAAmD;IACnD,QAAQ,EAAE,MAAM,CAAC;IACjB;;;;;;;;OAQG;IACH,WAAW,EAAE,MAAM,CAAC;IACpB;;;;;;;;;OASG;IACH,eAAe,EAAE,MAAM,CAAC;CAC3B;AAED,mCAAmC;AACnC,MAAM,WAAW,aAAa;IAC1B,8EAA8E;IAC9E,OAAO,EAAE,MAAM,CAAC;IAChB,4BAA4B;IAC5B,MAAM,EAAE;QACJ,KAAK,EAAE,MAAM,CAAC;QACd,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,CAAC;QACpB,aAAa,EAAE,MAAM,CAAC;QACtB,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,CAAC;QACpB,eAAe,EAAE,MAAM,CAAC;KAC3B,CAAC;IACF,8CAA8C;IAC9C,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;CACrC;AAED,sCAAsC;AACtC,MAAM,WAAW,aAAa;IAC1B;;;OAGG;IACH,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC;IAC1B,wEAAwE;IACxE,IAAI,EAAE,MAAM,CAAC;IACb,8EAA8E;IAC9E,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,gEAAgE;IAChE,OAAO,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CACzB,KAAK,EAAE,SAAS,EAChB,OAAO,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,GACnD,aAAa,CAiEf;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,GAAG,aAAa,EAAE,CA4D9F;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,aAAa,EAAE,EAAE,KAAK,SAAK,GAAG,MAAM,CAelF"}

package/packages/tools/lib/model/census.js

@@ -0,0 +1,229 @@
+// ─── Element census ──────────────────────────────────────────────────────────
+//
+// How many elements, of which kinds, did each source file put into the model?
+//
+// That question is the only one that catches a SILENT DROP — source that still
+// parses, still validates, and quietly declares less than it did. Every other
+// number a build prints moves the wrong way when content disappears: violations
+// FALL because the elements carrying them are gone, and completeness RISES
+// because the incomplete elements are the ones that vanished. Measured
+// 2026-09-19: a file built 2 elements instead of 124 and `memo validate`
+// reported "92% complete, 1583 violations, 32 rules passed", down from 1595,
+// and the drop was read as progress.
+//
+// A census is therefore a COUNT ORACLE, not a snapshot: per file, per kind, per
+// relationship type, frozen as a baseline and compared on every run. It says
+// nothing about whether the model is good — only whether it still contains what
+// it contained last time anyone looked.
+//
+// The comparison is deliberately asymmetric. A count going DOWN fails: content
+// left the model and something has to say why. A count going UP is reported and
+// passes, because adding content is the normal business of every example in the
+// tree and a gate that fails on it would be re-frozen so often that nobody
+// would read the diff. The cost of that choice is stated where it bites: see
+// `compareCensus`.
+//
+// Not a replacement for `scripts/verify-baseline.mjs`, which freezes element
+// IDS and relationship endpoints for the four reference projects. That oracle
+// is finer and answers "did anything move?"; this one is coarse enough to run
+// in the gate over every example on every test run, and answers "did anything
+// LEAVE?".
+// ─────────────────────────────────────────────────────────────────────────────
+import { relative } from 'node:path';
+/** How the builder marks a relationship well-formedness finding, having no code for it. */
+const WELL_FORMEDNESS_PREFIX = '[well-formedness]';
+/**
+ * Count one built model.
+ *
+ * `projectRoot` makes the recorded paths project-relative. Absolute paths are
+ * what the model carries and would make a baseline machine-specific, so a root
+ * is required for anything that gets committed.
+ */
+export function computeCensus(model, options) {
+    const files = new Map();
+    const at = (file) => {
+        const key = toRelative(file, options.projectRoot);
+        let entry = files.get(key);
+        if (!entry) {
+            entry = {
+                elements: 0, definitions: 0, kinds: {},
+                relationships: 0, relationshipTypes: {},
+                packages: 0, parseErrors: 0, builderFindings: 0,
+            };
+            files.set(key, entry);
+        }
+        return entry;
+    };
+    for (const element of model.elements.values()) {
+        const entry = at(element.file);
+        entry.elements++;
+        if (element.isDefinition)
+            entry.definitions++;
+        entry.kinds[element.kind] = (entry.kinds[element.kind] ?? 0) + 1;
+    }
+    for (const relationship of model.relationships) {
+        const entry = at(relationship.file);
+        entry.relationships++;
+        entry.relationshipTypes[relationship.type] =
+            (entry.relationshipTypes[relationship.type] ?? 0) + 1;
+    }
+    // A package that declares nothing is still a package, and it is exactly the
+    // thing a lowering change can drop without touching any other count — the
+    // board row "An empty package vanishes in lowering with no diagnostic".
+    for (const pkg of model.packages)
+        at(pkg.file).packages++;
+    // `model.errors` carries both. A coded diagnostic is the builder's; so is
+    // the relationship well-formedness finding, which is recognized by its
+    // message prefix because it carries no code — 73 of them in gpca-pump, and
+    // counting them as parse errors would say a clean file does not parse. The
+    // prefix goes when that finding gets a code, which is the board row
+    // "Builder well-formedness findings are computed and discarded".
+    for (const error of model.errors) {
+        const entry = at(error.file);
+        const fromBuilder = Boolean(error.code) || error.message.startsWith(WELL_FORMEDNESS_PREFIX);
+        if (fromBuilder)
+            entry.builderFindings++;
+        else
+            entry.parseErrors++;
+    }
+    const totals = {
+        files: files.size,
+        elements: 0, definitions: 0, relationships: 0, packages: 0,
+        parseErrors: 0, builderFindings: 0,
+    };
+    for (const entry of files.values()) {
+        totals.elements += entry.elements;
+        totals.definitions += entry.definitions;
+        totals.relationships += entry.relationships;
+        totals.packages += entry.packages;
+        totals.parseErrors += entry.parseErrors;
+        totals.builderFindings += entry.builderFindings;
+    }
+    return {
+        project: options.project,
+        totals,
+        files: Object.fromEntries([...files.entries()]
+            .sort(([a], [b]) => a.localeCompare(b))
+            .map(([path, entry]) => [path, sortMaps(entry)])),
+    };
+}
+/**
+ * Diff a current census against a frozen one.
+ *
+ * Drops are the failure: a file that lost elements, a kind that lost instances,
+ * a relationship type that lost edges, a file that disappeared from the model
+ * entirely, or a file that gained parse errors.
+ *
+ * Rises are reported and do not fail, which has one cost worth being explicit
+ * about: a baseline left un-refrozen after content is ADDED goes stale low, and
+ * a later drop back to that stale number is not caught. Re-freeze after adding
+ * content (`pnpm census:capture`) and the window closes; the check prints the
+ * command every time it sees a rise, for that reason.
+ */
+export function compareCensus(baseline, current) {
+    const findings = [];
+    const compare = (file, measure, before, after, inverted = false) => {
+        if (before === after)
+            return;
+        const worse = inverted ? after > before : after < before;
+        findings.push({
+            severity: worse ? 'drop' : 'rise',
+            file, measure, baseline: before, current: after,
+            message: `${file}: ${measure} ${before} → ${after}`,
+        });
+    };
+    compare('(totals)', 'files', baseline.totals.files, current.totals.files);
+    compare('(totals)', 'elements', baseline.totals.elements, current.totals.elements);
+    compare('(totals)', 'definitions', baseline.totals.definitions, current.totals.definitions);
+    compare('(totals)', 'relationships', baseline.totals.relationships, current.totals.relationships);
+    compare('(totals)', 'packages', baseline.totals.packages, current.totals.packages);
+    compare('(totals)', 'parseErrors', baseline.totals.parseErrors, current.totals.parseErrors, true);
+    compare('(totals)', 'builderFindings', baseline.totals.builderFindings, current.totals.builderFindings, true);
+    const empty = {
+        elements: 0, definitions: 0, kinds: {},
+        relationships: 0, relationshipTypes: {}, packages: 0,
+        parseErrors: 0, builderFindings: 0,
+    };
+    for (const path of [...new Set([...Object.keys(baseline.files), ...Object.keys(current.files)])].sort()) {
+        const before = baseline.files[path] ?? empty;
+        const after = current.files[path] ?? empty;
+        // A file present in the baseline and absent now contributed nothing at
+        // all: report it as the single fact it is rather than as one finding
+        // per kind it used to declare.
+        if (!current.files[path]) {
+            findings.push({
+                severity: 'drop', file: path, measure: 'file',
+                baseline: before.elements, current: 0,
+                message: `${path}: gone from the model — it declared ${before.elements} element(s)`,
+            });
+            continue;
+        }
+        compare(path, 'elements', before.elements, after.elements);
+        compare(path, 'definitions', before.definitions, after.definitions);
+        compare(path, 'relationships', before.relationships, after.relationships);
+        compare(path, 'packages', before.packages, after.packages);
+        compare(path, 'parseErrors', before.parseErrors, after.parseErrors, true);
+        compare(path, 'builderFindings', before.builderFindings, after.builderFindings, true);
+        for (const kind of keysOf(before.kinds, after.kinds)) {
+            compare(path, `kind:${kind}`, before.kinds[kind] ?? 0, after.kinds[kind] ?? 0);
+        }
+        for (const type of keysOf(before.relationshipTypes, after.relationshipTypes)) {
+            compare(path, `relationshipType:${type}`, before.relationshipTypes[type] ?? 0, after.relationshipTypes[type] ?? 0);
+        }
+    }
+    return findings;
+}
+/**
+ * Render findings for a human, drops first.
+ *
+ * `limit` caps the listing: a shared-definition change moves hundreds of counts
+ * at once, and a reader needs the first few plus the total, not the whole diff.
+ */
+export function formatCensusFindings(findings, limit = 25) {
+    const drops = findings.filter(f => f.severity === 'drop');
+    const rises = findings.filter(f => f.severity === 'rise');
+    const lines = [];
+    if (drops.length > 0) {
+        lines.push(`${drops.length} count(s) went DOWN — the model holds less than the baseline records:`);
+        for (const f of drops.slice(0, limit))
+            lines.push(`  ${f.message}`);
+        if (drops.length > limit)
+            lines.push(`  … ${drops.length - limit} more`);
+    }
+    if (rises.length > 0) {
+        lines.push(`${rises.length} count(s) went up (content added; re-freeze with \`pnpm census:capture\`):`);
+        for (const f of rises.slice(0, limit))
+            lines.push(`  ${f.message}`);
+        if (rises.length > limit)
+            lines.push(`  … ${rises.length - limit} more`);
+    }
+    return lines.join('\n');
+}
+function keysOf(a, b) {
+    return [...new Set([...Object.keys(a), ...Object.keys(b)])].sort();
+}
+function sortMaps(entry) {
+    return {
+        ...entry,
+        kinds: sortRecord(entry.kinds),
+        relationshipTypes: sortRecord(entry.relationshipTypes),
+    };
+}
+function sortRecord(record) {
+    return Object.fromEntries(Object.entries(record).sort(([a], [b]) => a.localeCompare(b)));
+}
+/**
+ * Project-relative, forward-slashed.
+ *
+ * A model carries absolute paths, which differ per checkout; a baseline keyed
+ * by one would diff against itself on the next machine.
+ */
+function toRelative(file, projectRoot) {
+    if (!file)
+        return '(no file)';
+    if (!projectRoot)
+        return file;
+    const rel = relative(projectRoot, file);
+    return (rel && !rel.startsWith('..') ? rel : file).split('\\').join('/');
+}
+//# sourceMappingURL=census.js.map

package/packages/tools/lib/model/census.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"census.js","sourceRoot":"","sources":["../../src/model/census.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,EAAE;AACF,+EAA+E;AAC/E,8EAA8E;AAC9E,gFAAgF;AAChF,2EAA2E;AAC3E,uEAAuE;AACvE,yEAAyE;AACzE,6EAA6E;AAC7E,qCAAqC;AACrC,EAAE;AACF,gFAAgF;AAChF,6EAA6E;AAC7E,gFAAgF;AAChF,wCAAwC;AACxC,EAAE;AACF,+EAA+E;AAC/E,gFAAgF;AAChF,gFAAgF;AAChF,2EAA2E;AAC3E,6EAA6E;AAC7E,mBAAmB;AACnB,EAAE;AACF,6EAA6E;AAC7E,8EAA8E;AAC9E,8EAA8E;AAC9E,8EAA8E;AAC9E,WAAW;AACX,gFAAgF;AAEhF,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAGrC,2FAA2F;AAC3F,MAAM,sBAAsB,GAAG,mBAAmB,CAAC;AA0EnD;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CACzB,KAAgB,EAChB,OAAkD;IAElD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC5C,MAAM,EAAE,GAAG,CAAC,IAAY,EAAc,EAAE;QACpC,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;QAClD,IAAI,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3B,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,KAAK,GAAG;gBACJ,QAAQ,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE;gBACtC,aAAa,EAAE,CAAC,EAAE,iBAAiB,EAAE,EAAE;gBACvC,QAAQ,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC;aAClD,CAAC;YACF,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC1B,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC,CAAC;IAEF,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC/B,KAAK,CAAC,QAAQ,EAAE,CAAC;QACjB,IAAI,OAAO,CAAC,YAAY;YAAE,KAAK,CAAC,WAAW,EAAE,CAAC;QAC9C,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACrE,CAAC;IACD,KAAK,MAAM,YAAY,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACpC,KAAK,CAAC,aAAa,EAAE,CAAC;QACtB,KAAK,CAAC,iBAAiB,CAAC,YAAY,CAAC,IAAI,CAAC;YACtC,CAAC,KAAK,CAAC,iBAAiB,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC9D,CAAC;IACD,4EAA4E;IAC5E,0EAA0E;IAC1E,wEAAwE;IACxE,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,QAAQ;QAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1D,0EAA0E;IAC1E,uEAAuE;IACvE,2EAA2E;IAC3E,2EAA2E;IAC3E,oEAAoE;IACpE,iEAAiE;IACjE,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC7B,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,sBAAsB,CAAC,CAAC;QAC5F,IAAI,WAAW;YAAE,KAAK,CAAC,eAAe,EAAE,CAAC;;YAAM,KAAK,CAAC,WAAW,EAAE,CAAC;IACvE,CAAC;IAED,MAAM,MAAM,GAAG;QACX,KAAK,EAAE,KAAK,CAAC,IAAI;QACjB,QAAQ,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;QAC1D,WAAW,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC;KACrC,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;QACjC,MAAM,CAAC,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC;QAClC,MAAM,CAAC,WAAW,IAAI,KAAK,CAAC,WAAW,CAAC;QACxC,MAAM,CAAC,aAAa,IAAI,KAAK,CAAC,aAAa,CAAC;QAC5C,MAAM,CAAC,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC;QAClC,MAAM,CAAC,WAAW,IAAI,KAAK,CAAC,WAAW,CAAC;QACxC,MAAM,CAAC,eAAe,IAAI,KAAK,CAAC,eAAe,CAAC;IACpD,CAAC;IAED,OAAO;QACH,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,MAAM;QACN,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;aACzC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;aACtC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;KACxD,CAAC;AACN,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,aAAa,CAAC,QAAuB,EAAE,OAAsB;IACzE,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,MAAM,OAAO,GAAG,CACZ,IAAY,EAAE,OAAe,EAAE,MAAc,EAAE,KAAa,EAC5D,QAAQ,GAAG,KAAK,EACZ,EAAE;QACN,IAAI,MAAM,KAAK,KAAK;YAAE,OAAO;QAC7B,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC;QACzD,QAAQ,CAAC,IAAI,CAAC;YACV,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;YACjC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK;YAC/C,OAAO,EAAE,GAAG,IAAI,KAAK,OAAO,IAAI,MAAM,MAAM,KAAK,EAAE;SACtD,CAAC,CAAC;IACP,CAAC,CAAC;IAEF,OAAO,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1E,OAAO,CAAC,UAAU,EAAE,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACnF,OAAO,CAAC,UAAU,EAAE,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAC5F,OAAO,CAAC,UAAU,EAAE,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IAClG,OAAO,CAAC,UAAU,EAAE,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACnF,OAAO,CAAC,UAAU,EAAE,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IAClG,OAAO,CAAC,UAAU,EAAE,iBAAiB,EACjC,QAAQ,CAAC,MAAM,CAAC,eAAe,EAAE,OAAO,CAAC,MAAM,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;IAE3E,MAAM,KAAK,GAAe;QACtB,QAAQ,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE;QACtC,aAAa,EAAE,CAAC,EAAE,iBAAiB,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC;QACpD,WAAW,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC;KACrC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACtG,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;QAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;QAC3C,uEAAuE;QACvE,qEAAqE;QACrE,+BAA+B;QAC/B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,QAAQ,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM;gBAC7C,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC;gBACrC,OAAO,EAAE,GAAG,IAAI,uCAAuC,MAAM,CAAC,QAAQ,aAAa;aACtF,CAAC,CAAC;YACH,SAAS;QACb,CAAC;QACD,OAAO,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC3D,OAAO,CAAC,IAAI,EAAE,aAAa,EAAE,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;QACpE,OAAO,CAAC,IAAI,EAAE,eAAe,EAAE,MAAM,CAAC,aAAa,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;QAC1E,OAAO,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC3D,OAAO,CAAC,IAAI,EAAE,aAAa,EAAE,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QAC1E,OAAO,CAAC,IAAI,EAAE,iBAAiB,EAAE,MAAM,CAAC,eAAe,EAAE,KAAK,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;QACtF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YACnD,OAAO,CAAC,IAAI,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACnF,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,CAAC,EAAE,CAAC;YAC3E,OAAO,CAAC,IAAI,EAAE,oBAAoB,IAAI,EAAE,EACpC,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACjF,CAAC;IACL,CAAC;IAED,OAAO,QAAQ,CAAC;AACpB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,QAAyB,EAAE,KAAK,GAAG,EAAE;IACtE,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,uEAAuE,CAAC,CAAC;QACnG,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACpE,IAAI,KAAK,CAAC,MAAM,GAAG,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,MAAM,GAAG,KAAK,OAAO,CAAC,CAAC;IAC7E,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,4EAA4E,CAAC,CAAC;QACxG,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACpE,IAAI,KAAK,CAAC,MAAM,GAAG,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,MAAM,GAAG,KAAK,OAAO,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,MAAM,CAAC,CAAyB,EAAE,CAAyB;IAChE,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACvE,CAAC;AAED,SAAS,QAAQ,CAAC,KAAiB;IAC/B,OAAO;QACH,GAAG,KAAK;QACR,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;QAC9B,iBAAiB,EAAE,UAAU,CAAC,KAAK,CAAC,iBAAiB,CAAC;KACzD,CAAC;AACN,CAAC;AAED,SAAS,UAAU,CAAC,MAA8B;IAC9C,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED;;;;;GAKG;AACH,SAAS,UAAU,CAAC,IAAY,EAAE,WAAoB;IAClD,IAAI,CAAC,IAAI;QAAE,OAAO,WAAW,CAAC;IAC9B,IAAI,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IACxC,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC7E,CAAC"}

package/packages/tools/lib/model/complete-model.d.ts

@@ -0,0 +1,52 @@
+import type { MEMOConfig } from './config.js';
+import type { MemoRelationship, MemoModel, MemoPackageDTO, ParseError } from './semantic.js';
+import { ElementIndex } from './element-index.js';
+import type { KindRegistry } from './kind-registry.js';
+import type { RelationshipRegistry } from './relationship-registry.js';
+import type { ProvenanceTable } from './source-provenance.js';
+/**
+ * Optional registries for dual-mode resolution.
+ * When provided, registries take precedence over config lookups.
+ * Falls back to config when a registry entry is not found.
+ */
+export interface BuilderRegistries {
+    /** KindRegistry populated from ontology SysML files */
+    kindRegistry?: KindRegistry;
+    /** RelationshipRegistry populated from ontology SysML files */
+    relationshipRegistry?: RelationshipRegistry;
+    /** Resolved source ownership; never infer this from a client-side path. */
+    provenance?: ProvenanceTable;
+}
+/** What `completeModel` needs from whichever builder extracted the elements and relationships. */
+export interface CompleteModelInput {
+    elements: ElementIndex;
+    relationships: MemoRelationship[];
+    errors: ParseError[];
+    config: MEMOConfig;
+    registries?: BuilderRegistries;
+    /** The declared packages. */
+    packages?: MemoPackageDTO[];
+    /** The 1-based line a relationship is declared on, for end-kind findings. */
+    lineOfRelationship?: (relationship: MemoRelationship) => number | undefined;
+}
+/**
+ * Finish a model once its elements and relationships exist: provenance,
+ * identities, end-kind checks, indexes, kinds inherited through local
+ * definitions. Stage 2's builder over API JSON (stage2/build-from-api.ts)
+ * calls it once it has extracted the elements and relationships.
+ */
+export declare function completeModel(input: CompleteModelInput): MemoModel;
+/** The kind a nested grouping package becomes, distinct from a namespace package. */
+export declare const ELEMENT_PACKAGE_KIND = "ElementPackage";
+/**
+ * The `ParseError.code` a relationship carries when an end's element does not
+ * conform to the kind the relationship's definition types that end with.
+ */
+export declare const RELATIONSHIP_END_KIND = "relationship-end-kind";
+/** The `ParseError.code` an `interface … connect` with an end naming nothing carries. */
+export declare const UNRESOLVED_INTERFACE_END = "unresolved-interface-end";
+/** The `ParseError.code` a `flow` or `message` with an end naming nothing carries. */
+export declare const UNRESOLVED_FLOW_END = "unresolved-flow-end";
+/** The `ParseError.code` a `bind` with an end naming nothing carries. */
+export declare const UNRESOLVED_BINDING_END = "unresolved-binding-end";
+//# sourceMappingURL=complete-model.d.ts.map

package/packages/tools/lib/model/complete-model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"complete-model.d.ts","sourceRoot":"","sources":["../../src/model/complete-model.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,KAAK,EAER,gBAAgB,EAChB,SAAS,EACT,cAAc,EACd,UAAU,EAEb,MAAM,eAAe,CAAC;AAGvB,OAAO,EACH,YAAY,EAEf,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAGvE,OAAO,KAAK,EAAE,eAAe,EAA6B,MAAM,wBAAwB,CAAC;AAGzF;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAC9B,uDAAuD;IACvD,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,+DAA+D;IAC/D,oBAAoB,CAAC,EAAE,oBAAoB,CAAC;IAC5C,2EAA2E;IAC3E,UAAU,CAAC,EAAE,eAAe,CAAC;CAChC;AAGD,kGAAkG;AAClG,MAAM,WAAW,kBAAkB;IAC/B,QAAQ,EAAE,YAAY,CAAC;IACvB,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,MAAM,EAAE,UAAU,CAAC;IACnB,UAAU,CAAC,EAAE,iBAAiB,CAAC;IAC/B,6BAA6B;IAC7B,QAAQ,CAAC,EAAE,cAAc,EAAE,CAAC;IAC5B,6EAA6E;IAC7E,kBAAkB,CAAC,EAAE,CAAC,YAAY,EAAE,gBAAgB,KAAK,MAAM,GAAG,SAAS,CAAC;CAC/E;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,kBAAkB,GAAG,SAAS,CAiMlE;AAkED,qFAAqF;AACrF,eAAO,MAAM,oBAAoB,mBAAmB,CAAC;AAErD;;;GAGG;AACH,eAAO,MAAM,qBAAqB,0BAA0B,CAAC;AAE7D,yFAAyF;AACzF,eAAO,MAAM,wBAAwB,6BAA6B,CAAC;AAEnE,sFAAsF;AACtF,eAAO,MAAM,mBAAmB,wBAAwB,CAAC;AAEzD,yEAAyE;AACzE,eAAO,MAAM,sBAAsB,2BAA2B,CAAC"}