pyspecification

A lightweight, typed Python library for composing business rules as reusable, executable predicates.

This project was inspired by the work and ideas shared by ArjanCodes, especially the concepts demonstrated in his video: "The Most Overengineered Python Pattern I've Ever Built".

pyspecification focuses on a functional style:

• rules are first-class callables
• predicates compose with &, |, and ~
• registry-based registration keeps rules organized
• structured rule definitions can be compiled from dictionaries or JSON-like payloads
• generated schemas make rule metadata portable and machine-readable

It is especially useful for filtering, validation, authorization checks, and declarative rule engines without introducing a heavy framework.

---

Why use pyspecification?

This package helps you turn complex condition logic into small, readable, testable rule fragments.

Instead of writing nested if logic like this:

if user.is_admin or (user.name.lower().startswith("admin") and 18 <= user.age <= 30):
    allow_access = True
else:
    allow_access = False

you can define rules as composable predicates:

rule = is_admin() | (name__istartswith("admin") & age__between(18, 30))

This keeps your logic:

• declarative
• reusable
• easy to combine
• friendly to validation and filtering pipelines
• easy to inspect and serialize

---

Features

• Object-based predicate rules for dataclasses and domain models
• Subscriptable rules for dictionaries, lists, and generic lookup-based data
• Predicate objects that support logical composition
• Registry pattern for rule registration and lookup
• Custom argument processors for coercion and normalization
• PredicateCompiler for compiling structured rule dictionaries into executable predicates
• RuleSchema validation for declarative rule payloads
• JSON schema generation for rule arguments and return types
• Support for both logical and bitwise operator modes
• Hidden rules and custom naming for internal/private rule registration

---

Installation

pip install pyspecification

uv add pyspecification

---

Core concepts

1. Predicate

A Predicate[T, R] wraps a function fn: T -> R and adds composition behavior.

from pyspecification import Predicate


def is_adult(user: object) -> bool:
    return user.age >= 18


def is_admin_predicate(user: object) -> bool:
    return user.is_admin


adult_predicate: Predicate[User, bool] = Predicate(is_adult, operator="logical")
is_admin_predicate: Predicate[User, bool] = Predicate(is_admin_predicate, operator="logical")

You can combine predicates using:

rule = adult_predicate & is_admin_predicate
rule = adult_predicate | is_admin_predicate
rule = ~adult_predicate

operator can be either:

• "logical" for and / or / not
• "bitwise" for & / | / ~

When combining predicates, both sides must use the same operator mode.

---

2. Object rules

Use @object_rule to create reusable predicates from object-based functions.

from dataclasses import dataclass

from pyspecification import object_rule


@dataclass
class User:
    name: str
    age: int
    is_admin: bool = False


@object_rule()
def name__istartswith(user: User, value: str) -> bool:
    return user.name.lower().startswith(value.lower())


@object_rule()
def age__between(user: User, min_age: int, max_age: int) -> bool:
    return user.age >= min_age and user.age <= max_age


@object_rule()
def is_admin(user: User) -> bool:
    return user.is_admin


rule = is_admin() | (name__istartswith("admin") & age__between(18, 30))

This yields a predicate that can be evaluated against a model instance:

user = User(name="Abdullah", age=25, is_admin=True)
print(rule(user))  # True

The rule function itself is a factory that returns a Predicate.

---

3. Subscriptable rules

Use @subscriptable_rule for dictionary or list-like lookup data.

from typing import Any

from pyspecification import subscriptable_rule


@subscriptable_rule()
def string__ieq(obj: dict[str, Any], key: str, value: str) -> bool:
    return obj[key].lower() == value.lower()


@subscriptable_rule()
def number__le(obj: dict[str, Any], key: str, value: int) -> bool:
    return obj[key] <= value


rule = string__ieq("gender", "male") & number__le("rank", 10)

person = {"gender": "Male", "rank": 9}
print(rule(person))  # True

This pattern is ideal for filtering dictionaries and JSON-like records.

