ferro-orm 0.18.0__tar.gz → 0.20.0__tar.gz

{ferro_orm-0.18.0 → ferro_orm-0.20.0}/AGENTS.md

@@ -46,8 +46,11 @@ For a single model, every emitter must agree on:
    `docs/solutions/patterns/derived-type-and-naming-decision-table.md`.
 7. **Primary key constraint names** — when explicitly named.
 8. **Check constraint names** — `ck_<table>_<col>` for the single-column
-   `db_check=True` constraint; generated by `_ck_constraint_name` (Python)
-   and `db_check_constraint_name` (Rust).
+   `db_check=True` constraint; `ck_<table>_<suffix>` for table checks declared
+   in `__ferro_checks__`. Column checks use `_ddl_check_constraint_name`
+   (Python) and `db_check_constraint_name` (Rust); table checks use
+   `_ddl_table_check_constraint_name` (Python) and
+   `table_check_constraint_name` (Rust).
 9. **Default values** — server-side defaults must serialize identically.
 10. **Nullability** — must agree.
 11. **Enum label additions** — the label-addition decision (which model-declared
@@ -60,6 +63,41 @@ For a single model, every emitter must agree on:
     executes the byte-identical statements. Pinned by
     `tests/test_cross_emitter_parity.py` and the ferro-ddl-lowering unit pins.
     See ADR-0011 (append-only; update-gated; warn-never-act for extras).
+12. **Check additions** — the missing-check decision (which declared `ck_*`
+    names — table checks, then column checks — a live table does not carry)
+    and the rendered ADD are decided by ONE pair of functions:
+    `ferro_ddl_lowering::missing_check_names` / `render_check_addition`.
+    The auto-migrate reconciliation pass consumes them through
+    `ferro_migrate::plan_missing_checks`; the Alembic autogenerate
+    comparator consumes them over FFI (`_core._plan_check_addition`) and
+    executes the byte-identical statements. Pinned by
+    `tests/test_table_check_reconcile.py`. See ADR-0013 (add on
+    `migrate_updates`; name-only comparison) and ADR-0014 (SQLite warn-skip).
+13. **Check rebuilds** — the same-name body-drift decision (which declared
+    `ck_*` names exist live **and** whose catalog definition normalizes
+    unequal to the canonical rendering) and the rendered DROP + bare ADD
+    are decided by ONE pair of functions:
+    `ferro_ddl_lowering::drifted_check_names` / `render_check_rebuild`
+    (one normalizer: `normalize_check_definition`). The auto-migrate
+    reconciliation pass consumes them through
+    `ferro_migrate::plan_check_rebuilds`; the Alembic autogenerate
+    comparator consumes them over FFI (`_core._plan_check_rebuild`) and
+    executes the byte-identical statements. Pinned by
+    `tests/test_table_check_rebuild.py`. See ADR-0015 (canonical render vs
+    catalog, both through one normalizer) and ADR-0014 (SQLite warn-skip).
+14. **Check leftovers / drops** — the leftover-name decision (which live
+    ferro-owned `ck_*` names a table carries that the model no longer
+    declares) and the rendered DROP are decided by ONE trio of functions:
+    `ferro_ddl_lowering::extra_check_names` /
+    `extra_check_names_warning` / `render_check_drop`. The auto-migrate
+    reconciliation pass consumes them through
+    `ferro_migrate::plan_check_drops` (ops only under
+    `migrate_destructive`; the warning always fires on `migrate_updates`).
+    The Alembic autogenerate comparator consumes them over FFI
+    (`_core._plan_check_drop`) with **no** destructive gate and executes
+    the byte-identical statements. Pinned by
+    `tests/test_table_check_orphans.py`. See ADR-0013 (leftover warning +
+    destructive ladder) and ADR-0014 (SQLite warn-skip).
 
 ### Why this invariant exists
 

{ferro_orm-0.18.0 → ferro_orm-0.20.0}/CHANGELOG.md

@@ -1,6 +1,34 @@
 # CHANGELOG
 
 
+## v0.20.0 (2026-08-29)
+
+### Chores
+
+- Add Context7 library config ([#357](https://github.com/syn54x/ferro-orm/pull/357),
+  [`ab8e79b`](https://github.com/syn54x/ferro-orm/commit/ab8e79b799e07fd64f7da8db09daa278af488877))
+
+### Features
+
+- **query**: Order_by nulls= first/last placement
+  ([#369](https://github.com/syn54x/ferro-orm/pull/369),
+  [`ef6c8b4`](https://github.com/syn54x/ferro-orm/commit/ef6c8b4c458d47a88ace4407a5fb368a8d91200a))
+
+
+## v0.19.0 (2026-08-18)
+
+### Bug Fixes
+
+- Classify PG18 RESTRICT (23001) as ForeignKeyViolationError
+  ([#338](https://github.com/syn54x/ferro-orm/pull/338),
+  [`4fa1153`](https://github.com/syn54x/ferro-orm/commit/4fa1153477802de8207c7987748db962b35c2f0f))
+
+### Features
+
+- Named table-level CHECK constraints ([#356](https://github.com/syn54x/ferro-orm/pull/356),
+  [`ba179e7`](https://github.com/syn54x/ferro-orm/commit/ba179e71e9bce4ab77a6fdbc1831661485de6799))
+
+
 ## v0.18.0 (2026-08-05)
 
 ### Documentation

{ferro_orm-0.18.0 → ferro_orm-0.20.0}/CONTEXT.md

@@ -145,5 +145,17 @@ The reconciliation-pass operation appending model-declared labels missing from a
 _Avoid_: Enum sync, label reconciliation, enum evolution
 
 **Constraint rebuild**:
-Drop-and-recreate of a ferro-owned constraint whose live definition no longer matches the declared model — a foreign key's `on_delete`, its target, its columns. Metadata-only: rows are never touched. On a backend that cannot alter constraints, ferro warns loudly and skips; it never diverges silently.
+Drop-and-recreate of a ferro-owned constraint whose live definition no longer matches the declared model — a foreign key's `on_delete`, its target, its columns, or a table check's predicate. Metadata-only: rows are never touched. On a backend that cannot alter constraints, ferro warns loudly and skips; it never diverges silently.
 _Avoid_: Constraint alter, FK patch, in-place constraint update
+
+**Column check**:
+A single-column CHECK that restricts a closed-domain field to its declared labels (`Field(db_check=True)` → `col IN (...)`). Named `ck_<table>_<col>`; not a table check.
+_Avoid_: enum check, db_check constraint, value check
+
+**Table check**:
+A named boolean invariant over one row of one table, declared on the model as a lambda and enforced by the database as a CHECK constraint. The live name is `ck_<table>_<suffix>`; the suffix is what the model declares.
+_Avoid_: table-level check, multi-column check, composite check, row check
+
+**Check predicate**:
+The lambda body of a table check — a ferro predicate over that model's own columns (or a forward-FK null test on the relation or its shadow `*_id`), with literal values only. Relation traversal, existence tests, and aggregates are not check predicates.
+_Avoid_: check SQL, constraint expression, check body