evidence_ledger.h File Reference

Durable, typed coordination boundary for research work. More...

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

Include dependency graph for evidence_ledger.h:

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

Go to the source code of this file.

Classes
struct	neograph::research::ClaimResolution
	Deterministic planner result derived from committed evidence only. More...
struct	neograph::research::EvidenceArtifact
	Typed material result. More...
class	neograph::research::EvidenceLedger
	Durable coordination API. More...
struct	neograph::research::ResearchLeaseRequest
	Caller-supplied idempotency identity for one work claim. More...
struct	neograph::research::ResearchTask
	Durable snapshot of one task's current lease or terminal state. More...
class	neograph::research::ResearchTaskBoard
	Deterministic scheduler layered on EvidenceLedger. More...
struct	neograph::research::ResearchTaskBoardBudget
	Owner-scoped scheduling budget for a durable research board. More...
struct	neograph::research::ResearchTaskLease
	Immutable proof that a worker owns the current task generation. More...
struct	neograph::research::ResearchTaskSpec
	One bounded unit of work. More...
struct	neograph::research::SourceIdentity
	Immutable version-specific source identity. More...

Detailed Description

Durable, typed coordination boundary for research work.

Conversation is deliberately not ledger state. Workers acquire a bounded lease, publish immutable evidence, and leave disagreement visible for a review or human-decision branch. Implementations must make every mutation atomic; callers can recover from process death by reacquiring expired work.

Definition in file evidence_ledger.h.