Repository navigation

feat: Add causality reporting and partial evaluation (based on anakrish/causality) - #835

Open

snehabandla wants to merge 20 commits into

microsoft:mainfrom

snehabandla:snehab/pe-causality-integration

Open

feat: Add causality reporting and partial evaluation (based on anakrish/causality)#835
snehabandla wants to merge 20 commits into
microsoft:mainfrom
snehabandla:snehab/pe-causality-integration

Commits on Oct 14, 2026
- feat: static provenance analysis and causality rewrite
  
  Anand Krishnamoorthi (anakrish)
  authored and
  snehabandla
  committed
  7f75c77
- feat: expose explanation/causality APIs to FFI, C#, and CLI
  
  Anand Krishnamoorthi (anakrish)
  authored and
  snehabandla
  committed
  cae0035
- fix: populate rules in causality report and fix input_path provenance
  
  Anand Krishnamoorthi (anakrish)
  authored and
  snehabandla
  committed
  d5e5104
- fix(rvm): support nested partial object rule yields
  
  Anand Krishnamoorthi (anakrish)
  authored and
  snehabandla
  committed
  f2bc56d
- feat: causality demo, WASM bindings, and array iteration provenance
  
  Anand Krishnamoorthi (anakrish)
  authored and
  snehabandla
  committed
  d21cc23
- feat: binding tracking, emission-aware partial rule display, undefined set fix
  
  Anand Krishnamoorthi (anakrish)
  authored and
  snehabandla
  committed
  c2c7d74
- fix: only assume unknown input when value is truly undefined
  
  Anand Krishnamoorthi (anakrish)
  authored and
  snehabandla
  committed
  e2bd020
- Improve partial evaluation: negation, comprehension, and data-key resolution
  
  Anand Krishnamoorthi (anakrish)
  authored and
  snehabandla
  committed
  402c35b
- Add partial evaluation support to web demo
  
  Anand Krishnamoorthi (anakrish)
  authored and
  snehabandla
  committed
  e292638
- Fix PE definitiveness: suppress residual queries when result is fully determined
  
  Anand Krishnamoorthi (anakrish)
  authored and
  snehabandla
  committed
  615fde7
- fix: handle new upstream instructions in static_provenance and loops
  
  authored and
  snehabandla
  committed
  0f492de
- fix(causality): address feedback items 1-4
  
  authored and
  snehabandla
  committed
  52027f4
- fix(pe): address feedback items PE-1, PE-2, PE-3
  
  authored and
  snehabandla
  committed
  bfc074d
- test: skip pre-existing failures from upstream PR #718
  
  authored and
  snehabandla
  committed
  5b1a631
- feat(demo): shareable playground links via URL fragment
  
  authored and
  snehabandla
  committed
  e93c3a0
- fix: reconcile causality with current main
  
  snehabandla
  and
  Copilot
  committed
  e4285f8
- fix: preserve PE every semantics for unknown collections
  
  snehabandla
  and
  Copilot
  committed
  4f1c67e
- fix: address integration CI and CodeQL findings
  
  snehabandla
  and
  Copilot
  committed
  dd68a44
- feat: split experimental explanation artifacts
  
  snehabandla
  and
  Copilot
  committed
  7c7b264
- fix: preserve MSBuild properties in Git Bash
  
  snehabandla
  and
  Copilot
  committed
  5f3e702

Commits

Commits on Oct 14, 2026