Documentation
¶
Overview ¶
Package oracle implements the "oracle" CLI command: the differential oracle (diff), the invariant checks (invariants), and the planted-defect self-test (selftest) of the eval layer (SPEC §4, SPEC-ADDITIONS §18).
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
Click to show internal directories.
Click to hide internal directories.