---

4. SQLAlchemy integration example

One of the strongest real-world use cases is turning rule definitions into SQLAlchemy filter expressions for database queries.

from typing import Any

from pyspecification import ObjectRulesRegistry, Predicate, PredicateCompiler, RuleSchema
from sqlalchemy import ColumnElement, and_, create_engine, or_
from sqlalchemy.orm import DeclarativeBase, Mapped, Session, mapped_column, sessionmaker


class Base(DeclarativeBase):
    pass


class User(Base):
    __tablename__ = "users"

    id: Mapped[int] = mapped_column(primary_key=True)
    name: Mapped[str]
    age: Mapped[int]
    is_admin: Mapped[bool] = mapped_column(default=False)


engine = create_engine("sqlite:///:memory:")
SessionLocal = sessionmaker(bind=engine)

# create database and seed data
Base.metadata.create_all(engine)
with SessionLocal() as session:
    session.add_all(
        [
            User(name="Abdullah", age=18, is_admin=True),
            User(name="Bob", age=16, is_admin=True),
            User(name="Charlie", age=20, is_admin=False),
            User(name="David", age=12, is_admin=False),
            User(name="Eve", age=8, is_admin=True),
        ]
    )
    session.commit()


rules = ObjectRulesRegistry[type[User], ColumnElement[bool]](operator="bitwise")


@rules.rule()
def is_admin(model: type[User]) -> ColumnElement[bool]:
    return model.is_admin == True  # noqa: E712


@rules.rule()
def name__iendswith(model: type[User], value: str) -> ColumnElement[bool]:
    return model.name.iendswith(value)


@rules.rule()
def age__ge(model: type[User], value: int) -> ColumnElement[bool]:
    return model.age >= value


@rules.rule()
def age__le(model: type[User], value: int) -> ColumnElement[bool]:
    return model.age <= value


compiler = PredicateCompiler(
    rules.rules,
    lambda schema: Predicate(
        lambda _: and_(True) if schema["operator"] == "and" else or_(False),
        operator="bitwise",
    ),
)

filter_rule_data = {
    "operator": "or",
    "expressions": [
        {"-is_admin": []},
        {"age__ge": [18]},
    ],
}

predicate = compiler.compile(RuleSchema(**filter_rule_data).model_dump())

with SessionLocal() as session:
    users = session.query(User).filter(predicate(User)).all()
    print([user.name for user in users])

This pattern is especially useful when you want:

• declarative backend filters
• admin dashboards with rule-driven queries
• object-level permission evaluation
• SQLAlchemy-friendly business logic without hard-coded SQL fragments

The project includes a full end-to-end SQLAlchemy example in the test suite under tests/e2e/test_sqlalchemy_filtering_system.py.

---

Custom processors

Rules can apply argument processors to coerce values before evaluation.

from datetime import datetime

from pyspecification import SubscriptableRulesRegistry


rules = SubscriptableRulesRegistry[dict[str, object], str, bool](operator="logical")


@rules.rule(processors=(lambda value: datetime.strptime(value, "%Y-%m-%d"), {}))
def datetime__gt(obj: dict[str, object], key: str, value: datetime) -> bool:
    return obj[key] > value


predicate = rules["datetime__gt"]("birthdate", "2001-06-01")
print(predicate({"birthdate": datetime(2005, 1, 1)}))  # True

The processor tuple format is:

(default_processor, named_processors_map)

For example:

processors = (
    int,
    {"value": str},
)

This means:

• positional args are passed through int
• keyword args with name "value" are passed through str

If conversion fails, the library raises ProcessArgumentError.

---

Compiling structured rule definitions

PredicateCompiler turns declarative rule dictionaries into executable predicates.

from dataclasses import dataclass

from pyspecification import Predicate, PredicateCompiler, RuleSchema, object_rule


@dataclass
class User:
    name: str
    age: int
    is_admin: bool = False


