Auto-commit:  result synthesis