Verisyntax — brugermanual (prototype 0.1)

Flere korte opskrifter uden datafiler

Find en logisk relation

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)

Kør som Program queries. Resultatet bliver What = source, og proof viser begge facts og reglen. Et manglende svar betyder unknown, ikke automatisk false.

Estimér en andel med Bayes

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

observe successes = 14

ask p
  interval 0.89 hdi

Kør som Program queries. C++-runtimen—ikke en LLM—beregner posterior, 89 % HDI, R-hat, effective sample size og warnings. Eksemplet kan bruges til en generisk succesandel, men først når trial, success og modellens antagelser er fagligt defineret.