@sdd-method/author-cli 0.17.0 → 0.17.1

package/dist/lib/structure/archive.js

@@ -65,9 +65,9 @@ async function defaultBehaviourFindings(sddPath, archiveDir) {
     const r = await checkBehaviourStore(sddPath);
     return r.stdout.split("\n").filter((l) => l.startsWith("[FAIL]") && l.includes(archiveDir));
 }
-function viewProblems(schema, view) {
+function viewProblems(schema, view, profile) {
     const out = [];
-    validateView(schema, view, () => null, out, new Set());
+    validateView(schema, view, () => null, out, new Set(), () => undefined, profile);
     return new Set(out);
 }
 /** Does the effect record hold at `commit`? Each added or modified element at its target, each removed one absent. */
@@ -98,6 +98,11 @@ async function verifyAt(root, relSdd, commit, effects) {
         await rm(scratch, { recursive: true, force: true });
     }
 }
+/** The SDD's profile from its manifest, "" when absent or unreadable. */
+async function sddProfile(sddPath) {
+    const text = await readFile(join(sddPath, ".sdd", "sdd-manifest.yaml"), "utf8").catch(() => "");
+    return /^profile:\s*["']?([A-Za-z0-9-]+)["']?\s*$/m.exec(text)?.[1] ?? "";
+}
 export async function archiveChange(o) {
     const say = (s) => o.write(`${s}\n`);
     const refuse = (s) => {
@@ -241,6 +246,7 @@ async function publish(o, root, relSdd, schema, s, changeRel, mode) {
         say(`[FAIL] change archive ${o.change}: ${x}`);
         return 1;
     };
+    const profile = await sddProfile(o.sddPath);
     const storeRel = join(relSdd, "openspec");
     const viewsRel = join(relSdd, "docs", "structure");
     const dirty = await git(root, "status", "--porcelain", "--", storeRel, viewsRel);
@@ -250,9 +256,9 @@ async function publish(o, root, relSdd, schema, s, changeRel, mode) {
     // §4.5 again, against the model as it now is.
     const problems = [];
     const current = viewOf((await loadModel(o.sddPath, problems)) ?? [], problems);
-    const before = viewProblems(schema, current);
+    const before = viewProblems(schema, current, profile);
     const deltaProblems = [];
-    validateDeltas(schema, current, s.deltas, new Map(), deltaProblems);
+    validateDeltas(schema, current, s.deltas, new Map(), deltaProblems, profile);
     if (deltaProblems.length > 0)
         return refuse(`its structural deltas no longer apply to the model as it stands:\n  ${deltaProblems.join("\n  ")}`);
     const effects = effectsOf(s, current);
@@ -280,7 +286,7 @@ async function publish(o, root, relSdd, schema, s, changeRel, mode) {
         // 2. Validate the candidate as a whole.
         const cp = [];
         const candidate = viewOf((await loadModel(scratchSdd, cp)) ?? [], cp);
-        const after = viewProblems(schema, candidate);
+        const after = viewProblems(schema, candidate, profile);
         const worse = [...cp, ...[...after].filter((p) => !before.has(p))];
         if (worse.length > 0)
             return refuse(`the model as it would stand fails where it did not:\n  ${worse.join("\n  ")}`);

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/author-cli",
-  "version": "0.17.0",
-  "sddCliVersion": "5.4.0",
+  "version": "0.17.1",
+  "sddCliVersion": "5.4.1",
   "description": "Re-author one SDD's content — scaffold, plan, contracts, conformance, api-surface, snapshots, briefings, catalogue check — plus every read-only verify verb. Ships only the code those verbs reach; it cannot sync the baseline or rebuild the catalogues. Maintenance is in @sdd-method/maintain-cli, administration in @sdd-method/sdd-cli.",
   "license": "UNLICENSED",
   "type": "module",