| Deriver public API | Deriver | Derives candidate values repeatedly from one captured set of PHP sources. |
| Finder public API | Deriver | Finds local file paths without reading or parsing their contents.
Patterns match paths relative to each root: * and ? stay within a component.
The recursive ** wildcard crosses directories and can match zero directories. Exclusions win.
Linked files and directories are skipped. With no roots, searches the current directory;
with no includes, selects every regular file. No directories are excluded implicitly. |
| Application public API | Deriver\Command | Symfony Console application for the deliver executable. |
| DeriveCommand @visibility namespace | Deriver\Command | Collects selected paths, derives one selector, and writes a report to standard output. |
| Input @visibility namespace | Deriver\Command | Applies command-line overrides to an explicitly selected configuration file. |
| Configuration public API | Deriver\Configuration | Validated command settings, independent of the preparation and evaluation layers. |
| Environment public API | Deriver\Configuration | Validates and retains native application inputs at the configuration boundary. |
| Loader @visibility root @visibility Deriver\Command | Deriver\Configuration | Reads YAML command settings and anchors configured paths to their configuration file. |
| BranchEvaluators public API | Deriver\Deriver | Optional branch semantics that demand boolean candidates and prune impossible arms.
Register these evaluators in DeriverConfig to enable predicate dependencies. |
| Candidate public API | Deriver\Deriver | A concrete value or a structured residual, with every supporting derivation. |
| Contributions @visibility root | Deriver\Deriver | Internal extension inputs assembled by Deriver, independently of configuration settings. |
| DeriverConfig public API | Deriver\Deriver | Independent settings interpreted by Deriver when it constructs each processing stage. |
| Evaluation public API | Deriver\Deriver | One operation and its lazy inputs, supplied to a public micro evaluator.
Function inputs use argument positions or explicit argument names. Other inputs
use operand positions; conditional operands are true, false, and condition. |
| MicroEvaluator public API | Deriver\Deriver | Evaluates a selected operation using only the dependencies it requests.
Return null to decline, or a Term containing the concrete or partial result.
Change the version whenever the evaluator's meaning changes. |
| MicroEvaluatorConversion @visibility namespace @visibility Deriver | Deriver\Deriver | Converts public micro evaluators at the boundary of the evaluator stage.
The evaluator stage never receives DeriverConfig or public evaluator definitions. |
| Query public API | Deriver\Deriver | The syntax of a selector, independent of source files and analysis state. |
| SnapshotIdentity @visibility Deriver @visibility namespace | Deriver\Deriver | Computes the identity of an analysis snapshot from its sources, evaluators, environment and target.
Prepared sources with equal identities answer every query identically; nothing else enters the identity. |
| Alternative public API | Deriver\Deriver\Candidate | One derivation and its call context, retained independently of the deriver. |
| CandidateCollection public API | Deriver\Deriver\Candidate | The read-only candidate set for one observation. |
| ResultRef public API | Deriver\Deriver\Candidate | A stable ResultRef within a analysis snapshot. |
| ResultSet @visibility root | Deriver\Deriver\Candidate | Independent query results; use TupleQuery to retain correlations. |
| Snapshot public API | Deriver\Deriver\Candidate | Versioned immutable manifest of source, evaluators, environment, and target assumptions. |
| Statistics public API | Deriver\Deriver\Candidate | Work counts describe derivation; candidate dependency reuse reduces actual expansions.
Counts belong to the current query. Timing is observational. |
| CallEvaluation @visibility namespace | Deriver\Deriver\Evaluator | Selects a replacement before demanding any source body or irrelevant input. |
| Calls @visibility namespace | Deriver\Deriver\Evaluator | Requests return or write dependencies with lazy argument bindings. |
| Demand @visibility namespace @visibility Deriver\Deriver\Publication | Deriver\Deriver\Evaluator | Places a selected target's demand on the engine: the selected expression, return, tuple, or storage definition in each entry frame.
Nothing outside the engine selects definitions or reads storage directly; the result is one candidate graph. |
| Evaluator @visibility namespace @visibility Deriver\Deriver\Publication | Deriver\Deriver\Evaluator | Evaluates the dependencies of one selected observation through cooperating evaluators.
Live alternatives share a work queue; completed and irreducible branches retain
their values, while interrupted branches keep their remaining dependencies. |
| EvaluatorConfig @visibility root | Deriver\Deriver\Evaluator | Semantic inputs for dependency derivation. |
| Projection @visibility root | Deriver\Deriver\Evaluator | A path into an array, object state, or domain record. |
| Target @visibility Deriver\Deriver | Deriver\Deriver\Evaluator | Selected definitions consumed by dependency derivation, independent of query syntax. |
| TargetProfile public API | Deriver\Deriver\Evaluator | PHP semantics selected independently of the host runtime. |
| Term public API | Deriver\Deriver\Evaluator | An immutable expression, partial structure, or symbolic input. |
| ArrayFunctions @visibility root | Deriver\Deriver\Evaluator\Builtin | Preserves array keys, order, and unknown remainders in standard operations. |
| ArrayMutation @visibility root | Deriver\Deriver\Evaluator\Builtin | Computes the updated array and return value of by-reference array mutations as one correlated value. |
| ConstructionFunctions @visibility root | Deriver\Deriver\Evaluator\Builtin | Bounded construction of standard scalar and array values. |
| Formatting @visibility root | Deriver\Deriver\Evaluator\Builtin | Formats the verified percent, string, and decimal sprintf conversions symbolically. |
| FunctionEvaluator @visibility root | Deriver\Deriver\Evaluator\Builtin | Standard functions use ordinary signatures and declarative intrinsic expressions. |
| Library @visibility root | Deriver\Deriver\Evaluator\Builtin | Registers explicitly supported standard-library signatures through the public SDK. |
| Replacement @visibility root | Deriver\Deriver\Evaluator\Builtin | Computes the replacement result and reference count as one correlated value. |
| ScalarFunctions @visibility root | Deriver\Deriver\Evaluator\Builtin | Implements registered standard functions over immutable abstract values. |
| Sorting @visibility root | Deriver\Deriver\Evaluator\Builtin | Sorts concrete scalar arrays with locale-independent PHP sorting modes. |
| StringFunctions @visibility root | Deriver\Deriver\Evaluator\Builtin | Evaluates byte-string operations without reading host locale or environment. |
| TypePredicates @visibility root | Deriver\Deriver\Evaluator\Builtin | Evaluates type predicates and retains unknown predicates symbolically. |
| ArgumentBindings @visibility root | Deriver\Deriver\Evaluator\Call | Signature-normalized abstract inputs with an explicit distinction between preparation and evaluated calls. |
| BoundArgument @visibility root | Deriver\Deriver\Evaluator\Call | One signature-normalized argument and its optional reference-capable evaluator location. |
| BoundInstruction @visibility root | Deriver\Deriver\Evaluator\Call | A call evaluator's instruction with a pre-bound symbolic value.
Source lowering only produces ordinary instructions with literal syntax. |
| CallDecision @visibility root | Deriver\Deriver\Evaluator\Call | Distinguishes a handled call, a declined matcher, and an unsupported overload. |
| CallDescription @visibility root | Deriver\Deriver\Evaluator\Call | Normalized metadata for selecting a declarative call evaluator. |
| CallDescriptor @visibility root | Deriver\Deriver\Evaluator\Call | Stable evaluator identity, target symbol, version, and explicit precedence. |
| Evaluators @visibility root | Deriver\Deriver\Evaluator\Call | Resolves explicit evaluator precedence independently of registration order. |
| Extensions @visibility root | Deriver\Deriver\Evaluator\Call | Validates and versions explicitly installed domain and intrinsic contracts. |
| Precedence @visibility root | Deriver\Deriver\Evaluator\Call | Selects the unique maximal evaluator from a deterministic precedence graph. |
| Registrations @visibility root | Deriver\Deriver\Evaluator\Call | Explicit registrations admitted by the evaluator evaluators. |
| SignatureIdentity @visibility root | Deriver\Deriver\Evaluator\Call | Includes argument and return contracts in immutable evaluator snapshot identity. |
| StateRegistry @visibility root | Deriver\Deriver\Evaluator\Call | Validates finite state-slot contracts and includes their entire semantics in snapshot identity. |
| Action @visibility root | Deriver\Deriver\Evaluator\Call\Plan | An ordered state effect, callback invocation, branch, or completion. |
| CallArgument @visibility root | Deriver\Deriver\Evaluator\Call\Plan | An ordered evaluator-call argument with its name, unpack mode, and optional storage reference. |
| Expression @visibility root | Deriver\Deriver\Evaluator\Call\Plan | A pure plan expression referencing parameters, state, or registered operations. |
| PlanActions @visibility root | Deriver\Deriver\Evaluator\Call\Plan | Lowers ordered plan effects to core memory, control, and completion operations. |
| PlanCompiler @visibility root | Deriver\Deriver\Evaluator\Call\Plan | Lowers trusted plans into the same SSA instructions and control-flow blocks as PHP. |
| PlanFootprints @visibility root | Deriver\Deriver\Evaluator\Call\Plan | Validates evaluator addresses and records explicit reads, writes, and reference exposure. |
| PlanInvocations @visibility root | Deriver\Deriver\Evaluator\Call\Plan | Routes evaluator callbacks and allocations through source call preparation and argument binding. |
| PlanLocations @visibility root | Deriver\Deriver\Evaluator\Call\Plan | Lowers public evaluator locations to the same addresses used by source references. |
| PlanValidation @visibility root | Deriver\Deriver\Evaluator\Call\Plan | Validates declarative opcodes, operand counts, and declared state footprints. |
| SemanticPlan @visibility root | Deriver\Deriver\Evaluator\Call\Plan | Acyclic API semantics lowered to the source evaluator control-flow representation. |
| LocationRef @visibility root | Deriver\Deriver\Evaluator\Call\Plan\Location | A declarative reference to evaluator storage, resolved by the core after argument binding. |
| DispatchDecision @visibility root | Deriver\Deriver\Evaluator\Call\Provider | Separates additional candidates from an explicit exhaustive-world contract. |
| DispatchRequest @visibility root | Deriver\Deriver\Evaluator\Call\Provider | Evaluated receiver and method metadata supplied to a trusted dispatch provider. |
| DispatchTarget @visibility root | Deriver\Deriver\Evaluator\Call\Provider | One guarded call target with an optional replacement receiver binding. |
| StateSlot @visibility root | Deriver\Deriver\Evaluator\Call\State | A namespaced abstract object slot with explicit initialization, clone, and invalidation contracts. |
| ClassMetadata @visibility root | Deriver\Deriver\Evaluator\Declaration | Class and composed trait facts; inherited members remain on the named parent.
Doc comments are raw source text for integrations that read annotations; Deriver never interprets them. |
| Declarations @visibility root | Deriver\Deriver\Evaluator\Declaration | Projects source declarations into immutable metadata without exposing graphs or syntax. |
| Parameter @visibility root | Deriver\Deriver\Evaluator\Declaration | One external API parameter; binding is performed by the core. |
| PropertyMetadata @visibility root | Deriver\Deriver\Evaluator\Declaration | A property declaration, independent of any object's current state. |
| Signature @visibility root | Deriver\Deriver\Evaluator\Declaration | An external callable signature with a declared return contract.
Source signatures carry their raw doc comment; Deriver never reads PHPDoc types from it. |
| DomainFact @visibility root | Deriver\Deriver\Evaluator\Domain | An immutable fact owned by a registered abstract domain. |
| DomainLaws @visibility root | Deriver\Deriver\Evaluator\Domain | Finite contract checks for third-party domains; samples do not prove arbitrary laws. |
| DomainOperations @visibility root | Deriver\Deriver\Evaluator\Domain | Checks domain laws and inclusion before admitting facts into the evaluation. |
| Lattice @visibility root | Deriver\Deriver\Evaluator\Domain | Finite abstract facts for inclusion and widening, separate from expression identity. |
| Choices @visibility parent | Deriver\Deriver\Evaluator\Enumeration | Keeps branch and call-site correlations inside shared expression choices. |
| Enumerator @visibility parent @visibility Deriver\Deriver\Publication | Deriver\Deriver\Evaluator\Enumeration | Enumerates a shared choice DAG while retaining its entire unvisited frontier. |
| Suspension @visibility parent | Deriver\Deriver\Evaluator\Enumeration | Retains already captured syntax at interruption without resuming dependency search. |
| Declarations @visibility root | Deriver\Deriver\Evaluator\Enumeration\Finite | Recognizes finite declared return domains without deriving their members. |
| Demand @visibility root | Deriver\Deriver\Evaluator\Enumeration\Finite | A closed observation domain and the outcomes still needed by its consumer.
Membership is checked after declaration conversions without replacing raw operands. |
| Contexts @visibility parent @visibility Deriver\Deriver\Publication | Deriver\Deriver\Evaluator\Evidence | Projects call and binding dependencies without inventing execution paths. |
| Forest @visibility parent @visibility Deriver\Deriver\Publication | Deriver\Deriver\Evaluator\Evidence | Collects roots from an unenumerated value DAG without enumerating its combinations. |
| Frontier public API | Deriver\Deriver\Evaluator\Evidence | An unexplored dependency and the projections its residual affects. |
| Node public API | Deriver\Deriver\Evaluator\Evidence | An immutable derivation node. Inputs are AND unless kind is choice/context-or. |
| Provenance @visibility parent @visibility Deriver\Deriver\Publication | Deriver\Deriver\Evaluator\Evidence | Keeps value identity separate from the immutable graph supporting that value. |
| BatchObservations @visibility namespace @visibility Deriver\Deriver\Execution | Deriver\Deriver\Evaluator\Execution | Collects separate observation results from one execution with one shared budget. |
| Constraints @visibility namespace | Deriver\Deriver\Evaluator\Execution | Preserves shared predicates and checks supported numeric interval contradictions. |
| Context @visibility namespace @visibility Deriver\Deriver\Execution | Deriver\Deriver\Evaluator\Execution | Query-local work budget, dependency evidence, observations, and evaluator registry. |
| Dependencies @visibility namespace | Deriver\Deriver\Evaluator\Execution | Records concrete definition, storage, call, and control dependencies as graph IDs. |
| Evaluator @visibility namespace @visibility Deriver\Deriver\Execution | Deriver\Deriver\Evaluator\Execution | Executes demanded control-flow graphs over correlated abstract states. |
| EvaluatorConfig @visibility root | Deriver\Deriver\Evaluator\Execution | Semantic inputs for ordered evaluation. |
| Havoc @visibility namespace | Deriver\Deriver\Evaluator\Execution | Invalidates only reachable mutable state, plus exposed globals and statics. |
| InstructionTransfer @visibility namespace | Deriver\Deriver\Evaluator\Execution | Connects shared instruction semantics to the abstract machine. |
| ObservationCollector @visibility namespace @visibility Deriver\Deriver\Execution | Deriver\Deriver\Evaluator\Execution | Observes evaluated registers and memory; it never re-evaluates query expressions. |
| State @visibility namespace @visibility Deriver\Deriver\Execution | Deriver\Deriver\Evaluator\Execution | One correlated execution path; forks copy state without sharing mutable memory. |
| Allocation @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call | Allocates distinct object identities and applies shallow clone semantics. |
| ArgumentBinding @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution @visibility Deriver\Deriver\Execution | Deriver\Deriver\Evaluator\Execution\Call | Binds positional, named, variadic, unpacked, default, and reference arguments. |
| ArgumentOrder @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call | Validates argument order and maps values by the selected signature's names. |
| CallExecutor @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call | Resolves and evaluates source bodies and semantic plans through one machine. |
| CallResolution @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call | Selects ordinary source bodies before optional replacement evaluators. |
| CallableCheck @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call | Checks callable identities against captured declarations without host reflection. |
| MethodInvocation @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call | Resolves known receivers and retains open-world alternatives for declared types. |
| ParameterBinding @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call | Evaluates defaults only on omission and connects reference cells at entry. |
| PassedArgument @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution @visibility Deriver\Deriver\Execution | Deriver\Deriver\Evaluator\Execution\Call | A once-evaluated actual argument and its optional PHP reference address. |
| ProviderDispatch @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call | Combines provider candidates while keeping completeness and provenance explicit. |
| SymbolicEnums @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call | Enumerates the closed set of declared enum cases for a symbolic parameter. |
| TypeBinding @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call | Checks runtime declaration types separately from symbolic value knowledge. |
| TypeCheck @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call | A normal coerced value together with possible argument-type failure. |
| UnknownCall @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call | Preserves normal and exceptional residuals and conservatively invalidates effects. |
| Binding @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call\Closure | Restores acquisition scope for first-class callables without changing the invoking frame. |
| Capture @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call\Closure | Validates first-class callable acquisition and freezes its receiver and access scope. |
| Effects @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call\Contract | Applies an explicit evaluator's unresolved write footprint with normal and exceptional continuations. |
| ExternalBody @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call\Contract | Retains declared argument binding while preserving an external implementation's unknown effects. |
| Inputs @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call\Contract | Exposes evaluated call metadata without allowing evaluators to access mutable solver state. |
| NativeArguments @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call\Contract | Applies PHP 8.3's deprecated null coercion for non-nullable internal scalar parameters. |
| Access @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call\Creation | Validates class and lifecycle access before applying object initialization effects. |
| Constants @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call\Member | Resolves inherited constant ownership and PHP visibility without host reflection. |
| Invocation @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call\Member | Applies visibility, instance binding, and magic dispatch before invoking a method body. |
| Invocation @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call\Native | Applies native throwable constructors and getters using source-compatible heap state. |
| Properties @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call\Native | Keeps native throwable properties in the same heap as source object state. |
| Signatures @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call\Native | Captures PHP 8.3 throwable method signatures without loading host classes. |
| Arguments @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call\Preparation | Freezes value arguments and exposes reference cells at their source evaluation point. |
| Creation @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call\Preparation | Checks constructor access and argument modes before evaluating constructor arguments. |
| EntryProperties @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution @visibility Deriver\Deriver\Execution | Deriver\Deriver\Evaluator\Execution\Call\Preparation | Installs explicitly supplied receiver property values as an entry object's initial state. |
| Methods @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call\Preparation | Checks method access and obtains argument modes before argument effects begin. |
| Modes @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call\Preparation | Matches argument positions and names to a captured reference signature. |
| Resolution @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call\Preparation | Resolves argument reference modes without invoking the selected body. |
| Target @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call\Preparation | Signature and access result captured before evaluating call arguments. |
| Transfer @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call\Preparation | Captures call signatures and early failures before argument evaluation begins. |
| Unpack @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Call\Preparation | Freezes unpacked values and prepares only the reference elements required by the signature. |
| Alternative @visibility root | Deriver\Deriver\Evaluator\Execution\Completion | Correlated values and state under a shared path guard. |
| Assessment @visibility root | Deriver\Deriver\Evaluator\Execution\Completion | Independent measures of completeness, precision, and correlation. |
| Completion @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Completion | A pending completion that a finally block can resume or replace. |
| Exceptional @visibility root | Deriver\Deriver\Evaluator\Execution\Completion | An exceptional completion with the state reached before it was thrown. |
| StorageSnapshot @visibility root | Deriver\Deriver\Evaluator\Execution\Completion | Immutable storage graph preserving object identity, reference aliases, and cycles. |
| ClassNames @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Constant | Separates lexical class references from runtime class strings and object names. |
| Definitions @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Constant | Captures runtime constant definitions without defining constants in the host process. |
| CollectionCalls @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Control | Connects finite collection callbacks to the ordinary call and exception evaluator. |
| ExceptionChain @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Control | Appends exceptions displaced by finally using PHP's previous-chain identity rules. |
| ExceptionMatch @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Control | Partitions throwable bounds in catch order without inventing a runtime class. |
| Handler @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Control | Dynamic phase of one exception region and its saved completion. |
| IterationStep @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Control | Evaluates finite foreach cursors, known heads of symbolic merges, and referenced element addresses. |
| IteratorCursor @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Control | A foreach snapshot or a live reference to its iterable. |
| LoopConvergence @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Control | Bounds precise loop expansion and retains an explicit residual state. |
| ObservationLimit @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Control | Bounds exported observations with inclusive value and state joins. |
| PathJoin @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Control | Joins excess paths into one path that keeps executing, instead of sealing them. |
| ResidualPaths @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Control | Seals unexplored execution with inclusive normal and exceptional completions. |
| StateJoin @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Control | Safely merges excess partitions rather than retaining only the first candidates. |
| Unwinding @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Control | Routes pending normal, return, throw, and jump completions through finally. |
| Cell @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Demand | Separates computation progress from the current, possibly empty approximation. |
| Components @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Demand | Finds strongly connected demand components in deterministic dependency order. |
| Discovery @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Demand | Discovers backward SSA dependencies while retaining all possible state and exit effects. |
| Key @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Demand | Names one computation in a snapshot, projection, state, and constraint partition. |
| Table @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Demand | Query-local dynamic dependency graph and deterministic specialization registry. |
| LiveArray @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Memory | Retains the next live foreach buckets across deletion, insertion, and array replacement. |
| Location @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Memory | An address into one storage root, distinct from an object identity. |
| Materialization @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Memory | Materializes a single immutable memory view without expanding shared array subgraphs. |
| Memory @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Memory | Copy-on-write cells, object records, globals, and static storage. |
| ReferenceConstraint @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Memory | Finds the live typed properties sharing a reference cell after alias rebinding. |
| StorageCapture @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Memory | Captures reachable raw storage without expanding aliases or cyclic PHP structures. |
| SlotReference @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Memory\Slots | Checks an abstract slot's type before binding it to an existing reference cell. |
| StateStorage @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Memory\Slots | Maintains handled object state separately from PHP properties and magic accessors. |
| Address @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Offset | Retains the evaluated key before container-dependent offset conversion. |
| Path @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Offset | Resolves evaluated offset chains while preserving partial array creation on failure. |
| Protocol @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Offset | Executes ArrayAccess methods through source semantics and shared reference storage. |
| ProtocolAccess @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Offset | An ArrayAccess receiver and the remaining evaluated offset chain. |
| ReadCandidates @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Offset | Enumerates finite array slots under correlated key predicates, retaining absence. |
| Reader @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Offset | Reads offsets using the runtime container category and original key. |
| StringAccess @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Offset | A byte position whose assignment updates the containing string cell. |
| Strings @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Offset | PHP 8.3 byte offsets, including context-dependent diagnostics and assignment results. |
| Transfer @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Offset | Applies offset operations after container, access, and reference validation. |
| CallablePredicate @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Operation | Evaluates the supported callable predicate and retains unhandled overload effects. |
| Conversions @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Operation | Routes object string conversion through captured source methods and records opaque protocols. |
| CountableCalls @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Operation | Executes Countable::count using the captured receiver and ordinary source effects. |
| PartialFormatting @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Operation | Keeps the formatted known prefix of a dynamic sprintf format in front of an explicit residual for the unknown rest. |
| ScalarErrors @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Operation | Retains runtime error paths for scalar operations whose operands remain symbolic. |
| StringJoining @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Operation | Joins known array shapes and known heads of symbolic merges without losing string fragments around unknown elements. |
| CompletionRecord @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Summary | Keeps one correlated isolated return or exception with its final local state. |
| Evaluation @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Summary | Solves reusable isolated call demands with monotone cyclic approximations. |
| Invocation @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Summary | Captures only relevant local inputs for a proven isolated callable specialization. |
| Isolation @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Summary | Proves that a source call tree only mutates its own reference-free local storage. |
| Derivation @visibility root | Deriver\Deriver\Evaluator\Execution\Trace | A typed edge in the explanation graph. |
| Explanation @visibility root | Deriver\Deriver\Evaluator\Execution\Trace | Shared derivations and the boundaries that prevent further expansion. |
| CallableTransfer @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Transfer | Captures callable identity and lexical values without executing closure bodies. |
| CompoundAssignment @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Transfer | Reads compound-assignment storage after the right operand has completed. |
| ConstantTransfer @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Transfer | Evaluates captured constant expressions without loading application PHP. |
| ExternalTransfer @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Transfer | Distinguishes stable explicit environment inputs from fresh nondeterministic events. |
| IntrinsicTransfer @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Transfer | Executes declared pure intrinsics and synchronous collection callback semantics. |
| MemoryStep @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Transfer | Transfers reads, writes, aliases, and static/global bindings. |
| ObjectAccess @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Transfer | Resolves property storage using object identity and lexical declaration scope. |
| PropertyAccessCheck @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Transfer | Checks receiver categories and readonly mutations before accessing property storage. |
| PropertyLookup @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Transfer | Resolves inherited properties and access rights under PHP 8.3 declaration scope. |
| PropertyMagic @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Transfer | Connects inaccessible property reads and writes to ordinary source magic methods. |
| PropertyReference @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Transfer | Applies property checks to reference reads and increment writes. |
| PropertySlot @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Transfer | Keeps property declaration and lexical access facts beside an address register. |
| PropertyTransfer @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Transfer | Applies property type, visibility, initialization, and implicit call semantics. |
| PureStep @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Transfer | Transfers pure instructions using the target PHP semantics. |
| ReferenceAssignment @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Deriver\Deriver\Evaluator\Execution\Transfer | Enforces all live property declarations when their shared cell is written indirectly. |
| ArrayConstruction @visibility parent | Deriver\Deriver\Evaluator\Expression | Evaluates ordered aggregate operands once without retaining every intermediate array. |
| ConditionalEvaluator @visibility parent | Deriver\Deriver\Evaluator\Expression | Derives branch values without requiring source predicates to be evaluated. |
| DefinitionEvaluator @visibility parent | Deriver\Deriver\Evaluator\Expression | Evaluates one requested definition and retains its evidence and unresolved inputs. |
| EnvironmentEvaluator @visibility parent | Deriver\Deriver\Evaluator\Expression | Resolves named environment inputs without reading the host process environment. |
| Guards @visibility parent | Deriver\Deriver\Evaluator\Expression | Retains source branch identity without opening predicate dependencies. |
| LiteralEvaluator @visibility parent @visibility Deriver\Deriver\Execution | Deriver\Deriver\Evaluator\Expression | Interprets source literals at the boundary of evaluation. |
| Origins @visibility parent | Deriver\Deriver\Evaluator\Expression | Expands formal inputs and declared property origins within the captured source world. |
| ReturnEvaluator @visibility parent | Deriver\Deriver\Evaluator\Expression | Evaluates return alternatives with their path conditions. |
| Storage @visibility parent | Deriver\Deriver\Evaluator\Expression | Follows reaching writes backwards; unrelated instructions are only inspected as index entries. |
| BodyIndex @visibility parent | Deriver\Deriver\Evaluator\Index | Indexes definitions and predecessor edges without evaluating instructions. |
| ControlDependencies @visibility parent | Deriver\Deriver\Evaluator\Index | Indexes selecting edges using immediate postdominators, without path enumeration. |
| DefinitionIndex @visibility Deriver @visibility parent @visibility Deriver\Deriver @visibility Deriver\Deriver @visibility Deriver\Deriver | Deriver\Deriver\Evaluator\Index | Snapshot-local definition, caller, and declared-property write indexes.
Building an index never derives instruction values. |
| IntrinsicDescriptor @visibility root | Deriver\Deriver\Evaluator\Intrinsic | Versioned pure operation identity and its declared input dependencies. |
| IntrinsicEvaluation @visibility root | Deriver\Deriver\Evaluator\Intrinsic | Evaluates registered pure operations with their declared arity. |
| Arguments @visibility parent | Deriver\Deriver\Evaluator\Invocation | Normalizes argument syntax once; ordinary actuals remain lazy bindings. |
| Bodies @visibility parent | Deriver\Deriver\Evaluator\Invocation | The only candidate entry to source or evaluator implementations. |
| Body @visibility parent | Deriver\Deriver\Evaluator\Invocation | The selected implementation, shared by every dependency on a call. |
| Callback @visibility parent | Deriver\Deriver\Evaluator\Invocation | Adapts evaluator-requested callbacks to the ordinary call dispatcher and binder. |
| Dispatch @visibility parent | Deriver\Deriver\Evaluator\Invocation | Separates declaration discovery from dispatch on correlated receiver candidates. |
| Origin @visibility parent | Deriver\Deriver\Evaluator\Invocation | Gives a declaration origin the same lazy inputs as an ordinary call. |
| Callers @visibility parent | Deriver\Deriver\Evaluator\Invocation\Path | Discovers potential caller edges before deriving any invocation inputs. |
| Edge @visibility Deriver\Deriver\Evaluator | Deriver\Deriver\Evaluator\Invocation\Path | Binds one selected call as a unit, preserving correlated arguments and receiver context. |
| Reachability @visibility parent | Deriver\Deriver\Evaluator\Invocation\Path | Rejects ancestry cycles with no structural route to the remaining named callers. |
| Traversal @visibility root | Deriver\Deriver\Evaluator\Invocation\Path | Matches caller ancestry backwards and opens only the selected invocation dependencies. |
| Callbacks @visibility parent | Deriver\Deriver\Evaluator\Language | Finite collection evaluators request callbacks through the common call machinery. |
| Catches @visibility parent | Deriver\Deriver\Evaluator\Language | Resolves catch values selected by exceptions in a demanded return expression. |
| Constants @visibility parent | Deriver\Deriver\Evaluator\Language | Resolves target-profile constants and source definitions. |
| DeclarationCoercion @visibility parent | Deriver\Deriver\Evaluator\Language | Applies declaration constraints directly to demanded values, without execution state. |
| Expressions @visibility parent | Deriver\Deriver\Evaluator\Language | Language-level class identities, constants and object copies. |
| Finalizers @visibility parent | Deriver\Deriver\Evaluator\Language | Treats finally completion as a dependency of the previously selected return value. |
| Aliases @visibility parent | Deriver\Deriver\Evaluator\Memory | Indexes local reference-cell identities independently of their values. |
| Captures @visibility parent | Deriver\Deriver\Evaluator\Memory | Locates the lexical definition captured by an observed closure. |
| Elements @visibility parent | Deriver\Deriver\Evaluator\Memory | Reconstructs nested updates without discarding unaffected array entries. |
| Globals @visibility parent | Deriver\Deriver\Evaluator\Memory | Follows source calls which write a demanded global, with the caller's prior binding. |
| Mutations @visibility parent | Deriver\Deriver\Evaluator\Memory | Describes storage mutations for both origin discovery and reaching definitions. |
| Properties @visibility parent | Deriver\Deriver\Evaluator\Memory | Resolves constructor writes for a specific captured allocation. |
| PropertyEffects @visibility parent | Deriver\Deriver\Evaluator\Memory | Follows a demanded instance field through the same call and storage machinery. |
| PropertyHooks @visibility parent | Deriver\Deriver\Evaluator\Memory | Expands demanded property accessors while preserving access to their backing slot. |
| PropertyOrigins @visibility parent | Deriver\Deriver\Evaluator\Memory | Collects stored values from selected implementations, never bare assignment operands. |
| Slots @visibility parent | Deriver\Deriver\Evaluator\Memory | Expands only writes to a demanded evaluator slot on the corresponding receiver. |
| Statics @visibility parent | Deriver\Deriver\Evaluator\Memory | Resolves static storage from its source initializer and known call prefix. |
| ConfiguredEvaluator @visibility root | Deriver\Deriver\Evaluator\Micro | Executable micro evaluator produced from public configuration. |
| Dispatch @visibility parent | Deriver\Deriver\Evaluator\Micro | Composes configured and built-in micro evaluators through one contract. |
| InstructionEvaluator @visibility parent | Deriver\Deriver\Evaluator\Micro | Evaluates source instructions through the built-in operation evaluators. |
| Request @visibility root | Deriver\Deriver\Evaluator\Micro | Internal operation context with dependencies evaluated by the shared search. |
| ReturnEvaluator @visibility parent | Deriver\Deriver\Evaluator\Micro | Offers direct return observations to the same function evaluator registry as calls. |
| Site @visibility root | Deriver\Deriver\Evaluator\Micro | A dispatchable operation, independent of the graph node that requested it. |
| Branch @visibility parent | Deriver\Deriver\Evaluator\Predicate | Selects branch semantics through the ordinary operation dispatcher. |
| Controls @visibility parent | Deriver\Deriver\Evaluator\Predicate | Shares selecting conditions between reads and values in the same source block. |
| Projection @visibility root | Deriver\Deriver\Evaluator\Predicate | Projects candidate alternatives onto a bounded boolean domain.
Unknown dependencies remain visible and never justify removing a branch. |
| Truth @visibility parent | Deriver\Deriver\Evaluator\Predicate | A separate demand domain for predicates; full value caches are never truncated. |
| Bounds @visibility parent | Deriver\Deriver\Evaluator\Recurrence | Prunes source loop candidates with entry and one-update constraints.
No further iteration is opened when the loop can repeat. |
| Candidates @visibility parent | Deriver\Deriver\Evaluator\Recurrence | Derives structural entry and update candidates with optional bound constraints. |
| Definitions @visibility parent | Deriver\Deriver\Evaluator\Recurrence | Evaluates demanded loop-carried definitions by version, without executing unrelated loop instructions. |
| Invariant @visibility parent | Deriver\Deriver\Evaluator\Recurrence | Separates demanded storage from loops which cannot update it. |
| Iteration @visibility parent | Deriver\Deriver\Evaluator\Recurrence | Projects finite iterable keys and values at a demanded recurrence version. |
| Observation @visibility parent | Deriver\Deriver\Evaluator\Recurrence | Uses the entry bindings inside a body proven to run at most once. |
| Budget @visibility root | Deriver\Deriver\Evaluator\Request | Logical limits that preserve residual behavior when exhausted. |
| CallPath @visibility root | Deriver\Deriver\Evaluator\Request | An ordered caller pattern ending immediately before the selected observation. |
| EntryPoint @visibility root | Deriver\Deriver\Evaluator\Request | A declared application entry and its explicitly supplied initial inputs. |
| ParameterQuery @visibility root | Deriver\Deriver\Evaluator\Request | Requests the source origins or explicit binding of a declared formal parameter. |
| QueryScope @visibility root | Deriver\Deriver\Evaluator\Request | Separates arbitrary valid callable inputs from declared application entries. |
| ReturnQuery @visibility root | Deriver\Deriver\Evaluator\Request | Requests return derivation without executing the application. |
| StateQuery @visibility root | Deriver\Deriver\Evaluator\Request | Requests state derivation without executing the application. |
| TupleQuery @visibility root | Deriver\Deriver\Evaluator\Request | Requests tuple derivation without executing the application. |
| ValueQuery @visibility root | Deriver\Deriver\Evaluator\Request | Requests value derivation without executing the application. |
| Observation @visibility root | Deriver\Deriver\Evaluator\Request\Observation | A source call or object creation site with references to its once-evaluated argument values. |
| Arithmetic @visibility root | Deriver\Deriver\Evaluator\Scalar | Implements checked scalar arithmetic for the declared 64-bit PHP target. |
| Arrays @visibility root | Deriver\Deriver\Evaluator\Scalar | Ordered PHP array updates, append indices, and distinct unpack/merge semantics. |
| Comparison @visibility root | Deriver\Deriver\Evaluator\Scalar | Compares concrete values and retains symbolic predicates for path constraints. |
| FloatConversion @visibility root | Deriver\Deriver\Evaluator\Scalar | Converts floats to strings under the captured target precision instead of the host setting. |
| Identity @visibility root | Deriver\Deriver\Evaluator\Scalar | Computes stable expression identities with lossless scalar encodings. |
| Increment @visibility root | Deriver\Deriver\Evaluator\Scalar | Implements PHP 8.3 increment and decrement independently of host string increment changes. |
| IntegerConversion @visibility root | Deriver\Deriver\Evaluator\Scalar | Implements PHP 8.3 double-to-integer wrapping without invoking host range diagnostics. |
| NumericString @visibility root | Deriver\Deriver\Evaluator\Scalar | Classifies numeric strings without rounding integer boundary digits through a float. |
| Operations @visibility root | Deriver\Deriver\Evaluator\Scalar | Pure PHP 8.3 scalar and array operations, independent of application execution. |
| StringPrefix @visibility root | Deriver\Deriver\Evaluator\Scalar | Retains the bytes every string of a widened set starts with. |
| Binding @visibility parent | Deriver\Deriver\Evaluator\Scope | An actual argument or capture retained without requesting its value. |
| Context @visibility parent @visibility Deriver\Deriver\Publication | Deriver\Deriver\Evaluator\Scope | Query-local expansion accounting; residuals are part of the ordinary graph. |
| Frame @visibility parent | Deriver\Deriver\Evaluator\Scope | Immutable lazy bindings for one declaration and call context. |
| Interruption @visibility parent | Deriver\Deriver\Evaluator\Search | Distinguishes an unfinished dependency from an ordinary unknown application input. |
| Search @visibility parent | Deriver\Deriver\Evaluator\Search | Shares work between live branches and parks parents until their dependencies finish.
All scheduling is local to one evaluation; application code is never executed. |
| Task @visibility parent | Deriver\Deriver\Evaluator\Search | One resumable dependency evaluation, including every result it currently awaits. |
| DerivationResult @visibility root | Deriver\Deriver\Execution | Correlated values, exceptional paths, and independent quality assessments. |
| ExecutionResultSet @visibility root | Deriver\Deriver\Execution | Independent query results; use TupleQuery to retain correlations. |
| PartialObservation @visibility parent | Deriver\Deriver\Execution | Recovers bounded syntactic value candidates after execution stops before an observation.
Reachability and every unresolved dependency remain open under the interruption frontier. |
| QueryExecution @visibility parent @visibility Deriver\Deriver @visibility Deriver\Deriver | Deriver\Deriver\Execution | Normalizes public queries and runs only their declared entry contexts. |
| ResultAssessment @visibility parent | Deriver\Deriver\Execution | Assesses value precision separately from dependency closure and enumeration. |
| StableInputs @visibility parent | Deriver\Deriver\Execution | Proves immutable entry bindings before using declared types in interrupted observations. |
| QueryEncoding @visibility namespace @visibility Deriver\Deriver\Publication @visibility Deriver\Deriver\Execution @visibility Deriver\Deriver @visibility Deriver\Deriver | Deriver\Deriver\Identity | Encodes every semantic query option, including scope and structural budgets. |
| ValueGraph @visibility namespace | Deriver\Deriver\Identity | Canonical, acyclic value records with shared expression references. |
| AggregateLowering @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer | Retains ordered array entries, references, unpacking, and interpolated parts. |
| AssignmentLowering @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer | Lowers assignments without conflating values and reference addresses. |
| CallLowering @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer | Lowers source calls and closure creation to the common invocation protocol. |
| EffectInspection @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer | Detects potentially interacting effects in expressions without ordered semantics. |
| ExpressionLowering @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer | Dispatches expression lowering to operations with explicit effects. |
| InstructionEmitter @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer | Builds explicit blocks and SSA temporaries for one callable. |
| LiteralArrayLowering @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer | Builds flat, effect-free literal arrays once, retaining every scalar's source observation. |
| Lowerer @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer | Compiles function signatures, captures, and bodies to parser-independent IR. |
| LoweringScope @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer | Coordinates parser-specific lowering without leaking AST nodes into the solver. |
| OrderLowering @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer | Explores both operand orders while keeping one source observation per expression. |
| StatementLowering @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer | Preserves statement control, state, and exceptional completion. |
| ConditionalLowering @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer\Control | Lowers conditional expressions into branches and Phi selections. |
| DestructuringLowering @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer\Control | Preserves array snapshots and shared cells while lowering assignment patterns. |
| ExceptionLowering @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer\Control | Lowers try/catch/finally to exception regions and resumable completion. |
| GotoLowering @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer\Control | Lowers labels and goto to explicit jumps that release iterators and run finally blocks. |
| LoopLowering @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer\Control | Builds loop backedges and preserves multi-level break and continue targets. |
| MatchLowering @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer\Control | Lowers match arms while keeping the default independent of source order. |
| StaticLowering @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer\Control | Keeps dynamic function-static initializers behind their one-time storage test. |
| SwitchLowering @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer\Control | Preserves switch comparison order and body fall-through. |
| CallSiteIndex @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer\Declaration | Selects callable owners from syntax before materializing their control-flow graphs. |
| CallableIdentity @visibility root | Deriver\Deriver\Lowerer\Declaration | Distinguishes PHP callable names from case-sensitive source and initializer identities. |
| CallableSource @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer\Declaration | Captured parser nodes for a callable compiled only when demanded. |
| Comments @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources @visibility Deriver\Deriver @visibility Deriver\Deriver | Deriver\Deriver\Lowerer\Declaration | Lists attached PHPDoc from captured syntax without compiling callable bodies. |
| ConstantSignatures @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer\Declaration | Captures access and initializer contracts without evaluating constant expressions. |
| Diagnostic @visibility root | Deriver\Deriver\Lowerer\Declaration | A declaration that cannot be represented completely by the lowerer. |
| Index @visibility Deriver @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources @visibility Deriver\Deriver\Selection @visibility Deriver\Deriver @visibility Deriver\Deriver | Deriver\Deriver\Lowerer\Declaration | Captures declarations eagerly and compiles callable control flow on demand. |
| Indexer @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer\Declaration | Indexes declarations without traversing or evaluating callable bodies. |
| PropertyWriteIndex @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer\Declaration | Selects possible property writers from syntax before lowering any body. |
| References @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer\Declaration | Indexes syntax dependencies once, independently of demanded values and compiled bodies. |
| SymbolRef @visibility root | Deriver\Deriver\Lowerer\Declaration | A stable SymbolRef within a analysis snapshot. |
| ClassConstant @visibility root | Deriver\Deriver\Lowerer\Declaration\Metadata | Captures constant ownership, access, and target initializer type independently of its value. |
| ClassDeclaration @visibility root | Deriver\Deriver\Lowerer\Declaration\Metadata | A static class declaration; it is never instantiated by the analyzer. |
| PropertyDeclaration @visibility root | Deriver\Deriver\Lowerer\Declaration\Metadata | A property slot with its declaration scope and initialization expression. |
| Composition @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer\Declaration\Traits | Imports trait declarations into their lexical consuming classes before lazy body lowering. |
| LexicalConstants @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer\Declaration\Traits | Freezes trait-origin magic names while allowing self and __CLASS__ to bind to consumers. |
| Members @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer\Declaration\Traits | Selects trait method implementations before rebinding them into a consuming class. |
| PropertyScope @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Lowerer\Declaration\Traits | Rebinds already lowered trait property initializers into consuming class scope. |
| Argument @visibility root | Deriver\Deriver\Lowerer\Graph | A once-evaluated argument and its address, when addressable. |
| BasicBlock @visibility root | Deriver\Deriver\Lowerer\Graph | A basic block with an explicit terminator and loop-header marker. |
| CallableGraph @visibility root | Deriver\Deriver\Lowerer\Graph | A callable control-flow graph independent of the PHP parser. |
| CatchTarget @visibility root | Deriver\Deriver\Lowerer\Graph | One ordered exception handler. |
| ExceptionRegion @visibility root | Deriver\Deriver\Lowerer\Graph | Catch destinations, a finally block, and the normal continuation. |
| ExpressionRef @visibility root | Deriver\Deriver\Lowerer\Graph | A stable ExpressionRef within a analysis snapshot. |
| Instruction @visibility root | Deriver\Deriver\Lowerer\Graph | One SSA definition with ordered operands and explicit state effects. |
| Literal @visibility root | Deriver\Deriver\Lowerer\Graph | Literal syntax captured during lowering; it contains no evaluation state. |
| Parameter @visibility root | Deriver\Deriver\Lowerer\Graph | Normalized signature information used by source and evaluator calls. |
| PointRef @visibility root | Deriver\Deriver\Lowerer\Graph | A stable PointRef within a analysis snapshot. |
| Terminator @visibility root | Deriver\Deriver\Lowerer\Graph | Explicit control transfer, including pending completion through finally. |
| Access @visibility root | Deriver\Deriver\Lowerer\Hierarchy | Resolves lexical private methods and checks PHP method visibility. |
| Builtins @visibility root | Deriver\Deriver\Lowerer\Hierarchy | Describes the supported PHP 8.3 native throwable hierarchy without host reflection. |
| Dispatch @visibility root | Deriver\Deriver\Lowerer\Hierarchy | Resolves ordinary PHP inheritance, traits, and known method candidates. |
| Parser @visibility root | Deriver\Deriver\Parser | Parses one captured source into a syntax root without executing its contents. |
| ParserConfig @visibility root | Deriver\Deriver\Parser | The PHP language version used by a parser instance. |
| TargetSyntax @visibility namespace | Deriver\Deriver\Parser | Rejects newer grammar forms that the upstream parser accepts under older emulation profiles. |
| File @visibility root | Deriver\Deriver\Parser\Node | A file's root node, sharing the Node interface and traversal protocol of its statements. |
| ProviderExpansion @visibility root | Deriver\Deriver\Providers | Captures provider data once before constructing an immutable source snapshot. |
| CandidateCollector @visibility parent | Deriver\Deriver\Publication | Collects the candidate graph of one target into a candidate collection: enumerates the alternatives,
folds equal values into one candidate, keeps every derivation as its own evidence alternative, and
reports multiplicity, residual dependencies and stopped expansion separately. |
| CandidateQuery @visibility parent @visibility Deriver | Deriver\Deriver\Publication | Runs one query through the fixed stage order: select the target, open a query context, place the demand,
collect the candidates. Nothing here selects definitions, reads storage or constructs a candidate itself. |
| ObservationRoot @visibility parent | Deriver\Deriver\Publication | The evidence root of one candidate: the selected target, independently of the value expansion reached. |
| AssignmentPatterns @visibility namespace @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Resolver | Rejects destructuring forms that PHP diagnoses before program execution. |
| ClassScope @visibility namespace | Deriver\Deriver\Resolver | Checks relative class references only where PHP fixes the lexical class at compile time. |
| ExpressionValidation @visibility namespace | Deriver\Deriver\Resolver | Checks expression constraints that require interpreting literal operand types. |
| MagicContext @visibility namespace | Deriver\Deriver\Resolver | Captures lexical magic names before closures and initializers become separate graphs. |
| Resolver @visibility root | Deriver\Deriver\Resolver | Resolves names and lexical context on a copy of a parsed syntax tree. |
| CallObservations @visibility parent @visibility Deriver\Deriver @visibility Deriver\Deriver | Deriver\Deriver\Selection | Projects source call instructions into stable public observation references. |
| ExpressionResolution @visibility parent @visibility Deriver\Deriver @visibility Deriver\Deriver | Deriver\Deriver\Selection | Resolves source ranges to definitions without exposing internal register names. |
| QueryValidation @visibility parent @visibility Deriver\Deriver\Execution | Deriver\Deriver\Selection | Rejects foreign, fabricated, and incompatible observation references. |
| SelectorResolution @visibility root | Deriver\Deriver\Selection | Resolves selector fields against the captured source before deriving candidates. |
| TargetResolution @visibility parent @visibility Deriver\Deriver\Publication | Deriver\Deriver\Selection | Binds a query to one point of the captured program after validating every reference it carries.
This is the selection stage; it reads declarations and lowered bodies but expands no definition. |
| Collector @visibility root | Deriver\Deriver\Sources | Reads explicitly selected local files without executing their contents. |
| LineMap @visibility Deriver\Deriver\Lowerer\Declaration @visibility Deriver\Deriver\Lowerer @visibility Deriver\Deriver\Sources | Deriver\Deriver\Sources | Maps byte offsets without rescanning file prefixes for every IR instruction. |
| Path @visibility root | Deriver\Deriver\Sources | Lexical source path identities shared by collection, indexing and selectors. |
| Source @visibility root | Deriver\Deriver\Sources | Captured source contents and their path, with no file access or parsing. |
| SourceComment @visibility root | Deriver\Deriver\Sources | A raw PHPDoc comment attached to a source statement or expression, without inferred types. |
| SourceRef public API | Deriver\Deriver\Sources | A half-open byte range in an immutable source snapshot. |
| Sources @visibility root | Deriver\Deriver\Sources | An ordered, read-only collection of sources with unique paths. |
| CollectorException public API | Deriver\Exception | Selected file paths could not be collected as sources. |
| ConfigurationException public API | Deriver\Exception | Invalid or unreadable command configuration. |
| EvaluationContractException public API | Deriver\Exception | A registered evaluator violates the contract required for sound analysis. |
| EvaluationException public API | Deriver\Exception | Reports a failure of explicitly trusted evaluator or provider code. |
| InvalidInputException public API | Deriver\Exception | An invalid analysis request or configuration. |
| ParserException public API | Deriver\Exception | A source could not be parsed using the requested PHP grammar. |
| ReportingException public API | Deriver\Exception | A candidate collection cannot be represented in the requested output format. |
| ResolutionException public API | Deriver\Exception | Parsed source contains invalid names, lexical scope, or expression constraints. |
| DirectoryScan @visibility root | Deriver\Finder | Enumerates regular files while pruning excluded and linked entries. |
| PathPattern @visibility root | Deriver\Finder | Matches complete root-relative paths with *, ? and recursive ** wildcards. |
| JsonReporter public API | Deriver\Reporter | Encodes candidate values and their ordered evidence paths for command consumers. |
| TermGraph @visibility namespace | Deriver\Reporter | Represents shared residual expressions once, using report-local node references. |
| TextReporter public API | Deriver\Reporter | Prints candidate values and distinguishes unresolved expressions from concrete results. |