@object_rule()
def is_admin(user: User) -> bool:
    return user.is_admin


@object_rule()
def name__istartswith(user: User, value: str) -> bool:
    return user.name.lower().startswith(value.lower())


@object_rule()
def age__between(user: User, min_age: int, max_age: int) -> bool:
    return user.age >= min_age and user.age <= max_age


rules = {
    "is_admin": is_admin,
    "name__istartswith": name__istartswith,
    "age__between": age__between,
}

compiler = PredicateCompiler(
    rules,
    lambda schema: Predicate(lambda _: schema["operator"] == "and", operator="logical"),
)

rule_data = {
    "operator": "or",
    "expressions": [
        {"is_admin": []},
        {
            "expressions": [
                {"name__istartswith": "admin"},
                {"age__between": [18, 30]},
            ]
        },
    ],
}

predicate = compiler.compile(RuleSchema(**rule_data).model_dump())
print(predicate(User("admin", 25, True)))  # True

Predicate schema

PredicateCompiler.compile() consumes the normalized dictionary produced by RuleSchema(...).model_dump(). A predicate schema always has four keys:

{
    "name": "rule_name",
    "args": [],
    "kwargs": {},
    "inverse": false
}

The name must be present in the dictionary of rules passed to the compiler. Use args for positional arguments and kwargs for keyword arguments. These examples assume the rules from the previous section:

{
    "name": "is_admin",
    "args": [],
    "kwargs": {},
    "inverse": false
}

{
    "name": "name__istartswith",
    "args": ["admin"],
    "kwargs": {},
    "inverse": false
}

{
    "name": "age__between",
    "args": [],
    "kwargs": {"min_age": 18, "max_age": 30},
    "inverse": false
}

Set inverse to true to negate one predicate:

{
    "name": "is_admin",
    "args": [],
    "kwargs": {},
    "inverse": true
}

The normalized schema is convenient when rule definitions arrive as JSON:

import json

rule_json = '{"name": "age__between", "args": [18, 30], "kwargs": {}, "inverse": false}'
rule_data = json.loads(rule_json)
predicate = compiler.compile(rule_data)

Expression wrapper schema

Use a wrapper to combine predicates. A wrapper has an operator, an expressions list, and an inverse flag:

{
    "operator": "and",
    "expressions": [
        {
            "name": "is_admin",
            "args": [],
            "kwargs": {},
            "inverse": false
        },
        {
            "name": "age__between",
            "args": [18, 30],
            "kwargs": {},
            "inverse": false
        }
    ],
    "inverse": false
}

operator must be either "and" or "or". Expressions can be nested to represent more complex logic:

{
    "operator": "or",
    "expressions": [
        {
            "name": "is_admin",
            "args": [],
            "kwargs": {},
            "inverse": false
        },
        {
            "operator": "and",
            "expressions": [
                {
                    "name": "name__istartswith",
                    "args": ["admin"],
                    "kwargs": {},
                    "inverse": false
                },
                {
                    "name": "age__between",
                    "args": [],
                    "kwargs": {"min_age": 18, "max_age": 30},
                    "inverse": false
                }
            ],
            "inverse": false
        }
    ],
    "inverse": false
}

You can also invert a complete wrapper:

{
    "operator": "or",
    "expressions": [
        {
            "name": "is_admin",
            "args": [],
            "kwargs": {},
            "inverse": false
        },
        {
            "name": "age__between",
            "args": [18, 30],
            "kwargs": {},
            "inverse": false
        }
    ],
    "inverse": true
}

For shorthand forms, validate the payload with RuleSchema first. It converts them into the normalized predicate and wrapper schemas:

{"is_admin": []}
{"-is_admin": []}
{"name__istartswith": "admin"}
{"age__between": [18, 30]}
{"name__startswith": {"value": "admin"}}

The compiler raises RuleDoesNotExistError when a predicate name is not in the compiler's rule mapping. If the dictionary passed directly to compile() does not match a predicate or wrapper schema, it raises TypeError. The error includes the location of the invalid expression, the expected schemas, and the received value. Validate external or shorthand payloads with RuleSchema before compilation.

