lemmafit 0.3.0 → 0.3.2

package/cli/download-dafny2js.js

@@ -18,6 +18,7 @@ const PLATFORM_RIDS = {
   'linux-x64': 'linux-x64',
   'linux-arm64': 'linux-arm64',
   'win32-x64': 'win-x64',
+  'win32-arm64': 'win-x64',
 };
 
 function getPlatformKey() {
@@ -25,7 +26,7 @@ function getPlatformKey() {
 }
 
 function guessRid(platformKey) {
-  return PLATFORM_RIDS[platformKey] || (platformKey === 'win32-x64' ? 'win-x64' : platformKey);
+  return PLATFORM_RIDS[platformKey] || platformKey;
 }
 
 function printBuildInstructions(rid) {

package/cli/verify-hook.js

@@ -18,7 +18,7 @@
 const path = require('path');
 const fs = require('fs');
 const { initLog, log } = require('../lib/log');
-const { requestDaemon } = require('../lib/daemon-client');
+const { requestDaemon, getIpcPath } = require('../lib/daemon-client');
 
 async function readStdin() {
   const chunks = [];
@@ -132,7 +132,7 @@ async function main() {
   let status;
 
   try {
-    const sockPath = path.join(projectDir, 'lemmafit', '.vibe', 'daemon.sock');
+    const sockPath = getIpcPath(path.join(projectDir, 'lemmafit', '.vibe'));
     status = await requestDaemon(sockPath, { action: 'verify' });
     log('verify', 'Used daemon (socket)');
   } catch (err) {

package/lib/daemon-client.js

@@ -5,6 +5,16 @@
  */
 
 const net = require('net');
+const path = require('path');
+const crypto = require('crypto');
+
+function getIpcPath(vibeDir) {
+  if (process.platform === 'win32') {
+    const hash = crypto.createHash('md5').update(vibeDir).digest('hex').slice(0, 8);
+    return '\\\\.\\pipe\\lemmafit-daemon-' + hash;
+  }
+  return path.join(vibeDir, 'daemon.sock');
+}
 
 function requestDaemon(sockPath, message, timeoutMs = 60000) {
   return new Promise((resolve, reject) => {
@@ -51,4 +61,4 @@ function requestDaemon(sockPath, message, timeoutMs = 60000) {
   });
 }
 
-module.exports = { requestDaemon };
+module.exports = { requestDaemon, getIpcPath };

package/lib/daemon.js

@@ -12,6 +12,7 @@ const os = require('os');
 const { spawn } = require('child_process');
 const WebSocket = require('ws');
 const { spawnClaude } = require('./spawn-claude');
+const { getIpcPath } = require('./daemon-client');
 
 class Daemon {
   constructor(projectDir, options = {}) {
@@ -913,10 +914,12 @@ class Daemon {
   }
 
   startSocketServer() {
-    const sockPath = path.join(this.vibeDir, 'daemon.sock');
+    const sockPath = getIpcPath(this.vibeDir);
 
-    // Clean up stale socket from previous crash
-    try { fs.unlinkSync(sockPath); } catch {}
+    // Clean up stale socket from previous crash (Unix only)
+    if (process.platform !== 'win32') {
+      try { fs.unlinkSync(sockPath); } catch {}
+    }
 
     this._socketServer = net.createServer((conn) => {
       let buffer = '';
@@ -952,7 +955,9 @@ class Daemon {
 
     // Cleanup on exit
     const cleanup = () => {
-      try { fs.unlinkSync(sockPath); } catch {}
+      if (process.platform !== 'win32') {
+        try { fs.unlinkSync(sockPath); } catch {}
+      }
       process.exit();
     };
     process.on('SIGINT', cleanup);

package/lib/download-dafny.js

@@ -18,6 +18,7 @@ const PLATFORM_ASSETS = {
   'linux-x64': `dafny-${DAFNY_VERSION}-x64-ubuntu-22.04.zip`,
   'linux-arm64': `dafny-${DAFNY_VERSION}-arm64-ubuntu-22.04.zip`,
   'win32-x64': `dafny-${DAFNY_VERSION}-x64-windows-2019.zip`,
+  'win32-arm64': `dafny-${DAFNY_VERSION}-x64-windows-2019.zip`,
 };
 
 function getPlatformKey() {

package/package.json

@@ -15,7 +15,7 @@
     "verified",
     "proof"
   ],
-  "version": "0.3.0",
+  "version": "0.3.2",
   "type": "commonjs",
   "files": [
     "cli/",