replay.h File Reference

Protocol-neutral, exact-bound recorded capability replay values. More...

#include <neograph/program/catalog.h>
#include <neograph/program/pending.h>
#include <neograph/program/transition_store.h>
#include <cstdint>
#include <memory>
#include <optional>
#include <string>
#include <string_view>
#include <vector>

Include dependency graph for replay.h:

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

Go to the source code of this file.

Classes
class	neograph::program::ProgramHistoricalReplacementChain
	Read-only, fail-closed evidence for one immutable A -> ... -> N lineage. More...
class	neograph::program::ProgramHistoricalReplacementStep
	One fully revalidated transition in a historical replacement chain. More...
class	neograph::program::RecordedBindingSet
	Move-only captured evidence proposal. More...
struct	neograph::program::RecordedCapabilityCallReference
	Exact expected coordinate loaded from the source run's durable call/effect ledger. More...
class	neograph::program::RecordedCapabilityEvidence
	Canonical immutable result or failure for one exact recorded capability call. More...
struct	neograph::program::RecordedCapabilityMaterialization
	Constructed only by the Catalog's trusted captured-capability registration. More...

Detailed Description

Protocol-neutral, exact-bound recorded capability replay values.

Definition in file replay.h.