Interfaces and domain models for AIV

Diff provider adapter that reads changed files and hunks from Git

Report publisher adapter for GitHub-oriented CI output and summaries

Orchestrates gate execution and aggregates pass/fail results for a diff

Flags low-signal changes using logic-density and entropy-based checks

Validates imports and package usage against declared project dependencies

Enforces architecture and design constraints from YAML rules against changed code

Validates documentation references, paths, and command completeness

Template gate for invariant and property-based validation hooks