@5ive-tech/cli 1.0.18 → 1.0.20

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@5ive-tech/cli",
-  "version": "1.0.18",
+  "version": "1.0.20",
   "description": "High-performance CLI for Five VM development with WebAssembly integration",
   "type": "module",
   "main": "dist/index.js",
@@ -68,7 +68,7 @@
     "access": "public"
   },
   "dependencies": {
-    "@5ive-tech/sdk": "^1.1.5",
+    "@5ive-tech/sdk": "^1.1.7",
     "@iarna/toml": "^2.2.5",
     "@solana/web3.js": "^1.90.0",
     "bs58": "^5.0.0",
@@ -98,4 +98,4 @@
     "ts-jest": "^29.1.2",
     "typescript": "^5.9.2"
   }
-}
+}

package/templates/AGENTS.md

@@ -42,6 +42,7 @@ These rules are non-negotiable and prevent the most common compilation failures:
 5. **`pubkey(0)` and `0` are valid** for zero-initializing pubkey fields (disabling authorities).
 6. **`string<N>` is production-safe** — use freely in accounts and function parameters.
 7. **All comparison operators work in `require()`** — `==`, `!=`, `<`, `<=`, `>`, `>=`, `!`.
+8. **Local variables are immutable by default** — use `let x = value;` for immutable bindings. **Use `let mut x = value;` if the variable will be reassigned** (e.g., in conditional branches). Attempting to reassign an immutable local causes a compiler error.
 
 ## 4) DSL Feature Inventory (Deep)
 
@@ -145,6 +146,9 @@ Observed and parser-supported:
 1. `let` declarations (with `mut` and optional type annotation)
    - Type inference works: `let is_owner = source.owner == authority.key;` infers `bool`
    - Use `let` without explicit annotation for boolean and scalar expressions
+   - **Immutability by default**: `let x = value;` creates an immutable binding; reassignment will fail
+   - **For reassignable variables, use `let mut`**: `let mut x: u64 = 0; ... x = new_value;`
+   - Example: `let mut shares: u64 = 0; if (condition) { shares = computed_value; }`
 2. Assignment:
    - direct: `x = y`
    - compound: `+=`, `-=`, `*=`, `/=`, `<<=`, `>>=`, `&=`, `|=`, `^=`
@@ -708,10 +712,10 @@ pub perform_action(
 ) {
     require(local_state.authority == user.key);
     require(amount > 0);
-
+    
     // CPI to external program
     ExternalProgram.process(external_account, user, amount);
-
+    
     // Update local state after CPI
     local_state.last_amount = amount;
     local_state.call_count = local_state.call_count + 1;
@@ -820,7 +824,9 @@ Follow this procedure to produce correct 5IVE contracts on first compilation, re
 | Zero-amount guard | `require(amount > 0);` |
 | Revoke authority | `state.authority = 0;` |
 | Status transition | `state.status = 1;` |
-| Local variable | `let x = expr;` |
+| Local variable (immutable) | `let x = expr;` |
+| Local variable (mutable) | `let mut x = expr;` (required for reassignment) |
+| Reassign local variable | `let mut x: u64 = 0; ... x = new_value;` |
 | Return value | `pub fn(...) -> u64 { return state.value; }` |
 | Fixed string field | `name: string<32>;` |
 | Zero-init pubkey | `state.delegate = 0;` or `state.delegate = pubkey(0);` |
@@ -1064,10 +1070,10 @@ pub call_external(
 ) {
     require(controller.authority == authority.key);
     require(value > 0);
-
+    
     // CPI to external program
     ExternalProgram.update_value(external_state, authority, value);
-
+    
     // Update local state
     controller.counter = controller.counter + 1;
     controller.last_value = value;
@@ -1080,10 +1086,10 @@ pub call_anchor(
     amount: u64
 ) {
     require(controller.authority == user.key);
-
+    
     // CPI to Anchor program
     AnchorProgram.process(anchor_config, user, amount);
-
+    
     controller.counter = controller.counter + 1;
 }
 ```