Module type_facts 

Semantic analysis, symbol extraction, and type inference. Rich type facts for expression and receiver inference. Rich type facts used by expression and receiver inference.

[PerlType] remains the erased compatibility type for existing APIs. This module adds confidence, evidence, dynamic-boundary, and shape metadata that can be consumed by completion and other semantic features without replacing the coarse type model.

Structs

ArrayShape

Shape information for a Perl array or array-like literal.

HashShape

Shape information for a Perl hash or hash-like literal.

ObjectShape

Shape information for an object with field facts.

TypeFact

A type with confidence, evidence, dynamic-boundary, and shape metadata.

Enums

DynamicBoundary

Dynamic boundary that prevented precise static inference.

ShapeFact

Structural shape metadata attached to a type fact.

TypeEvidence

Evidence explaining how a type fact was produced.