Libraries tagged by invariant

Exceptions, Ref, and invariant functions

Go to Download

The Hoa\Praspel library.

Go to Download

Journey testing for Laravel: run the steps of a user journey in seeded, shuffled orders and assert invariants along the way.

Go to Download

Attachment content type with parent-entity reference and at-most-one-active invariant.

Go to Download

Vortos Release — immutable build manifests, schema fingerprinting, rollback invariant math, semver/changelog, and coordinated multi-repo tagging. Write-once persistence enforced at the storage layer; provenance-ready for cosign/SLSA attestation.

Go to Download

A strict runtime type and invariant checker for developing safer PHP applications

Go to Download

Domain layer foundation for PHP 8.2+ providing Value Objects with attribute-based validation, Entities, Aggregates, Rules, Specifications, Policies, Invariants, Transformers, and a framework-agnostic adapter system.

Go to Download

A lightweight Design-by-Contract library for PHP

Go to Download

Go to Download

An expressive but lightweight library to validate preconditions and invariants.

Go to Download

A library which helps to specify, check and reflect code contracts.

Go to Download

Based on hediet/contracts. A library which helps to specify, check and reflect code contracts. Fast porting for wordpress. An additional layer simply makes it possible to invalidate the exceptions in a production context.

Go to Download

A lightweight Design-by-Contract library for PHP

Go to Download

Audit-grade, append-only General Ledger for Laravel 12 with strict accounting invariants, period locking, and sub-ledger integration.

Go to Download

Coretsia Kernel runtime package: UnitOfWork shapes, outcome policy, and kernel lifecycle invariants.

Go to Download