feat(capabilities): compound capability predicates (66b) - #289

Merged

discreteds merged 5 commits into

feature/compound-capability-predicates

Aug 15, 2026

Commits on Aug 15, 2026

feat(capabilities): add predicate schema types + CapabilityFact.predicate (66b)
discreteds
committed
2d59563
feat(capabilities): add predicate engine — BoundCall, evaluation, subsumption (66b)
discreteds
committed
b3a47e3
feat(capabilities): violations_for + predicate store + conflict check (66b)
discreteds
committed
49f383b
feat(capabilities): wire violations_for into both visitor gates (66b)
discreteds
committed
8d9d906
test(capabilities): consumer audit for predicate facts (66b)
discreteds
committed
afc2ef3