Host-admitted P1 semantic bridge for an immutable control-free Core successor. More...

#include <graph_migration.h>

Public Member Functions
bool	binds (const ProgramVersion &source_version, const ProgramBundle &source_bundle, const ProgramVersion &target_version, const ProgramBundle &target_bundle) const
	Revalidates the exact admitted source/target artifacts.

const std::vector< GraphMetadataChange > &	metadata_changes () const noexcept
	Graph metadata differences between the source and target definitions, sorted by pointer.

MigrationPlan	migration_plan (const ProgramVersion &source_version, const ProgramBundle &source_bundle, const ProgramVersion &target_version, const ProgramBundle &target_bundle) const
	Builds the compatible transition proof authorized by this adapter.

graph::Checkpoint	project (const GraphMigrationCapsule &capsule) const
	Projects only verified identity-mapped GraphEngine checkpoint state.

Detailed Description

Host-admitted P1 semantic bridge for an immutable control-free Core successor.

It proves an identity projection of durable GraphEngine state: checkpointed channels, frontier node names, and barrier members are preserved exactly, while the successor may carry a different sealed Core definition and compiled-plan identity. It intentionally does not rename state, translate reducer values, move pending effects, or transfer JavaScript control state.

Definition at line 163 of file graph_migration.h.

Member Function Documentation

◆ metadata_changes()

const std::vector< GraphMetadataChange > & neograph::program::GraphSemanticMigrationAdapter::metadata_changes ( ) const

noexcept

Graph metadata differences between the source and target definitions, sorted by pointer.

Metadata is outside topology_shape_id(), so it never blocks an adapter; this list lets the approving host review it. It is evidence computed by prepare() and is not serialized: a parsed adapter returns an empty list.

◆ project()

graph::Checkpoint neograph::program::GraphSemanticMigrationAdapter::project ( const GraphMigrationCapsule & capsule ) const

Projects only verified identity-mapped GraphEngine checkpoint state.

The caller supplies target checkpoint identity metadata separately.

The documentation for this class was generated from the following file:

include/neograph/program/graph_migration.h

Public Member Functions

Detailed Description

Member Function Documentation

◆ metadata_changes()

◆ project()