Repeatr: Reproducible, hermetic Computation. Provision containers from Content-Addressable snapshots; run using familiar containers (e.g. runc); store outputs in Content-Addressable form too! JSON API; connect your own pipelines! (Or, use github.com/polydawn/stellar for pipelines!)
Rename Formula.Hash to Formula.SetupHash to clarify what it is, why it does what it does, and that it does not include coverage of all fields.
Update many docs that previously referred to a 'conjecture' field, and remove that field, as part of a clarification sweep. Those docs now make references to SetupHash where appropriate (and read much better as a result, imo).
Rename
Formula.Hash
toFormula.SetupHash
to clarify what it is, why it does what it does, and that it does not include coverage of all fields.Update many docs that previously referred to a 'conjecture' field, and remove that field, as part of a clarification sweep. Those docs now make references to SetupHash where appropriate (and read much better as a result, imo).