Definition
A mechanism that can determine the expected or acceptable result for a task, such as a compiler, formal specification, invariant, test suite, or reference implementation.
Distinguish it from nearby terms
An oracle determines correctness for a defined property; a grader may estimate quality without authoritative truth.
Check your understanding
The strength of autonomous coding is often bounded by the strength and independence of its oracle.