contract.h File Reference

Contract-driven Harness manifest and evidence boundary. More...

#include <neograph/api.h>
#include <neograph/program/contract.h>
#include <string_view>

Include dependency graph for contract.h:

Go to the source code of this file.

Classes
class	neograph::harness::ContractBoundary
	Program-owned contract boundary for Harness. More...

Detailed Description

Contract-driven Harness manifest and evidence boundary.

Harness deliberately delegates lifecycle and verification to Program's durable value types. This facade adds no executor or transport; it is the small API used by Harness callers to gate worker selection and publication.

Definition in file contract.h.