Detect Missing Authorization Propagation

[mijinummi]

🧠 Concept

Detect contract calls where required authorization context is not properly propagated.

⚠️ Problem

Cross-contract execution may fail or behave unexpectedly when authorization requirements are not handled correctly.

📁 Implementation Scope

• packages/rules/soroban/auth/
• packages/analyzers/soroban/callgraph/

✅ Requirements

• Track authorization context
• Analyze cross-contract calls
• Detect missing propagation
• Report affected call paths

🎯 Acceptance Criteria

• Authorization propagation analyzed
• Missing propagation detected
• Call paths reported
• Tests added