fork.h File Reference

Exact-checkpoint Program fork compatibility values. More...

#include <neograph/graph/checkpoint.h>
#include <neograph/program/bundle.h>
#include <neograph/program/journal.h>
#include <neograph/program/result.h>
#include <cstdint>
#include <memory>
#include <optional>
#include <stdexcept>
#include <string>
#include <string_view>
#include <vector>

Include dependency graph for fork.h:

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

Go to the source code of this file.

Classes
struct	neograph::program::ExactForkCompatibilityFacts
	Fully resolved facts for the PR7 single-call_core fork check. More...
struct	neograph::program::ExactProgramCheckpointReference
	Exact source coordinate. More...
class	neograph::program::ForkCompatibilityReceipt
	Canonical immutable compatibility receipt stored with target-run lineage. More...
struct	neograph::program::ForkCompatibilityWitness
	Machine-readable reason that one exact fork fact is incompatible. More...
struct	neograph::program::ForkInitialResumeBinding
	Immutable identity of the value applied at the target's initial fork boundary. More...
class	neograph::program::ProgramForkCompatibilityError
	Typed pre-start rejection carrying the complete immutable witness receipt. More...

Functions
NEOGRAPH_PROGRAM_API ForkCompatibilityReceipt	neograph::program::check_exact_fork_compatibility (ExactForkCompatibilityFacts facts)
	Pure, fail-closed compatibility check.

Detailed Description

Exact-checkpoint Program fork compatibility values.

Definition in file fork.h.

Function Documentation

check_exact_fork_compatibility()

NEOGRAPH_PROGRAM_API ForkCompatibilityReceipt neograph::program::check_exact_fork_compatibility

(

ExactForkCompatibilityFacts

facts

)

Pure, fail-closed compatibility check.

Rejection never mutates either run.

References neograph::program::check_exact_fork_compatibility().

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