musubix2 0.5.61 → 0.5.62

package/.claude/.musubix-managed

@@ -1 +1 @@
-{"generator":"musubix2","version":"0.5.61","timestamp":"2026-07-10T13:50:25.916Z"}
+{"generator":"musubix2","version":"0.5.62","timestamp":"2026-07-10T20:40:37.368Z"}

package/dist/assets/skills-manifest.json

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

package/dist/cli.js

@@ -12588,7 +12588,7 @@ var init_dist14 = __esm({
             warnings
           };
         }
-        const variables = extractVariables(requirement.text);
+        const symbols = /* @__PURE__ */ new Set([actionVar]);
         const negated = /\bSHALL\s+NOT\b/i.test(requirement.text);
         const actionExpr = negated ? `(not ${actionVar})` : actionVar;
         let assertions;
@@ -12598,6 +12598,7 @@ var init_dist14 = __esm({
             break;
           case "event-driven": {
             const triggerVar = requirement.trigger ? sanitizeName(requirement.trigger) : "trigger";
+            symbols.add(triggerVar);
             assertions = [`(assert (=> ${triggerVar} ${actionExpr}))`];
             if (!requirement.trigger) {
               warnings.push('No trigger specified; using default "trigger"');
@@ -12606,6 +12607,7 @@ var init_dist14 = __esm({
           }
           case "state-driven": {
             const condVar = requirement.condition ? sanitizeName(requirement.condition) : "condition";
+            symbols.add(condVar);
             assertions = [`(assert (=> ${condVar} ${actionExpr}))`];
             if (!requirement.condition) {
               warnings.push('No condition specified; using default "condition"');
@@ -12614,13 +12616,16 @@ var init_dist14 = __esm({
           }
           case "unwanted":
             if (requirement.condition) {
-              assertions = [`(assert (=> ${sanitizeName(requirement.condition)} ${actionExpr}))`];
+              const condVar = sanitizeName(requirement.condition);
+              symbols.add(condVar);
+              assertions = [`(assert (=> ${condVar} ${actionExpr}))`];
             } else {
               assertions = [`(assert ${actionExpr})`];
             }
             break;
           case "optional": {
             const featureVar = requirement.trigger ? sanitizeName(requirement.trigger) : "feature_enabled";
+            symbols.add(featureVar);
             assertions = [`(assert (=> ${featureVar} ${actionExpr}))`];
             if (!requirement.trigger) {
               warnings.push('No feature trigger specified; using default "feature_enabled"');
@@ -12630,6 +12635,8 @@ var init_dist14 = __esm({
           case "complex": {
             const condVar = requirement.condition ? sanitizeName(requirement.condition) : "condition";
             const triggerVar = requirement.trigger ? sanitizeName(requirement.trigger) : "trigger";
+            symbols.add(condVar);
+            symbols.add(triggerVar);
             assertions = [`(assert (=> (and ${condVar} ${triggerVar}) ${actionExpr}))`];
             if (!requirement.condition) {
               warnings.push('No condition specified; using default "condition"');
@@ -12641,6 +12648,7 @@ var init_dist14 = __esm({
           }
         }
         const id = makeFormulaId(requirement.id);
+        const variables = [...symbols].map((name) => ({ name, sort: "Bool" }));
         const formula = {
           id,
           requirementId: requirement.id,

package/dist/index.js

@@ -12588,7 +12588,7 @@ var init_dist14 = __esm({
             warnings
           };
         }
-        const variables = extractVariables(requirement.text);
+        const symbols = /* @__PURE__ */ new Set([actionVar]);
         const negated = /\bSHALL\s+NOT\b/i.test(requirement.text);
         const actionExpr = negated ? `(not ${actionVar})` : actionVar;
         let assertions;
@@ -12598,6 +12598,7 @@ var init_dist14 = __esm({
             break;
           case "event-driven": {
             const triggerVar = requirement.trigger ? sanitizeName(requirement.trigger) : "trigger";
+            symbols.add(triggerVar);
             assertions = [`(assert (=> ${triggerVar} ${actionExpr}))`];
             if (!requirement.trigger) {
               warnings.push('No trigger specified; using default "trigger"');
@@ -12606,6 +12607,7 @@ var init_dist14 = __esm({
           }
           case "state-driven": {
             const condVar = requirement.condition ? sanitizeName(requirement.condition) : "condition";
+            symbols.add(condVar);
             assertions = [`(assert (=> ${condVar} ${actionExpr}))`];
             if (!requirement.condition) {
               warnings.push('No condition specified; using default "condition"');
@@ -12614,13 +12616,16 @@ var init_dist14 = __esm({
           }
           case "unwanted":
             if (requirement.condition) {
-              assertions = [`(assert (=> ${sanitizeName(requirement.condition)} ${actionExpr}))`];
+              const condVar = sanitizeName(requirement.condition);
+              symbols.add(condVar);
+              assertions = [`(assert (=> ${condVar} ${actionExpr}))`];
             } else {
               assertions = [`(assert ${actionExpr})`];
             }
             break;
           case "optional": {
             const featureVar = requirement.trigger ? sanitizeName(requirement.trigger) : "feature_enabled";
+            symbols.add(featureVar);
             assertions = [`(assert (=> ${featureVar} ${actionExpr}))`];
             if (!requirement.trigger) {
               warnings.push('No feature trigger specified; using default "feature_enabled"');
@@ -12630,6 +12635,8 @@ var init_dist14 = __esm({
           case "complex": {
             const condVar = requirement.condition ? sanitizeName(requirement.condition) : "condition";
             const triggerVar = requirement.trigger ? sanitizeName(requirement.trigger) : "trigger";
+            symbols.add(condVar);
+            symbols.add(triggerVar);
             assertions = [`(assert (=> (and ${condVar} ${triggerVar}) ${actionExpr}))`];
             if (!requirement.condition) {
               warnings.push('No condition specified; using default "condition"');
@@ -12641,6 +12648,7 @@ var init_dist14 = __esm({
           }
         }
         const id = makeFormulaId(requirement.id);
+        const variables = [...symbols].map((name) => ({ name, sort: "Bool" }));
         const formula = {
           id,
           requirementId: requirement.id,

package/package.json

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