Detect Unsafe Token Transfer Assumptions

[mijinummi]

🧠 Concept

Detect code that assumes token transfers always succeed.

⚠️ Problem

Ignoring transfer results can cause incorrect downstream contract state.

📁 Implementation Scope

• packages/rules/soroban/tokens/
• packages/analyzers/soroban/dataflow/

✅ Requirements

• Detect token transfer calls
• Track returned results
• Identify ignored outcomes
• Generate security findings

🎯 Acceptance Criteria

• Ignored transfer results detected
• Dataflow integrated
• Findings generated
• Tests added