sagrada-engine

Python bindings for the Sagrada deterministic belief-revision operator: nine epistemic operations, chain hashing, Merkle inclusion proofs, AGM compliance checks, temporal queries, and W3C PROV provenance — as an immutable, replayable state machine.

This is a release-candidate placeholder published to hold the name while cross-platform wheels finish review. It installs nothing usable yet — pip install sagrada-engine (without --pre) deliberately finds no release. The verifiable-receipt format this family emits is already public and frozen: https://github.com/Cruxia-Labs/er1-spec, and its reference verifier is on PyPI as er1-verify.

Author: Mars Ausili mars@cruxia.ai · Cruxia-Labs · Apache-2.0