packages/deriver/tests/Unit/Deriver/Evaluator/Execution/Transfer/PureStepTest.php

1<?php
2
3declare (strict_types=1);
4
5namespace Tests\Unit\Deriver\Evaluator\Execution\Transfer;
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\Call\BoundInstruction;
14use Deriver\Deriver\Evaluator\Call\Evaluators;
15use Deriver\Deriver\Evaluator\Call\Extensions;
16use Deriver\Deriver\Evaluator\Call\Registrations;
17use Deriver\Deriver\Evaluator\Call\StateRegistry;
18use Deriver\Deriver\Evaluator\EvaluatorConfig;
19use Deriver\Deriver\Evaluator\Evidence\Frontier;
20use Deriver\Deriver\Evaluator\Execution\Call\ArgumentBinding;
21use Deriver\Deriver\Evaluator\Execution\Call\ArgumentOrder;
22use Deriver\Deriver\Evaluator\Execution\Call\TypeBinding;
23use Deriver\Deriver\Evaluator\Execution\Call\TypeCheck;
24use Deriver\Deriver\Evaluator\Execution\Completion\Alternative;
25use Deriver\Deriver\Evaluator\Execution\Completion\Assessment;
26use Deriver\Deriver\Evaluator\Execution\Completion\Completion;
27use Deriver\Deriver\Evaluator\Execution\Completion\StorageSnapshot;
28use Deriver\Deriver\Evaluator\Execution\Constraints;
29use Deriver\Deriver\Evaluator\Execution\Context;
30use Deriver\Deriver\Evaluator\Execution\Control\ObservationLimit;
31use Deriver\Deriver\Evaluator\Execution\Control\StateJoin;
32use Deriver\Deriver\Evaluator\Execution\Control\Unwinding;
33use Deriver\Deriver\Evaluator\Execution\Demand\Cell;
34use Deriver\Deriver\Evaluator\Execution\Demand\Components;
35use Deriver\Deriver\Evaluator\Execution\Demand\Discovery;
36use Deriver\Deriver\Evaluator\Execution\Demand\Key;
37use Deriver\Deriver\Evaluator\Execution\Demand\Table;
38use Deriver\Deriver\Evaluator\Execution\Dependencies;
39use Deriver\Deriver\Evaluator\Execution\Evaluator;
40use Deriver\Deriver\Evaluator\Execution\EvaluatorConfig as ExecutionEvaluatorConfig;
41use Deriver\Deriver\Evaluator\Execution\InstructionTransfer;
42use Deriver\Deriver\Evaluator\Execution\Memory\Location;
43use Deriver\Deriver\Evaluator\Execution\Memory\Materialization;
44use Deriver\Deriver\Evaluator\Execution\Memory\Memory;
45use Deriver\Deriver\Evaluator\Execution\Memory\ReferenceConstraint;
46use Deriver\Deriver\Evaluator\Execution\Memory\Slots\SlotReference;
47use Deriver\Deriver\Evaluator\Execution\Memory\StorageCapture;
48use Deriver\Deriver\Evaluator\Execution\ObservationCollector;
49use Deriver\Deriver\Evaluator\Execution\Operation\Conversions;
50use Deriver\Deriver\Evaluator\Execution\Operation\ScalarErrors;
51use Deriver\Deriver\Evaluator\Execution\State;
52use Deriver\Deriver\Evaluator\Execution\Summary\CompletionRecord;
53use Deriver\Deriver\Evaluator\Execution\Summary\Evaluation;
54use Deriver\Deriver\Evaluator\Execution\Summary\Invocation;
55use Deriver\Deriver\Evaluator\Execution\Summary\Isolation;
56use Deriver\Deriver\Evaluator\Execution\Trace\Derivation;
57use Deriver\Deriver\Evaluator\Execution\Transfer\MemoryStep;
58use Deriver\Deriver\Evaluator\Execution\Transfer\PureStep;
59use Deriver\Deriver\Evaluator\Execution\Transfer\ReferenceAssignment;
60use Deriver\Deriver\Evaluator\Request\Budget;
61use Deriver\Deriver\Evaluator\Request\EntryPoint;
62use Deriver\Deriver\Evaluator\Request\QueryScope;
63use Deriver\Deriver\Evaluator\Request\ReturnQuery;
64use Deriver\Deriver\Evaluator\Scalar\Arithmetic;
65use Deriver\Deriver\Evaluator\Scalar\Arrays;
66use Deriver\Deriver\Evaluator\Scalar\Identity;
67use Deriver\Deriver\Evaluator\Scalar\IntegerConversion;
68use Deriver\Deriver\Evaluator\Scalar\Operations;
69use Deriver\Deriver\Evaluator\TargetProfile;
70use Deriver\Deriver\Evaluator\Term;
71use Deriver\Deriver\Evaluator\TermKind;
72use Deriver\Deriver\Execution\DerivationResult;
73use Deriver\Deriver\Execution\QueryExecution;
74use Deriver\Deriver\Execution\ResultAssessment;
75use Deriver\Deriver\Identity\QueryEncoding;
76use Deriver\Deriver\Identity\ValueGraph;
77use Deriver\Deriver\Lowerer\AggregateLowering;
78use Deriver\Deriver\Lowerer\AssignmentLowering;
79use Deriver\Deriver\Lowerer\Control\ConditionalLowering;
80use Deriver\Deriver\Lowerer\Control\DestructuringLowering;
81use Deriver\Deriver\Lowerer\Declaration\CallableIdentity;
82use Deriver\Deriver\Lowerer\Declaration\CallableSource;
83use Deriver\Deriver\Lowerer\Declaration\Index;
84use Deriver\Deriver\Lowerer\Declaration\Indexer;
85use Deriver\Deriver\Lowerer\Declaration\Traits\Composition;
86use Deriver\Deriver\Lowerer\ExpressionLowering;
87use Deriver\Deriver\Lowerer\Graph\BasicBlock;
88use Deriver\Deriver\Lowerer\Graph\CallableGraph;
89use Deriver\Deriver\Lowerer\Graph\Instruction;
90use Deriver\Deriver\Lowerer\Graph\Terminator;
91use Deriver\Deriver\Lowerer\Hierarchy\Dispatch;
92use Deriver\Deriver\Lowerer\InstructionEmitter;
93use Deriver\Deriver\Lowerer\Lowerer;
94use Deriver\Deriver\Lowerer\LoweringScope;
95use Deriver\Deriver\Lowerer\StatementLowering;
96use Deriver\Deriver\MicroEvaluatorConversion;
97use Deriver\Deriver\Parser\Node\File;
98use Deriver\Deriver\Parser\Parser;
99use Deriver\Deriver\Parser\ParserConfig;
100use Deriver\Deriver\Parser\TargetSyntax;
101use Deriver\Deriver\Providers\ProviderExpansion;
102use Deriver\Deriver\Resolver\AssignmentPatterns;
103use Deriver\Deriver\Resolver\ClassScope;
104use Deriver\Deriver\Resolver\ExpressionValidation;
105use Deriver\Deriver\Resolver\MagicContext;
106use Deriver\Deriver\Resolver\Resolver;
107use Deriver\Deriver\Selection\QueryValidation;
108use Deriver\Deriver\SnapshotIdentity;
109use Deriver\Deriver\Sources\LineMap;
110use Deriver\Deriver\Sources\Path;
111use Deriver\Deriver\Sources\Source;
112use Deriver\Deriver\Sources\SourceRef;
113use Deriver\Deriver\Sources\Sources;
114use Deriver\Exception\ParserException;
115use Deriver\Exception\ResolutionException;
116use PHPUnit\Framework\Attributes\CoversClass;
117use PHPUnit\Framework\Attributes\DataProvider;
118use PHPUnit\Framework\Attributes\Small;
119use PHPUnit\Framework\Attributes\UsesClass;
120use PHPUnit\Framework\TestCase;
121
122#[UsesClass(Resolver::class)]
123#[UsesClass(ExpressionValidation::class)]
124#[UsesClass(ResolutionException::class)]
125#[UsesClass(ParserConfig::class)]
126#[UsesClass(ParserException::class)]
127#[CoversClass(PureStep::class)]
128#[UsesClass(QueryExecution::class)]
129#[UsesClass(QueryValidation::class)]
130#[UsesClass(ResultAssessment::class)]
131#[UsesClass(Deriver::class)]
132#[UsesClass(Constraints::class)]
133#[UsesClass(BasicBlock::class)]
134#[UsesClass(CallableGraph::class)]
135#[UsesClass(CallableIdentity::class)]
136#[UsesClass(Instruction::class)]
137#[UsesClass(Terminator::class)]
138#[UsesClass(ArgumentBinding::class)]
139#[UsesClass(ArgumentOrder::class)]
140#[UsesClass(Dispatch::class)]
141#[UsesClass(TypeBinding::class)]
142#[UsesClass(TypeCheck::class)]
143#[UsesClass(Completion::class)]
144#[UsesClass(Context::class)]
145#[UsesClass(ObservationLimit::class)]
146#[UsesClass(StateJoin::class)]
147#[UsesClass(Unwinding::class)]
148#[UsesClass(Cell::class)]
149#[UsesClass(Components::class)]
150#[UsesClass(Discovery::class)]
151#[UsesClass(Key::class)]
152#[UsesClass(Table::class)]
153#[UsesClass(Dependencies::class)]
154#[UsesClass(InstructionTransfer::class)]
155#[UsesClass(Evaluator::class)]
156#[UsesClass(SlotReference::class)]
157#[UsesClass(ObservationCollector::class)]
158#[UsesClass(Conversions::class)]
159#[UsesClass(ScalarErrors::class)]
160#[UsesClass(State::class)]
161#[UsesClass(CompletionRecord::class)]
162#[UsesClass(Evaluation::class)]
163#[UsesClass(Invocation::class)]
164#[UsesClass(Isolation::class)]
165#[UsesClass(MemoryStep::class)]
166#[UsesClass(ReferenceAssignment::class)]
167#[UsesClass(Location::class)]
168#[UsesClass(Materialization::class)]
169#[UsesClass(Memory::class)]
170#[UsesClass(ReferenceConstraint::class)]
171#[UsesClass(StorageCapture::class)]
172#[UsesClass(Extensions::class)]
173#[UsesClass(ProviderExpansion::class)]
174#[UsesClass(Evaluators::class)]
175#[UsesClass(StateRegistry::class)]
176#[UsesClass(DeriverConfig::class)]
177#[UsesClass(EntryPoint::class)]
178#[UsesClass(Sources::class)]
179#[UsesClass(Path::class)]
180#[UsesClass(Snapshot::class)]
181#[UsesClass(Source::class)]
182#[UsesClass(TargetProfile::class)]
183#[UsesClass(Budget::class)]
184#[UsesClass(QueryScope::class)]
185#[UsesClass(ReturnQuery::class)]
186#[UsesClass(ResultRef::class)]
187#[UsesClass(SourceRef::class)]
188#[UsesClass(Alternative::class)]
189#[UsesClass(Assessment::class)]
190#[UsesClass(Derivation::class)]
191#[UsesClass(DerivationResult::class)]
192#[UsesClass(Frontier::class)]
193#[UsesClass(QueryEncoding::class)]
194#[UsesClass(ValueGraph::class)]
195#[UsesClass(Statistics::class)]
196#[UsesClass(StorageSnapshot::class)]
197#[UsesClass(Parser::class)]
198#[UsesClass(File::class)]
199#[UsesClass(AggregateLowering::class)]
200#[UsesClass(AssignmentLowering::class)]
201#[UsesClass(Lowerer::class)]
202#[UsesClass(ConditionalLowering::class)]
203#[UsesClass(DestructuringLowering::class)]
204#[UsesClass(ExpressionLowering::class)]
205#[UsesClass(InstructionEmitter::class)]
206#[UsesClass(LoweringScope::class)]
207#[UsesClass(StatementLowering::class)]
208#[UsesClass(CallableSource::class)]
209#[UsesClass(Indexer::class)]
210#[UsesClass(Index::class)]
211#[UsesClass(Composition::class)]
212#[UsesClass(LineMap::class)]
213#[UsesClass(MagicContext::class)]
214#[UsesClass(AssignmentPatterns::class)]
215#[UsesClass(ClassScope::class)]
216#[UsesClass(TargetSyntax::class)]
217#[UsesClass(Arithmetic::class)]
218#[UsesClass(Arrays::class)]
219#[UsesClass(Identity::class)]
220#[UsesClass(IntegerConversion::class)]
221#[UsesClass(Operations::class)]
222#[UsesClass(Term::class)]
223#[Small]
224final class PureStepTest extends TestCase
225{
226    public function testEvaluatePreservesTheSemanticContract(): void
227    {
228        $source = '<?php function target(){$x=0;$a="known";$b=$a??++$x;return [$b,$x];}';
229        $symbol = 'target';
230        $input = new Sources([new Source('fixture.php', $source)]);
231        $configuration = new DeriverConfig();
232        $contributions = new Contributions();
233        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
234        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
235        $contributions1 = $providers->contributions;
236        $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);
237        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
238        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
239        $snapshotId = $identity->id;
240        $input1 = $providers->input;
241        $parser = new Parser(new ParserConfig($target->version));
242        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
243        $program = new Index($snapshotId, $trees);
244        $result = (new QueryExecution($program, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program->diagnostics()))))->derive(new ReturnQuery($symbol));
245        self::assertSame(['known', 0], $result->normalOutcomes[0]->values['return']->native());
246        self::assertSame([], $result->frontiers);
247        self::assertSame([], $result->exceptionalOutcomes);
248    }
249    public function testNotNullDistinguishesAnUninitializedCellFromAFalseValue(): void
250    {
251        $source = '<?php function target(){return 1;}';
252        $budget = new Budget();
253        $configuration = new DeriverConfig();
254        $contributions = new Contributions();
255        $input = new Sources([new Source('fixture.php', $source)]);
256        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
257        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
258        $contributions1 = $providers->contributions;
259        $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);
260        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
261        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
262        $snapshotId = $identity->id;
263        $input1 = $providers->input;
264        $parser = new Parser(new ParserConfig($target->version));
265        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
266        $program1 = new Index($snapshotId, $trees);
267        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
268        $snapshotId1 = 'test';
269        $input2 = new Sources([new Source('fixture.php', $source)]);
270        $profile = $execution->configuration->target;
271        $parser1 = new Parser(new ParserConfig($profile->version));
272        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(Path::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
273        $program = new Index($snapshotId1, $trees1);
274        $transfer = new PureStep(new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators));
275        self::assertSame(false, $transfer->notNull(new Term(TermKind::Uninitialized))->native());
276        self::assertSame(true, $transfer->notNull(Term::constant(false))->native());
277    }
278    public function testConstantUsesTheTargetVersion(): void
279    {
280        $source = '<?php function target(){return 1;}';
281        $budget = new Budget();
282        $configuration = new DeriverConfig();
283        $contributions = new Contributions();
284        $input = new Sources([new Source('fixture.php', $source)]);
285        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
286        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
287        $contributions1 = $providers->contributions;
288        $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);
289        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
290        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
291        $snapshotId = $identity->id;
292        $input1 = $providers->input;
293        $parser = new Parser(new ParserConfig($target->version));
294        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
295        $program1 = new Index($snapshotId, $trees);
296        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
297        $snapshotId1 = 'test';
298        $input2 = new Sources([new Source('fixture.php', $source)]);
299        $profile = $execution->configuration->target;
300        $parser1 = new Parser(new ParserConfig($profile->version));
301        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(Path::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
302        $program = new Index($snapshotId1, $trees1);
303        $transfer = new PureStep(new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators));
304        $instruction = new BoundInstruction('version', 'constant-fetch', new SourceRef('test', 'fixture.php', 0, 1), 'result');
305        self::assertSame(80300, $transfer->constant('PHP_VERSION_ID', $instruction)->native());
306    }
307    public function testMagicUsesTheCapturedSourceLine(): void
308    {
309        $source = '<?php function target(){return 1;}';
310        $budget = new Budget();
311        $configuration = new DeriverConfig();
312        $contributions = new Contributions();
313        $input = new Sources([new Source('fixture.php', $source)]);
314        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
315        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
316        $contributions1 = $providers->contributions;
317        $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);
318        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
319        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
320        $snapshotId = $identity->id;
321        $input1 = $providers->input;
322        $parser = new Parser(new ParserConfig($target->version));
323        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
324        $program1 = new Index($snapshotId, $trees);
325        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
326        $snapshotId1 = 'test';
327        $input2 = new Sources([new Source('fixture.php', $source)]);
328        $profile = $execution->configuration->target;
329        $parser1 = new Parser(new ParserConfig($profile->version));
330        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(Path::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
331        $program = new Index($snapshotId1, $trees1);
332        $transfer = new PureStep(new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators));
333        $source3 = '<?php function target(){return 1;}';
334        $budget1 = new Budget();
335        $configuration1 = new DeriverConfig();
336        $contributions2 = new Contributions();
337        $input3 = new Sources([new Source('fixture.php', $source3)]);
338        $target1 = new TargetProfile($configuration1->phpVersion, $configuration1->integerBits, $configuration1->floatPrecision);
339        $providers1 = new ProviderExpansion($input3, array_map(Term::fromNative(...), $configuration1->environment), $contributions2);
340        $contributions3 = $providers1->contributions;
341        $evaluators1 = new Evaluators(new TargetProfile($configuration1->phpVersion, $configuration1->integerBits, $configuration1->floatPrecision), new Registrations($contributions3->evaluators, $contributions3->providers, $contributions3->domains, $contributions3->intrinsics, $contributions3->stateSlots), $configuration1->standardEvaluators);
342        $settings1 = new EvaluatorConfig($target1, $providers1->environment, $configuration1->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration1->evaluators));
343        $identity1 = new SnapshotIdentity($providers1->input, $settings1, $evaluators1, $providers1->manifest);
344        $snapshotId2 = $identity1->id;
345        $input4 = $providers1->input;
346        $parser2 = new Parser(new ParserConfig($target1->version));
347        $trees2 = array_map(static fn (Source $source4): File => (new Resolver())->resolve($parser2->parse(new Source(Path::normalize($source4->path), $source4->contents, $source4->declarationsOnly))), iterator_to_array($input4, false));
348        $program3 = new Index($snapshotId2, $trees2);
349        $execution1 = new QueryExecution($program3, new ExecutionEvaluatorConfig($target1, $providers1->environment, $configuration1->standardEvaluators), $evaluators1, $identity1->snapshot(array_map(Frontier::fromDiagnostic(...), $program3->diagnostics())));
350        $snapshotId3 = 'test';
351        $input5 = new Sources([new Source('fixture.php', $source3)]);
352        $profile1 = $execution1->configuration->target;
353        $parser3 = new Parser(new ParserConfig($profile1->version));
354        $trees3 = array_map(static fn (Source $source5): File => (new Resolver())->resolve($parser3->parse(new Source(Path::normalize($source5->path), $source5->contents, $source5->declarationsOnly))), iterator_to_array($input5, false));
355        $program2 = new Index($snapshotId3, $trees3);
356        $body = (new Context($program2, new ReturnQuery('target', budget: $budget1), $execution1->configuration, $execution1->evaluators))->program->callable('target');
357        self::assertNotNull($body);
358        $instruction = new BoundInstruction('line', 'magic-constant', new SourceRef('test', 'fixture.php', 0, 1, 37), 'result', name: '__LINE__');
359        self::assertSame(37, $transfer->magic($body, $instruction)->native());
360    }
361    public function testArrayReadDereferencesSharedCells(): void
362    {
363        $source = '<?php function target(){return 1;}';
364        $budget = new Budget();
365        $configuration = new DeriverConfig();
366        $contributions = new Contributions();
367        $input = new Sources([new Source('fixture.php', $source)]);
368        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
369        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
370        $contributions1 = $providers->contributions;
371        $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);
372        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
373        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
374        $snapshotId = $identity->id;
375        $input1 = $providers->input;
376        $parser = new Parser(new ParserConfig($target->version));
377        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
378        $program1 = new Index($snapshotId, $trees);
379        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
380        $snapshotId1 = 'test';
381        $input2 = new Sources([new Source('fixture.php', $source)]);
382        $profile = $execution->configuration->target;
383        $parser1 = new Parser(new ParserConfig($profile->version));
384        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(Path::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
385        $program = new Index($snapshotId1, $trees1);
386        $transfer = new PureStep(new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators));
387        $state = new State();
388        $cell = $state->memory->allocate(Term::constant(7));
389        $value = $transfer->arrayRead(Term::array([new Term(TermKind::Cell, $cell->root)]), Term::constant(0), $state);
390        self::assertSame(7, $value->native());
391    }
392    public function testExternalCreatesDistinctEvaluationEvents(): void
393    {
394        $source = '<?php function target(){return 1;}';
395        $budget = new Budget();
396        $configuration = new DeriverConfig();
397        $contributions = new Contributions();
398        $input = new Sources([new Source('fixture.php', $source)]);
399        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
400        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
401        $contributions1 = $providers->contributions;
402        $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);
403        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
404        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
405        $snapshotId = $identity->id;
406        $input1 = $providers->input;
407        $parser = new Parser(new ParserConfig($target->version));
408        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
409        $program1 = new Index($snapshotId, $trees);
410        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
411        $snapshotId1 = 'test';
412        $input2 = new Sources([new Source('fixture.php', $source)]);
413        $profile = $execution->configuration->target;
414        $parser1 = new Parser(new ParserConfig($profile->version));
415        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(Path::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
416        $program = new Index($snapshotId1, $trees1);
417        $transfer = new PureStep(new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators));
418        $state = new State();
419        $instruction = new BoundInstruction('external', 'external', new SourceRef('test', 'fixture.php', 0, 1), 'result', name: 'clock');
420        self::assertNotSame($transfer->external($instruction, $state)->literal, $transfer->external($instruction, $state)->literal);
421    }
422    public function testBinaryRecordsTargetWarningsWithoutHostRangeConversions(): void
423    {
424        $source = '<?php function target(){return 1;}';
425        $budget = new Budget();
426        $configuration = new DeriverConfig();
427        $contributions = new Contributions();
428        $input = new Sources([new Source('fixture.php', $source)]);
429        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
430        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
431        $contributions1 = $providers->contributions;
432        $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);
433        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
434        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
435        $snapshotId = $identity->id;
436        $input1 = $providers->input;
437        $parser = new Parser(new ParserConfig($target->version));
438        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
439        $program1 = new Index($snapshotId, $trees);
440        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
441        $snapshotId1 = 'test';
442        $input2 = new Sources([new Source('fixture.php', $source)]);
443        $profile = $execution->configuration->target;
444        $parser1 = new Parser(new ParserConfig($profile->version));
445        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(Path::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
446        $program = new Index($snapshotId1, $trees1);
447        $context = new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators);
448        $at = new SourceRef('test', 'fixture.php', 0, 1);
449        $instruction = new BoundInstruction('op', 'binary', $at, 'result', name: '%');
450        $value = (new PureStep($context))->binary($instruction, Term::constant(3), Term::constant(0.1));
451        self::assertSame('DivisionByZeroError', $value->literal);
452        self::assertSame(['PHP_WARNING'], array_column(array_values($context->frontiers), 'code'));
453    }
454    /**
455     * @param scalar|null $expected Known target constant
456     */
457    #[DataProvider('providerConstants')]
458    public function testConstantReadsTargetConstantsIndependentlyOfTheHost(string $name, int|float|string|bool|null $expected): void
459    {
460        $source = '<?php function target(){return 1;}';
461        $budget = new Budget();
462        $configuration = new DeriverConfig();
463        $contributions = new Contributions();
464        $input = new Sources([new Source('fixture.php', $source)]);
465        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
466        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
467        $contributions1 = $providers->contributions;
468        $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);
469        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
470        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
471        $snapshotId = $identity->id;
472        $input1 = $providers->input;
473        $parser = new Parser(new ParserConfig($target->version));
474        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
475        $program1 = new Index($snapshotId, $trees);
476        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
477        $snapshotId1 = 'test';
478        $input2 = new Sources([new Source('fixture.php', $source)]);
479        $profile = $execution->configuration->target;
480        $parser1 = new Parser(new ParserConfig($profile->version));
481        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(Path::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
482        $program = new Index($snapshotId1, $trees1);
483        $step = new PureStep(new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators));
484        $instruction = new BoundInstruction('constant', 'constant-fetch', new SourceRef('test', 'fixture.php', 0, 1));
485        self::assertSame($expected, $step->constant($name, $instruction)->native());
486    }
487    /**
488     * @return array<string,array{string,scalar|null}>
489     */
490    public static function providerConstants(): array
491    {
492        return ['null' => ['NULL', null], 'true' => ['TRUE', true], 'false' => ['FALSE', false], 'integer size' => ['PHP_INT_SIZE', 8], 'integer max' => ['PHP_INT_MAX', 9223372036854775807], 'integer min' => ['PHP_INT_MIN', -9223372036854775807 - 1], 'normal sort' => ['SORT_REGULAR', 0], 'numeric sort' => ['SORT_NUMERIC', 1], 'string sort' => ['SORT_STRING', 2], 'case sort' => ['SORT_FLAG_CASE', 8], 'normal count' => ['COUNT_NORMAL', 0], 'recursive count' => ['COUNT_RECURSIVE', 1], 'both filter' => ['ARRAY_FILTER_USE_BOTH', 1], 'key filter' => ['ARRAY_FILTER_USE_KEY', 2]];
493    }
494    public function testConstantDoesNotUseEnvironmentNamesAsDefinitions(): void
495    {
496        $configured = Term::constant('supplied');
497        $source = '<?php function target(){return 1;}';
498        $budget = new Budget();
499        $configuration = new DeriverConfig();
500        $contributions = new Contributions(environment: ['EXAMPLE' => $configured]);
501        $input = new Sources([new Source('fixture.php', $source)]);
502        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
503        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
504        $contributions1 = $providers->contributions;
505        $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);
506        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
507        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
508        $snapshotId = $identity->id;
509        $input1 = $providers->input;
510        $parser = new Parser(new ParserConfig($target->version));
511        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
512        $program1 = new Index($snapshotId, $trees);
513        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
514        $snapshotId1 = 'test';
515        $input2 = new Sources([new Source('fixture.php', $source)]);
516        $profile = $execution->configuration->target;
517        $parser1 = new Parser(new ParserConfig($profile->version));
518        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(Path::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
519        $program = new Index($snapshotId1, $trees1);
520        $context = new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators);
521        $step = new PureStep($context);
522        $instruction = new BoundInstruction('constant', 'constant-fetch', new SourceRef('test', 'fixture.php', 0, 1));
523        self::assertSame('INCOMPLETE_SOURCE', $step->constant('EXAMPLE', $instruction)->literal);
524        $missing = $step->constant('MISSING', $instruction);
525        self::assertSame('INCOMPLETE_SOURCE', $missing->literal);
526        self::assertSame(['constant:EXAMPLE', 'constant:MISSING'], array_column(array_values($context->frontiers), 'operation'));
527    }
528    #[DataProvider('providerMagic')]
529    public function testMagicPreservesCapturedPathsAndCallableIdentity(string $name, int|string $expected): void
530    {
531        $source = new SourceRef('test', '/project/src/file.php', 10, 20, 37);
532        $callable = new CallableGraph('run', [], [], $source, className: 'Box');
533        $instruction = new BoundInstruction('magic', 'magic-constant', $source, 'result', name: $name);
534        $source1 = '<?php function target(){return 1;}';
535        $budget = new Budget();
536        $configuration = new DeriverConfig();
537        $contributions = new Contributions();
538        $input = new Sources([new Source('fixture.php', $source1)]);
539        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
540        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
541        $contributions1 = $providers->contributions;
542        $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);
543        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
544        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
545        $snapshotId = $identity->id;
546        $input1 = $providers->input;
547        $parser = new Parser(new ParserConfig($target->version));
548        $trees = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input1, false));
549        $program1 = new Index($snapshotId, $trees);
550        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
551        $snapshotId1 = 'test';
552        $input2 = new Sources([new Source('fixture.php', $source1)]);
553        $profile = $execution->configuration->target;
554        $parser1 = new Parser(new ParserConfig($profile->version));
555        $trees1 = array_map(static fn (Source $source3): File => (new Resolver())->resolve($parser1->parse(new Source(Path::normalize($source3->path), $source3->contents, $source3->declarationsOnly))), iterator_to_array($input2, false));
556        $program = new Index($snapshotId1, $trees1);
557        self::assertSame($expected, (new PureStep(new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators)))->magic($callable, $instruction)->native());
558    }
559    /**
560     * @return array<string,array{string,int|string}>
561     */
562    public static function providerMagic(): array
563    {
564        return ['line' => ['__LINE__', 37], 'file' => ['__FILE__', '/project/src/file.php'], 'dir' => ['__DIR__', '/project/src'], 'class' => ['__CLASS__', 'Box'], 'method' => ['__METHOD__', 'run'], 'function' => ['__FUNCTION__', 'run'], 'absent' => ['other', '']];
565    }
566    #[DataProvider('providerPresence')]
567    public function testNotNullDistinguishesPresenceFromTruthiness(Term $value, bool $expected): void
568    {
569        $source = '<?php function target(){return 1;}';
570        $budget = new Budget();
571        $configuration = new DeriverConfig();
572        $contributions = new Contributions();
573        $input = new Sources([new Source('fixture.php', $source)]);
574        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
575        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
576        $contributions1 = $providers->contributions;
577        $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);
578        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
579        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
580        $snapshotId = $identity->id;
581        $input1 = $providers->input;
582        $parser = new Parser(new ParserConfig($target->version));
583        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
584        $program1 = new Index($snapshotId, $trees);
585        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
586        $snapshotId1 = 'test';
587        $input2 = new Sources([new Source('fixture.php', $source)]);
588        $profile = $execution->configuration->target;
589        $parser1 = new Parser(new ParserConfig($profile->version));
590        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(Path::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
591        $program = new Index($snapshotId1, $trees1);
592        $result = (new PureStep(new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators)))->notNull($value);
593        self::assertSame($expected, $result->native());
594    }
595    /**
596     * @return array<string,array{Term,bool}>
597     */
598    public static function providerPresence(): array
599    {
600        return ['null' => [Term::constant(null), false], 'false' => [Term::constant(false), true], 'zero' => [Term::constant(0), true], 'empty string' => [Term::constant(''), true], 'array' => [Term::array([]), true], 'object' => [new Term(TermKind::Object, 'a'), true], 'closure' => [new Term(TermKind::Closure, 'a'), true], 'enum' => [new Term(TermKind::Enum, 'a'), true]];
601    }
602    public function testNotNullKeepsTheSymbolicNullComparison(): void
603    {
604        $input = Term::parameter('x', 'int|null');
605        $source = '<?php function target(){return 1;}';
606        $budget = new Budget();
607        $configuration = new DeriverConfig();
608        $contributions = new Contributions();
609        $input1 = new Sources([new Source('fixture.php', $source)]);
610        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
611        $providers = new ProviderExpansion($input1, array_map(Term::fromNative(...), $configuration->environment), $contributions);
612        $contributions1 = $providers->contributions;
613        $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);
614        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
615        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
616        $snapshotId = $identity->id;
617        $input2 = $providers->input;
618        $parser = new Parser(new ParserConfig($target->version));
619        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input2, false));
620        $program1 = new Index($snapshotId, $trees);
621        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
622        $snapshotId1 = 'test';
623        $input3 = new Sources([new Source('fixture.php', $source)]);
624        $profile = $execution->configuration->target;
625        $parser1 = new Parser(new ParserConfig($profile->version));
626        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(Path::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input3, false));
627        $program = new Index($snapshotId1, $trees1);
628        $result = (new PureStep(new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators)))->notNull($input);
629        self::assertSame(TermKind::Binary, $result->kind);
630        self::assertSame('!==', $result->literal);
631        self::assertSame($input, $result->operands[0]);
632        self::assertSame(TermKind::Constant, $result->operands[1]->kind);
633        self::assertNull($result->operands[1]->literal);
634        self::assertSame('bool', $result->attributes['type']);
635    }
636    public function testArrayReadKeepsOpenAbsenceAndRejectsIllegalKeys(): void
637    {
638        $source = '<?php function target(){return 1;}';
639        $budget = new Budget();
640        $configuration = new DeriverConfig();
641        $contributions = new Contributions();
642        $input = new Sources([new Source('fixture.php', $source)]);
643        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
644        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
645        $contributions1 = $providers->contributions;
646        $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);
647        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
648        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
649        $snapshotId = $identity->id;
650        $input1 = $providers->input;
651        $parser = new Parser(new ParserConfig($target->version));
652        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
653        $program1 = new Index($snapshotId, $trees);
654        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
655        $snapshotId1 = 'test';
656        $input2 = new Sources([new Source('fixture.php', $source)]);
657        $profile = $execution->configuration->target;
658        $parser1 = new Parser(new ParserConfig($profile->version));
659        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(Path::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
660        $program = new Index($snapshotId1, $trees1);
661        $step = new PureStep(new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators));
662        $state = new State();
663        self::assertSame(TermKind::Uninitialized, $step->arrayRead(Term::array([]), Term::constant('missing'), $state)->kind);
664        self::assertSame('UNKNOWN_ARRAY_KEY', $step->arrayRead(Term::array([], true), Term::constant('missing'), $state)->literal);
665        self::assertSame('TypeError', $step->arrayRead(Term::array([]), Term::array([]), $state)->literal);
666        self::assertSame(7, $step->arrayRead(Term::fromNative([1 => 7]), Term::constant(true), $state)->native());
667    }
668    public function testArrayReadRetainsUnknownContainerAndKeyExpressions(): void
669    {
670        $array = Term::parameter('a', 'array');
671        $key = Term::parameter('key', 'string');
672        $source = '<?php function target(){return 1;}';
673        $budget = new Budget();
674        $configuration = new DeriverConfig();
675        $contributions = new Contributions();
676        $input = new Sources([new Source('fixture.php', $source)]);
677        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
678        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
679        $contributions1 = $providers->contributions;
680        $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);
681        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
682        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
683        $snapshotId = $identity->id;
684        $input1 = $providers->input;
685        $parser = new Parser(new ParserConfig($target->version));
686        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
687        $program1 = new Index($snapshotId, $trees);
688        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
689        $snapshotId1 = 'test';
690        $input2 = new Sources([new Source('fixture.php', $source)]);
691        $profile = $execution->configuration->target;
692        $parser1 = new Parser(new ParserConfig($profile->version));
693        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(Path::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
694        $program = new Index($snapshotId1, $trees1);
695        $result = (new PureStep(new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators)))->arrayRead($array, $key, new State());
696        self::assertSame(TermKind::ArrayRead, $result->kind);
697        self::assertSame($array, $result->operands[0]);
698        self::assertSame(TermKind::ArrayKey, $result->operands[1]->kind);
699        self::assertSame($key, $result->operands[1]->operands[0]);
700    }
701    public function testExternalPreservesEventMetadataWithoutUsingNamedEnvironmentValues(): void
702    {
703        $input = Term::constant(null);
704        $source1 = '<?php function target(){return 1;}';
705        $budget = new Budget();
706        $configuration = new DeriverConfig();
707        $contributions = new Contributions(environment: ['configured' => $input]);
708        $input1 = new Sources([new Source('fixture.php', $source1)]);
709        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
710        $providers = new ProviderExpansion($input1, array_map(Term::fromNative(...), $configuration->environment), $contributions);
711        $contributions1 = $providers->contributions;
712        $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);
713        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
714        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
715        $snapshotId = $identity->id;
716        $input2 = $providers->input;
717        $parser = new Parser(new ParserConfig($target->version));
718        $trees = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
719        $program1 = new Index($snapshotId, $trees);
720        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
721        $snapshotId1 = 'test';
722        $input3 = new Sources([new Source('fixture.php', $source1)]);
723        $profile = $execution->configuration->target;
724        $parser1 = new Parser(new ParserConfig($profile->version));
725        $trees1 = array_map(static fn (Source $source3): File => (new Resolver())->resolve($parser1->parse(new Source(Path::normalize($source3->path), $source3->contents, $source3->declarationsOnly))), iterator_to_array($input3, false));
726        $program = new Index($snapshotId1, $trees1);
727        $step = new PureStep(new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators));
728        $source = new SourceRef('test', 'fixture.php', 0, 1);
729        $state = new State();
730        self::assertSame(TermKind::External, $step->external(new BoundInstruction('configured', 'external', $source, name: 'configured'), $state)->kind);
731        $event = $step->external(new BoundInstruction('event', 'external', $source, name: 'clock', attributes: ['type' => 'int']), $state);
732        self::assertSame(TermKind::External, $event->kind);
733        self::assertIsString($event->literal);
734        self::assertStringStartsWith('clock:', $event->literal);
735        self::assertSame(['type' => 'int', 'source' => 'clock', 'stability' => 'evaluation'], $event->attributes);
736    }
737    /**
738     * @param scalar|null $expected Evaluated result
739     */
740    #[DataProvider('providerPureInstructions')]
741    public function testEvaluateDispatchesPureOperations(string $op, string $name, int $previous, int|float|string|bool|null $expected): void
742    {
743        $source = new SourceRef('test', 'fixture.php', 0, 1);
744        $state = new State();
745        $state->registers = ['a' => Term::constant(5), 'b' => Term::constant(2)];
746        $state->previous = $previous;
747        $instruction = new BoundInstruction('step', $op, $source, 'result', ['a', 'b'], $name, attributes: ['left' => 7]);
748        $source1 = '<?php function target(){return 1;}';
749        $budget = new Budget();
750        $configuration = new DeriverConfig();
751        $contributions = new Contributions();
752        $input = new Sources([new Source('fixture.php', $source1)]);
753        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
754        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
755        $contributions1 = $providers->contributions;
756        $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);
757        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
758        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
759        $snapshotId = $identity->id;
760        $input1 = $providers->input;
761        $parser = new Parser(new ParserConfig($target->version));
762        $trees = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input1, false));
763        $program1 = new Index($snapshotId, $trees);
764        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
765        $snapshotId1 = 'test';
766        $input2 = new Sources([new Source('fixture.php', $source1)]);
767        $profile = $execution->configuration->target;
768        $parser1 = new Parser(new ParserConfig($profile->version));
769        $trees1 = array_map(static fn (Source $source3): File => (new Resolver())->resolve($parser1->parse(new Source(Path::normalize($source3->path), $source3->contents, $source3->declarationsOnly))), iterator_to_array($input2, false));
770        $program = new Index($snapshotId1, $trees1);
771        $result = (new PureStep(new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators)))->evaluate(new CallableGraph('target', [], [], $source), $instruction, $state);
772        self::assertSame($expected, $result->native());
773    }
774    /**
775     * @return array<string,array{string,string,int,scalar|null}>
776     */
777    public static function providerPureInstructions(): array
778    {
779        return ['copy' => ['copy', '', 0, 5], 'add' => ['binary', '+', 0, 7], 'negate' => ['unary', 'Expr_UnaryMinus', 0, -5], 'cast' => ['cast', 'string', 0, '5'], 'left phi' => ['phi', '', 7, 5], 'right phi' => ['phi', '', 2, 2], 'null test' => ['not-null', '', 0, true], 'constant fallback' => ['constant', '', 0, null], 'target constant' => ['constant-fetch', 'PHP_INT_SIZE', 0, 8], 'magic' => ['magic-constant', '__FUNCTION__', 0, 'target']];
780    }
781    public function testEvaluatePreservesLiteralIdentityAndExplicitErrors(): void
782    {
783        $source1 = '<?php function target(){return 1;}';
784        $budget = new Budget();
785        $configuration = new DeriverConfig();
786        $contributions = new Contributions();
787        $input = new Sources([new Source('fixture.php', $source1)]);
788        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
789        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
790        $contributions1 = $providers->contributions;
791        $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);
792        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
793        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
794        $snapshotId = $identity->id;
795        $input1 = $providers->input;
796        $parser = new Parser(new ParserConfig($target->version));
797        $trees = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input1, false));
798        $program1 = new Index($snapshotId, $trees);
799        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
800        $snapshotId1 = 'test';
801        $input2 = new Sources([new Source('fixture.php', $source1)]);
802        $profile = $execution->configuration->target;
803        $parser1 = new Parser(new ParserConfig($profile->version));
804        $trees1 = array_map(static fn (Source $source3): File => (new Resolver())->resolve($parser1->parse(new Source(Path::normalize($source3->path), $source3->contents, $source3->declarationsOnly))), iterator_to_array($input2, false));
805        $program = new Index($snapshotId1, $trees1);
806        $context = new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators);
807        $source = new SourceRef('test', 'fixture.php', 0, 1);
808        $body = new CallableGraph('target', [], [], $source);
809        $value = Term::constant(42);
810        $state = new State();
811        $step = new PureStep($context);
812        self::assertSame($value, $step->evaluate($body, new BoundInstruction('literal', 'constant', $source, constant: $value), $state));
813        $raised = $step->evaluate($body, new BoundInstruction('error', 'raise', $source, name: 'Error'), $state);
814        self::assertSame(TermKind::Throwable, $raised->kind);
815        self::assertSame('Error', $raised->literal);
816        self::assertSame('UNSUPPORTED_LANGUAGE_FEATURE', $step->evaluate($body, new BoundInstruction('unknown', 'unknown', $source), $state)->literal);
817        self::assertSame(['unknown'], array_column(array_values($context->frontiers), 'operation'));
818    }
819    public function testArrayReadSelectsTheRequestedValue(): void
820    {
821        $state = new State();
822        $source = '<?php function target(){return 1;}';
823        $budget = new Budget();
824        $configuration = new DeriverConfig();
825        $contributions = new Contributions();
826        $input = new Sources([new Source('fixture.php', $source)]);
827        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
828        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
829        $contributions1 = $providers->contributions;
830        $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);
831        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
832        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
833        $snapshotId = $identity->id;
834        $input1 = $providers->input;
835        $parser = new Parser(new ParserConfig($target->version));
836        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
837        $program1 = new Index($snapshotId, $trees);
838        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
839        $snapshotId1 = 'test';
840        $input2 = new Sources([new Source('fixture.php', $source)]);
841        $profile = $execution->configuration->target;
842        $parser1 = new Parser(new ParserConfig($profile->version));
843        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(Path::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
844        $program = new Index($snapshotId1, $trees1);
845        $step = new PureStep(new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators));
846        $array = new Term(TermKind::Array, operands: ['chosen' => Term::constant('value')], attributes: ['open' => false]);
847        $selected = $step->arrayRead($array, Term::constant('chosen'), $state);
848        $keySelected = $step->arrayRead(Term::fromNative(['chosen' => 'public']), Term::constant('chosen'), $state);
849        self::assertSame('value', $selected->native());
850        self::assertSame('public', $keySelected->native());
851    }
852    #[DataProvider('providerPhiPredecessors')]
853    public function testPhiSelectsThePredecessorValue(int $previous, string $expected): void
854    {
855        $state = new State();
856        $state->previous = $previous;
857        $state->registers['left'] = Term::constant('left');
858        $state->registers['right'] = Term::constant('right');
859        $state->registers['condition'] = Term::constant($previous === 7);
860        $instruction = new BoundInstruction('i', 'phi', new SourceRef('test', 'a.php', 0, 1), 'result', ['left', 'right', 'condition'], attributes: ['left' => 7, 'right' => 8]);
861        $source = '<?php function target(){return 1;}';
862        $budget = new Budget();
863        $configuration = new DeriverConfig();
864        $contributions = new Contributions();
865        $input = new Sources([new Source('fixture.php', $source)]);
866        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
867        $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
868        $contributions1 = $providers->contributions;
869        $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);
870        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
871        $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
872        $snapshotId = $identity->id;
873        $input1 = $providers->input;
874        $parser = new Parser(new ParserConfig($target->version));
875        $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
876        $program1 = new Index($snapshotId, $trees);
877        $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
878        $snapshotId1 = 'test';
879        $input2 = new Sources([new Source('fixture.php', $source)]);
880        $profile = $execution->configuration->target;
881        $parser1 = new Parser(new ParserConfig($profile->version));
882        $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(Path::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
883        $program = new Index($snapshotId1, $trees1);
884        $result = (new PureStep(new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators)))->phi($instruction, $state);
885        self::assertSame($expected, $result->native());
886    }
887    /**
888     * @return iterable<string,array{int,string}>
889     */
890    public static function providerPhiPredecessors(): iterable
891    {
892        yield 'public true' => [7, 'left'];
893        yield 'public false' => [8, 'right'];
894    }
895}
896