classProvenance

packages/deriver/src/Deriver/Evaluator/Evidence/Provenance.php:17

final class Provenance

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

Keeps value identity separate from the immutable graph supporting that value.

Properties§

public WeakMap<Term, Node> $roots

source §

Methods§

public function __construct()

source §

Creates an empty analysis-local proof ledger.

Calls 1

new WeakMap line 33

public function get(Term $value): ?Node

source §

Finds evidence without adding analysis state to a value.

Parameters

$value Term

Returns

?Node

Test cases 6

Called from 6

public function wrap(
    Term $value,
    EvidenceKind $kind,
    ?SourceRef $source = null,
    array<string, scalar|null> $attributes = [],
): Term

source §

Parameters

`$value`	`Term`
`$kind`	`EvidenceKind`
`$source`	`?SourceRef`
`$attributes`	`array<string, scalar\|null>`

Returns

Term

Test cases 4

Called from 1

method-call Deriver\Deriver\Evaluator\Scope\Context::reference() packages/deriver/src/Deriver/Evaluator/Scope/Context.php:168

Calls 6

method-call Choices::map() line 50
new Choices line 50
method-call Provenance::get() line 51
method-call Provenance::inputs() line 51
method-call Provenance::attach() line 52
new Node line 52

public function attach(Term $value, Node $evidence): Term

source §

Attaches derivation evidence without changing semantic value identity.

Parameters

`$value`	`Term`
`$evidence`	`Node`

Returns

Term

Test cases 3

Called from 3

Calls 1

new Term line 61

public function inputs(array<int|string, Term> $values): array<string, Node>

source §

Parameters

$values array<int|string, Term>

Returns

array<string, Node>

Test cases 1

ProvenanceTest::testInputsRetainsOperandRoles calls

Called from 2

Calls 3

public function operation(Term $result, list<Term> $values, string $operation): Term

source §

Parameters

`$result`	`Term`
`$values`	`list<Term>`
`$operation`	`string`

Returns

Term

Test cases 2

Called from 2

Calls 7

method-call Provenance::inputs() line 84
method-call Choices::map() line 85
new Choices line 85
method-call Provenance::get() line 86
method-call Provenance::attach() line 89
new Node line 89
class-const EvidenceKind::Operation() line 89

public function evaluator(Term $value, ?Node $evaluator): Term

source §

Combines selected evaluator metadata and demanded selection inputs with an output proof.

Parameters

`$value`	`Term`
`$evaluator`	`?Node`

Returns

Term

Test cases 2

Calls 7

method-call Choices::map() line 100
new Choices line 100
method-call Provenance::attach() line 100
new Node line 100
class-const EvidenceKind::EvaluatorApplication() line 100
method-call Forest::root() line 100
new Forest line 100

Private surface 1§

Implementation details, listed for orientation only.

private WeakMap<Term, Node> $nodes

Test cases 16§

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

Dedicated tests 9

Other tests reaching this symbol 7

Relations§

Instantiated in 3

Method calls 5

Type declarations 6