Add custom predicate extensions via [[predicate]]#238

Merged

nikomatsakis merged 13 commits into

symposium-dev:mainfrom

nikomatsakis:custom-predicates

Jun 9, 2026

Commits on Jun 9, 2026

Add custom predicate extensions via [[predicate]]

nikomatsakis
and
claude
committed
Integrate custom predicate evaluator into PredicateContext

nikomatsakis
and
claude
committed
Consolidate predicate name validation and fix CrateList comma parsing

nikomatsakis
and
claude
committed
Reject function-call syntax in the `crates` field

nikomatsakis
and
claude
committed
Add tests for field syntax boundary enforcement

nikomatsakis
and
claude
committed
Fix CI: replace /bin/true with script-based test helpers

nikomatsakis
and
claude
committed
Add integration tests for argument passing and witness-driven crate source

nikomatsakis
and
claude
committed
Fail predicate when stdout is non-empty but not valid witness JSON

nikomatsakis
and
claude
committed
Fail predicate on any malformed witness entry

nikomatsakis
and
claude
committed
Document and test that empty/whitespace args are not passed

nikomatsakis
and
claude
committed
Add integration tests for argument passing and witness-driven crate source

nikomatsakis
and
claude
committed
Introduce CustomPredicateRegistry newtype

nikomatsakis
and
claude
committed
Document that custom predicates are globally available across plugins

nikomatsakis
and
claude
committed