packages/deriver/tests/Unit/Deriver/Identity/ValueGraphTest.php

1<?php
2
3declare (strict_types=1);
4
5namespace Tests\Unit\Deriver\Identity;
6
7use Deriver\Deriver;
8use Deriver\Deriver\Candidate\ResultRef;
9use Deriver\Deriver\Candidate\Snapshot;
10use Deriver\Deriver\Candidate\Statistics;
11use Deriver\Deriver\DeriverConfig;
12use Deriver\Deriver\Evaluator\Call\Evaluators;
13use Deriver\Deriver\Evaluator\Call\Extensions;
14use Deriver\Deriver\Evaluator\Call\StateRegistry;
15use Deriver\Deriver\Evaluator\Execution\Call\ArgumentBinding;
16use Deriver\Deriver\Evaluator\Execution\Call\ArgumentOrder;
17use Deriver\Deriver\Evaluator\Execution\Call\TypeBinding;
18use Deriver\Deriver\Evaluator\Execution\Call\TypeCheck;
19use Deriver\Deriver\Evaluator\Execution\Completion\Alternative;
20use Deriver\Deriver\Evaluator\Execution\Completion\Assessment;
21use Deriver\Deriver\Evaluator\Execution\Completion\Completion;
22use Deriver\Deriver\Evaluator\Execution\Completion\StorageSnapshot;
23use Deriver\Deriver\Evaluator\Execution\Context;
24use Deriver\Deriver\Evaluator\Execution\Control\ObservationLimit;
25use Deriver\Deriver\Evaluator\Execution\Control\StateJoin;
26use Deriver\Deriver\Evaluator\Execution\Control\Unwinding;
27use Deriver\Deriver\Evaluator\Execution\Demand\Cell;
28use Deriver\Deriver\Evaluator\Execution\Demand\Components;
29use Deriver\Deriver\Evaluator\Execution\Demand\Discovery;
30use Deriver\Deriver\Evaluator\Execution\Demand\Key;
31use Deriver\Deriver\Evaluator\Execution\Demand\Table;
32use Deriver\Deriver\Evaluator\Execution\Dependencies;
33use Deriver\Deriver\Evaluator\Execution\Evaluator;
34use Deriver\Deriver\Evaluator\Execution\InstructionTransfer;
35use Deriver\Deriver\Evaluator\Execution\Memory\Materialization;
36use Deriver\Deriver\Evaluator\Execution\Memory\Memory;
37use Deriver\Deriver\Evaluator\Execution\Memory\Slots\SlotReference;
38use Deriver\Deriver\Evaluator\Execution\Memory\StorageCapture;
39use Deriver\Deriver\Evaluator\Execution\ObservationCollector;
40use Deriver\Deriver\Evaluator\Execution\Operation\Conversions;
41use Deriver\Deriver\Evaluator\Execution\Operation\ScalarErrors;
42use Deriver\Deriver\Evaluator\Execution\State;
43use Deriver\Deriver\Evaluator\Execution\Summary\CompletionRecord;
44use Deriver\Deriver\Evaluator\Execution\Summary\Evaluation;
45use Deriver\Deriver\Evaluator\Execution\Summary\Invocation;
46use Deriver\Deriver\Evaluator\Execution\Summary\Isolation;
47use Deriver\Deriver\Evaluator\Execution\Trace\Derivation;
48use Deriver\Deriver\Evaluator\Execution\Transfer\PureStep;
49use Deriver\Deriver\Evaluator\Execution\Transfer\ReferenceAssignment;
50use Deriver\Deriver\Evaluator\Request\Budget;
51use Deriver\Deriver\Evaluator\Request\EntryPoint;
52use Deriver\Deriver\Evaluator\Request\QueryScope;
53use Deriver\Deriver\Evaluator\Request\ReturnQuery;
54use Deriver\Deriver\Evaluator\Scalar\Arrays;
55use Deriver\Deriver\Evaluator\Scalar\Identity;
56use Deriver\Deriver\Evaluator\Scalar\Operations;
57use Deriver\Deriver\Evaluator\TargetProfile;
58use Deriver\Deriver\Evaluator\Term;
59use Deriver\Deriver\Execution\DerivationResult;
60use Deriver\Deriver\Execution\QueryExecution;
61use Deriver\Deriver\Execution\ResultAssessment;
62use Deriver\Deriver\Identity\QueryEncoding;
63use Deriver\Deriver\Identity\ValueGraph;
64use Deriver\Deriver\Lowerer\AggregateLowering;
65use Deriver\Deriver\Lowerer\Declaration\CallableIdentity;
66use Deriver\Deriver\Lowerer\Declaration\CallableSource;
67use Deriver\Deriver\Lowerer\Declaration\Index;
68use Deriver\Deriver\Lowerer\Declaration\Indexer;
69use Deriver\Deriver\Lowerer\Declaration\Traits\Composition;
70use Deriver\Deriver\Lowerer\ExpressionLowering;
71use Deriver\Deriver\Lowerer\Graph\BasicBlock;
72use Deriver\Deriver\Lowerer\Graph\CallableGraph;
73use Deriver\Deriver\Lowerer\Graph\Instruction;
74use Deriver\Deriver\Lowerer\Graph\Terminator;
75use Deriver\Deriver\Lowerer\Hierarchy\Dispatch;
76use Deriver\Deriver\Lowerer\InstructionEmitter;
77use Deriver\Deriver\Lowerer\Lowerer;
78use Deriver\Deriver\Lowerer\LoweringScope;
79use Deriver\Deriver\Lowerer\StatementLowering;
80use Deriver\Deriver\Parser\Node\File;
81use Deriver\Deriver\Parser\Parser;
82use Deriver\Deriver\Parser\ParserConfig;
83use Deriver\Deriver\Parser\TargetSyntax;
84use Deriver\Deriver\Providers\ProviderExpansion;
85use Deriver\Deriver\Resolver\AssignmentPatterns;
86use Deriver\Deriver\Resolver\ClassScope;
87use Deriver\Deriver\Resolver\ExpressionValidation;
88use Deriver\Deriver\Resolver\MagicContext;
89use Deriver\Deriver\Resolver\Resolver;
90use Deriver\Deriver\Selection\QueryValidation;
91use Deriver\Deriver\Sources\LineMap;
92use Deriver\Deriver\Sources\Path;
93use Deriver\Deriver\Sources\Source;
94use Deriver\Deriver\Sources\SourceRef;
95use Deriver\Deriver\Sources\Sources;
96use Deriver\Exception\ParserException;
97use Deriver\Exception\ResolutionException;
98use PHPUnit\Framework\Attributes\CoversClass;
99use PHPUnit\Framework\Attributes\Small;
100use PHPUnit\Framework\Attributes\UsesClass;
101use PHPUnit\Framework\TestCase;
102
103#[UsesClass(Resolver::class)]
104#[UsesClass(ExpressionValidation::class)]
105#[UsesClass(ResolutionException::class)]
106#[UsesClass(ParserConfig::class)]
107#[UsesClass(ParserException::class)]
108#[CoversClass(ValueGraph::class)]
109#[UsesClass(QueryExecution::class)]
110#[UsesClass(QueryValidation::class)]
111#[UsesClass(ResultAssessment::class)]
112#[UsesClass(Deriver::class)]
113#[UsesClass(BasicBlock::class)]
114#[UsesClass(CallableGraph::class)]
115#[UsesClass(CallableIdentity::class)]
116#[UsesClass(Instruction::class)]
117#[UsesClass(Terminator::class)]
118#[UsesClass(ArgumentBinding::class)]
119#[UsesClass(ArgumentOrder::class)]
120#[UsesClass(Dispatch::class)]
121#[UsesClass(TypeBinding::class)]
122#[UsesClass(TypeCheck::class)]
123#[UsesClass(Completion::class)]
124#[UsesClass(Context::class)]
125#[UsesClass(ObservationLimit::class)]
126#[UsesClass(StateJoin::class)]
127#[UsesClass(Unwinding::class)]
128#[UsesClass(Cell::class)]
129#[UsesClass(Components::class)]
130#[UsesClass(Discovery::class)]
131#[UsesClass(Key::class)]
132#[UsesClass(Table::class)]
133#[UsesClass(Dependencies::class)]
134#[UsesClass(InstructionTransfer::class)]
135#[UsesClass(Evaluator::class)]
136#[UsesClass(SlotReference::class)]
137#[UsesClass(ObservationCollector::class)]
138#[UsesClass(Conversions::class)]
139#[UsesClass(ScalarErrors::class)]
140#[UsesClass(State::class)]
141#[UsesClass(CompletionRecord::class)]
142#[UsesClass(Evaluation::class)]
143#[UsesClass(Invocation::class)]
144#[UsesClass(Isolation::class)]
145#[UsesClass(PureStep::class)]
146#[UsesClass(ReferenceAssignment::class)]
147#[UsesClass(Materialization::class)]
148#[UsesClass(Memory::class)]
149#[UsesClass(StorageCapture::class)]
150#[UsesClass(Extensions::class)]
151#[UsesClass(ProviderExpansion::class)]
152#[UsesClass(Evaluators::class)]
153#[UsesClass(StateRegistry::class)]
154#[UsesClass(DeriverConfig::class)]
155#[UsesClass(EntryPoint::class)]
156#[UsesClass(Sources::class)]
157#[UsesClass(Path::class)]
158#[UsesClass(Snapshot::class)]
159#[UsesClass(Source::class)]
160#[UsesClass(TargetProfile::class)]
161#[UsesClass(Budget::class)]
162#[UsesClass(QueryScope::class)]
163#[UsesClass(ReturnQuery::class)]
164#[UsesClass(ResultRef::class)]
165#[UsesClass(SourceRef::class)]
166#[UsesClass(Alternative::class)]
167#[UsesClass(Assessment::class)]
168#[UsesClass(Derivation::class)]
169#[UsesClass(DerivationResult::class)]
170#[UsesClass(QueryEncoding::class)]
171#[UsesClass(Statistics::class)]
172#[UsesClass(StorageSnapshot::class)]
173#[UsesClass(Parser::class)]
174#[UsesClass(File::class)]
175#[UsesClass(AggregateLowering::class)]
176#[UsesClass(Lowerer::class)]
177#[UsesClass(ExpressionLowering::class)]
178#[UsesClass(InstructionEmitter::class)]
179#[UsesClass(LoweringScope::class)]
180#[UsesClass(StatementLowering::class)]
181#[UsesClass(CallableSource::class)]
182#[UsesClass(Indexer::class)]
183#[UsesClass(Index::class)]
184#[UsesClass(Composition::class)]
185#[UsesClass(LineMap::class)]
186#[UsesClass(MagicContext::class)]
187#[UsesClass(AssignmentPatterns::class)]
188#[UsesClass(ClassScope::class)]
189#[UsesClass(TargetSyntax::class)]
190#[UsesClass(Arrays::class)]
191#[UsesClass(Identity::class)]
192#[UsesClass(Operations::class)]
193#[UsesClass(Term::class)]
194#[Small]
195final class ValueGraphTest extends TestCase
196{
197    public function testAddPreservesTheSemanticContract(): void
198    {
199        $graph = new ValueGraph();
200        $root = $graph->add(Term::fromNative([2 => 'a', 'name' => 'b']));
201        self::assertSame('array', $graph->records[$root]['kind']);
202        $operands = $graph->records[$root]['operands'];
203        self::assertSame(['type' => 'int64', 'value' => '2'], $operands[0]['key']);
204        self::assertSame(['type' => 'bytes', 'value' => base64_encode('name')], $operands[1]['key']);
205        self::assertSame(['type' => 'bytes', 'value' => base64_encode('a')], $graph->records[$operands[0]['value']]['literal']);
206    }
207    public function testScalarPreservesSignedZeroAndBinaryStrings(): void
208    {
209        $graph = new ValueGraph();
210        self::assertSame(['type' => 'float64', 'value' => '8000000000000000'], $graph->scalar(-0.0));
211        self::assertSame(['type' => 'bytes', 'value' => '/wA='], $graph->scalar("\xff\x00"));
212    }
213    public function testMappingSharesReferencesForEqualTerms(): void
214    {
215        $graph = new ValueGraph();
216        $mapping = $graph->mapping(['a' => Term::constant(3), 'b' => Term::constant(3)]);
217        self::assertSame($mapping['a'], $mapping['b']);
218        self::assertCount(1, $graph->records);
219    }
220    public function testAddEncodesSharedSubgraphsWithoutExpandingTheTree(): void
221    {
222        $depth = 64;
223        $leaf = Term::constant(1);
224        $leaf = array_reduce(array_fill(0, $depth, null), static fn (Term $leaf): Term => Term::array([$leaf, $leaf]), $leaf);
225        $value = $leaf;
226        $graph = new ValueGraph();
227        self::assertSame('v0', $graph->add($value));
228        self::assertCount(65, $graph->records);
229        self::assertSame($graph->records['v0']['operands'][0]['value'], $graph->records['v0']['operands'][1]['value']);
230    }
231}
232