Stochastic Program IR

Stochastic Program IR is a small immutable random-variable algebra for readable, structurally verifiable forward-sampling programs.

Named plates replace positional shape reasoning, explicit reductions replace hidden contractions, and staged materialization replaces mutable RNG state. Operations whose semantics cannot be understood locally—especially arbitrary indexing—are intentionally excluded.

• Getting started
  • Installation
  • Build a graph
  • Realize a value
  • Distributions
• Named plates and explicit contractions
  • Introduce and validate plates
  • Named alignment
  • Broadcast existing values
  • Matrix products without hidden contractions
  • Reductions
• Sampling phases and partial materialization
  • Freeze one phase
• Structural equality and stochastic equality
• Concrete values and metadata
  • Constants
• Alpha stability and intentional omissions
• Public API reference
  • Constructors and transforms
  • Expressions and values
  • Reductions
  • Errors
• Contributor architecture
  • Local validation
• Publishing releases
  • One-time publisher setup
  • Release sequence

Project resources

• Source repository

• Issue tracker

• Contributor guide

• Changelog

License

Stochastic Program IR is distributed under the BSD 3-Clause License.