An open-source template for deterministic reasoning that combines LLM fact extraction with a local JavaScript-based forward-chaining inference engine. The system refuses to guess when facts are ambiguous, making decisions through structured rules rather than LLM inference at runtime, exemplified by contract validation workflows.