Document deterministic theory, LLM grounding and validation limits

Deploy notebook fin calculator and local LLM explainer

initial commit