dotdog 0.4.1 → 0.5.0

package/dist/cli.js

@@ -3125,7 +3125,7 @@ function E(dag) {
   const seen = new Set;
   for (const node of N(dag)) {
     for (const e of nodeEdges(node)) {
-      const src = isV2(node) ? String(node[0]) : node.i || node.id || "";
+      const src = nodeId(node);
       const key = `${src}→${e.t}:${e.v}`;
       if (!seen.has(key)) {
         seen.add(key);
@@ -3136,8 +3136,14 @@ function E(dag) {
   return edges;
 }
 var P = (dag) => dag.p || dag.project || "";
-var ni = (n) => isV2(n) ? String(n[0]) : n.i || n.id || "";
+var nodeId = (n) => isV2(n) ? String(n[0]) : n.i || n.id || "";
+var nodeName = (n) => isV2(n) ? n[1] || String(n[0]) : n.i || n.id || n.name || "";
+function nodeMatches(n, value) {
+  const q = (value || "").toLowerCase();
+  return nodeId(n).toLowerCase() === q || nodeName(n).toLowerCase() === q;
+}
 var nt = (n) => isV2(n) ? n[2] || "" : n.t || n.type || "";
+var nd = (n) => isV2(n) ? n[3] || "" : n.d || n.description || "";
 function np(n) {
   if (isV2(n)) {
     const flat = n[4] || [];
@@ -3177,7 +3183,7 @@ function serve(dir = ".") {
         jsonrpc: "2.0",
         id,
         result: {
-          protocolVersion: "0.1.0",
+          protocolVersion: "2024-11-05",
           serverInfo: { name: "spec-serve", version: "0.1.0" },
           capabilities: { tools: {} }
         }
@@ -3215,11 +3221,12 @@ function serve(dir = ".") {
         const dag = dagCache.get(args.project || [...dagCache.keys()][0] || "");
         if (!dag)
           return { jsonrpc: "2.0", id, error: { code: 404, message: "Project not found" } };
-        const node = N(dag).find((n) => ni(n).toLowerCase() === (args.name || "").toLowerCase());
+        const node = N(dag).find((n) => nodeMatches(n, args.name || ""));
         if (!node)
           return { jsonrpc: "2.0", id, result: { content: [{ type: "text", text: "{}" }] } };
-        const edges = E(dag).filter((e) => es(e).toLowerCase() === ni(node).toLowerCase() || et(e).toLowerCase() === ni(node).toLowerCase());
-        return { jsonrpc: "2.0", id, result: { content: [{ type: "text", text: JSON.stringify(isV2(node) ? { id: String(node[0]), name: node[1] || "", type: node[2] || "", description: node[3] || "", properties: np(node), states: ns(node), edges } : { ...node, edges }) }] } };
+        const idForEdges = nodeId(node);
+        const edges = E(dag).filter((e) => es(e).toLowerCase() === idForEdges.toLowerCase() || et(e).toLowerCase() === idForEdges.toLowerCase());
+        return { jsonrpc: "2.0", id, result: { content: [{ type: "text", text: JSON.stringify(isV2(node) ? { id: nodeId(node), name: nodeName(node), type: nt(node), description: nd(node), properties: np(node), states: ns(node), edges } : { ...node, edges }) }] } };
       }
       if (name === "traverse") {
         const dag = dagCache.get(args.project || [...dagCache.keys()][0] || "");
@@ -3229,23 +3236,25 @@ function serve(dir = ".") {
         const visitedNodes = new Set;
         const visitedEdges = new Set;
         const subgraph = { nodes: [], edges: [] };
-        const queue = [{ id: args.from, depth: 0 }];
+        const start = N(dag).find((n) => nodeMatches(n, args.from || ""));
+        const queue = [{ id: start ? nodeId(start) : args.from, depth: 0 }];
         while (queue.length > 0) {
           const curr = queue.shift();
-          if (visitedNodes.has(curr.id) || curr.depth > depth)
+          const node = N(dag).find((n) => nodeMatches(n, curr.id));
+          const currId = node ? nodeId(node) : curr.id;
+          if (visitedNodes.has(currId) || curr.depth > depth)
             continue;
-          visitedNodes.add(curr.id);
-          const node = N(dag).find((n) => ni(n).toLowerCase() === curr.id.toLowerCase());
+          visitedNodes.add(currId);
           if (node)
-            subgraph.nodes.push(isV2(node) ? { id: String(node[0]), name: node[1] || "", type: node[2] || "", description: node[3] || "", properties: np(node), states: ns(node), edges: nodeEdges(node) } : node);
-          const edges = E(dag).filter((e) => es(e).toLowerCase() === curr.id.toLowerCase() || et(e).toLowerCase() === curr.id.toLowerCase());
+            subgraph.nodes.push(isV2(node) ? { id: nodeId(node), name: nodeName(node), type: nt(node), description: nd(node), properties: np(node), states: ns(node), edges: nodeEdges(node) } : node);
+          const edges = E(dag).filter((e) => es(e).toLowerCase() === currId.toLowerCase() || et(e).toLowerCase() === currId.toLowerCase());
           for (const e of edges) {
             const edgeKey = `${es(e)}→${et(e)}`;
             if (!visitedEdges.has(edgeKey)) {
               visitedEdges.add(edgeKey);
               subgraph.edges.push(e);
             }
-            const next = es(e).toLowerCase() === curr.id.toLowerCase() ? et(e) : es(e);
+            const next = es(e).toLowerCase() === currId.toLowerCase() ? et(e) : es(e);
             if (!visitedNodes.has(next))
               queue.push({ id: next, depth: curr.depth + 1 });
           }
@@ -3258,7 +3267,7 @@ function serve(dir = ".") {
           return { jsonrpc: "2.0", id, error: { code: 404, message: "Project not found" } };
         const q = (args.q || "").toLowerCase();
         const type = (args.type || "").toLowerCase();
-        const results = N(dag).filter((n) => ni(n).toLowerCase().includes(q) && (!type || nt(n).toLowerCase().includes(type)));
+        const results = N(dag).filter((n) => (nodeName(n).toLowerCase().includes(q) || nodeId(n).toLowerCase().includes(q) || nt(n).toLowerCase().includes(q)) && (!type || nt(n).toLowerCase().includes(type)));
         return { jsonrpc: "2.0", id, result: { content: [{ type: "text", text: JSON.stringify(results) }] } };
       }
       if (name === "summary") {
@@ -3282,11 +3291,11 @@ function serve(dir = ".") {
         const dag = dagCache.get(args.project || [...dagCache.keys()][0] || "");
         if (!dag)
           return { jsonrpc: "2.0", id, error: { code: 404, message: "Project not found" } };
-        const node = N(dag).find((n) => ni(n).toLowerCase() === (args.entity || "").toLowerCase());
+        const node = N(dag).find((n) => nodeMatches(n, args.entity || ""));
         if (!node)
           return { jsonrpc: "2.0", id, error: { code: 404, message: "Entity not found" } };
         return { jsonrpc: "2.0", id, result: { content: [{ type: "text", text: JSON.stringify({
-          entity: ni(node),
+          entity: nodeName(node),
           properties: np(node),
           states: ns(node),
           lifecycle: nl(node)
@@ -3592,18 +3601,18 @@ program2.command("compile [dir]").option("-o, --output <file>").action((d = ".",
       nodes.forEach((n, i) => nodeIds.set(n.i, i));
       const v2nodes = [];
       for (let j = 0;j < nodes.length; j++) {
-        const nd = nodes[j];
+        const nd2 = nodes[j];
         const props = [];
-        if (nd.p)
-          for (const [k, v] of Object.entries(nd.p))
+        if (nd2.p)
+          for (const [k, v] of Object.entries(nd2.p))
             props.push(k, v);
-        const states = nd.s || [];
+        const states = nd2.s || [];
         const outEdges = [];
         const seen = new Set;
         for (const e of edges) {
-          if (e.s !== nd.i && e.t !== nd.i)
+          if (e.s !== nd2.i && e.t !== nd2.i)
             continue;
-          const tid = nodeIds.get(e.s === nd.i ? e.t : e.s);
+          const tid = nodeIds.get(e.s === nd2.i ? e.t : e.s);
           if (tid === undefined)
             continue;
           const key = `${j}→${tid}:${e.v}`;
@@ -3617,17 +3626,17 @@ program2.command("compile [dir]").option("-o, --output <file>").action((d = ".",
             ee.push(1);
           outEdges.push(ee);
         }
-        const entry = [j, nd.i || "", nd.t || "", nd.d || "", props, states, outEdges];
-        if (nd.g === "prediction") {
+        const entry = [j, nd2.i || "", nd2.t || "", nd2.d || "", props, states, outEdges];
+        if (nd2.g === "prediction") {
           const f = [];
-          if (nd.cf)
-            f.push(nd.cf);
-          if (nd.tf)
-            f.push(nd.tf);
-          if (nd.tg)
-            f.push(nd.tg);
-          if (nd.ms)
-            f.push(nd.ms);
+          if (nd2.cf)
+            f.push(nd2.cf);
+          if (nd2.tf)
+            f.push(nd2.tf);
+          if (nd2.tg)
+            f.push(nd2.tg);
+          if (nd2.ms)
+            f.push(nd2.ms);
           if (f.length)
             entry.push(f);
         }
@@ -3709,7 +3718,7 @@ program2.command("visualize [dir]").option("-s, --save").action((d = ".", opts)
       const dag = JSON.parse(readFileSync3(dagFile, "utf-8"));
       const nodes = dag.n || dag.nodes || [];
       const isV22 = (n) => Array.isArray(n) && typeof n[0] === "number";
-      const nodeName = (n) => isV22(n) ? nodes[n[0]] ? nodes[n[0]][1] || String(n[0]) : String(n[0]) : n.i || n.id || "";
+      const nodeName2 = (n) => isV22(n) ? nodes[n[0]] ? nodes[n[0]][1] || String(n[0]) : String(n[0]) : n.i || n.id || "";
       const slug = (s) => s.replace(/\s+/g, "_").replace(/^[^a-zA-Z]+/, "n_");
       let out = "```mermaid\ngraph LR\n";
       for (const n of nodes) {
@@ -4189,6 +4198,142 @@ program2.command("staleness [dir]").action((d = ".") => {
     }
   }
 });
+program2.command("verify [dir]").description("Verify spec-code alignment. --init auto-generates verify section in plan.dog").option("-i, --init", "Auto-generate verify section from codebase scan").action((d = ".", opts) => {
+  const dir = resolvePath2(d);
+  const dirs = [join3(dir, "projects"), join3(dir, "specs"), dir];
+  console.log(source_default.bold(opts.init ? `Auto-Generating Verify Section
+` : `Verification Audit
+`));
+  for (const dd of dirs) {
+    if (!existsSync3(dd))
+      continue;
+    const projects = readdirSync3(dd, { withFileTypes: true }).filter((e) => e.isDirectory()).map((e) => e.name);
+    for (const p of projects) {
+      const pd = join3(dd, p);
+      if (!existsSync3(join3(pd, "SPEC.dog")))
+        continue;
+      const planFile = join3(pd, "plan.dog");
+      if (!existsSync3(planFile)) {
+        console.log(source_default.yellow(`  ${p}: No plan.dog`));
+        continue;
+      }
+      const dagFile = join3(pd, `${p}.dag`);
+      if (!existsSync3(dagFile)) {
+        console.log(source_default.yellow(`  ${p}: No .dag file. Run compile first.`));
+        continue;
+      }
+      const dag = JSON.parse(readFileSync3(dagFile, "utf-8"));
+      const plan = readFileSync3(planFile, "utf-8");
+      if (opts.init) {
+        const entities = [];
+        const props = new Map;
+        for (const node of dag.n || []) {
+          const name = node[1] || String(node[0]);
+          entities.push(name);
+          if (node[4])
+            props.set(name, node[4].map((p2) => p2[0]));
+        }
+        let verify = `
+## Verify
+
+`;
+        for (const entity of entities) {
+          const nameLower = entity.toLowerCase().replace(/[^a-z0-9]/g, "");
+          let matchFile = "";
+          const skip = new Set(["node_modules", ".git", "dist", ".bun", "dev", "build"]);
+          const codeDirs = [join3(dir, "src"), join3(dir, "lib"), join3(dir, "app"), dir];
+          for (const cd of codeDirs) {
+            if (!existsSync3(cd))
+              continue;
+            try {
+              const allFiles = readdirSync3(cd, { recursive: true }).filter((f) => {
+                if (!(f.endsWith(".ts") || f.endsWith(".js") || f.endsWith(".py") || f.endsWith(".sol") || f.endsWith(".go")))
+                  return false;
+                for (const part of f.split("/")) {
+                  if (skip.has(part))
+                    return false;
+                }
+                return true;
+              });
+              const match = allFiles.find((f) => f.toLowerCase().includes(nameLower));
+              if (match) {
+                matchFile = join3(cd, match).replace(dir, ".");
+                break;
+              }
+            } catch (_) {}
+          }
+          verify += `### Entity: ${entity}
+`;
+          if (matchFile) {
+            verify += `  file: ${matchFile}
+`;
+            const fullPath = join3(dir, matchFile.replace("./", ""));
+            if (existsSync3(fullPath)) {
+              const code = readFileSync3(fullPath, "utf-8");
+              const codeProps = [...code.matchAll(/\b(\w+)\s*[:?]\s*\w+/g)].map((m) => m[1]).filter((v, i, a) => a.indexOf(v) === i);
+              if (codeProps.length > 0) {
+                verify += `  properties: [${codeProps.slice(0, 10).join(", ")}]
+`;
+              }
+            }
+          } else {
+            verify += `  # no matching file found — map manually
+`;
+          }
+          verify += `
+`;
+        }
+        const updatedPlan = plan.includes("## Verify") ? plan : plan + verify;
+        writeFileSync2(planFile, updatedPlan);
+        console.log(source_default.green(`  ${p}: Verify section generated in plan.dog`));
+      } else {
+        const verifyMatch = plan.match(/## Verify\n([\s\S]*?)(?=\n## |$)/);
+        if (!verifyMatch) {
+          console.log(source_default.yellow(`  ${p}: No ## Verify section. Run: dotdog verify --init`));
+          continue;
+        }
+        const verifyBlock = verifyMatch[1];
+        const entityBlocks = [...verifyBlock.matchAll(/### Entity: (\w+)\n([\s\S]*?)(?=### Entity:|$)/g)];
+        let checks = 0, passed = 0;
+        for (const [, ename, ebody] of entityBlocks) {
+          checks++;
+          const fileMatch = ebody.match(/file:\s*(.+)/);
+          const propMatch = ebody.match(/properties:\s*\[([^\]]+)\]/);
+          if (!fileMatch)
+            continue;
+          const filePath = join3(dir, fileMatch[1].trim().replace("./", ""));
+          if (!existsSync3(filePath)) {
+            console.log(source_default.red(`  ✗ ${ename}: file ${fileMatch[1].trim()} not found`));
+            continue;
+          }
+          const code = readFileSync3(filePath, "utf-8");
+          const cleanCode = code.replace(/\/\/.*/g, "").replace(/\/\*[\s\S]*?\*\//g, "");
+          if (propMatch) {
+            const props = propMatch[1].split(",").map((s) => s.trim());
+            let propPass = 0;
+            for (const prop of props) {
+              const snakeVariant = prop.replace(/_/g, "");
+              const camelVariant = prop.replace(/_([a-z])/g, (_, c) => c.toUpperCase());
+              if (cleanCode.includes(prop) || cleanCode.includes(snakeVariant) || cleanCode.includes(camelVariant)) {
+                propPass++;
+              } else {
+                console.log(source_default.yellow(`  ⚠ ${ename}.${prop}: not found in ${fileMatch[1].trim()}`));
+              }
+            }
+            if (propPass === props.length)
+              passed++;
+          }
+        }
+        if (checks === 0)
+          console.log(source_default.yellow(`  ${p}: No entities mapped. Run: dotdog verify --init`));
+        else if (passed === checks)
+          console.log(source_default.green(`  ${p}: ${passed}/${checks} entities verified`));
+        else
+          console.log(source_default.bold(`  ${p}: ${passed}/${checks} entities verified`));
+      }
+    }
+  }
+});
 program2.command("woof").action(() => {
   console.log("  / \\__");
   console.log(" (    @\\___");

package/kits/ecommerce/SPEC.dog

@@ -0,0 +1,43 @@
+# E-Commerce Platform
+
+## Product
+
+An online store. Customers browse products, add to cart, checkout, and track orders.
+
+## What the User Sees
+
+### Screen: Product Page
+
++------------------------------------------+
+|  [Logo]  Shop  Categories  Cart(3)       |
+|------------------------------------------|
+|                                          |
+|  [Product Image]                         |
+|                                          |
+|  Wireless Headphones               $79   |
+|  4.2 stars (128 reviews)                 |
+|  [Add to Cart]                           |
++------------------------------------------+
+
+### Screen: Checkout
+
++------------------------------------------+
+|  Checkout                                |
+|------------------------------------------|
+|  Shipping: Alex Smith                    |
+|  123 Main St, NY 10001                   |
+|                                          |
+|  Payment: Visa ****4242                  |
+|                                          |
+|  Order total: $79.00                     |
+|  [Place Order]                           |
++------------------------------------------+
+
+## User Stories
+
+| ID | Story | Pri | Acceptance |
+|----|-------|-----|------------|
+| US-01 | Customer adds product to cart | P0 | Cart count updates |
+| US-02 | Customer checks out | P0 | Order created, inventory reduced |
+| US-03 | Customer tracks order | P1 | Status and tracking number visible |
+| US-04 | Customer leaves a review | P2 | Review appears on product page |

package/kits/ecommerce/constitution.dog

@@ -0,0 +1,9 @@
+# E-Commerce Platform — Constitution
+
+## Core Rules
+
+- Inventory is source of truth — never oversell
+- Prices are immutable once an order is placed
+- Payment is atomic — charge and fulfill or refund
+- Customer data is encrypted at rest
+- Orders flow through defined state machine

package/kits/ecommerce/data-model.dog

@@ -0,0 +1,58 @@
+# E-Commerce — Data Model
+
+## Entities
+
+### Entity: Product
+
+An item available for purchase.
+
+```yaml
+entity: Product
+type: entity
+properties:
+  id:
+    type: string
+    required: true
+  name:
+    type: string
+    required: true
+  price_cents:
+    type: number
+    required: true
+  inventory:
+    type: number
+    required: true
+    default: 0
+states: [draft, published, archived, out_of_stock]
+lifecycle: draft → published → out_of_stock → archived
+```
+
+### Entity: Order
+
+A completed purchase.
+
+```yaml
+entity: Order
+type: entity
+properties:
+  id:
+    type: string
+    required: true
+  total_cents:
+    type: number
+    required: true
+  customer_email:
+    type: string
+    required: true
+states: [pending, confirmed, shipped, delivered, refunded]
+lifecycle: pending → confirmed → shipped → delivered
+```
+
+### Relationship: Order → Product
+
+```yaml
+relationship: Order → Product
+verb: contains
+cardinality: N:N
+required: true
+```

package/kits/saas/SPEC.dog

@@ -0,0 +1,37 @@
+# SaaS Platform
+
+## Product
+
+A multi-tenant SaaS platform. Organizations sign up, invite team members, manage subscriptions, and use the product.
+
+## What the User Sees
+
+### Screen: Dashboard
+
++------------------------------------------+
+|  Dashboard                    [Settings] |
+|------------------------------------------|
+|  Welcome back, Alex                      |
+|                                          |
+|  [Projects: 12]  [Team: 5]  [Usage: 67%]|
++------------------------------------------+
+
+### Screen: Billing
+
++------------------------------------------+
+|  Billing                       [Upgrade] |
+|------------------------------------------|
+|  Plan: Pro — $29/mo                      |
+|  Next invoice: Jun 30 — $29.00           |
+|                                          |
+|  Payment method: Visa ****4242           |
++------------------------------------------+
+
+## User Stories
+
+| ID | Story | Pri | Acceptance |
+|----|-------|-----|------------|
+| US-01 | User creates an organization | P0 | Org appears in workspace selector |
+| US-02 | User invites team member | P0 | Invitee receives email, joins org |
+| US-03 | Org upgrades subscription | P1 | Plan changes, invoice generated |
+| US-04 | Admin views usage report | P2 | Usage metrics displayed by project |

package/kits/saas/data-model.dog

@@ -0,0 +1,98 @@
+# SaaS Platform — Data Model
+
+## Entities
+
+### Entity: Organization
+
+A workspace that contains projects and members.
+
+```yaml
+entity: Organization
+type: entity
+properties:
+  id:
+    type: string
+    required: true
+  name:
+    type: string
+    required: true
+  plan:
+    type: enum
+    required: true
+    values: [free, pro, enterprise]
+  seats:
+    type: number
+    required: true
+    default: 1
+states: [active, suspended, deleted]
+lifecycle: active → suspended → deleted
+```
+
+### Entity: User
+
+A person with access to one or more organizations.
+
+```yaml
+entity: User
+type: entity
+properties:
+  id:
+    type: string
+    required: true
+  email:
+    type: string
+    required: true
+  name:
+    type: string
+    required: true
+  role:
+    type: enum
+    required: true
+    values: [owner, admin, member]
+states: [active, invited, suspended]
+lifecycle: invited → active → suspended
+```
+
+### Entity: Subscription
+
+Billing plan for an organization.
+
+```yaml
+entity: Subscription
+type: entity
+properties:
+  id:
+    type: string
+    required: true
+  plan:
+    type: enum
+    required: true
+    values: [free, pro, enterprise]
+  price_cents:
+    type: number
+    required: true
+  billing_cycle:
+    type: enum
+    required: true
+    values: [monthly, annual]
+states: [active, past_due, canceled]
+lifecycle: active → past_due → canceled
+```
+
+### Relationship: Organization → User
+
+```yaml
+relationship: Organization → User
+verb: has_member
+cardinality: N:N
+required: true
+```
+
+### Relationship: Organization → Subscription
+
+```yaml
+relationship: Organization → Subscription
+verb: has
+cardinality: 1:1
+required: true
+```

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "dotdog",
-  "version": "0.4.1",
+  "version": "0.5.0",
   "description": "CLI tool for structured software specifications. Validate .dog files, compile .dag graphs, query via MCP.",
   "type": "module",
   "main": "dist/cli.js",
@@ -35,7 +35,7 @@
     "yaml"
   ],
   "license": "MIT",
-  "author": "specdog",
+  "author": "Justin Diclemente",
   "repository": "github:specdog/dotdog",
   "dependencies": {
     "commander": "^15.0.0",