Engine Integrations

This page should collect engine-specific implementation notes.

Current areas to cover:

• DepAtlasSource
• StaticLint
• JET

Planned content for this page:

• why each engine exists
• how evidence is merged
• known strengths and limits
• where engine-specific normalization happens

StaticLint note worth preserving:

• explicit macro definitions and explicit macro calls should follow a dedicated integration path rather than the ordinary function-call path