musubix2 0.5.62 → 0.5.63

package/.claude/.musubix-managed

@@ -1 +1 @@
-{"generator":"musubix2","version":"0.5.62","timestamp":"2026-07-10T20:40:37.368Z"}
+{"generator":"musubix2","version":"0.5.63","timestamp":"2026-07-10T20:51:46.354Z"}

package/dist/assets/skills-manifest.json

@@ -1,6 +1,6 @@
 {
   "version": "1.0",
-  "generatedAt": "2026-07-10T20:40:37.396Z",
+  "generatedAt": "2026-07-10T20:51:46.385Z",
   "entries": [
     {
       "platform": "copilot",

package/dist/cli.js

@@ -2808,7 +2808,8 @@ var init_design = __esm({
         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");
+          const base = this.pascal(r.title) || this.pascal(sig.name) || "Component";
+          const compName = base + (/(service|manager|controller|repository)$/i.test(base) ? "" : "Service");
           return [{
             name: compName,
             responsibility: r.title || `Handle ${r.id}`,
@@ -2863,12 +2864,10 @@ var init_design = __esm({
         }
         return [...entities];
       }
+      /** PascalCase the ASCII words of a string; returns '' if none survive (e.g. a
+       * fully non-ASCII title), so callers can fall back to another name source. */
       pascal(text) {
-        const words = text.split(/[\s_\-,、]+/).filter(Boolean);
-        if (words.length === 0) {
-          return "Component";
-        }
-        return words.map((w) => w.replace(/[^A-Za-z0-9]/g, "")).filter(Boolean).map((w) => w.charAt(0).toUpperCase() + w.slice(1)).join("");
+        return text.split(/[\s_\-,、]+/).map((w) => w.replace(/[^A-Za-z0-9]/g, "")).filter(Boolean).map((w) => w.charAt(0).toUpperCase() + w.slice(1)).join("");
       }
       suggestInterfaces(reqs) {
         const interfaces = [];
@@ -12785,7 +12784,7 @@ var init_dist14 = __esm({
       mockSolve(smtScript) {
         const start = Date.now();
         try {
-          if (smtScript.includes("(assert false)")) {
+          if (smtScript.includes("(assert false)") || this.hasBooleanContradiction(smtScript)) {
             return {
               status: "unsat",
               time: Date.now() - start
@@ -12810,6 +12809,38 @@ var init_dist14 = __esm({
           };
         }
       }
+      /**
+       * Detect a basic Boolean contradiction without a real solver: an atom that is
+       * *unconditionally* forced both true and false. Covers the common EARS cases —
+       * `SHALL X` (`(=> true X)` or `(assert X)`) versus `SHALL NOT X`
+       * (`(not X)`) — so `verify` flags e.g. "grant access" / "not grant access".
+       * Conditional assertions (`(=> cond X)` with cond ≠ true) are not forcing and
+       * are ignored. This is a sound-but-incomplete check (real z3 covers the rest).
+       */
+      hasBooleanContradiction(smtScript) {
+        const forced = /* @__PURE__ */ new Map();
+        let contradiction = false;
+        const set = (atom, value) => {
+          if (forced.has(atom) && forced.get(atom) !== value) {
+            contradiction = true;
+          }
+          forced.set(atom, value);
+        };
+        for (const raw of smtScript.split("\n")) {
+          const line = raw.trim();
+          let m;
+          if (m = /^\(assert \(=> true \(not (\w+)\)\)\)$/.exec(line)) {
+            set(m[1], false);
+          } else if (m = /^\(assert \(=> true (\w+)\)\)$/.exec(line)) {
+            set(m[1], true);
+          } else if (m = /^\(assert \(not (\w+)\)\)$/.exec(line)) {
+            set(m[1], false);
+          } else if (m = /^\(assert (\w+)\)$/.exec(line)) {
+            set(m[1], true);
+          }
+        }
+        return contradiction;
+      }
     };
     PreconditionVerifier = class {
       async verify(requirement, converter, solver) {

package/dist/index.js

@@ -2808,7 +2808,8 @@ var init_design = __esm({
         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");
+          const base = this.pascal(r.title) || this.pascal(sig.name) || "Component";
+          const compName = base + (/(service|manager|controller|repository)$/i.test(base) ? "" : "Service");
           return [{
             name: compName,
             responsibility: r.title || `Handle ${r.id}`,
@@ -2863,12 +2864,10 @@ var init_design = __esm({
         }
         return [...entities];
       }
+      /** PascalCase the ASCII words of a string; returns '' if none survive (e.g. a
+       * fully non-ASCII title), so callers can fall back to another name source. */
       pascal(text) {
-        const words = text.split(/[\s_\-,、]+/).filter(Boolean);
-        if (words.length === 0) {
-          return "Component";
-        }
-        return words.map((w) => w.replace(/[^A-Za-z0-9]/g, "")).filter(Boolean).map((w) => w.charAt(0).toUpperCase() + w.slice(1)).join("");
+        return text.split(/[\s_\-,、]+/).map((w) => w.replace(/[^A-Za-z0-9]/g, "")).filter(Boolean).map((w) => w.charAt(0).toUpperCase() + w.slice(1)).join("");
       }
       suggestInterfaces(reqs) {
         const interfaces = [];
@@ -12785,7 +12784,7 @@ var init_dist14 = __esm({
       mockSolve(smtScript) {
         const start = Date.now();
         try {
-          if (smtScript.includes("(assert false)")) {
+          if (smtScript.includes("(assert false)") || this.hasBooleanContradiction(smtScript)) {
             return {
               status: "unsat",
               time: Date.now() - start
@@ -12810,6 +12809,38 @@ var init_dist14 = __esm({
           };
         }
       }
+      /**
+       * Detect a basic Boolean contradiction without a real solver: an atom that is
+       * *unconditionally* forced both true and false. Covers the common EARS cases —
+       * `SHALL X` (`(=> true X)` or `(assert X)`) versus `SHALL NOT X`
+       * (`(not X)`) — so `verify` flags e.g. "grant access" / "not grant access".
+       * Conditional assertions (`(=> cond X)` with cond ≠ true) are not forcing and
+       * are ignored. This is a sound-but-incomplete check (real z3 covers the rest).
+       */
+      hasBooleanContradiction(smtScript) {
+        const forced = /* @__PURE__ */ new Map();
+        let contradiction = false;
+        const set = (atom, value) => {
+          if (forced.has(atom) && forced.get(atom) !== value) {
+            contradiction = true;
+          }
+          forced.set(atom, value);
+        };
+        for (const raw of smtScript.split("\n")) {
+          const line = raw.trim();
+          let m;
+          if (m = /^\(assert \(=> true \(not (\w+)\)\)\)$/.exec(line)) {
+            set(m[1], false);
+          } else if (m = /^\(assert \(=> true (\w+)\)\)$/.exec(line)) {
+            set(m[1], true);
+          } else if (m = /^\(assert \(not (\w+)\)\)$/.exec(line)) {
+            set(m[1], false);
+          } else if (m = /^\(assert (\w+)\)$/.exec(line)) {
+            set(m[1], true);
+          }
+        }
+        return contradiction;
+      }
     };
     PreconditionVerifier = class {
       async verify(requirement, converter, solver) {

package/package.json

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