Setup: simulate and fit | The diagnostics report | Reading the goodness-of-fit checks | Standalone ESS and split-Rhat | Standalone posterior predictive checks | Reading the report table | Plotting methods | Benchmarking against the unconstrained baseline | A non-trivial example: bipartite matching

The model | Defining constraints | Simulating data and fitting | Why constraints matter | The adaptive zeta_block controller | Customizing the sampler | Formula interface | Building custom models from primitives