@sdd-method/verify-cli 5.1.1 → 5.2.1

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/validate/behaviour-store.js

@@ -86,6 +86,8 @@ const COMMIT_RE = /^[0-9a-f]{7,40}$/;
 // OpenSpec counts a task done when its box holds only `x`, either case, any spacing.
 const TASK_DONE_RE = /^\s*-\s*\[\s*[xX]\s*\]/m;
 const TARGET_HEADING_RE = /^##\s+(MODIFIED|REMOVED|RENAMED)\s+Requirements\b/m;
+// A tasks.md group headed by one word, `## <n>. <word>`, is that repository's work order (taskGroups).
+const GROUP_REPO = (repo) => `tasks.md has a work order for ${repo} and the record's work_orders do not; its evidence cannot be checked (a group heading of one word, \`## <n>. ${repo}\`, names the group's repository)`;
 async function exists(p) {
     try {
         await access(p);
@@ -516,6 +518,14 @@ export async function checkBehaviourStore(repo, options = {}) {
                 }
             }
         }
+        // The archive check reads a task group's repository from its heading; once the record declares work orders, a
+        // heading it would read as a repository the record lacks fails here, while the change can still be amended.
+        if (versionAtLeast(record?.schemaVersion, "1.1.0") && record?.status === "agreed" && record.workOrders.length > 0 && tasks !== null) {
+            const recorded = new Set(record.workOrders.map((w) => w.repo));
+            for (const g of taskGroups(tasks))
+                if (!recorded.has(g.repo))
+                    failures.push(`${record.file}: ${GROUP_REPO(g.repo)}`);
+        }
         // A test plan's kinds (M-ADR 0223 §4.4 as amended): changed and repaired scenarios go red then green, carried ones stay green.
         if (versionAtLeast(record?.schemaVersion, "1.1.0") && record?.status === "agreed") {
             const plan = await readText(join(repo, dir, "test-plan.md"));
@@ -717,7 +727,7 @@ export async function checkBehaviourStore(repo, options = {}) {
         const recorded = new Set(record.workOrders.map((w) => w.repo));
         for (const g of groups)
             if (!recorded.has(g.repo))
-                failures.push(`${record.file}: tasks.md has a work order for ${g.repo} and the record's work_orders do not; its evidence cannot be checked`);
+                failures.push(`${record.file}: ${GROUP_REPO(g.repo)}`);
         // Requirement names are unique within a feature, not across a change: a work order names `<feature>::<name>`,
         // or a bare name only one feature in the change has (schema 5.0.0). An ambiguous bare name implements nothing.
         const built = [];

package/dist/maintain-version.json

@@ -1,4 +1,4 @@
 {
-  "version": "0.15.1",
-  "built_against_sdd_cli": "5.1.1"
+  "version": "0.16.1",
+  "built_against_sdd_cli": "5.2.1"
 }

package/dist/verify-version.json

@@ -1,4 +1,4 @@
 {
-  "version": "5.1.1",
-  "built_against_sdd_cli": "5.1.1"
+  "version": "5.2.1",
+  "built_against_sdd_cli": "5.2.1"
 }

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@sdd-method/verify-cli",
-  "version": "5.1.1",
-  "sddCliVersion": "5.1.1",
+  "version": "5.2.1",
+  "sddCliVersion": "5.2.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",