Repository navigation

Phase 7.3: Add or/or-join disjunction to Datalog query language - #24

Merged

adityamukho merged 20 commits into

mainfrom

feature/phase-7-3-disjunction

Mar 26, 2026

Merged

Phase 7.3: Add or/or-join disjunction to Datalog query language#24
adityamukho merged 20 commits into
mainfrom
feature/phase-7-3-disjunction

Commits on Mar 26, 2026
- docs: add Phase 7.3 disjunction (or/or-join) design spec
  
  adityamukho
  and
  claude
  committed
  2de3631
- docs: revise Phase 7.3 spec — fix 12 issues from reviewer
  
  adityamukho
  and
  claude
  committed
  5a10bd3
- docs: fix 5 issues in Phase 7.3 spec (second reviewer pass)
  
  adityamukho
  and
  claude
  committed
  01da108
- docs: fix final blocking issue in Phase 7.3 spec (missing has_negated_invocation arm)
  
  adityamukho
  and
  claude
  committed
  c1fb770
- docs: add Phase 7.3 disjunction implementation plan
  
  adityamukho
  and
  claude
  committed
  db8bd11
- feat(types): add Or/OrJoin WhereClause variants with compile-error fixes
  
  adityamukho
  and
  claude
  committed
  c56b58e
- feat(stratification): add collect_clause_deps, handle Or/OrJoin in dependency graph
  
  adityamukho
  and
  claude
  committed
  862155c
- feat(matcher): add match_patterns_seeded for seeded branch evaluation
  
  adityamukho
  and
  claude
  committed
  3eb6beb
- feat(parser): parse or/or-join/and syntax with safety checks
  
  adityamukho
  and
  claude
  committed
  fcc794e
- refactor(evaluator): expose rule_invocation_to_pattern as pub(crate)
  adityamukho
  committed
  81f30c5
- feat(executor): add evaluate_branch, apply_or_clauses; wire into execute_query paths
  
  adityamukho
  and
  claude
  committed
  ec897b0
- feat(evaluator): route or/or-join rules to mixed_rules path, wire apply_or_clauses
  
  adityamukho
  and
  claude
  committed
  0cda6ee
- test(disjunction): core or tests — union, filter, dedup, not inside branch, nested
  
  adityamukho
  and
  claude
  committed
  f8be584
- test(disjunction): or-join, safety errors, rules, bi-temporal, stratification tests
  
  adityamukho
  and
  claude
  committed
  5387a2e
- docs: update CHANGELOG, ROADMAP, and Datalog-Reference for Phase 7.3 or/or-join
  
  adityamukho
  and
  claude
  committed
  041bc2f
- fix: reject or/or-join inside not bodies at parse time; clean up TODO comments
  
  adityamukho
  and
  claude
  committed
  ce650d2
- style: cargo fmt
  adityamukho
  committed
  9cd349b
- fix: replace {:?} with {} on cmd.err() in or parse tests (CodeQL)
  
  adityamukho
  and
  claude
  committed
  f58f94b
- style: cargo fmt on parser.rs or parse test assertions
  
  adityamukho
  and
  claude
  committed
  bf25994
- fix: remove cmd-derived values from or parse test assert messages (CodeQL)
  
  adityamukho
  and
  claude
  committed
  4adad1c

Commits

Commits on Mar 26, 2026