class SemanticFact

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

Nominal extension contract for checked, traversable semantic records.

Methods

• dependencies — Expose AST dependencies explicitly, without semantic record wrappers.

• invalidate — Clear any companion facts owned by this record before reanalysis.

• validate — Validate all fields and collection members at the store boundary.