Feat: Add Ada analyzer

[marco0560]

Add Ada analyzer

Summary

Introduce first-party Ada support for Codira.

Motivation

Ada remains relevant in aerospace, defense, transportation, embedded systems, and other safety-critical domains.

The language's strong typing, explicit package structure, and deterministic design make it a good fit for Codira's architecture.

Scope

Supported file extensions:

.ads
.adb
.ada

Supported constructs:

• packages
• package bodies
• procedures
• functions
• tasks
• protected objects
• records
• generics
• types
• subtypes
• use clauses
• with clauses

Deliverables

New package:

codira-analyzer-ada

Capabilities:

• symbol extraction
• call extraction
• reference extraction
• embedding payload generation
• analyzer registration

Acceptance Criteria

• deterministic output across runs
• successful analysis of representative OSS repositories
• plugin contract compliance
• package and body relationship extraction

Non-Goals

• compiler-level semantic analysis
• SPARK proof analysis
• runtime scheduling analysis
• code generation analysis

Architectural Constraints

• deterministic traversal order
• immutable analyzer outputs
• no runtime network access
• no analyzer-to-analyzer dependencies