CLARA Demo Suite
Constraint-Composed Reasoning

CLARA Kill Web

Constraint-composed AR reasoning over kill web scenarios. Rules from published doctrine sources compose through a DAG to produce auditable engagement decisions with formal ErgoAI verification.

OODA Loop

OODA Kill Web

Closed-loop engagement with AR-governed decision cycles. Watch a target list pass through observe-orient-decide-act phases while ROE, BDA, CDE, and loop-control rules compose at each step.

16 namespaces 54 DAG edges 40 scenarios
Open OODA demo