@sdd-method/verify-cli 5.1.0 → 5.2.0

package/dist/lib/catalogue/canonical-schema.yaml

@@ -721,7 +721,7 @@ enums:
     - value: zero-or-one
     - value: one-or-more
     - value: zero-or-more
-    description: "How many entities one end of a relationship holds for one entity at the other end (M-ADR 0230 §4.3): a Mermaid ER end marker (|| exactly one, |o or o| zero or one, }| or |{ one or more, }o or o{ zero or more). A TypeQL relationship is zero-or-more at both ends, because the subset admits no participation cardinality; a role's @card is a cardinality invariant (domain_invariants). Replaced entity_relationship_cardinality in schema 6.0.0."
+    description: "How many entities one end of a relationship holds for one entity at the other end (M-ADR 0230 §4.3): a Mermaid ER end marker (|| exactly one, |o or o| zero or one, }| or |{ one or more, }o or o{ zero or more). A TypeQL relationship's end is the other player's participation: B plays R:b @card(1..1) makes A's end exactly-one, @card(0..1) zero-or-one, and an unannotated plays zero-or-more; a role's @card is a cardinality invariant (domain_invariants). Replaced entity_relationship_cardinality in schema 6.0.0."
   domain_invariant_kind:
     values:
     - value: unique

package/dist/lib/metamodel/tql-subset-parser.js

@@ -175,11 +175,10 @@ export function parseTypes(text, fileLabel = "catalogue-schema.tql", options = {
                 if (decl.plays.has(w[1]))
                     throw new ParseError(`${where}: ${lab} plays ${w[1]} twice`);
                 const ann = parseAnnotations(w.slice(2), where);
-                // A plays clause's cardinality constrains participation, which the relational projection has no place for:
-                // refused, so a constraint the model gained can never be dropped by the projection with the gate green.
-                if (ann.key || ann.required || ann.multi || ann.optional) {
-                    throw new ParseError(`${where}: ${lab} plays ${w[1]} with a cardinality annotation; participation cardinality cannot be projected onto the catalogue schema, so it is not admitted`);
-                }
+                // A plays clause's cardinality constrains participation, and is kept: a reader that can hold it does, and a
+                // projection that cannot refuses it there (schema-projection), never here, so no reader drops it silently.
+                if (ann.key)
+                    throw new ParseError(`${where}: ${lab} plays ${w[1]} @key; a role is not a key`);
                 decl.plays.set(w[1], ann);
             }
             else if (head === "relates") {

package/dist/lib/structure/intended.js

@@ -8,6 +8,8 @@
 //   a source-built row with a change_id    that change
 //   a contract row                         the change whose record agrees its file as new
 //   a row naming such a contract           that change
+//   a row built from the change's files    that change (its spec_path lies in openspec/changes/<change>/, as a
+//                                          requirement the change ADDS does)
 // Pure but for reading agreement records.
 import { readdir, readFile } from "node:fs/promises";
 import { join } from "node:path";
@@ -125,7 +127,7 @@ export class Additions {
                     out.add(k.slice(CONTRACTS.length + 1));
         return out;
     }
-    /** The open changes a source-built row belongs to: its change_id, or a new contract it is or names. */
+    /** The open changes a source-built row belongs to: its change_id, the change whose files it is built from, or a new contract it is or names. */
     ownersOf(schema, catalogue, row, sddId) {
         const out = new Set();
         const changeId = cell(row["change_id"]);
@@ -134,6 +136,9 @@ export class Additions {
             if (this.open.has(name))
                 out.add(name);
         }
+        const from = /^openspec\/changes\/([^/]+)\//.exec(cell(row["spec_path"]))?.[1];
+        if (from !== undefined && this.open.has(from))
+            out.add(from);
         const contractOwner = (id) => {
             const by = this.adder.get(elementKey(CONTRACTS, id));
             if (by !== undefined)

package/dist/maintain-version.json

@@ -1,4 +1,4 @@
 {
-  "version": "0.15.0",
-  "built_against_sdd_cli": "5.1.0"
+  "version": "0.16.0",
+  "built_against_sdd_cli": "5.2.0"
 }

package/dist/verify-version.json

@@ -1,4 +1,4 @@
 {
-  "version": "5.1.0",
-  "built_against_sdd_cli": "5.1.0"
+  "version": "5.2.0",
+  "built_against_sdd_cli": "5.2.0"
 }

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@sdd-method/verify-cli",
-  "version": "5.1.0",
-  "sddCliVersion": "5.1.0",
+  "version": "5.2.0",
+  "sddCliVersion": "5.2.0",
   "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",