Verisyntax — User Manual (prototype 0.1)

Bayesian example without an LLM

p ~ beta(alpha = 2, beta = 2)
successes ~ binomial(trials = 20, probability = p)

observe successes = 14
ask p
  interval 0.89 hdi

The C++ runtime—not an LLM—calculates the posterior, HDI, effective sample size, split R-hat, acceptance rate, seed, and warnings.