Documentation / Concepts
CongIR
CongIR (Congregation Intermediate Representation) is the internal reasoning representation used by Congregation DB.
CongLang expressions are compiled into CongIR before execution.
This intermediate layer separates:
Query expression
The language layer captures what should be reasoned over without dictating execution mechanics.
Reasoning representation
CongIR holds stable reasoning semantics so provenance and context remain explicit between stages.
Execution planning
Execution can adapt over time without changing the meaning of the reasoning request.
Intermediate representation
Conceptual compilation flow
Human-facing reasoning expressions are defined at the language layer.
Expressions compile into an intermediate representation before execution.
Execution operates through the context synthesis engine without collapsing signal meaning.
Architectural benefit
Architecture principle
Decision systems benefit from separating language, reasoning representation and execution layers.
Separating query expression from execution allows the platform to evolve reasoning strategies while preserving stable reasoning semantics.