Detailed Description

Program-owned contract boundary for Harness.

Every operation returns or mutates the existing Program contract values; no worker, provider, or transport is executed here. In particular, start_run rejects a proposal/review and record_evidence rejects worker self-reports, leaving publication to independent verification.

Definition at line 37 of file contract.h.

The documentation for this class was generated from the following file:

include/neograph/harness/contract.h