Add data-aware Declare constraints to path search - #15

Merged

dbera merged 23 commits into

mainfrom

feature/declare-constraints

Aug 7, 2026

Commits on Aug 7, 2026

Add data-aware transition conditions
dbera
committed
71d070c
Add transition data correlation
dbera
committed
9512767
Add Declare constraint model
dbera
committed
fc14e1c
Add Declare predicate and monitor framework
dbera
committed
0725946
Add basic Declare monitors
dbera
committed
40d81fa
Add Declare response monitors
dbera
committed
fd723d6
Add Declare precedence monitors
dbera
committed
d4be421
Add Declare existence monitors
dbera
committed
c5cfd6f
Add Declare succession monitors
dbera
committed
5c41ed0
Add Declare monitor factory
dbera
committed
1c56ffc
Integrate Declare constraints with path search
dbera
committed
06422d4
Pass transition data to path search
dbera
committed
def7384
Add Declare constraint builder
dbera
committed
c864a10
Add graph-aware transition picker
dbera
committed
6df53ad
Add transition data field catalogue
dbera
committed
562d14a
Add graph-aware transition data field picker
dbera
committed
5476ba3
Add data-aware Declare condition editor
dbera
committed
c33c087
Add optional-target path search semantics
dbera
committed
41c622a
Add optional-target constrained path discovery
dbera
committed
2fd3bfc
feat: support multidimensional array conditions
dbera
committed
e85252d
feat: add resizable and collapsible side panel
dbera
committed
5081a99
refactor: improve transition condition editor layout
dbera
committed
71c1bd8
feat: improve constrained path condition editor
dbera
committed
622d585