synthesis.h File Reference

Host-owned bounded Program synthesis gateway. More...

#include <neograph/program/catalog.h>
#include <neograph/program/compiler.h>
#include <neograph/program/lineage.h>
#include <neograph/program/result.h>
#include <neograph/program/run_record.h>
#include <cstddef>
#include <cstdint>
#include <functional>
#include <memory>
#include <optional>
#include <stdexcept>
#include <string>
#include <string_view>
#include <vector>

Include dependency graph for synthesis.h:

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

Go to the source code of this file.

Classes
class	neograph::program::ProgramChildSynthesisAuthorization
	Read-only preflight evidence, not a compile debit, child binding, or spawn permission. More...
class	neograph::program::ProgramChildSynthesisGrant
	Immutable host policy. More...
struct	neograph::program::ProgramChildSynthesisGrantData
	Host-authored grant for one reviewed template instantiation and parent head. More...
struct	neograph::program::ProgramChildSynthesisParent
	Host-loaded snapshots; no identity or budget is taken from Program input. More...
class	neograph::program::ProgramSynthesisGateway
	Enforces reserve -> compile -> semantic validate -> admit. More...
class	neograph::program::ProgramSynthesisProposal
	Immutable non-executable request to compile one sealed JavaScript successor. More...
class	neograph::program::ProgramSynthesisReservation
	Host evidence that one nonrenewable dynamic-compile unit was debited. More...
class	neograph::program::ProgramSynthesisValidationError
	Typed fail-closed result of a completed semantic validation. More...
class	neograph::program::ProgramSynthesisValidationReceipt
	Immutable evidence that host-owned semantic validation ran before admission. More...

Typedefs
using	neograph::program::ProgramChildSynthesisReservationResolver = std::function< ProgramSynthesisReservation(const ProgramSynthesisProposal &, const ProgramChildSynthesisAuthorization &)>
	Atomically debit against authorization.data().source_lineage_head_id, or fail.

Functions
NEOGRAPH_PROGRAM_API ProgramChildSynthesisAuthorization	neograph::program::authorize_program_child_synthesis (const ProgramSynthesisProposal &proposal, const ProgramChildSynthesisGrant &grant, const ProgramChildSynthesisParent &parent)
	Pure, fail-closed validation before reservation, compilation, or admission.
NEOGRAPH_PROGRAM_API std::string	neograph::program::program_synthesis_source_identity (const ProgramSource &source)
	Identity of the complete sealed source, including imports and module bytes.

Detailed Description

Host-owned bounded Program synthesis gateway.

Definition in file synthesis.h.