S3: Execution Transitions

Information Flow

Provider chooses execution strategy: honest computation, dishonest (fake/minimal), or timeout. All paths submit results to buyer and trigger verification decision (A4). Buyer cannot directly observe execution quality—only results and verification outcome reveal provider's choice.