Hi HN, I built ai·rete·rag because I kept seeing teams put an LLM in charge of decisions that need to be auditable (lending, fraud, clinical triage), then bolt on "guardrails" after the fact.It runs the two in series instead:1. A pure-Python Rete engine evaluates YAML rules against your facts. The verdict comes only from here. Same facts, same verdict, every time, with salience-based conflict resolution. 2. RAG retrieves passages from your own policy documents, and an LLM writes a plain-English explanation of the decision that was already made, citing those passages. It can't change the verdict.A few things that went further than I expected: Rules are a graph, not flat lists: nested all/any/not, and rules can assert facts that other rules consume (forward chaining).

The decision trace shows the causal chain. Audit mode records every rule evaluated, including the ones that didn't fire, condition by condition, with a snapshot of the rule set for replay. Rules can steer retrieval (a fired rule narrows which documents get searched), and retrieved text can be turned into facts for the engine. Non-technical authors can build rules in a visual editor, or paste a…