musubix2 0.5.51 → 0.5.53

package/.claude/.musubix-managed

@@ -1 +1 @@
-{"generator":"musubix2","version":"0.5.51","timestamp":"2026-07-10T07:05:35.431Z"}
+{"generator":"musubix2","version":"0.5.53","timestamp":"2026-07-10T07:35:11.572Z"}

package/dist/assets/skills-manifest.json

@@ -1,6 +1,6 @@
 {
   "version": "1.0",
-  "generatedAt": "2026-07-10T07:05:35.462Z",
+  "generatedAt": "2026-07-10T07:35:11.598Z",
   "entries": [
     {
       "platform": "copilot",

package/dist/cli.js

@@ -2678,6 +2678,7 @@ var init_design = __esm({
       "before",
       "after",
       "with",
+      "within",
       "of",
       "to",
       "in",
@@ -2694,11 +2695,18 @@ var init_design = __esm({
       "about",
       "over",
       "under",
+      "during",
+      "upon",
       "one",
       "two",
       "three",
       "four",
-      "five"
+      "five",
+      "six",
+      "seven",
+      "eight",
+      "nine",
+      "ten"
     ]);
     DesignGenerator = class {
       counter = 0;
@@ -2707,7 +2715,7 @@ var init_design = __esm({
         const docId = `DES-DOC-${String(this.counter).padStart(3, "0")}`;
         const groups = this.groupRequirements(requirements);
         const sections = groups.map((group, idx) => {
-          const components = this.deriveComponents(group.requirements);
+          const components = this.deriveComponents(group.requirements, group.domain);
           return {
             id: `${docId}-SEC-${String(idx + 1).padStart(3, "0")}`,
             title: group.title,
@@ -2770,6 +2778,7 @@ var init_design = __esm({
         }
         return Array.from(groups.entries()).map(([prefix, requirements]) => ({
           title: `${prefix} Design Section`,
+          domain: prefix.replace(/^REQ-/, ""),
           requirements
         }));
       }
@@ -2795,17 +2804,32 @@ var init_design = __esm({
           return `${r.id}: ${op}${r.title ? ` \u2014 ${r.title}` : ""}`;
         });
       }
-      deriveComponents(reqs) {
-        return reqs.map((r) => {
+      deriveComponents(reqs, domain) {
+        if (reqs.length === 1) {
+          const r = reqs[0];
           const sig = deriveMethodSignature(r.text, r.title);
           const compName = this.pascal(r.title || sig.name) + (/(service|manager|controller|repository)$/i.test(r.title) ? "" : "Service");
-          return {
+          return [{
             name: compName,
             responsibility: r.title || `Handle ${r.id}`,
             methods: [sig],
             requirementIds: [r.id]
-          };
+          }];
+        }
+        const seen = /* @__PURE__ */ new Map();
+        const methods = reqs.map((r) => {
+          const sig = deriveMethodSignature(r.text, r.title);
+          const count = seen.get(sig.name) ?? 0;
+          seen.set(sig.name, count + 1);
+          return count === 0 ? sig : { ...sig, name: `${sig.name}${count + 1}` };
         });
+        return [{
+          // Normalise an all-caps domain code (PAY, LEDGER) to Title case.
+          name: `${this.pascal(domain.toLowerCase())}Service`,
+          responsibility: `${domain} domain \u2014 ${reqs.length} operations`,
+          methods,
+          requirementIds: reqs.map((r) => r.id)
+        }];
       }
       deriveDataEntities(reqs) {
         const entities = /* @__PURE__ */ new Set();
@@ -12432,14 +12456,16 @@ var init_dist14 = __esm({
           };
         }
         const variables = extractVariables(requirement.text);
+        const negated = /\bSHALL\s+NOT\b/i.test(requirement.text);
+        const actionExpr = negated ? `(not ${actionVar})` : actionVar;
         let assertions;
         switch (requirement.pattern) {
           case "ubiquitous":
-            assertions = [`(assert (=> true ${actionVar}))`];
+            assertions = [`(assert (=> true ${actionExpr}))`];
             break;
           case "event-driven": {
             const triggerVar = requirement.trigger ? sanitizeName(requirement.trigger) : "trigger";
-            assertions = [`(assert (=> ${triggerVar} ${actionVar}))`];
+            assertions = [`(assert (=> ${triggerVar} ${actionExpr}))`];
             if (!requirement.trigger) {
               warnings.push('No trigger specified; using default "trigger"');
             }
@@ -12447,7 +12473,7 @@ var init_dist14 = __esm({
           }
           case "state-driven": {
             const condVar = requirement.condition ? sanitizeName(requirement.condition) : "condition";
-            assertions = [`(assert (=> ${condVar} ${actionVar}))`];
+            assertions = [`(assert (=> ${condVar} ${actionExpr}))`];
             if (!requirement.condition) {
               warnings.push('No condition specified; using default "condition"');
             }
@@ -12455,14 +12481,14 @@ var init_dist14 = __esm({
           }
           case "unwanted":
             if (requirement.condition) {
-              assertions = [`(assert (=> ${sanitizeName(requirement.condition)} ${actionVar}))`];
+              assertions = [`(assert (=> ${sanitizeName(requirement.condition)} ${actionExpr}))`];
             } else {
-              assertions = [`(assert (not ${actionVar}))`];
+              assertions = [`(assert ${actionExpr})`];
             }
             break;
           case "optional": {
             const featureVar = requirement.trigger ? sanitizeName(requirement.trigger) : "feature_enabled";
-            assertions = [`(assert (=> ${featureVar} ${actionVar}))`];
+            assertions = [`(assert (=> ${featureVar} ${actionExpr}))`];
             if (!requirement.trigger) {
               warnings.push('No feature trigger specified; using default "feature_enabled"');
             }
@@ -12471,7 +12497,7 @@ var init_dist14 = __esm({
           case "complex": {
             const condVar = requirement.condition ? sanitizeName(requirement.condition) : "condition";
             const triggerVar = requirement.trigger ? sanitizeName(requirement.trigger) : "trigger";
-            assertions = [`(assert (=> (and ${condVar} ${triggerVar}) ${actionVar}))`];
+            assertions = [`(assert (=> (and ${condVar} ${triggerVar}) ${actionExpr}))`];
             if (!requirement.condition) {
               warnings.push('No condition specified; using default "condition"');
             }

package/dist/index.js

@@ -2678,6 +2678,7 @@ var init_design = __esm({
       "before",
       "after",
       "with",
+      "within",
       "of",
       "to",
       "in",
@@ -2694,11 +2695,18 @@ var init_design = __esm({
       "about",
       "over",
       "under",
+      "during",
+      "upon",
       "one",
       "two",
       "three",
       "four",
-      "five"
+      "five",
+      "six",
+      "seven",
+      "eight",
+      "nine",
+      "ten"
     ]);
     DesignGenerator = class {
       counter = 0;
@@ -2707,7 +2715,7 @@ var init_design = __esm({
         const docId = `DES-DOC-${String(this.counter).padStart(3, "0")}`;
         const groups = this.groupRequirements(requirements);
         const sections = groups.map((group, idx) => {
-          const components = this.deriveComponents(group.requirements);
+          const components = this.deriveComponents(group.requirements, group.domain);
           return {
             id: `${docId}-SEC-${String(idx + 1).padStart(3, "0")}`,
             title: group.title,
@@ -2770,6 +2778,7 @@ var init_design = __esm({
         }
         return Array.from(groups.entries()).map(([prefix, requirements]) => ({
           title: `${prefix} Design Section`,
+          domain: prefix.replace(/^REQ-/, ""),
           requirements
         }));
       }
@@ -2795,17 +2804,32 @@ var init_design = __esm({
           return `${r.id}: ${op}${r.title ? ` \u2014 ${r.title}` : ""}`;
         });
       }
-      deriveComponents(reqs) {
-        return reqs.map((r) => {
+      deriveComponents(reqs, domain) {
+        if (reqs.length === 1) {
+          const r = reqs[0];
           const sig = deriveMethodSignature(r.text, r.title);
           const compName = this.pascal(r.title || sig.name) + (/(service|manager|controller|repository)$/i.test(r.title) ? "" : "Service");
-          return {
+          return [{
             name: compName,
             responsibility: r.title || `Handle ${r.id}`,
             methods: [sig],
             requirementIds: [r.id]
-          };
+          }];
+        }
+        const seen = /* @__PURE__ */ new Map();
+        const methods = reqs.map((r) => {
+          const sig = deriveMethodSignature(r.text, r.title);
+          const count = seen.get(sig.name) ?? 0;
+          seen.set(sig.name, count + 1);
+          return count === 0 ? sig : { ...sig, name: `${sig.name}${count + 1}` };
         });
+        return [{
+          // Normalise an all-caps domain code (PAY, LEDGER) to Title case.
+          name: `${this.pascal(domain.toLowerCase())}Service`,
+          responsibility: `${domain} domain \u2014 ${reqs.length} operations`,
+          methods,
+          requirementIds: reqs.map((r) => r.id)
+        }];
       }
       deriveDataEntities(reqs) {
         const entities = /* @__PURE__ */ new Set();
@@ -12432,14 +12456,16 @@ var init_dist14 = __esm({
           };
         }
         const variables = extractVariables(requirement.text);
+        const negated = /\bSHALL\s+NOT\b/i.test(requirement.text);
+        const actionExpr = negated ? `(not ${actionVar})` : actionVar;
         let assertions;
         switch (requirement.pattern) {
           case "ubiquitous":
-            assertions = [`(assert (=> true ${actionVar}))`];
+            assertions = [`(assert (=> true ${actionExpr}))`];
             break;
           case "event-driven": {
             const triggerVar = requirement.trigger ? sanitizeName(requirement.trigger) : "trigger";
-            assertions = [`(assert (=> ${triggerVar} ${actionVar}))`];
+            assertions = [`(assert (=> ${triggerVar} ${actionExpr}))`];
             if (!requirement.trigger) {
               warnings.push('No trigger specified; using default "trigger"');
             }
@@ -12447,7 +12473,7 @@ var init_dist14 = __esm({
           }
           case "state-driven": {
             const condVar = requirement.condition ? sanitizeName(requirement.condition) : "condition";
-            assertions = [`(assert (=> ${condVar} ${actionVar}))`];
+            assertions = [`(assert (=> ${condVar} ${actionExpr}))`];
             if (!requirement.condition) {
               warnings.push('No condition specified; using default "condition"');
             }
@@ -12455,14 +12481,14 @@ var init_dist14 = __esm({
           }
           case "unwanted":
             if (requirement.condition) {
-              assertions = [`(assert (=> ${sanitizeName(requirement.condition)} ${actionVar}))`];
+              assertions = [`(assert (=> ${sanitizeName(requirement.condition)} ${actionExpr}))`];
             } else {
-              assertions = [`(assert (not ${actionVar}))`];
+              assertions = [`(assert ${actionExpr})`];
             }
             break;
           case "optional": {
             const featureVar = requirement.trigger ? sanitizeName(requirement.trigger) : "feature_enabled";
-            assertions = [`(assert (=> ${featureVar} ${actionVar}))`];
+            assertions = [`(assert (=> ${featureVar} ${actionExpr}))`];
             if (!requirement.trigger) {
               warnings.push('No feature trigger specified; using default "feature_enabled"');
             }
@@ -12471,7 +12497,7 @@ var init_dist14 = __esm({
           case "complex": {
             const condVar = requirement.condition ? sanitizeName(requirement.condition) : "condition";
             const triggerVar = requirement.trigger ? sanitizeName(requirement.trigger) : "trigger";
-            assertions = [`(assert (=> (and ${condVar} ${triggerVar}) ${actionVar}))`];
+            assertions = [`(assert (=> (and ${condVar} ${triggerVar}) ${actionExpr}))`];
             if (!requirement.condition) {
               warnings.push('No condition specified; using default "condition"');
             }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "musubix2",
-  "version": "0.5.51",
+  "version": "0.5.53",
   "description": "MUSUBIX2 — Specification Driven Development System",
   "type": "module",
   "main": "./dist/index.js",