class SemanticFacts

SemanticFacts(entries: tuple[FactEntry, ...] = ())

Source: packages/irx/src/irx/analysis/facts.py:153

Persistent typed attachments; optional lookup never hides corruption.

Attributes

• entries — Type: tuple[FactEntry, Ellipsis]

Methods

• __init__ —

• __post_init__ — Validate all entries including stores reconstructed by callers.

• dependencies — Return checked AST edges without exposing record internals.

• get — Return the requested record type or None, checking owner identity.

• invalidate — Clear companion metadata before the owner drops this generation.

• require — Diagnose missing or corrupted required facts at a phase boundary.

• with_fact — Return a checked update, rejecting accidental record replacement.

Attributes

• entries —