yichus 0.3.0 → 0.3.2

package/dist/studio-reference/withdrawal.bosatsu

@@ -27,7 +27,7 @@ from Yichus/Service import (
 )
 from Yichus/Transaction import (
   Scope, TxTable, Txn, Outcome,
-  tx_table, tx_pure, tx_bind, tx_abort, tx_read, tx_write, tx_insert,
+  stored_table, tx_pure, tx_bind, tx_abort, tx_read, tx_write, tx_insert,
   tx_database_time_millis, transaction
 )
 
@@ -159,11 +159,9 @@ access_rules = AccessSpec([
   AccessRule("withdrawal_receipts", OwnerScoped),
 ])
 
-def accounts_table[s](scope: Scope[s]) -> TxTable[s, Account]:
-  tx_table(scope, "accounts")
+accounts_table: TxTable[s, Account] = stored_table("accounts")
 
-def receipts_table[s](scope: Scope[s]) -> TxTable[s, Receipt]:
-  tx_table(scope, "withdrawal_receipts")
+receipts_table: TxTable[s, Receipt] = stored_table("withdrawal_receipts")
 
 def account_rows(db: Db) -> Table[Account]:
   table(db, "accounts")
@@ -178,12 +176,11 @@ def receipt_rows(db: Db) -> Table[Receipt]:
 # ---------------------------------------------------------------------------
 
 def move_balance[s](
-  scope: Scope[s],
   principal: Principal,
   delta: Int
 ) -> Txn[s, LedgerError, Movement]:
   Principal(uid, _) = principal
-  row <- tx_bind(tx_read(accounts_table(scope), uid))
+  row <- tx_bind(tx_read(accounts_table, uid))
   match row:
     case None: tx_abort(UnknownAccount(uid))
     case Some(Account(id, owner, balance)):
@@ -191,7 +188,7 @@ def move_balance[s](
       if int_lt(next, 0):
         tx_abort(InsufficientFunds(balance, sub(0, delta)))
       else:
-        _ <- tx_bind(tx_write(accounts_table(scope), uid, Account(id, owner, next)))
+        _ <- tx_bind(tx_write(accounts_table, uid, Account(id, owner, next)))
         tx_pure(Movement(balance, next))
 
 # ---------------------------------------------------------------------------
@@ -207,7 +204,7 @@ def withdraw_plan[s](
     case Some(error): tx_abort(error)
     case None:
       key = owner_key(principal, command_local_key(input))
-      previous <- tx_bind(tx_read(receipts_table(scope), key))
+      previous <- tx_bind(tx_read(receipts_table, key))
       match previous:
         case Some(receipt): tx_pure(receipt)
         case None:
@@ -215,17 +212,16 @@ def withdraw_plan[s](
           if int_lt(now, 0): tx_abort(InvalidDatabaseTime(now))
           else:
             WithdrawInput(_, amount) = input
-            moved <- tx_bind(move_balance(scope, principal, sub(0, amount)))
+            moved <- tx_bind(move_balance(principal, sub(0, amount)))
             Movement(_, after) = moved
             receipt = Receipt(input, after, now)
-            _ <- tx_bind(tx_insert(receipts_table(scope), key, receipt))
+            _ <- tx_bind(tx_insert(receipts_table, key, receipt))
             # The receipt filed in the ledger and the receipt in the
             # response are one value, so the customer's copy and the
             # bank's copy cannot say different things.
             tx_pure(receipt)
 
 def deposit_plan[s](
-  scope: Scope[s],
   principal: Principal,
   input: DepositInput
 ) -> Txn[s, LedgerError, Movement]:
@@ -233,7 +229,7 @@ def deposit_plan[s](
     case Some(error): tx_abort(error)
     case None:
       DepositInput(_, amount) = input
-      move_balance(scope, principal, amount)
+      move_balance(principal, amount)
 
 # ---------------------------------------------------------------------------
 # Handlers. The engine injects Db and Principal; nothing here
@@ -253,8 +249,8 @@ def deposit(
   principal: Principal,
   input: DepositInput
 ) -> IO[Outcome[LedgerError, Movement]]:
-  scope <- transaction(db)
-  deposit_plan(scope, principal, input)
+  _ <- transaction(db)
+  deposit_plan(principal, input)
 
 def withdrawal_status(
   db: Db,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "yichus",
-  "version": "0.3.0",
+  "version": "0.3.2",
   "description": "Local Bosatsu compilation, Yichus analysis, and generated apps using the WebMCP engine",
   "license": "MIT",
   "homepage": "https://yich.us",
@@ -20,7 +20,7 @@
   "dependencies": {
     "zod": "^4.3.6",
     "@modelcontextprotocol/sdk": "^1.26.0",
-    "@yichus/api-mcp": "0.1.2"
+    "@yichus/api-mcp": "0.1.4"
   },
   "devDependencies": {
     "@types/node": "^22.0.0",