---

Rule schema validation

RuleSchema validates declarative rule payloads.

from pyspecification import RuleSchema

rule_data = {
    "operator": "and",
    "expressions": [
        {"name__startswith": "admin"},
        {"age__gt": 18},
    ],
}

schema = RuleSchema(**rule_data)
print(schema.model_dump())

This is useful when you want to validate incoming rule definitions before compile-time execution.

You can also use RuleSchema to represent nested predicate trees as typed, portable data.

---

JSON schema generation

get_json_schema inspects a rule function and returns JSON-schema-like metadata for parameters and return value.

from dataclasses import dataclass

from pyspecification import get_json_schema, object_rule


@dataclass
class User:
    name: str
    age: int
    is_admin: bool = True


@object_rule()
def name__istartswith(user: User, value: str) -> bool:
    return user.name.lower().startswith(value.lower())


print(get_json_schema(name__istartswith))
# {
#   "value": {"type": "string"},
#   "return": {"type": "boolean"},
# }

This is useful for:

• generating UIs for rule configuration
• building admin tools and dashboards
• describing rule inputs to other systems
• documenting business rules programmatically

---

Use cases

1. Filtering datasets

This library is excellent for building dynamic dataset filters during API requests or internal analytics queries.

from dataclasses import dataclass

from pyspecification import ObjectRulesRegistry


@dataclass
class User:
    name: str
    age: int
    is_admin: bool


registry = ObjectRulesRegistry[User, bool](operator="logical")


@registry.rule()
def is_admin(user: User) -> bool:
    return user.is_admin


@registry.rule()
def age__gte(user: User, value: int) -> bool:
    return user.age >= value


users = [
    User("Alice", 27, True),
    User("Bob", 19, False),
    User("Charlie", 31, True),
]

predicate = registry["is_admin"]() & registry["age__gte"](20)
filtered = [user for user in users if predicate(user)]

2. SQLAlchemy-backed filtering and query composition

This is one of the most useful real-world patterns for the package. You can define a reusable rule set and compile it into SQLAlchemy boolean expressions for database queries.

from pyspecification import ObjectRulesRegistry, Predicate, PredicateCompiler, RuleSchema
from sqlalchemy import ColumnElement, and_, or_
from sqlalchemy.orm import DeclarativeBase, Mapped, mapped_column


class Base(DeclarativeBase):
    pass


class User(Base):
    __tablename__ = "users"

    id: Mapped[int] = mapped_column(primary_key=True)
    name: Mapped[str]
    age: Mapped[int]
    is_admin: Mapped[bool]


rules = ObjectRulesRegistry[type[User], ColumnElement[bool]](operator="bitwise")


@rules.rule()
def is_admin(model: type[User]) -> ColumnElement[bool]:
    return model.is_admin == True  # noqa: E712


@rules.rule()
def age__ge(model: type[User], value: int) -> ColumnElement[bool]:
    return model.age >= value


compiler = PredicateCompiler(
    rules.rules,
    lambda schema: Predicate(
        lambda _: and_(True) if schema["operator"] == "and" else or_(False),
        operator="bitwise",
    ),
)

filter_rule = {
    "operator": "or",
    "expressions": [
        {"is_admin": []},
        {"age__ge": [18]},
    ],
}

query_predicate = compiler.compile(RuleSchema(**filter_rule).model_dump())

This makes it easy to expose admin filters, user search rules, and role-based queries without manually stitching SQL conditions together.

3. Authorization and access rules

You can model business policies as rules and compose them into policy expressions.

rule = is_admin() | (is_manager() & is_active())

This allows readable authorization checks without large condition trees.

3. Dynamic rule engines

The compiler and schema APIs make it easy to store or receive rules as structured data.

Examples:

• frontend sends a filter model to backend
• admin system stores JSON rules in a database
• rules are reloaded at runtime based on configuration

