Defense

Assured engagement decision support. Rules from published doctrine sources compose through a DAG to produce auditable decisions with formal verification: an adversarial classifier cannot produce an unsafe authorization.

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 Dynamic

Dynamic Kill Web

Triage-priority evaluation with AR-weighted target classification. Compares standard pipeline vs. AR-weighted pipeline across mixed-threat scenarios with formal proof certificates.

AR-weighted ML Triage priority Proof certificates

Open Dynamic demo Static

Static Kill Web

The baseline proof that rule composition works. A CNN classifier alone produces 78 constraint violations; composed through the rule DAG with 25 doctrine rules it produces zero.

25 doctrine rules 78 to 0 violations

Open Static demo Doctrine

Doctrine Kill Web

The full rule architecture at scale: 94 rules across 13 namespaces with mission profiles and AR-governed training, all composed with namespace isolation guarantees.

94 rules 13 namespaces Mission profiles

Open Doctrine demo