guided-formal-reasoning

Evidence-gated reasoning for coding agents: frame a hard question as proof obligations over a zero-dependency Datalog engine, gather evidence through typed intents, and return an epistemic report (supported / refuted / contested / unknown) with why-traces down to evidence. Experimental: engine and method carry first measurements; see docs/dogfood/.