Verisyntax — User Manual (prototype 0.1)

More short recipes without data files

Find a logical dependency

depends_on(report, dataset)
depends_on(dataset, source)

indirect_dependency(X, Z)
  if depends_on(X, Y)
  and depends_on(Y, Z)

ask indirect_dependency(report, What)

Run as Program queries. The result is What = source, and the proof shows both facts and the rule. Missing knowledge is unknown, not automatically false.

Estimate a proportion with Bayes

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

observe successes = 14

ask p
  interval 0.89 hdi

Run as Program queries. The C++ runtime—not an LLM—calculates the posterior, 89% HDI, R-hat, effective sample size, and warnings. Use it for a generic success proportion only after trial, success, and the model assumptions have been defined for the domain.