contract.h File Reference

Frozen implementation contracts and fail-closed verification evidence. More...

#include <neograph/api.h>
#include <neograph/json.h>
#include <cstdint>
#include <memory>
#include <optional>
#include <string>
#include <string_view>
#include <vector>

Include dependency graph for contract.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	neograph::program::ContractManifest
	A planner manifest. More...
struct	neograph::program::ContractManifestSpec
	Mutable planner proposal accepted by ContractManifest::propose(). More...
struct	neograph::program::ContractReview
	Immutable manifest review recorded before a proposal can be frozen. More...
class	neograph::program::ContractRun
	Durable-boundary state machine for one implementation attempt. More...

Detailed Description

Frozen implementation contracts and fail-closed verification evidence.

The contract layer is deliberately a value protocol owned by Program. It records what a planner proposed, what a reviewer froze, and what an independent runner actually observed. Worker self-reports are retained as evidence but never satisfy an acceptance gate.

Definition in file contract.h.