classCompletionWitness

Generation packages/sql-faker/src/Generation/Derivation/Completion/CompletionWitness.php:20

final class CompletionWitness

Proves cheap feasible continuations before the complete search; a failed probe proves nothing. Every emitted witness actually walks the patterns, budget and output obligation without constructing SQL.

Methods§

public function __construct(
    private CompletionCosts $costs,
    private PatternProductions $productions,
    private CompletionMemo $memo,
)

100%source §

Shares immutable production matches and unconstrained costs with the complete solver.

Parameters

`$costs`	`CompletionCosts`
`$productions`	`PatternProductions`
`$memo`	`CompletionMemo`

Test cases 5

public function complete(
    list<Symbol> $symbols,
    GenerationPlan<bool> $plan,
    array<string, int> $occurrences,
    bool $nonEmpty,
    int $budget,
): ?int

97%source §

Limits this optional proof attempt to 256 expansions; null always delegates to the complete search.

Parameters

`$symbols`	`list<Symbol>`
`$plan`	`GenerationPlan<bool>`
`$occurrences`	`array<string, int>`
`$nonEmpty`	`bool`
`$budget`	`int`

Returns

?int

Test cases 3

CompletionWitnessTest::testCompleteBoundsTheOptionalProbeWithoutClaimingImpossibility covers and calls
CompletionWitnessTest::testCompleteWalksOccurrencePatternsAndPreservesPendingOutput covers and calls
CompletionWitnessTest::testCompleteYieldsToTheSolverWhenAGreedyPathNeedsAnotherChoice covers and calls

Called from 1

method-call SqlFaker\Generation\Derivation\ConstrainedCompletion::complete() packages/sql-faker/src/Generation/Derivation/ConstrainedCompletion.php:71

Calls 14

function-call min line 41
method-call CompletionCosts::hasTerminalOutput() line 42
function-call array_values line 43
function-call array_filter line 43
method-call CompletionWitness::remember() line 45
method-call CompletionState::key() line 47
new CompletionState line 47
method-call GenerationPlan::patternState() line 47
method-call CompletionMemo::recall() line 49
function-call array_slice line 58
method-call CompletionCosts::sequence() line 59
method-call CompletionWitness::choices() line 62
method-call GenerationPlan::patternAt() line 62
static-call CompletionCosts::combine() line 63

public function remember(
    list<array{string, int}> $path,
    GenerationPlan<bool> $plan,
    int $total,
    int $budget,
): int

100%source §

Stores only suffix costs from the actual successful walk, as affordable upper bounds.

Parameters

`$path`	`list<array{string, int}>`
`$plan`	`GenerationPlan<bool>`
`$total`	`int`
`$budget`	`int`

Returns

int

Test cases 4

Called from 2

Calls 1

method-call CompletionMemo::remember() line 87

public function choices(
    string $name,
    ?ProductionPattern $pattern,
): list<array{Production, array{int, int}}>

100%source §

Keeps the cheapest empty and emitting alternatives as proposals, never as constrained minimum proofs.

Parameters

`$name`	`string`
`$pattern`	`?ProductionPattern`

Returns

list<array{Production, array{int, int}}>

Test cases 4

Called from 1

method-call SqlFaker\Generation\Derivation\Completion\CompletionWitness::complete() packages/sql-faker/src/Generation/Derivation/Completion/CompletionWitness.php:62

Calls 4

function-call serialize line 98
method-call PatternProductions::matching() line 101
method-call CompletionCosts::sequence() line 102
function-call array_values line 109

Private surface 4§

Implementation details, listed for orientation only.

private array<string, list<array{Production, array{int, int}}>> $choices = []

private CompletionCosts $costs

private PatternProductions $productions

private CompletionMemo $memo

Test cases 25§

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

Dedicated tests 5

CompletionWitnessTest::testChoicesCachesBothOutputPossibilitiesUnderEachDistinctPattern covers and calls
CompletionWitnessTest::testCompleteBoundsTheOptionalProbeWithoutClaimingImpossibility covers and calls
CompletionWitnessTest::testCompleteWalksOccurrencePatternsAndPreservesPendingOutput covers and calls
CompletionWitnessTest::testCompleteYieldsToTheSolverWhenAGreedyPathNeedsAnotherChoice covers and calls
CompletionWitnessTest::testRememberCachesOnlyTheSuccessfulSuffixAndPreservesExactMinimumIndependence covers and calls

Other tests reaching this symbol 20

Relations§

Instantiated in 1

new SqlFaker\Generation\Derivation\ConstrainedCompletion::__construct() packages/sql-faker/src/Generation/Derivation/ConstrainedCompletion.php:30

Method calls 1

method-call SqlFaker\Generation\Derivation\ConstrainedCompletion::complete() packages/sql-faker/src/Generation/Derivation/ConstrainedCompletion.php:71

Type declarations 1

type SqlFaker\Generation\Derivation\ConstrainedCompletion packages/sql-faker/src/Generation/Derivation/ConstrainedCompletion.php:21