model: derive declared relation closure #155

Merged

PerishFire merged 1 commit from land/jarvis/keel-k1-closure into main 2026-08-04 06:26:37 +00:00

Conversation 0 Commits 1 Files changed 26 +1006 -6

PerishFire commented 2026-08-04 06:24:08 +00:00

Owner

Copy link

Add the closure modifier for self-referential many-to-many relations and expose the generated <bond>_closure relation.

Maintain non-reflexive transitive reachability transactionally across direct ties, cuts, schema evolution, query reads, and operator Faces. Refuse cycles and writes to engine-owned closure rows.

Add the `closure` modifier for self-referential many-to-many relations and expose the generated `<bond>_closure` relation. Maintain non-reflexive transitive reachability transactionally across direct ties, cuts, schema evolution, query reads, and operator Faces. Refuse cycles and writes to engine-owned closure rows.

PerishFire added 1 commit 2026-08-04 06:24:08 +00:00

model: derive declared relation closure ... 8899b197cf

Add the `closure` modifier for self-referential many-to-many relations and expose the generated `<bond>_closure` relation.

Maintain non-reflexive transitive reachability transactionally across direct ties, cuts, schema evolution, query reads, and operator Faces. Refuse cycles and writes to engine-owned closure rows.

Land-Source: jarvis/keel-k1-closure@25fb3d0634

PerishFire merged commit 8899b197cf into main 2026-08-04 06:26:37 +00:00

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

PerishLab/keel!155

No description provided.