graph_migration.h File Reference

Immutable source capsules for prepared GraphEngine migration. More...

#include <neograph/api.h>
#include <neograph/graph/safe_point.h>
#include <neograph/program/bundle.h>
#include <neograph/program/result.h>
#include <neograph/program/version.h>
#include <cstdint>
#include <memory>
#include <optional>
#include <string>
#include <string_view>
#include <vector>

Include dependency graph for graph_migration.h:

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

Go to the source code of this file.

Classes
struct	neograph::program::GraphMetadataChange
	One difference between the source and target graph metadata (#362). More...
class	neograph::program::GraphMigrationCapsule
	Exact, content-addressed source evidence captured at a durable Core boundary. More...
class	neograph::program::GraphSemanticMigrationAdapter
	Host-admitted P1 semantic bridge for an immutable control-free Core successor. More...
class	neograph::program::ProgramExecutionLease
	Backend-global ownership of one migration-capable root Core dispatch. More...
class	neograph::program::ProgramGraphMigrationReceipt
	Immutable evidence admitted with one same-lineage GraphEngine successor. More...
class	neograph::program::ProgramGraphSafePointEvidence
	Host-only, non-serializable evidence for one running safe-point publication. More...

Functions
NEOGRAPH_PROGRAM_API bool	neograph::program::does_program_execution_lease_bind (const ProgramExecutionLease &lease, const ProgramTransitionPublication &publication, const ProgramExecutionLease *expected_lease) noexcept
	Shared publication binding; expected_lease must first match the durable lease CAS.
NEOGRAPH_PROGRAM_API bool	neograph::program::does_program_graph_migration_started_event_bind (const ProgramEvent &event, const ProgramRunRecord &target) noexcept
	Exact initial event required for a graph-migration successor publication.
NEOGRAPH_PROGRAM_API std::string	neograph::program::graph_migration_checkpoint_content_id (const graph::Checkpoint &checkpoint)
	Content identity of exact checkpoint bytes published under a source head.
NEOGRAPH_PROGRAM_API bool	neograph::program::is_valid_program_graph_migration_transition (const ProgramRunGeneration &predecessor, const ProgramRunLineage &previous_lineage, const ProgramRunRecord &source, const GraphMigrationCapsule &durable_capsule, const MigrationPlan &migration_plan, const ProgramRunGeneration &successor, const ProgramRunLineage &next_lineage, const ProgramRunRecord &target) noexcept
	Shared fail-closed validator used by every atomic transition backend.
NEOGRAPH_PROGRAM_API bool	neograph::program::is_valid_program_graph_safe_point_transition (const ProgramRunRecord &previous, const ProgramJournalRecord &previous_journal, const ProgramTransitionPublication &publication, const ProgramGraphSafePointEvidence &evidence, const GraphMigrationCapsule &capsule, const ProgramExecutionLease &execution_lease) noexcept
	Restricted same-generation publication of one host-captured Core safe point.
NEOGRAPH_PROGRAM_API std::string	neograph::program::program_root_core_thread_id (std::string_view run_id, std::string_view core_generation_id)
	Exact root Core thread identity used by ProgramRuntime.

Detailed Description

Immutable source capsules for prepared GraphEngine migration.

Definition in file graph_migration.h.