Durable-boundary state machine for one implementation attempt. More...

#include <contract.h>

Public Member Functions
void	begin_attempt ()
	Start one bounded worker attempt. Only a frozen manifest may run.

void	publish ()
	Mark the run publishable only after a successful verification.

void	record_evidence (ContractEvidence evidence)
	Record independently observed evidence bound to this manifest.

void	record_worker_report (std::string report, bool claims_success)
	Store a worker claim without granting it verification authority.

std::string	serialize_canonical () const
	Canonical checkpoint/recovery representation.

ContractVerification	verify (std::string_view program_version_id, std::string_view run_id, std::string_view workspace_revision)
	Evaluate all required gates against one exact Program run lineage.

Detailed Description

Durable-boundary state machine for one implementation attempt.

It is intentionally independent of a provider or transport: Harness can drive it through Program, MCP, A2A, or a local deterministic runner.

Definition at line 194 of file contract.h.

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

Public Member Functions