AIRL Project - Project state management, patch history, queries.
Manages the lifecycle of an AIRL project: creating from IR, applying patches with undo history, querying functions/types, constraint checking, text projections, and multi-module workspaces.
Modules
- [
constraints] — enforce architectural invariants (complexity, purity, forbidden calls) - [
diff] — compare two modules semantically - [
projection] — render IR as TypeScript or Python source - [
queries] — richer analyses: dead code, builtin usage, effect surface - [
workspace] — load and link multiple modules