lineage.h File Reference

Immutable run-generation identity and lineage budget heads. More...

#include <neograph/api.h>
#include <neograph/program/graph_migration.h>
#include <neograph/program/replacement.h>
#include <neograph/program/result.h>
#include <cstdint>
#include <memory>
#include <optional>
#include <string>
#include <string_view>
#include <vector>

Include dependency graph for lineage.h:

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

Go to the source code of this file.

Classes
class	neograph::program::ProgramRunGeneration
	Immutable identity of one admitted topology generation in a run lineage. More...
class	neograph::program::ProgramRunLineage
	Immutable content-addressed head of one stable run lineage. More...
struct	neograph::program::ProgramRuntimeStateTransferHookReference
	Exact durable hook head retained across a runtime-state transfer. More...
class	neograph::program::ProgramRuntimeStateTransferReceipt
	Immutable content-addressed runtime-state evidence for a successor generation. More...

Functions
NEOGRAPH_PROGRAM_API bool	neograph::program::does_program_run_generation_bind (const ProgramRunGeneration &generation, const ProgramRunLineage &lineage, const ProgramRunRecord &run) noexcept
	Validates the active generation's immutable binding to a run snapshot.
NEOGRAPH_PROGRAM_API bool	neograph::program::is_valid_program_run_lineage_initial (const ProgramRunLineage &lineage, const ProgramRunGeneration &generation) noexcept
	Validates the first durable head of a lineage against generation one.
NEOGRAPH_PROGRAM_API bool	neograph::program::is_valid_program_run_lineage_transition (const ProgramRunLineage &previous, const ProgramRunLineage &next, const std::optional< ProgramRunGeneration > &successor=std::nullopt) noexcept
	Validates a same-generation head update or an exact successor transition.
NEOGRAPH_PROGRAM_API std::string	neograph::program::program_run_lineage_id (std::string_view owner_scope, std::string_view root_run_id)
	Derives the stable owner-scoped lineage identity for a root run.

Detailed Description

Immutable run-generation identity and lineage budget heads.

Definition in file lineage.h.

Function Documentation

is_valid_program_run_lineage_transition()

NEOGRAPH_PROGRAM_API bool neograph::program::is_valid_program_run_lineage_transition ( const ProgramRunLineage &  previous, const ProgramRunLineage &  next, const std::optional< ProgramRunGeneration > &  successor = std::nullopt  )

noexcept

Validates a same-generation head update or an exact successor transition.

The combined available and reserved budget may never increase.

References neograph::program::is_valid_program_run_lineage_transition().

Referenced by neograph::program::is_valid_program_run_lineage_transition().