feat(anchor): add transfer checked helper

Author: DaviRain-Su

CHANGELOG.md

@@ -2,6 +2,18 @@
 
 All notable changes to the Solana SDK Zig implementation will be documented in this file.
 
+### Session 2026-01-15-089
+
+**Date**: 2026-01-15
+**Goal**: Transfer checked helper sugar
+
+#### Completed Work
+1. Added `transferCheckedWithMint` helper
+2. Updated docs
+
+#### Test Results
+- `./solana-zig/zig build test --summary all`
+
 ### Session 2026-01-15-088
 
 **Date**: 2026-01-15

anchor/CHANGELOG.md

@@ -2,6 +2,18 @@
 
 All notable changes to sol-anchor-zig will be documented in this file.
 
+### Session 2026-01-15-017
+
+**Date**: 2026-01-15
+**Goal**: Add transferChecked DSL sugar
+
+#### Completed Work
+1. Added `transferCheckedWithMint` helper
+2. Updated docs
+
+#### Test Results
+- `./solana-zig/zig build test --summary all`
+
 ### Session 2026-01-15-016
 
 **Date**: 2026-01-15

anchor/README.md

@@ -303,6 +303,30 @@ fn send(ctx: anchor.Context(TransferAccounts), amount: u64) !void {
 }
 ```
 
+When the mint is already loaded, use `transferCheckedWithMint` to avoid
+passing decimals explicitly.
+
+```zig
+const token = anchor.token;
+
+fn sendChecked(ctx: anchor.Context(TransferAccounts), amount: u64) !void {
+    if (token.transferCheckedWithMint(
+        ctx.accounts.token_program.toAccountInfo(),
+        ctx.accounts.source.toAccountInfo(),
+        ctx.accounts.mint,
+        ctx.accounts.destination.toAccountInfo(),
+        ctx.accounts.authority.toAccountInfo(),
+        amount,
+    )) |err| switch (err) {
+        .InvokeFailed => return error.InvokeFailed,
+        .InvokeFailedWithCode => |code| {
+            _ = code;
+            return error.InvokeFailed;
+        },
+    };
+}
+```
+
 For ATA init/payer semantics, use the ATA marker with `if_needed` (idempotent)
 and include the associated token program and system program accounts.
 

anchor/ROADMAP.md

@@ -1,5 +1,10 @@
 # sol-anchor-zig Roadmap
 
+## ✅ v3.2.67 - Transfer Checked Sugar
+
+- [x] Add `transferCheckedWithMint` helper for token CPI
+- [x] Update docs
+
 ## ✅ v3.2.66 - ATA Init/Payer Semantics
 
 - [x] Add associated token CPI helpers

anchor/src/token.zig

@@ -93,6 +93,40 @@ fn resolveAccountInfo(comptime field_name: []const u8, accounts: anytype) *const
     @compileError("account field must be AccountInfo or type with toAccountInfo(): " ++ field_name);
 }
 
+fn toAccountInfo(value: anytype) *const AccountInfo {
+    const TargetType = @TypeOf(value);
+    if (TargetType == AccountInfo) {
+        @compileError("AccountInfo values are not supported; pass a pointer");
+    }
+    if (@typeInfo(TargetType) == .pointer) {
+        const ChildType = @typeInfo(TargetType).pointer.child;
+        if (ChildType == AccountInfo) {
+            return value;
+        }
+        if (@hasDecl(ChildType, "toAccountInfo")) {
+            return value.toAccountInfo();
+        }
+    }
+    if (@hasDecl(TargetType, "toAccountInfo")) {
+        return value.toAccountInfo();
+    }
+    @compileError("value must be AccountInfo pointer or type with toAccountInfo()");
+}
+
+fn mintDecimals(value: anytype) u8 {
+    const TargetType = @TypeOf(value);
+    if (@hasField(TargetType, "data")) {
+        return value.data.decimals;
+    }
+    if (@typeInfo(TargetType) == .pointer) {
+        const ChildType = @typeInfo(TargetType).pointer.child;
+        if (@hasField(ChildType, "data")) {
+            return value.*.data.decimals;
+        }
+    }
+    @compileError("mint account must expose data.decimals");
+}
+
 // ============================================================================
 // TokenAccount Wrapper
 // ============================================================================
@@ -552,6 +586,28 @@ pub fn transferChecked(
     return invokeInstruction(&ix, infos[0..], null);
 }
 
+/// Invoke SPL Token transferChecked using mint wrapper decimals.
+pub fn transferCheckedWithMint(
+    token_program: *const AccountInfo,
+    source: *const AccountInfo,
+    mint_account: anytype,
+    destination: *const AccountInfo,
+    authority: *const AccountInfo,
+    amount: u64,
+) ?TokenCpiError {
+    const mint_info = toAccountInfo(mint_account);
+    const decimals = mintDecimals(mint_account);
+    return transferChecked(
+        token_program,
+        source,
+        mint_info,
+        destination,
+        authority,
+        amount,
+        decimals,
+    );
+}
+
 /// Invoke SPL Token mintTo.
 pub fn mintTo(
     token_program: *const AccountInfo,

anchor/stories/v3.2.67-transfer-checked-sugar.md

@@ -0,0 +1,25 @@
+# Story: v3.2.67 Transfer Checked DSL Sugar
+
+> Add transfer_checked helper that infers decimals from mint wrapper.
+
+## Goals
+
+- Provide a convenience helper to avoid passing mint decimals explicitly.
+
+## Acceptance Criteria
+
+### anchor/src/token.zig
+
+- [x] Add `transferCheckedWithMint` helper.
+- [x] Helper infers decimals from mint wrapper and uses mint account info.
+
+### Documentation
+
+- [x] Update README with new helper example.
+- [x] Update ROADMAP and CHANGELOG.
+
+## Completion Status
+
+- Start date: 2026-01-15
+- Completion date: 2026-01-15
+- Status: ✅ Completed