@sdd-method/verify-cli 5.4.0 → 5.4.1

package/dist/lib/structure/view.js

@@ -90,13 +90,15 @@ function find(view, catalogue, column, value) {
     return undefined;
 }
 /** The element's references: each non-external foreign key with a value. */
-export function referencesOf(schema, e) {
+export function referencesOf(schema, e, profile = "") {
     const cat = catalogueOf(schema, e.catalogue);
     if (!cat)
         return [];
     const out = [];
     for (const fk of cat.foreignKeys) {
-        if (fk.external)
+        // An external key names another SDD's element; so does one external for this SDD's profile (an application or
+        // integration model naming a data item the platform model owns), as the FK validator and the graph projection read it.
+        if (fk.external || (profile !== "" && (fk.externalForProfiles ?? []).includes(profile)))
             continue;
         const v = e.columns[fk.column];
         if (v === undefined || v === "")
@@ -121,7 +123,7 @@ function naturalKey(cat, e) {
  * catalogue of another class, against its built rows), no cycle through a self-reference, natural keys unique, and
  * domain invariants naming their entity's own attributes and relationships.
  */
-export function validateView(schema, view, built, problems, unresolved, addedBy = () => undefined) {
+export function validateView(schema, view, built, problems, unresolved, addedBy = () => undefined, profile = "") {
     // A reference to an open change's addition, from outside that change and its dependants (§4.11 proof 3).
     const outside = (catalogue, id) => {
         const by = addedBy(catalogue, id);
@@ -135,7 +137,7 @@ export function validateView(schema, view, built, problems, unresolved, addedBy
             problems.push(...shape);
             if (!cat || cat.sourceOfTruth !== STRUCTURE)
                 continue;
-            for (const r of referencesOf(schema, e)) {
+            for (const r of referencesOf(schema, e, profile)) {
                 if (r.structural) {
                     if (!find(view, r.catalogue, r.targetColumn, r.value))
                         problems.push(`${e.file}: ${elementKey(catalogue, e.id)}: ${r.column} ${JSON.stringify(r.value)} names no ${r.catalogue} element in this view (${elementKey(r.catalogue, r.value)})${r.targetColumn === "id" ? outside(r.catalogue, r.value) : ""}`);
@@ -218,7 +220,7 @@ export function validateView(schema, view, built, problems, unresolved, addedBy
  * A base revision that no longer matches the current element is reported as moved: the change is revalidated.
  * `addedElsewhere` holds the elements other open changes add, for a reference into one of them.
  */
-export function validateDeltas(schema, current, deltas, addedElsewhere, problems) {
+export function validateDeltas(schema, current, deltas, addedElsewhere, problems, profile = "") {
     const ownAdded = new Set();
     const dependsOn = new Set();
     for (const d of deltas) {
@@ -281,7 +283,7 @@ export function validateDeltas(schema, current, deltas, addedElsewhere, problems
         }
         // Reads: every element an added or modified element references.
         for (const e of [...d.added, ...d.modified]) {
-            for (const r of referencesOf(schema, e)) {
+            for (const r of referencesOf(schema, e, profile)) {
                 if (!r.structural)
                     continue;
                 const target = r.targetColumn === "id" ? r.value : find(current, r.catalogue, r.targetColumn, r.value)?.id;

package/dist/lib/validate/structural-model.js

@@ -162,7 +162,7 @@ export async function checkStructuralModel(repo, options = {}) {
     // The current view.
     const unresolved = new Set();
     const currentProblems = [];
-    validateView(schema, view, builtIn(built, allNew, new Set()), currentProblems, unresolved, addedBy);
+    validateView(schema, view, builtIn(built, allNew, new Set()), currentProblems, unresolved, addedBy, profile);
     problems.push(...currentProblems);
     const elementCount = [...view.values()].reduce((n, m) => n + m.size, 0);
     lines.push(files === null ? `model: none (${STRUCTURE_DIR}/ absent)` : `model: ${files.length} partition file(s), ${elementCount} element(s) in ${view.size} catalogue(s)`);
@@ -211,7 +211,7 @@ export async function checkStructuralModel(repo, options = {}) {
         if (s.noOp && s.deltas.length > 0)
             problems.push(`${s.noOp.file}: a no-op claim beside ${s.deltas.length} partition delta(s); state one or the other`);
         const elsewhere = new Map([...addedByChange].filter(([, c]) => c !== s.change));
-        validateDeltas(schema, view, s.deltas, elsewhere, problems);
+        validateDeltas(schema, view, s.deltas, elsewhere, problems, profile);
         // A behaviour delta for a feature the model does not hold needs that feature added here.
         const adds = new Set(s.deltas.flatMap((d) => d.added.filter((e) => e.catalogue === "features").map((e) => e.id)));
         for (const feature of await subdirs(join(repo, dir, "specs"))) {
@@ -238,7 +238,7 @@ export async function checkStructuralModel(repo, options = {}) {
         if (oc.structure.deltas.length === 0)
             continue;
         const at = [];
-        validateView(schema, viewAt(view, name, open), builtIn(built, allNew, additions.contracts(closure(name, open))), at, new Set(), addedBy);
+        validateView(schema, viewAt(view, name, open), builtIn(built, allNew, additions.contracts(closure(name, open))), at, new Set(), addedBy, profile);
         for (const p of at) {
             if (known.has(p))
                 continue;
@@ -250,7 +250,7 @@ export async function checkStructuralModel(repo, options = {}) {
     const agreed = agreedOrder(open);
     if (agreed.length > 0) {
         const inIntended = [];
-        validateView(schema, intended(view, open), builtIn(built, allNew, additions.contracts(agreed)), inIntended, new Set(), addedBy);
+        validateView(schema, intended(view, open), builtIn(built, allNew, additions.contracts(agreed)), inIntended, new Set(), addedBy, profile);
         for (const p of inIntended) {
             if (known.has(p) || atAgreed.has(p))
                 continue;

package/dist/maintain-version.json

@@ -1,4 +1,4 @@
 {
-  "version": "0.18.0",
-  "built_against_sdd_cli": "5.4.0"
+  "version": "0.18.1",
+  "built_against_sdd_cli": "5.4.1"
 }

package/dist/verify-version.json

@@ -1,4 +1,4 @@
 {
-  "version": "5.4.0",
-  "built_against_sdd_cli": "5.4.0"
+  "version": "5.4.1",
+  "built_against_sdd_cli": "5.4.1"
 }

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@sdd-method/verify-cli",
-  "version": "5.4.0",
-  "sddCliVersion": "5.4.0",
+  "version": "5.4.1",
+  "sddCliVersion": "5.4.1",
   "description": "Verify an SDD repository without changing it — validate, list, and read-only catalogue and pack checks. Ships only the code those verbs reach; it cannot write to the repository it is pointed at. Authoring and maintenance are in @sdd-method/sdd-cli.",
   "license": "UNLICENSED",
   "type": "module",