Repository navigation

Unify Go and JavaScript outcome semantics and evidence rules - #67519

Merged

pelikhan merged 5 commits into

mainfrom

pelikhan-outcome-computation-status

Oct 10, 2026

Merged

Unify Go and JavaScript outcome semantics and evidence rules#67519
pelikhan merged 5 commits into
mainfrom
pelikhan-outcome-computation-status

Commits on Oct 10, 2026
- Unify outcome semantics and evidence across Go and JavaScript
  
  pelikhan
  and
  Copilot
  committed
  1d60d3e
- Refactor outcome evaluators to pass the complete validation gate
  
  pelikhan
  and
  Copilot
  committed
  efb0b3a
- Specify and model-check outcome evidence semantics in TLA+
  
  pelikhan
  and
  Copilot
  committed
  7fcbaf4
- docs: add draft ADR-67519 for unified outcome evidence semantics
  github-actions[bot]
  authored
  d7f9a2a
- Address outcome review feedback and complete ADR proposal
  
  pelikhan
  and
  Copilot
  committed
  ed780e2