ADFA-5231: Enforce one pinned KtFile per analysis at compile time - #1741

Closed

itsaky-adfa wants to merge 12 commits into

stagefrom

Commits on Aug 25, 2026

ADFA-5231: add failing test for stale KtFile instance redeclarations
itsaky-adfa
committed
ac3e161
ADFA-5231: add pin-scoped live KtFile acquisition
itsaky-adfa
committed
dd0e9a2
ADFA-5231: stamp the pin from its resolved instance's version
itsaky-adfa
committed
614ed24
ADFA-5231: publish document version and content together
itsaky-adfa
committed
328475e
ADFA-5231: document the fileVersion reset race and public API of ActiveDocument
itsaky-adfa
committed
2dd3951
ADFA-5231: pin the live KtFile for the duration of an analysis
itsaky-adfa
committed
34c448b
ADFA-5231: refuse edits computed against a joined stale pin
itsaky-adfa
committed
8a95461
ADFA-5231: guard the null-safety action against a joined stale pin
itsaky-adfa
committed
01d9587
ADFA-5231: record the pinned-KtFile invariant as ADR 0015
itsaky-adfa
committed
5bb2893
ADFA-5231: fix ADR 0015 staleness taxonomy and ADFA-4165 accuracy
itsaky-adfa
committed
e803f16
ADFA-5231: gate the resolution-side KtFile door behind an opt-in marker
itsaky-adfa
committed
0428255
ADFA-5231: correct two overclaims about the pin's reach
itsaky-adfa
committed
3c3d610