packages/deriver/tests/Unit/Deriver/Evaluator/Execution/Control/CollectionCallsTest.php

1<?php
2
3declare (strict_types=1);
4
5namespace Tests\Unit\Deriver\Evaluator\Execution\Control;
6
7use Deriver\Deriver;
8use Deriver\Deriver\Candidate\ResultRef;
9use Deriver\Deriver\Candidate\Snapshot;
10use Deriver\Deriver\Candidate\Statistics;
11use Deriver\Deriver\Contributions;
12use Deriver\Deriver\DeriverConfig;
13use Deriver\Deriver\Evaluator\Builtin\FunctionEvaluator;
14use Deriver\Deriver\Evaluator\Builtin\Library;
15use Deriver\Deriver\Evaluator\Call\ArgumentBindings;
16use Deriver\Deriver\Evaluator\Call\BoundArgument;
17use Deriver\Deriver\Evaluator\Call\BoundInstruction;
18use Deriver\Deriver\Evaluator\Call\CallDecision;
19use Deriver\Deriver\Evaluator\Call\CallDescription;
20use Deriver\Deriver\Evaluator\Call\CallDescriptor;
21use Deriver\Deriver\Evaluator\Call\Evaluators;
22use Deriver\Deriver\Evaluator\Call\Extensions;
23use Deriver\Deriver\Evaluator\Call\Plan\Action;
24use Deriver\Deriver\Evaluator\Call\Plan\Expression;
25use Deriver\Deriver\Evaluator\Call\Plan\PlanActions;
26use Deriver\Deriver\Evaluator\Call\Plan\PlanCompiler;
27use Deriver\Deriver\Evaluator\Call\Plan\PlanFootprints;
28use Deriver\Deriver\Evaluator\Call\Plan\PlanValidation;
29use Deriver\Deriver\Evaluator\Call\Plan\SemanticPlan;
30use Deriver\Deriver\Evaluator\Call\Registrations;
31use Deriver\Deriver\Evaluator\Call\StateRegistry;
32use Deriver\Deriver\Evaluator\Declaration\Parameter as DeclarationParameter;
33use Deriver\Deriver\Evaluator\Declaration\Signature;
34use Deriver\Deriver\Evaluator\EvaluatorConfig;
35use Deriver\Deriver\Evaluator\Evidence\Frontier;
36use Deriver\Deriver\Evaluator\Execution\Call\Allocation;
37use Deriver\Deriver\Evaluator\Execution\Call\ArgumentBinding;
38use Deriver\Deriver\Evaluator\Execution\Call\ArgumentOrder;
39use Deriver\Deriver\Evaluator\Execution\Call\CallableCheck;
40use Deriver\Deriver\Evaluator\Execution\Call\CallExecutor;
41use Deriver\Deriver\Evaluator\Execution\Call\CallResolution;
42use Deriver\Deriver\Evaluator\Execution\Call\Contract\Inputs;
43use Deriver\Deriver\Evaluator\Execution\Call\Contract\NativeArguments;
44use Deriver\Deriver\Evaluator\Execution\Call\Creation\Access;
45use Deriver\Deriver\Evaluator\Execution\Call\Member\Invocation;
46use Deriver\Deriver\Evaluator\Execution\Call\Native\Invocation as NativeInvocation;
47use Deriver\Deriver\Evaluator\Execution\Call\Native\Properties;
48use Deriver\Deriver\Evaluator\Execution\Call\Native\Signatures;
49use Deriver\Deriver\Evaluator\Execution\Call\ParameterBinding;
50use Deriver\Deriver\Evaluator\Execution\Call\PassedArgument;
51use Deriver\Deriver\Evaluator\Execution\Call\Preparation\Arguments;
52use Deriver\Deriver\Evaluator\Execution\Call\Preparation\Creation;
53use Deriver\Deriver\Evaluator\Execution\Call\Preparation\Modes;
54use Deriver\Deriver\Evaluator\Execution\Call\Preparation\Resolution;
55use Deriver\Deriver\Evaluator\Execution\Call\Preparation\Target;
56use Deriver\Deriver\Evaluator\Execution\Call\Preparation\Transfer;
57use Deriver\Deriver\Evaluator\Execution\Call\TypeBinding;
58use Deriver\Deriver\Evaluator\Execution\Call\TypeCheck;
59use Deriver\Deriver\Evaluator\Execution\Call\UnknownCall;
60use Deriver\Deriver\Evaluator\Execution\Completion\Alternative;
61use Deriver\Deriver\Evaluator\Execution\Completion\Assessment;
62use Deriver\Deriver\Evaluator\Execution\Completion\Completion;
63use Deriver\Deriver\Evaluator\Execution\Completion\CompletionKind;
64use Deriver\Deriver\Evaluator\Execution\Completion\StorageSnapshot;
65use Deriver\Deriver\Evaluator\Execution\Constraints;
66use Deriver\Deriver\Evaluator\Execution\Context;
67use Deriver\Deriver\Evaluator\Execution\Control\CollectionCalls;
68use Deriver\Deriver\Evaluator\Execution\Control\ExceptionChain;
69use Deriver\Deriver\Evaluator\Execution\Control\ExceptionMatch;
70use Deriver\Deriver\Evaluator\Execution\Control\Handler;
71use Deriver\Deriver\Evaluator\Execution\Control\ObservationLimit;
72use Deriver\Deriver\Evaluator\Execution\Control\StateJoin;
73use Deriver\Deriver\Evaluator\Execution\Control\Unwinding;
74use Deriver\Deriver\Evaluator\Execution\Demand\Cell;
75use Deriver\Deriver\Evaluator\Execution\Demand\Components;
76use Deriver\Deriver\Evaluator\Execution\Demand\Discovery;
77use Deriver\Deriver\Evaluator\Execution\Demand\Key;
78use Deriver\Deriver\Evaluator\Execution\Demand\Table;
79use Deriver\Deriver\Evaluator\Execution\Dependencies;
80use Deriver\Deriver\Evaluator\Execution\Evaluator;
81use Deriver\Deriver\Evaluator\Execution\EvaluatorConfig as ExecutionEvaluatorConfig;
82use Deriver\Deriver\Evaluator\Execution\Havoc;
83use Deriver\Deriver\Evaluator\Execution\InstructionTransfer;
84use Deriver\Deriver\Evaluator\Execution\Memory\Location;
85use Deriver\Deriver\Evaluator\Execution\Memory\Materialization;
86use Deriver\Deriver\Evaluator\Execution\Memory\Memory;
87use Deriver\Deriver\Evaluator\Execution\Memory\ReferenceConstraint;
88use Deriver\Deriver\Evaluator\Execution\Memory\Slots\SlotReference;
89use Deriver\Deriver\Evaluator\Execution\Memory\Slots\StateStorage;
90use Deriver\Deriver\Evaluator\Execution\Memory\StorageCapture;
91use Deriver\Deriver\Evaluator\Execution\ObservationCollector;
92use Deriver\Deriver\Evaluator\Execution\Offset\Address;
93use Deriver\Deriver\Evaluator\Execution\Offset\Path;
94use Deriver\Deriver\Evaluator\Execution\Offset\Reader;
95use Deriver\Deriver\Evaluator\Execution\Offset\Transfer as OffsetTransfer;
96use Deriver\Deriver\Evaluator\Execution\Operation\Conversions;
97use Deriver\Deriver\Evaluator\Execution\Operation\ScalarErrors;
98use Deriver\Deriver\Evaluator\Execution\State;
99use Deriver\Deriver\Evaluator\Execution\Summary\CompletionRecord;
100use Deriver\Deriver\Evaluator\Execution\Summary\Evaluation;
101use Deriver\Deriver\Evaluator\Execution\Summary\Invocation as SummaryInvocation;
102use Deriver\Deriver\Evaluator\Execution\Summary\Isolation;
103use Deriver\Deriver\Evaluator\Execution\Trace\Derivation;
104use Deriver\Deriver\Evaluator\Execution\Transfer\CallableTransfer;
105use Deriver\Deriver\Evaluator\Execution\Transfer\CompoundAssignment;
106use Deriver\Deriver\Evaluator\Execution\Transfer\ConstantTransfer;
107use Deriver\Deriver\Evaluator\Execution\Transfer\IntrinsicTransfer;
108use Deriver\Deriver\Evaluator\Execution\Transfer\MemoryStep;
109use Deriver\Deriver\Evaluator\Execution\Transfer\ObjectAccess;
110use Deriver\Deriver\Evaluator\Execution\Transfer\PropertyAccessCheck;
111use Deriver\Deriver\Evaluator\Execution\Transfer\PropertyLookup;
112use Deriver\Deriver\Evaluator\Execution\Transfer\PropertySlot;
113use Deriver\Deriver\Evaluator\Execution\Transfer\PropertyTransfer;
114use Deriver\Deriver\Evaluator\Execution\Transfer\PureStep;
115use Deriver\Deriver\Evaluator\Execution\Transfer\ReferenceAssignment;
116use Deriver\Deriver\Evaluator\Request\Budget;
117use Deriver\Deriver\Evaluator\Request\EntryPoint;
118use Deriver\Deriver\Evaluator\Request\QueryScope;
119use Deriver\Deriver\Evaluator\Request\ReturnQuery;
120use Deriver\Deriver\Evaluator\Scalar\Arithmetic;
121use Deriver\Deriver\Evaluator\Scalar\Arrays;
122use Deriver\Deriver\Evaluator\Scalar\Comparison;
123use Deriver\Deriver\Evaluator\Scalar\Identity;
124use Deriver\Deriver\Evaluator\Scalar\Operations;
125use Deriver\Deriver\Evaluator\TargetProfile;
126use Deriver\Deriver\Evaluator\Term;
127use Deriver\Deriver\Evaluator\TermKind;
128use Deriver\Deriver\Execution\DerivationResult;
129use Deriver\Deriver\Execution\QueryExecution;
130use Deriver\Deriver\Execution\ResultAssessment;
131use Deriver\Deriver\Identity\QueryEncoding;
132use Deriver\Deriver\Identity\ValueGraph;
133use Deriver\Deriver\Lowerer\AggregateLowering;
134use Deriver\Deriver\Lowerer\AssignmentLowering;
135use Deriver\Deriver\Lowerer\CallLowering;
136use Deriver\Deriver\Lowerer\Control\ConditionalLowering;
137use Deriver\Deriver\Lowerer\Control\DestructuringLowering;
138use Deriver\Deriver\Lowerer\Control\ExceptionLowering;
139use Deriver\Deriver\Lowerer\Declaration\CallableIdentity;
140use Deriver\Deriver\Lowerer\Declaration\CallableSource;
141use Deriver\Deriver\Lowerer\Declaration\ConstantSignatures;
142use Deriver\Deriver\Lowerer\Declaration\Index;
143use Deriver\Deriver\Lowerer\Declaration\Indexer;
144use Deriver\Deriver\Lowerer\Declaration\Metadata\ClassDeclaration;
145use Deriver\Deriver\Lowerer\Declaration\Metadata\PropertyDeclaration;
146use Deriver\Deriver\Lowerer\Declaration\Traits\Composition;
147use Deriver\Deriver\Lowerer\EffectInspection;
148use Deriver\Deriver\Lowerer\ExpressionLowering;
149use Deriver\Deriver\Lowerer\Graph\Argument;
150use Deriver\Deriver\Lowerer\Graph\BasicBlock;
151use Deriver\Deriver\Lowerer\Graph\CallableGraph;
152use Deriver\Deriver\Lowerer\Graph\CatchTarget;
153use Deriver\Deriver\Lowerer\Graph\ExceptionRegion;
154use Deriver\Deriver\Lowerer\Graph\Instruction;
155use Deriver\Deriver\Lowerer\Graph\Parameter;
156use Deriver\Deriver\Lowerer\Graph\Terminator;
157use Deriver\Deriver\Lowerer\Hierarchy\Builtins;
158use Deriver\Deriver\Lowerer\Hierarchy\Dispatch;
159use Deriver\Deriver\Lowerer\InstructionEmitter;
160use Deriver\Deriver\Lowerer\Lowerer;
161use Deriver\Deriver\Lowerer\LoweringScope;
162use Deriver\Deriver\Lowerer\StatementLowering;
163use Deriver\Deriver\MicroEvaluatorConversion;
164use Deriver\Deriver\Parser\Node\File;
165use Deriver\Deriver\Parser\Parser;
166use Deriver\Deriver\Parser\ParserConfig;
167use Deriver\Deriver\Parser\TargetSyntax;
168use Deriver\Deriver\Providers\ProviderExpansion;
169use Deriver\Deriver\Resolver\AssignmentPatterns;
170use Deriver\Deriver\Resolver\ClassScope;
171use Deriver\Deriver\Resolver\ExpressionValidation;
172use Deriver\Deriver\Resolver\MagicContext;
173use Deriver\Deriver\Resolver\Resolver;
174use Deriver\Deriver\Selection\QueryValidation;
175use Deriver\Deriver\SnapshotIdentity;
176use Deriver\Deriver\Sources\LineMap;
177use Deriver\Deriver\Sources\Path as SourcesPath;
178use Deriver\Deriver\Sources\Source;
179use Deriver\Deriver\Sources\SourceRef;
180use Deriver\Deriver\Sources\Sources;
181use Deriver\Exception\ParserException;
182use Deriver\Exception\ResolutionException;
183use JsonException;
184use PHPUnit\Framework\Attributes\CoversClass;
185use PHPUnit\Framework\Attributes\DataProvider;
186use PHPUnit\Framework\Attributes\Small;
187use PHPUnit\Framework\Attributes\UsesClass;
188use PHPUnit\Framework\TestCase;
189
190#[UsesClass(Resolver::class)]
191#[UsesClass(ExpressionValidation::class)]
192#[UsesClass(ResolutionException::class)]
193#[UsesClass(ParserConfig::class)]
194#[UsesClass(ParserException::class)]
195#[CoversClass(CollectionCalls::class)]
196#[UsesClass(QueryExecution::class)]
197#[UsesClass(QueryValidation::class)]
198#[UsesClass(ResultAssessment::class)]
199#[UsesClass(Deriver::class)]
200#[UsesClass(Constraints::class)]
201#[UsesClass(Argument::class)]
202#[UsesClass(BasicBlock::class)]
203#[UsesClass(CallableGraph::class)]
204#[UsesClass(CallableIdentity::class)]
205#[UsesClass(CatchTarget::class)]
206#[UsesClass(ClassDeclaration::class)]
207#[UsesClass(ExceptionRegion::class)]
208#[UsesClass(Instruction::class)]
209#[UsesClass(Parameter::class)]
210#[UsesClass(PropertyDeclaration::class)]
211#[UsesClass(Terminator::class)]
212#[UsesClass(Allocation::class)]
213#[UsesClass(ArgumentBinding::class)]
214#[UsesClass(ArgumentOrder::class)]
215#[UsesClass(CallExecutor::class)]
216#[UsesClass(CallResolution::class)]
217#[UsesClass(CallableCheck::class)]
218#[UsesClass(Access::class)]
219#[UsesClass(Builtins::class)]
220#[UsesClass(Dispatch::class)]
221#[UsesClass(Invocation::class)]
222#[UsesClass(Inputs::class)]
223#[UsesClass(NativeArguments::class)]
224#[UsesClass(NativeInvocation::class)]
225#[UsesClass(Properties::class)]
226#[UsesClass(Signatures::class)]
227#[UsesClass(ParameterBinding::class)]
228#[UsesClass(PassedArgument::class)]
229#[UsesClass(Arguments::class)]
230#[UsesClass(Creation::class)]
231#[UsesClass(Modes::class)]
232#[UsesClass(Resolution::class)]
233#[UsesClass(Target::class)]
234#[UsesClass(Transfer::class)]
235#[UsesClass(TypeBinding::class)]
236#[UsesClass(TypeCheck::class)]
237#[UsesClass(UnknownCall::class)]
238#[UsesClass(Completion::class)]
239#[UsesClass(Context::class)]
240#[UsesClass(ExceptionChain::class)]
241#[UsesClass(ExceptionMatch::class)]
242#[UsesClass(Handler::class)]
243#[UsesClass(ObservationLimit::class)]
244#[UsesClass(StateJoin::class)]
245#[UsesClass(Unwinding::class)]
246#[UsesClass(Cell::class)]
247#[UsesClass(Components::class)]
248#[UsesClass(Discovery::class)]
249#[UsesClass(Key::class)]
250#[UsesClass(Table::class)]
251#[UsesClass(Dependencies::class)]
252#[UsesClass(Havoc::class)]
253#[UsesClass(InstructionTransfer::class)]
254#[UsesClass(Evaluator::class)]
255#[UsesClass(SlotReference::class)]
256#[UsesClass(StateStorage::class)]
257#[UsesClass(ObservationCollector::class)]
258#[UsesClass(Address::class)]
259#[UsesClass(Path::class)]
260#[UsesClass(Reader::class)]
261#[UsesClass(OffsetTransfer::class)]
262#[UsesClass(Conversions::class)]
263#[UsesClass(ScalarErrors::class)]
264#[UsesClass(State::class)]
265#[UsesClass(CompletionRecord::class)]
266#[UsesClass(Evaluation::class)]
267#[UsesClass(SummaryInvocation::class)]
268#[UsesClass(Isolation::class)]
269#[UsesClass(CallableTransfer::class)]
270#[UsesClass(CompoundAssignment::class)]
271#[UsesClass(ConstantTransfer::class)]
272#[UsesClass(IntrinsicTransfer::class)]
273#[UsesClass(MemoryStep::class)]
274#[UsesClass(ObjectAccess::class)]
275#[UsesClass(PropertyAccessCheck::class)]
276#[UsesClass(PropertyLookup::class)]
277#[UsesClass(PropertySlot::class)]
278#[UsesClass(PropertyTransfer::class)]
279#[UsesClass(PureStep::class)]
280#[UsesClass(ReferenceAssignment::class)]
281#[UsesClass(Location::class)]
282#[UsesClass(Materialization::class)]
283#[UsesClass(Memory::class)]
284#[UsesClass(ReferenceConstraint::class)]
285#[UsesClass(StorageCapture::class)]
286#[UsesClass(ArgumentBindings::class)]
287#[UsesClass(BoundArgument::class)]
288#[UsesClass(FunctionEvaluator::class)]
289#[UsesClass(Library::class)]
290#[UsesClass(CallDescription::class)]
291#[UsesClass(PlanActions::class)]
292#[UsesClass(PlanCompiler::class)]
293#[UsesClass(PlanFootprints::class)]
294#[UsesClass(PlanValidation::class)]
295#[UsesClass(CallDecision::class)]
296#[UsesClass(CallDescriptor::class)]
297#[UsesClass(Action::class)]
298#[UsesClass(Expression::class)]
299#[UsesClass(SemanticPlan::class)]
300#[UsesClass(Extensions::class)]
301#[UsesClass(ProviderExpansion::class)]
302#[UsesClass(Evaluators::class)]
303#[UsesClass(StateRegistry::class)]
304#[UsesClass(DeclarationParameter::class)]
305#[UsesClass(Signature::class)]
306#[UsesClass(DeriverConfig::class)]
307#[UsesClass(EntryPoint::class)]
308#[UsesClass(Sources::class)]
309#[UsesClass(SourcesPath::class)]
310#[UsesClass(Snapshot::class)]
311#[UsesClass(Source::class)]
312#[UsesClass(TargetProfile::class)]
313#[UsesClass(Budget::class)]
314#[UsesClass(QueryScope::class)]
315#[UsesClass(ReturnQuery::class)]
316#[UsesClass(ResultRef::class)]
317#[UsesClass(SourceRef::class)]
318#[UsesClass(Alternative::class)]
319#[UsesClass(Assessment::class)]
320#[UsesClass(Derivation::class)]
321#[UsesClass(DerivationResult::class)]
322#[UsesClass(Frontier::class)]
323#[UsesClass(QueryEncoding::class)]
324#[UsesClass(ValueGraph::class)]
325#[UsesClass(Statistics::class)]
326#[UsesClass(StorageSnapshot::class)]
327#[UsesClass(Parser::class)]
328#[UsesClass(File::class)]
329#[UsesClass(AggregateLowering::class)]
330#[UsesClass(AssignmentLowering::class)]
331#[UsesClass(CallLowering::class)]
332#[UsesClass(Lowerer::class)]
333#[UsesClass(ConditionalLowering::class)]
334#[UsesClass(DestructuringLowering::class)]
335#[UsesClass(ExceptionLowering::class)]
336#[UsesClass(EffectInspection::class)]
337#[UsesClass(ExpressionLowering::class)]
338#[UsesClass(InstructionEmitter::class)]
339#[UsesClass(LoweringScope::class)]
340#[UsesClass(StatementLowering::class)]
341#[UsesClass(ConstantSignatures::class)]
342#[UsesClass(CallableSource::class)]
343#[UsesClass(Indexer::class)]
344#[UsesClass(Index::class)]
345#[UsesClass(Composition::class)]
346#[UsesClass(LineMap::class)]
347#[UsesClass(MagicContext::class)]
348#[UsesClass(AssignmentPatterns::class)]
349#[UsesClass(ClassScope::class)]
350#[UsesClass(TargetSyntax::class)]
351#[UsesClass(Arithmetic::class)]
352#[UsesClass(Arrays::class)]
353#[UsesClass(Comparison::class)]
354#[UsesClass(Identity::class)]
355#[UsesClass(Operations::class)]
356#[UsesClass(Term::class)]
357#[Small]
358final class CollectionCallsTest extends TestCase
359{
360    public function testApplyPreservesTheSemanticContract(): void
361    {
362        $source = '<?php function target(){return array_reduce([1,2,3],fn($a,$b)=>$a+$b,0);}';
363        $symbol = 'target';
364        $input = new Sources([new Source('fixture.php', $source)]);
365        $configuration = new DeriverConfig();
366        $contributions = new Contributions();
367        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
368        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
369        $contributions1 = $providers->contributions;
370        $evaluators = new Evaluators(new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision), new Registrations($contributions1->evaluators, $contributions1->providers, $contributions1->domains, $contributions1->intrinsics, $contributions1->stateSlots), $configuration->standardEvaluators);
371        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
372        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
373        $snapshotId = $identity->id;
374        $input1 = $providers->input;
375        $parser = new Parser(new ParserConfig($target->version));
376        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(SourcesPath::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
377        $program = new Index($snapshotId, $trees);
378        $result = (new QueryExecution($program, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program->diagnostics()))))->derive(new ReturnQuery($symbol));
379        self::assertSame(6, $result->normalOutcomes[0]->values['return']->native());
380        self::assertSame([], $result->frontiers);
381        self::assertSame([], $result->exceptionalOutcomes);
382    }
383    public function testElementEvaluatesCallbackEffectsInIterationOrder(): void
384    {
385        $source = '<?php function target(){$sum=0;$values=array_map(function($n)use(&$sum){$sum+=$n;return $sum;},[2,3]);return [$values,$sum];}';
386        $symbol = 'target';
387        $input = new Sources([new Source('fixture.php', $source)]);
388        $configuration = new DeriverConfig();
389        $contributions = new Contributions();
390        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
391        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
392        $contributions1 = $providers->contributions;
393        $evaluators = new Evaluators(new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision), new Registrations($contributions1->evaluators, $contributions1->providers, $contributions1->domains, $contributions1->intrinsics, $contributions1->stateSlots), $configuration->standardEvaluators);
394        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
395        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
396        $snapshotId = $identity->id;
397        $input1 = $providers->input;
398        $parser = new Parser(new ParserConfig($target->version));
399        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(SourcesPath::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
400        $program = new Index($snapshotId, $trees);
401        $result = (new QueryExecution($program, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program->diagnostics()))))->derive(new ReturnQuery($symbol));
402        self::assertSame([], $result->frontiers);
403        self::assertSame([], $result->exceptionalOutcomes);
404        self::assertCount(1, $result->normalOutcomes);
405        self::assertSame([[2, 5], 5], $result->normalOutcomes[0]->values['return']->native());
406    }
407    public function testFilterRetainsOriginalKeysForAcceptedElements(): void
408    {
409        $source = '<?php function target(){return array_filter(["a"=>1,"b"=>2],fn($x)=>$x>1);}';
410        $symbol = 'target';
411        $input = new Sources([new Source('fixture.php', $source)]);
412        $configuration = new DeriverConfig();
413        $contributions = new Contributions();
414        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
415        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
416        $contributions1 = $providers->contributions;
417        $evaluators = new Evaluators(new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision), new Registrations($contributions1->evaluators, $contributions1->providers, $contributions1->domains, $contributions1->intrinsics, $contributions1->stateSlots), $configuration->standardEvaluators);
418        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
419        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
420        $snapshotId = $identity->id;
421        $input1 = $providers->input;
422        $parser = new Parser(new ParserConfig($target->version));
423        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(SourcesPath::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
424        $program = new Index($snapshotId, $trees);
425        $result = (new QueryExecution($program, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program->diagnostics()))))->derive(new ReturnQuery($symbol));
426        self::assertSame([], $result->frontiers);
427        self::assertSame([], $result->exceptionalOutcomes);
428        self::assertCount(1, $result->normalOutcomes);
429        self::assertSame(['b' => 2], $result->normalOutcomes[0]->values['return']->native());
430    }
431    public function testKnownCallbackDistinguishesNullFromUnresolvedClassLookup(): void
432    {
433        $source = '<?php function target(){return 1;}';
434        $budget = new Budget();
435        $configuration = new DeriverConfig();
436        $contributions = new Contributions();
437        $input = new Sources([new Source('fixture.php', $source)]);
438        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
439        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
440        $contributions1 = $providers->contributions;
441        $evaluators = new Evaluators(new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision), new Registrations($contributions1->evaluators, $contributions1->providers, $contributions1->domains, $contributions1->intrinsics, $contributions1->stateSlots), $configuration->standardEvaluators);
442        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
443        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
444        $snapshotId = $identity->id;
445        $input1 = $providers->input;
446        $parser = new Parser(new ParserConfig($target->version));
447        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(SourcesPath::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
448        $program1 = new Index($snapshotId, $trees);
449        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
450        $snapshotId1 = 'test';
451        $input2 = new Sources([new Source('fixture.php', $source)]);
452        $profile = $execution->configuration->target;
453        $parser1 = new Parser(new ParserConfig($profile->version));
454        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(SourcesPath::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
455        $program = new Index($snapshotId1, $trees1);
456        $calls = new CollectionCalls(new Evaluator(new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators)));
457        self::assertTrue($calls->knownCallback(Term::constant(null)));
458        self::assertTrue($calls->knownCallback(Term::constant('strlen')));
459        self::assertFalse($calls->knownCallback(Term::constant('ExternalClass::method')));
460    }
461    public function testKnownModeRejectsSymbolicFilterArgumentSelection(): void
462    {
463        $source = '<?php function target(){return 1;}';
464        $budget = new Budget();
465        $configuration = new DeriverConfig();
466        $contributions = new Contributions();
467        $input = new Sources([new Source('fixture.php', $source)]);
468        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
469        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
470        $contributions1 = $providers->contributions;
471        $evaluators = new Evaluators(new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision), new Registrations($contributions1->evaluators, $contributions1->providers, $contributions1->domains, $contributions1->intrinsics, $contributions1->stateSlots), $configuration->standardEvaluators);
472        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
473        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
474        $snapshotId = $identity->id;
475        $input1 = $providers->input;
476        $parser = new Parser(new ParserConfig($target->version));
477        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(SourcesPath::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
478        $program1 = new Index($snapshotId, $trees);
479        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
480        $snapshotId1 = 'test';
481        $input2 = new Sources([new Source('fixture.php', $source)]);
482        $profile = $execution->configuration->target;
483        $parser1 = new Parser(new ParserConfig($profile->version));
484        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(SourcesPath::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
485        $program = new Index($snapshotId1, $trees1);
486        $calls = new CollectionCalls(new Evaluator(new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators)));
487        self::assertFalse($calls->knownMode('array_filter', [Term::array([]), Term::constant(null), Term::parameter('mode', 'int')]));
488        self::assertTrue($calls->knownMode('array_filter', []));
489        self::assertTrue($calls->knownMode('array_map', []));
490    }
491    /**
492     * @param string $source Trusted fixture source
493     * @param string $expectedJson Expected observable value and alias effects
494     * @throws JsonException If expected values cannot be decoded
495     */
496    #[DataProvider('providerCollectionPrograms')]
497    public function testApplyPreservesKeysReferencesAndOrderedCallbackEffects(string $source, string $expectedJson): void
498    {
499        $symbol = 'target';
500        $input = new Sources([new Source('fixture.php', $source)]);
501        $configuration = new DeriverConfig();
502        $contributions = new Contributions();
503        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
504        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
505        $contributions1 = $providers->contributions;
506        $evaluators = new Evaluators(new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision), new Registrations($contributions1->evaluators, $contributions1->providers, $contributions1->domains, $contributions1->intrinsics, $contributions1->stateSlots), $configuration->standardEvaluators);
507        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
508        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
509        $snapshotId = $identity->id;
510        $input1 = $providers->input;
511        $parser = new Parser(new ParserConfig($target->version));
512        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(SourcesPath::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
513        $program = new Index($snapshotId, $trees);
514        $result = (new QueryExecution($program, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program->diagnostics()))))->derive(new ReturnQuery($symbol));
515        self::assertSame([], $result->frontiers);
516        self::assertSame([], $result->exceptionalOutcomes);
517        self::assertCount(1, $result->normalOutcomes);
518        self::assertSame(json_decode($expectedJson, true, 512, JSON_THROW_ON_ERROR), $result->normalOutcomes[0]->values['return']->native());
519    }
520    /**
521     * @return array<string,array{string,string}>
522     */
523    public static function providerCollectionPrograms(): array
524    {
525        return ['null map retains reference cells' => ['<?php function target(){$x=1;$a=["x"=>&$x];$b=array_map(null,$a);$x=2;return [$a,$b];}', '[{"x":2},{"x":2}]'], 'null map writes through reference cells' => ['<?php function target(){$x=1;$a=["x"=>&$x];$b=array_map(null,$a);$b["x"]=3;return [$x,$a,$b];}', '[3,{"x":3},{"x":3}]'], 'callback map detaches returned values' => ['<?php function target(){$x=1;$a=["x"=>&$x];$b=array_map(fn($v)=>$v,$a);$x=2;return [$a,$b];}', '[{"x":2},{"x":1}]'], 'filter retains reference cells' => ['<?php function target(){$x=1;$a=["x"=>&$x];$b=array_filter($a);$x=2;return [$a,$b];}', '[{"x":2},{"x":2}]'], 'callback filter retains reference cells' => ['<?php function target(){$x=1;$a=["x"=>&$x];$b=array_filter($a,fn($v)=>true);$b["x"]=3;return [$x,$a];}', '[3,{"x":3}]'], 'null map retains sparse keys' => ['<?php function target(){return array_map(null,[7=>null,"key"=>4]);}', '{"7":null,"key":4}'], 'callback map preserves keys' => ['<?php function target(){return array_map(fn($v)=>$v*2,[7=>3,"key"=>4]);}', '{"7":6,"key":8}'], 'null map copies ordinary arrays' => ['<?php function target(){$a=[["x"=>1]];$b=array_map(null,$a);$b[0]["x"]=2;return [$a,$b];}', '[[{"x":1}],[{"x":2}]]'], 'default filter truthiness' => ['<?php function target(){return array_filter([0,false,"",null,[],"0",1]);}', '{"6":1}'], 'filter value mode' => ['<?php function target(){return array_filter(["keep"=>3,"drop"=>1],fn($v)=>$v>1,0);}', '{"keep":3}'], 'filter key mode' => ['<?php function target(){return array_filter(["keep"=>0,"drop"=>1],fn($k)=>$k==="keep",2);}', '{"keep":0}'], 'filter both mode' => ['<?php function target(){return array_filter(["keep"=>3,"drop"=>3],fn($v,$k)=>$v===3&&$k==="keep",1);}', '{"keep":3}'], 'map callback effects in order' => ['<?php function target(){$n=0;$a=array_map(function($v)use(&$n){$n+=$v;return $n;},[2,3]);return [$a,$n];}', '[[2,5],5]'], 'filter callback effects in order' => ['<?php function target(){$n=0;$a=array_filter([2,3],function($v)use(&$n){$n+=$v;return $n>2;});return [$a,$n];}', '[{"1":3},5]'], 'reduce callback order' => ['<?php function target(){return array_reduce(["a","b"],fn($carry,$v)=>$carry.$v,"start:");}', '"start:ab"'], 'reduce default seed' => ['<?php function target(){return array_reduce([1,2],fn($carry,$v)=>($carry??0)+$v);}', '3'], 'map stops after callback exception' => ['<?php function target(){$n=0;try{array_map(function($v)use(&$n){$n+=$v;if($v===2){throw new RuntimeException;}return $v;},[1,2,4]);}catch(RuntimeException $e){}return $n;}', '3'], 'filter stops after callback exception' => ['<?php function target(){$n=0;try{array_filter([1,2,4],function($v)use(&$n){$n+=$v;if($v===2){throw new RuntimeException;}return true;});}catch(RuntimeException $e){}return $n;}', '3'], 'reduce stops after callback exception' => ['<?php function target(){$n=0;try{array_reduce([1,2,4],function($carry,$v)use(&$n){$n+=$v;if($v===2){throw new RuntimeException;}return $carry+$v;},0);}catch(RuntimeException $e){}return $n;}', '3'], 'empty map does not call callback' => ['<?php function target(){return array_map(function($v){throw new Error;},[]);}', '[]'], 'empty filter does not call callback' => ['<?php function target(){return array_filter([],function($v){throw new Error;});}', '[]'], 'empty reduce keeps seed' => ['<?php function target(){return array_reduce([],function($a,$v){throw new Error;},7);}', '7'], 'empty reduce default seed' => ['<?php function target(){return array_reduce([],function($a,$v){throw new Error;});}', 'null'], 'map retains child object identity' => ['<?php class Box{public $value=1;}function target(){$box=new Box;$a=[$box];$b=array_map(null,$a);$b[0]->value=7;return [$a[0]->value,$b[0]===$box];}', '[7,true]']];
526    }
527    public function testFilterKeepsCorrelatedMembershipAndIndependentStorage(): void
528    {
529        $source = '<?php function target(){return 1;}';
530        $budget = new Budget();
531        $configuration = new DeriverConfig();
532        $contributions = new Contributions();
533        $input = new Sources([new Source('fixture.php', $source)]);
534        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
535        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
536        $contributions1 = $providers->contributions;
537        $evaluators = new Evaluators(new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision), new Registrations($contributions1->evaluators, $contributions1->providers, $contributions1->domains, $contributions1->intrinsics, $contributions1->stateSlots), $configuration->standardEvaluators);
538        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
539        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
540        $snapshotId = $identity->id;
541        $input1 = $providers->input;
542        $parser = new Parser(new ParserConfig($target->version));
543        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(SourcesPath::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
544        $program1 = new Index($snapshotId, $trees);
545        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
546        $snapshotId1 = 'test';
547        $input2 = new Sources([new Source('fixture.php', $source)]);
548        $profile = $execution->configuration->target;
549        $parser1 = new Parser(new ParserConfig($profile->version));
550        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(SourcesPath::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
551        $program = new Index($snapshotId1, $trees1);
552        $context = new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators);
553        $state = new State();
554        $state->registers['accumulator'] = Term::fromNative(['previous' => 7]);
555        $state->memory->write($state->local('value'), Term::constant(1));
556        $element = Term::constant('selected');
557        $paths = (new CollectionCalls(new Evaluator($context)))->filter($state, Term::parameter('predicate', 'bool'), $element, 'key', 'accumulator');
558        self::assertCount(2, $paths);
559        self::assertSame(['previous' => 7, 'key' => 'selected'], $paths[0]->registers['accumulator']->native());
560        self::assertSame(['previous' => 7], $paths[1]->registers['accumulator']->native());
561        self::assertNotSame($paths[0]->guard, $paths[1]->guard);
562        $paths[0]->memory->write($paths[0]->local('value'), Term::constant(2));
563        self::assertSame(1, $paths[1]->snapshot()['value']->native());
564        self::assertSame(['previous' => 7], $state->registers['accumulator']->native());
565    }
566    public function testFilterSplitsUnknownMembershipOutcomes(): void
567    {
568        $source = '<?php function target(){return 1;}';
569        $budget = new Budget();
570        $configuration = new DeriverConfig();
571        $contributions = new Contributions();
572        $input = new Sources([new Source('fixture.php', $source)]);
573        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
574        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
575        $contributions1 = $providers->contributions;
576        $evaluators = new Evaluators(new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision), new Registrations($contributions1->evaluators, $contributions1->providers, $contributions1->domains, $contributions1->intrinsics, $contributions1->stateSlots), $configuration->standardEvaluators);
577        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
578        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
579        $snapshotId = $identity->id;
580        $input1 = $providers->input;
581        $parser = new Parser(new ParserConfig($target->version));
582        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(SourcesPath::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
583        $program1 = new Index($snapshotId, $trees);
584        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
585        $snapshotId1 = 'test';
586        $input2 = new Sources([new Source('fixture.php', $source)]);
587        $profile = $execution->configuration->target;
588        $parser1 = new Parser(new ParserConfig($profile->version));
589        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(SourcesPath::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
590        $program = new Index($snapshotId1, $trees1);
591        $context = new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators);
592        $state = new State();
593        $state->registers['accumulator'] = Term::array([]);
594        $predicate = new Term(TermKind::Parameter, 'predicate', attributes: ['type' => 'bool']);
595        $paths = (new CollectionCalls(new Evaluator($context)))->filter($state, $predicate, Term::constant('selected'), 'key', 'accumulator');
596        self::assertCount(2, $paths);
597    }
598    public function testFilterPreservesExistingEntries(): void
599    {
600        $source = '<?php function target(){return 1;}';
601        $budget = new Budget();
602        $configuration = new DeriverConfig();
603        $contributions = new Contributions();
604        $input = new Sources([new Source('fixture.php', $source)]);
605        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
606        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
607        $contributions1 = $providers->contributions;
608        $evaluators = new Evaluators(new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision), new Registrations($contributions1->evaluators, $contributions1->providers, $contributions1->domains, $contributions1->intrinsics, $contributions1->stateSlots), $configuration->standardEvaluators);
609        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
610        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
611        $snapshotId = $identity->id;
612        $input1 = $providers->input;
613        $parser = new Parser(new ParserConfig($target->version));
614        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(SourcesPath::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
615        $program1 = new Index($snapshotId, $trees);
616        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
617        $snapshotId1 = 'test';
618        $input2 = new Sources([new Source('fixture.php', $source)]);
619        $profile = $execution->configuration->target;
620        $parser1 = new Parser(new ParserConfig($profile->version));
621        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(SourcesPath::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
622        $program = new Index($snapshotId1, $trees1);
623        $context = new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators);
624        $state = new State();
625        $state->registers['accumulator'] = new Term(TermKind::Array, operands: ['previous' => Term::constant(7)], attributes: ['open' => false]);
626        $paths = (new CollectionCalls(new Evaluator($context)))->filter($state, Term::constant(true), Term::constant('selected'), 'key', 'accumulator');
627        self::assertCount(1, $paths);
628        self::assertSame(['previous' => 7, 'key' => 'selected'], $paths[0]->registers['accumulator']->native());
629    }
630    /**
631     * @param string $name Collection operation
632     * @param list<Term> $values Bound inputs requiring an explicit boundary
633     */
634    #[DataProvider('providerUnsupportedCollections')]
635    public function testApplyKeepsUnknownCollectionEffectsAndBothExits(string $name, array $values): void
636    {
637        $source = '<?php function target(){return 1;}';
638        $budget = new Budget();
639        $configuration = new DeriverConfig();
640        $contributions = new Contributions();
641        $input = new Sources([new Source('fixture.php', $source)]);
642        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
643        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
644        $contributions1 = $providers->contributions;
645        $evaluators = new Evaluators(new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision), new Registrations($contributions1->evaluators, $contributions1->providers, $contributions1->domains, $contributions1->intrinsics, $contributions1->stateSlots), $configuration->standardEvaluators);
646        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
647        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
648        $snapshotId = $identity->id;
649        $input1 = $providers->input;
650        $parser = new Parser(new ParserConfig($target->version));
651        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(SourcesPath::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
652        $program1 = new Index($snapshotId, $trees);
653        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
654        $snapshotId1 = 'test';
655        $input2 = new Sources([new Source('fixture.php', $source)]);
656        $profile = $execution->configuration->target;
657        $parser1 = new Parser(new ParserConfig($profile->version));
658        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(SourcesPath::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
659        $program = new Index($snapshotId1, $trees1);
660        $context = new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators);
661        $symbol = 'target';
662        $body = $context->program->callable($symbol);
663        self::assertNotNull($body);
664        $state = new State();
665        $state->memory->cells['global:value'] = Term::constant(7);
666        $paths = (new CollectionCalls(new Evaluator($context)))->apply($body, new BoundInstruction('call', 'intrinsic', $body->source, 'result', name: $name), $state, $values);
667        self::assertCount(2, $paths);
668        self::assertSame(CompletionKind::Normal, $paths[0]->completion->kind);
669        self::assertSame(CompletionKind::Throw, $paths[1]->completion->kind);
670        self::assertSame('UNSUPPORTED_EVALUATOR_CASE', $paths[0]->registers['result']->literal);
671        self::assertSame(TermKind::Opaque, $paths[0]->memory->cells['global:value']->kind);
672        self::assertSame(['UNSUPPORTED_EVALUATOR_CASE'], array_column($context->frontiers, 'code'));
673    }
674    /**
675     * @return iterable<string,array{string,list<Term>}>
676     */
677    public static function providerUnsupportedCollections(): iterable
678    {
679        yield 'unknown callback' => ['array_map', [Term::parameter('callback'), Term::fromNative([1])]];
680        yield 'unknown array' => ['array_map', [Term::constant(null), Term::parameter('array', 'array')]];
681        yield 'open array' => ['array_map', [Term::constant(null), Term::array([], true)]];
682        yield 'multiple arrays' => ['array_map', [Term::constant(null), Term::fromNative([1]), Term::fromNative([[2]])]];
683        yield 'unknown filter mode' => ['array_filter', [Term::fromNative([1]), Term::constant(null), Term::parameter('mode', 'int')]];
684    }
685    public function testElementPassesArrayKeysToKeyCallbacks(): void
686    {
687        $source = '<?php function callback($key){return $key;}function target(){}';
688        $budget = new Budget();
689        $configuration = new DeriverConfig();
690        $contributions = new Contributions();
691        $input = new Sources([new Source('fixture.php', $source)]);
692        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
693        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
694        $contributions1 = $providers->contributions;
695        $evaluators = new Evaluators(new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision), new Registrations($contributions1->evaluators, $contributions1->providers, $contributions1->domains, $contributions1->intrinsics, $contributions1->stateSlots), $configuration->standardEvaluators);
696        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
697        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
698        $snapshotId = $identity->id;
699        $input1 = $providers->input;
700        $parser = new Parser(new ParserConfig($target->version));
701        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(SourcesPath::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
702        $program1 = new Index($snapshotId, $trees);
703        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
704        $snapshotId1 = 'test';
705        $input2 = new Sources([new Source('fixture.php', $source)]);
706        $profile = $execution->configuration->target;
707        $parser1 = new Parser(new ParserConfig($profile->version));
708        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(SourcesPath::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
709        $program = new Index($snapshotId1, $trees1);
710        $context = new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators);
711        $symbol = 'target';
712        $body = $context->program->callable($symbol);
713        self::assertNotNull($body);
714        $state = new State();
715        $array = new Term(TermKind::Array, operands: ['key' => Term::constant(7)], attributes: ['open' => false]);
716        $state->registers['accumulator'] = Term::array([]);
717        $values = [$array, Term::constant('callback'), Term::constant(2)];
718        $paths = (new CollectionCalls(new Evaluator($context)))->element($body, new BoundInstruction('call', 'intrinsic', $body->source, 'result', name: 'array_filter'), $state, $values[1], $array->operands['key'], 'key', 'accumulator', $values);
719        self::assertCount(1, $paths);
720        self::assertSame('key', $paths[0]->registers['result']->native());
721    }
722    public function testCompletePublishesResultsWithoutReplacingExceptions(): void
723    {
724        $source = '<?php function target(){return 1;}';
725        $budget = new Budget();
726        $configuration = new DeriverConfig();
727        $contributions = new Contributions();
728        $input = new Sources([new Source('fixture.php', $source)]);
729        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
730        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
731        $contributions1 = $providers->contributions;
732        $evaluators = new Evaluators(new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision), new Registrations($contributions1->evaluators, $contributions1->providers, $contributions1->domains, $contributions1->intrinsics, $contributions1->stateSlots), $configuration->standardEvaluators);
733        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
734        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
735        $snapshotId = $identity->id;
736        $input1 = $providers->input;
737        $parser = new Parser(new ParserConfig($target->version));
738        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(SourcesPath::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
739        $program1 = new Index($snapshotId, $trees);
740        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
741        $snapshotId1 = 'test';
742        $input2 = new Sources([new Source('fixture.php', $source)]);
743        $profile = $execution->configuration->target;
744        $parser1 = new Parser(new ParserConfig($profile->version));
745        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(SourcesPath::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
746        $program = new Index($snapshotId1, $trees1);
747        $context = new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators);
748        $symbol = 'target';
749        $body = $context->program->callable($symbol);
750        self::assertNotNull($body);
751        $normal = new State();
752        $normal->registers['accumulator'] = Term::fromNative(['value' => 7]);
753        $exceptional = new State();
754        $failure = new Completion(CompletionKind::Throw, new Term(TermKind::Throwable, 'Error'));
755        $exceptional->completion = $failure;
756        $paths = (new CollectionCalls(new Evaluator($context)))->complete(new BoundInstruction('call', 'intrinsic', $body->source, 'result'), [$normal, $exceptional], 'accumulator');
757        self::assertCount(2, $paths);
758        self::assertSame(['value' => 7], $paths[0]->registers['result']->native());
759        self::assertArrayNotHasKey('accumulator', $paths[0]->registers);
760        self::assertSame($failure, $paths[1]->completion);
761        self::assertArrayNotHasKey('result', $paths[1]->registers);
762    }
763    public function testCompletePreservesTheAccumulatorValue(): void
764    {
765        $source = '<?php function target(){return 1;}';
766        $budget = new Budget();
767        $configuration = new DeriverConfig();
768        $contributions = new Contributions();
769        $input = new Sources([new Source('fixture.php', $source)]);
770        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
771        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
772        $contributions1 = $providers->contributions;
773        $evaluators = new Evaluators(new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision), new Registrations($contributions1->evaluators, $contributions1->providers, $contributions1->domains, $contributions1->intrinsics, $contributions1->stateSlots), $configuration->standardEvaluators);
774        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
775        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
776        $snapshotId = $identity->id;
777        $input1 = $providers->input;
778        $parser = new Parser(new ParserConfig($target->version));
779        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(SourcesPath::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
780        $program1 = new Index($snapshotId, $trees);
781        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
782        $snapshotId1 = 'test';
783        $input2 = new Sources([new Source('fixture.php', $source)]);
784        $profile = $execution->configuration->target;
785        $parser1 = new Parser(new ParserConfig($profile->version));
786        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(SourcesPath::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
787        $program = new Index($snapshotId1, $trees1);
788        $context = new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators);
789        $symbol = 'target';
790        $body = $context->program->callable($symbol);
791        self::assertNotNull($body);
792        $state = new State();
793        $value = new Term(TermKind::Array, attributes: ['open' => false]);
794        $state->registers['accumulator'] = $value;
795        $paths = (new CollectionCalls(new Evaluator($context)))->complete(new BoundInstruction('call', 'intrinsic', $body->source, 'result'), [$state], 'accumulator');
796        self::assertSame($value, $paths[0]->registers['result']);
797        self::assertArrayNotHasKey('accumulator', $paths[0]->registers);
798    }
799}
800