task_graph_fragment.h File Reference

Deterministic lowering and durable publication contracts for dynamic task DAGs. More...

#include <neograph/api.h>
#include <neograph/program/store_call.h>
#include <neograph/program/admission.h>
#include <neograph/program/task_graph_proposal.h>
#include <functional>
#include <asio/awaitable.hpp>
#include <cstdint>
#include <memory>
#include <optional>
#include <string>
#include <string_view>
#include <vector>

Include dependency graph for task_graph_fragment.h:

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

Go to the source code of this file.

Classes
class	neograph::program::BlockingTaskGraphFragmentStore
	A TaskGraphFragmentStore for a caller that cannot suspend. More...
class	neograph::program::CompiledTaskGraphFragment
	Immutable compiler output. More...
struct	neograph::program::CompiledTaskGraphTask
	A stable operation identity and all typed edges for one dynamic task. More...
class	neograph::program::InMemoryTaskGraphFragmentStore
	Small deterministic store used by tests and embedded hosts. More...
class	neograph::program::SyncTaskGraphFragmentStore
	Base of a TaskGraphFragmentStore whose backend is synchronous. More...
struct	neograph::program::TaskGraphExpansionPolicy
	Host-owned policy facts used to admit one dynamic task-graph expansion. More...
struct	neograph::program::TaskGraphFragmentCompileOptions
	Trusted, host-owned inputs to deterministic proposal lowering. More...
class	neograph::program::TaskGraphFragmentCompiler
	Pure compiler from untrusted proposal data to an immutable typed fragment. More...
class	neograph::program::TaskGraphFragmentStore
	Host-owned durable store boundary for compiled fragments and task state. More...
struct	neograph::program::TaskGraphTaskRecord
	Typed task result; artifact values are data, never authority. More...
struct	neograph::program::TaskGraphTemplateReceipt
	Immutable trusted facts for one template selected by a proposal. More...

Enumerations
enum class	neograph::program::TaskGraphPublishResult : std::uint8_t
	Result of a compare-and-publish/update operation.
enum class	neograph::program::TaskGraphTaskState : std::uint8_t
	Durable state of one published task.

Detailed Description

Deterministic lowering and durable publication contracts for dynamic task DAGs.

TaskGraphProposal is untrusted planner data. The compiler in this file turns it into a typed, content-addressed fragment after applying the trusted template allow-list, authority intersection, and immutable budget ceilings. A fragment is still not executable until an admission/runtime layer publishes it through TaskGraphFragmentStore.

Definition in file task_graph_fragment.h.