module facts

irx.analysis.facts

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

Typed, immutable semantic attachments owned by an analysis generation.

Keys pair a nominal record type with its provider owner. A record type cannot be claimed by two owners in one store. Updates return a new store; replacement is explicit. Records validate their full payload and expose dependency edges. Analysis entry points invalidate old records before traversal. External snapshots retain their records deliberately; compiler state retains no old generation through this store. deepcopy follows normal AST memoization.

Classes

• FactKey — Provider-owned nominal key with an invariant static record type.

• SemanticFact — Nominal extension contract for checked, traversable semantic records.

• SemanticFacts — Persistent typed attachments; optional lookup never hides corruption.

Attributes

• RecordT —