COMPILATION

Compiler & IR

The RAIQL compiler creates a deterministic boundary between human-authored requirements and the systems that generate or operate on software artifacts.

Compilation pipeline

Source→Statements→Validation→IR→Generators

The compiler strips comments, separates top-level statements, parses supported constructs, validates cross-references and then creates the RAIQL IR.

Intermediate representation

raiql.ir.json

{
  "language": "RAIQL",
  "version": "0.2",
  "application": { "name": "Inventory Hub", "type": "WEB" },
  "stack": { "frontend": "NEXTJS", "backend": "NESTJS" },
  "entities": [],
  "relationships": [],
  "apis": [],
  "roles": [],
  "permissions": [],
  "actions": ["BUILD"]
}

Diagnostics

Errors stop a specification from being considered valid. Warnings preserve a compilable program while identifying missing or unusual intent—for example, an application with no explicit type.

Why an IR matters

The IR gives generators, validators, policy engines and AI-assisted engineering systems a stable structure to consume. They do not need to infer the same requirement independently from natural language.

Continue exploring RAIQLOpen the playground →