Epic #89: built-in declarative CEL rules engine + skill-reference sweep#116

Merged

rrrodzilla merged 26 commits into

mainfrom

May 29, 2026

Commits on May 29, 2026

feat(cel): add CEL conformance oracle harness (#90)
rrrodzilla
committed
feat(cel): add CEL lexer + parser → typed AST (#107)
rrrodzilla
committed
feat(cel): add tree-walking evaluator core (#108)
rrrodzilla
committed
feat(cel): add standard function library (#109)
rrrodzilla
committed
fix(cel): parse -9223372036854775808 as i64::MIN (#114)
rrrodzilla
committed
feat(cel): add two-variable comprehension macros (#113)
rrrodzilla
committed
feat(dsl): parse CEL rule annotations @require/@compute/@default (#103)
rrrodzilla
committed
feat(rules): enforce @require CEL predicates → 422 (#92)
rrrodzilla
committed
feat(rules): derive @compute fields at write time (#93)
rrrodzilla
committed
feat(rules): expression-valued @default on insert (#94)
rrrodzilla
committed
feat(cel): type-check rule expressions against field types at parse (#104)
rrrodzilla
committed
docs(adr): decide uint type vs unsigned constraint (#98)
rrrodzilla
committed
feat(rules): run @default/@compute/@require ahead of before_* hooks (#105)
rrrodzilla
committed
test(signing): prove tampering a signed rule annotation is rejected (#106)
rrrodzilla
committed
feat(cel): add optional-type navigation and stdlib (#100)
rrrodzilla
committed
test(cel): lock in timestamp/duration overflow rules (#101)
rrrodzilla
committed
feat(types): add first-class duration field type (#96)
rrrodzilla
committed
feat(types): add first-class bytes field type (#97)
rrrodzilla
committed
feat(types): add typed map<K,V> field type (#99)
rrrodzilla
committed
docs(adr): record CEL expression substrate decision (#91)
rrrodzilla
committed
feat(cel): project enum/ref/file into the value lattice (#102)
rrrodzilla
committed
docs(dsl): document duration/bytes/map types and CEL rule annotations
rrrodzilla
committed
feat(cel): constrained single-hop cross-entity reads in @require (#95)
rrrodzilla
committed
docs(skill): bring schemaforge skill references current with the rules engine
rrrodzilla
committed
docs(skill): track 5 installed-only references and bring them current
rrrodzilla
committed
Merge main into dev (demo-console PRs #110-112) ahead of releasing epic #89
rrrodzilla
committed