Libraries tagged by invariant

Exceptions, Ref, and invariant functions

Go to Download

The Hoa\Praspel library.

Go to Download

A lightweight Design-by-Contract library for PHP

Go to Download

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

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

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

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

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

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

Go to Download

Generates MJML sections in the GrapesJS email builder from a text description, with allowlist validation and preservation invariants.

Go to Download

Framework-free invariant enforcement with hydration policies (Strict, Lenient, Quarantine, AutoCorrect). Extracted from splitstack/laravel-domainable.

Go to Download

Continuous runtime verification engine for business invariants in Laravel applications.

Go to Download

Go to Download

An expressive but lightweight library to validate preconditions and invariants.

Go to Download