Core Concepts
Understand units, workflows, the trust gradient, and how Ctrl AI's composition engine works.
Not a Chatbot — A Composition Engine
Ctrl AI is not a chatbot wrapper. It's a composition engine that chains expert-verified reasoning units into deterministic workflows. The AI is constrained by verified structure — it cannot hallucinate outside the boundaries set by your domain experts.
Five Unit Types
Every domain's reasoning decomposes into five irreducible types:
| Type | What It Does | Execution | Example |
|---|---|---|---|
| Program | Deterministic computation | Brain 2 (exact) | IF credit_score < 620 AND DTI > 43%, classify HIGH_RISK |
| Framework | Multi-factor weighted judgment | Brain 1 (constrained) | Evaluate loan across 8 factors: income stability, collateral... |
| Pattern | Feature recognition | Brain 1 (constrained) | When these 3 indicators appear together, flag for investigation |
| Argument | Evidenced persuasion | Brain 1 (constrained) | Justify rejection citing Basel III Article 92... |
| Protocol | Sequential procedure with gates | Brain 1 (constrained) | Step 1: Verify identity. Gate: manual review if flagged... |
Two Brains
- Brain 2 — Deterministic execution engine. A JSON DSL interpreter that takes the same inputs and always produces the same outputs. Zero hallucination. Used for Program units.
- Brain 1 — LLM constrained by verified unit structure. Produces professional prose, but bounded by expert-verified reasoning. Used for Framework, Pattern, Argument, and Protocol units.
Given / When / Then
Every unit is defined in a structured format readable by domain experts (not just engineers):
- GIVEN — Prerequisites and context (what must be true before the unit fires)
- WHEN — Trigger conditions (what input pattern activates this unit)
- THEN — What the unit produces (typed outputs with verification level)
This format is verifiable element-by-element and executable by the composition engine.
Typed Inputs & Outputs
Every unit declares typed inputs and typed outputs. The composition engine chains units by matching output types to input types:
Unit A (Program): income_data → verified_income (number)
Unit B (Framework): verified_income (number), credit_history → risk_factors (object)
Unit C (Protocol): risk_factors (object) → decision (approve | deny | escalate)This type matching enables automatic composition — the engine builds a DAG (directed acyclic graph) of units that can satisfy a query.
Workflows
A workflow is a named, versioned composition of units forming a complete process.
Example: "Customer Credit Risk Assessment"
- Income verification (Program) →
verified_income - Credit history analysis (Framework) →
risk_factors - Regulatory compliance check (Program) →
compliance_status - Fraud pattern detection (Pattern) →
fraud_flags - Decision protocol (Protocol) →
approve/deny/escalate - Rejection justification (Argument) → regulatory citations
Each unit has typed I/O. The workflow is the auditable artifact — show it to any regulator.
Trust Gradient
Every claim in every response is tagged with a verification level:
| Level | Color | Meaning |
|---|---|---|
| Verified | Green | Program-computed or protocol-verified. Deterministic. Auditable. |
| Expert-Reviewed | Blue | Framework/pattern/argument verified by named experts with consensus. |
| Synthesized | Yellow | Generated from verified templates but not yet peer-reviewed. |
| Neural | Gray | Pure LLM output. No unit coverage. Explicitly marked as unverified. |
The trust gradient gives every stakeholder — from the end user to the auditor — immediate visibility into how much of the AI's response is backed by verified reasoning.
Domains
Domains are organizational tags for knowledge areas (Finance, Legal, HR, Clinical). They are used for:
- Library organization — filter units by department
- Team assignment — who reviews what
- Accountability — who owns this unit
- Relevance ranking — composition prefers same-domain units
Domains are not composition boundaries — the engine searches all units in the org when building a response.
Element Primitives
Units are built from 7 element primitives:
| Primitive | Purpose | Used In |
|---|---|---|
| criterion | Evaluation factor with weight | Frameworks |
| condition | IF/THEN rule with consequence | Frameworks, Protocols, Arguments |
| requirement | Verifiable claim or constraint | Patterns, Arguments, Protocols |
| action | Sequential step with phase and timing | Protocols |
| checkpoint | Decision point with options, optional approval chain | Protocols |
| reference | Authority citation with relevance | All structured units |
| evidence | Required evidence with certification level | All structured units |