// 4Mica · Guarantee Issuance · tab 0x123
1. Verify EIP-712 signature
✓ sig valid · user 0x28f3 · amt 100 USDC
2. Lock collateral in Vault
await vault.lockCollateral({
tabId: "0x123",
user: "0x28f3…TradingBot",
amount: "0x64" // 100 USDC
})
✓ locked · lockId 0xfee1dead
3. Issue guarantee → Agent B
{
"tabId": "0x123",
"lockId": "0xfee1dead",
"guarantee": "0x5678…cert"
}
✓ guarantee delivered to Agent B