classQueryExecution

packages/deriver/src/Deriver/Execution/QueryExecution.php:38

final class QueryExecution

Restricted visibility: declared "@visibility parent" and "@visibility Deriver\Deriver" and "@visibility Deriver\Deriver". Code outside that scope must not name this declaration.

Normalizes public queries and runs only their declared entry contexts.

Properties§

public Program $program

source §

public EvaluatorConfig $configuration

source §

public Evaluators $evaluators

source §

public Snapshot $snapshot

source §

Methods§

public function __construct(
    public Program $program,
    public EvaluatorConfig $configuration,
    public Evaluators $evaluators,
    public Snapshot $snapshot,
)

source §

Parameters

`$program`	`Program`	\Deriver\Deriver\Candidate\Snapshot source graphs
`$configuration`	`EvaluatorConfig`	Explicit assumptions
`$evaluators`	`Evaluators`	Evaluator registry
`$snapshot`	`Snapshot`	Source/evaluator/world manifest

public function derive(Query $query): DerivationResult

source §

Executes one query and builds a complete assessment.

Parameters

$query Query Requested observation

Returns

DerivationResult \Deriver\Deriver\Evaluator\Request\Query result

Test cases 290

Calls 8

function-call microtime line 57
new Context line 58
method-call QueryExecution::owner() line 59
method-call Query::scope() line 60
class-const ScopeMode::Symbolic() line 60
new EntryPoint line 60
method-call QueryExecution::entry() line 62
method-call QueryExecution::result() line 64

public function result(
    Context $context,
    string $symbol,
    float $start,
    string $executionIdentity = '',
): DerivationResult

source §

Builds one observation result, including bounded recovery after interruption.

Parameters

`$context`	`Context`	Observation context
`$symbol`	`string`	Observation owner
`$start`	`float`	Execution start
`$executionIdentity`	`string`	Optional shared-execution identity

Returns

DerivationResult Derived observation

Test cases 1

QueryExecutionTest::testResultKeepsSharedExecutionIdentitySeparateFromIndependentQueries calls

Called from 2

Calls 26

function-call array_filter line 78
function-call in_array line 78
function-call array_column line 79
method-call PartialObservation::recover() line 80
new PartialObservation line 80
new Alternative line 81
static-call Term::opaque() line 81
method-call ResultAssessment::assess() line 83
new ResultAssessment line 83
function-call array_values line 84
function-call array_unique line 84
function-call sort line 85
function-call hash line 86
method-call QueryEncoding::key() line 86
new QueryEncoding line 86
new DerivationResult line 88
new ResultRef line 88
class-const Reachability::MayReach() line 88
class-const Reachability::Unreachable() line 88
new Statistics line 88
function-call count line 88
function-call microtime line 88
function-call memory_get_peak_usage line 88
function-call array_map line 88
static-call Frontier::fromDiagnostic() line 88
method-call Program::diagnostics() line 88

public function together(list<Query> $queries): ExecutionResultSet

source §

Observes one symbolic callable once under a shared exploration budget.

Parameters

$queries list<Query> Observations in requested output order

Returns

ExecutionResultSet Independent observations from the shared execution

Throws

InvalidInputException If owners, scopes, or budgets differ

Test cases 7

Calls 18

new ExecutionResultSet line 100
method-call QueryExecution::owner() line 102
class-const ScopeMode::Symbolic() line 105
method-call CallableIdentity::key() line 105
new CallableIdentity line 105
function-call get_object_vars line 105
new InvalidInputException line 106
method-call QueryEncoding::key() line 108
new QueryEncoding line 108
function-call hash line 110
function-call implode line 110
function-call microtime line 111
new Context line 112
new BatchObservations line 113
method-call QueryExecution::entry() line 115
new EntryPoint line 115
method-call QueryExecution::result() line 118
method-call BatchObservations::synchronize() line 118

public function entry(Context $context, EntryPoint $entry, bool $symbolic): void

source §

Executes a symbolic callable or an explicitly initialized entry.

Parameters

`$context`	`Context`	\Deriver\Deriver\Evaluator\Request\Query context
`$entry`	`EntryPoint`	Entry contract
`$symbolic`	`bool`	Whether parameters represent all valid inputs

Throws

InvalidInputException If supplied receiver properties cannot describe the entry object

Test cases 2

Called from 2

Calls 19

method-call Program::callable() line 133
method-call Context::frontier() line 135
new SourceRef line 135
new Evaluator line 138
new PassedArgument line 142
function-call is_string line 142
static-call Term::parameter() line 144
function-call array_diff line 145
function-call array_keys line 145
new InvalidInputException line 146
method-call QueryExecution::initialState() line 152
method-call EntryProperties::apply() line 154
new EntryProperties line 154
method-call ArgumentBinding::bind() line 156
new ArgumentBinding line 156
class-const CompletionKind::Normal() line 158
method-call Evaluator::run() line 159
method-call ObservationCollector::completion() line 161
new ObservationCollector line 161

public function initialState(): State

source §

Materializes explicit globals before any source operation can mutate shared storage.

Returns

State Captured entry environment

Test cases 1

QueryExecutionTest::testInitialStateCapturesGlobalsBeforeEffects calls

Called from 1

method-call Deriver\Deriver\Execution\QueryExecution::entry() packages/deriver/src/Deriver/Execution/QueryExecution.php:152

Calls 3

new State line 172
function-call str_starts_with line 174
function-call substr line 175

public function owner(Query $query): string

source §

Validates source ownership before executing a query.

Parameters

$query Query Requested observation

Returns

string Owning callable identity

Throws

InvalidInputException If a reference belongs to another snapshot

Test cases 4

Called from 3

Calls 4

method-call Query::scope() line 189
new InvalidInputException line 190
method-call QueryValidation::owner() line 195
new QueryValidation line 195

Test cases 875§

Test cases that cover or call this symbol, from the coverage report and from the analyzed test sources.

Dedicated tests 16

Other tests reaching this symbol 859