4. Validation pipelines

Rules can be assembled from reusable predicate pieces and evaluated against model instances or dictionary records.

This is ideal for:

• data validation
• compliance checks
• workflow gating
• feature flags and user segmentation

---

Recommended patterns

Prefer named rule functions

@object_rule()
def age__between(user: User, min_age: int, max_age: int) -> bool:
    return user.age >= min_age and user.age <= max_age

This gives you readable names and predictable rule lookup keys.

Keep rules small and pure

Rules should do one thing and avoid hidden side effects.

Use registries for larger systems

If your project has many rules, registries provide structure and reduce duplication.

Validate schema before compile

If you load rules from external sources, validate them via RuleSchema before compiling.

---

Exceptions

The library raises explicit exceptions for rule issues:

• RuleDoesNotExistError
• RuleAlreadyRegisteredError
• RuleKeyDoesNotExistError
• ArgumentError
• MissingArgumentError
• UnexpectedKeywordArgumentError
• TooManyArgumentsError
• ProcessArgumentError

ArgumentError is the base class for failures involving arguments passed to a rule. Its specialized exceptions describe the problem:

• MissingArgumentError means a required positional or keyword-only argument was not provided.
• UnexpectedKeywordArgumentError means a keyword does not belong to the rule's signature.
• TooManyArgumentsError means more positional arguments were provided than the rule accepts.
• ProcessArgumentError means an argument processor could not convert or otherwise process a value.

RuleDoesNotExistError includes the missing name and the available rule names, which is useful when rules are dynamically loaded. Malformed normalized compiler payloads raise TypeError; its message identifies the JSON-like path of the invalid expression and shows the expected schemas.

---

Example scripts in this repository

This project includes runnable examples under the scripts/ directory:

• scripts/rules_example.py — basic object-based rule composition
• scripts/reg_example.py — registry usage and compiled rule predicate patterns
• scripts/json_schema_example.py — JSON schema generation examples

The test suite under tests/ also demonstrates behavior for:

• registry registration
• predicate composition
• compiler validation
• schema serialization
• filtering workflows

---

Example complete workflow

from dataclasses import dataclass

from pyspecification import ObjectRulesRegistry, PredicateCompiler, RuleSchema


@dataclass
class User:
    name: str
    age: int
    is_admin: bool = False


registry = ObjectRulesRegistry[User, bool](operator="logical")


@registry.rule()
def is_admin(user: User) -> bool:
    return user.is_admin


@registry.rule()
def name__istartswith(user: User, value: str) -> bool:
    return user.name.lower().startswith(value.lower())


@registry.rule()
def age__between(user: User, min_age: int, max_age: int) -> bool:
    return user.age >= min_age and user.age <= max_age


rule_definition = {
    "operator": "or",
    "expressions": [
        {"is_admin": []},
        {
            "expressions": [
                {"name__istartswith": "admin"},
                {"age__between": [18, 30]},
            ]
        },
    ],
}

schema = RuleSchema(**rule_definition)
compiler = PredicateCompiler(registry.rules, lambda spec: Predicate(lambda _: True, operator="logical"))
predicate = compiler.compile(schema.model_dump())

users = [
    User("Abdullah", 18, True),
    User("admin", 20, False),
    User("Charlie", 12, False),
]

print([predicate(user) for user in users])

---

Summary

pyspecification brings together rule registration, predicate composition, schema validation, and runtime compilation in a compact library designed around functional and declarative rule authoring.

It is a practical fit for projects that need to:

• express business rules clearly
• compose conditions without nested if chains
• validate dynamic rule payloads
• support filtering and policy evaluation
• keep rule logic easy to test and maintain

If you want a rule system that feels Pythonic, composable, and lightweight, pyspecification is built for that workflow.

---

License

This project is licensed under the GNU General Public License v3.0 or later.

See the full text in LICENSE.

The project is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU GPL v3 for more details.