Module semantic 

Shared TypeScript semantic identity, provenance, API surface, impact, and public-signature coupling contracts. Shared contracts for opt-in TypeScript semantic analysis.

These types describe project-wide evidence that complements Fallow’s syntactic graph. They do not model TypeScript compiler diagnostics or generic typed lint findings.

Structs

ApiSurfaceEntry

One package-public API entry described by the semantic backend.

ApiSurfaceResult

Package API surface result shared by inspect and private-leak analysis.

PublicTypeReference

One project-local type referenced by a public signature.

SemanticAliasHop

One alias or re-export hop in semantic provenance.

SemanticAnalysisIdentity

Compatibility identity for comparing two analysis results.

SemanticCandidateDecision

Bounded, inspectable decision record for one semantic dead-code candidate.

SemanticContractEvidence

Exact declaration evidence for an inherited or implemented class-member relation.

SemanticEditGuard

Exact source span and content hash used to guard semantic source edits.

SemanticFrameworkContract

Exact framework contract supplied by a detected Fallow plugin.

SemanticFrameworkContractEvidence

Checker-validated evidence that a framework contract preserves a member.

SemanticImpactPath

One production file or test reached by exact-symbol impact analysis.

SemanticOmission

Counted omission attached to a partial or unavailable result.

SemanticPrivateTypeLeak

Exact semantic evidence for a private type leak.

SemanticQuerySummary

Compact per-query status embedded in run metadata.

SemanticReference

Located semantic reference evidence.

SemanticSourceLocation

One project-root-relative source location used as semantic evidence.

SemanticSymbol

Stable identity for a declaration sent to or returned by the backend.

SemanticSymbolImpact

Exact-symbol impact and targeted-test recommendation.

SemanticSymbolTrace

Typed semantic trace attached to an existing syntactic trace.

TypeCouplingCycle

One project-local cycle through public-signature type dependencies.

TypeCouplingEdge

One project-local public-signature type edge.

TypeCouplingFile

Per-file project-local public-signature coupling.

TypeCouplingReport

Advisory project-local public-signature coupling report.

TypeCouplingSummary

Project summary for advisory type coupling.

Enums

SemanticAnalysisMode

Analysis mode stored with baselines, snapshots, audit sides, and impact data.

SemanticCandidateDecisionKind

Conservative outcome for one existing Fallow dead-code candidate.

SemanticCapability

Semantic capabilities that can share one TypeScript Program session.

SemanticCompleteness

Whether the semantic backend answered every requested query safely.

SemanticCompletenessRequirement

Effective policy applied when semantic evidence is incomplete.

SemanticContractRelation

How a class member participates in an inherited or implemented relation.

SemanticFrameworkRelation

Heritage relation used by a framework-owned class-member contract.

SemanticGapReason

Stable reason why semantic evidence is partial or unavailable.

SemanticImpactConfidence

Confidence of exact-symbol impact analysis after known dynamic gaps.

SemanticNamespace

Value or type namespace for one exact declaration or reference.

Constants

DEFERRED_PROJECT_CONFIG_HASH

Project-config identity used only when no semantic query was needed.