midnight-mcp 0.1.36 → 0.1.37

package/dist/config/compact-version.js

@@ -358,5 +358,20 @@ witness lookup_value(key: Bytes<32>): Field;`,
 WRONG:  Choice::rock, GameState::waiting
 CORRECT: Choice.rock, GameState.waiting`,
     },
+    {
+        error: 'parse error: found "{" after witness declaration',
+        cause: "Trying to add implementation body to witness",
+        fix: `Witnesses are declarations only - no body allowed:
+WRONG:  witness get_caller(): Bytes<32> { return ...; }
+CORRECT: witness get_caller(): Bytes<32>;
+Implementation goes in TypeScript prover, not Compact.`,
+    },
+    {
+        error: 'unbound identifier "function"',
+        cause: 'Using "pure function" instead of "pure circuit"',
+        fix: `Use "pure circuit" for helper functions:
+WRONG:  pure function helper(...): Type { }
+CORRECT: pure circuit helper(...): Type { }`,
+    },
 ];
 //# sourceMappingURL=compact-version.js.map

package/dist/resources/content/docs-content.js

@@ -197,18 +197,20 @@ export pure circuit hash(x: Field): Bytes<32>  // No state access
 
 Witnesses provide off-chain/private data to circuits. They run locally, not on-chain.
 
+**CRITICAL**: Witnesses are declarations only - NO implementation body in Compact!
+The implementation goes in your TypeScript prover.
+
 \`\`\`compact
-// Basic witness - returns private data
+// ✅ CORRECT - declaration only, semicolon at end
 witness local_secret_key(): Bytes<32>;
-
-// Witness with parameters
 witness get_merkle_path(leaf: Bytes<32>): MerkleTreePath<10, Bytes<32>>;
-
-// Witness that returns nothing (side effect only)
 witness store_locally(data: Field): [];
-
-// Witness returning optional
 witness find_user(id: Bytes<32>): Maybe<UserData>;
+
+// ❌ WRONG - witnesses cannot have bodies
+witness get_caller(): Bytes<32> {
+  return public_key(local_secret_key());  // ERROR!
+}
 \`\`\`
 
 ---
@@ -229,6 +231,27 @@ constructor(initNonce: Bytes<32>) {
 
 ---
 
+## 7.5 Pure Circuits (Helper Functions)
+
+Use \`pure circuit\` for helper functions that don't modify ledger state:
+
+\`\`\`compact
+// ✅ CORRECT - use "pure circuit"
+pure circuit determine_winner(p1: Choice, p2: Choice): Result {
+  if (p1 == p2) {
+    return Result.draw;
+  }
+  // ... logic
+}
+
+// ❌ WRONG - "function" keyword doesn't exist
+pure function determine_winner(p1: Choice, p2: Choice): Result {
+  // ERROR: unbound identifier "function"
+}
+\`\`\`
+
+---
+
 ## 8. Common Patterns
 
 ### Authentication Pattern

package/dist/tools/repository/handlers.js

@@ -416,6 +416,16 @@ export circuit increment(): [] {
                         correct: "Choice.rock (dot notation)",
                         error: 'parse error: found ":" looking for ")"',
                     },
+                    {
+                        wrong: "witness fn(): T { ... }",
+                        correct: "witness fn(): T;  // declaration only, no body",
+                        error: "parse error after witness declaration",
+                    },
+                    {
+                        wrong: "pure function helper(): T",
+                        correct: "pure circuit helper(): T",
+                        error: 'unbound identifier "function"',
+                    },
                 ],
                 syntaxReference: compactReference,
                 sections: [

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "midnight-mcp",
-  "version": "0.1.36",
+  "version": "0.1.37",
   "description": "Model Context Protocol Server for Midnight Blockchain Development",
   "type": "module",
   "main": "dist/index.js",