Show HN: Solvi 1.0 – an LLM proposes, checks decide, every decision replays

A runtime where decision models propose and your code decides: typed questions, hard rules, quotes checked against the text, escalation with a guaranteed error budget, replayable traces. Works with...