ADFA-5231: Gate the resolution-side KtFile door and record ADR 0015 - #1747

Open

itsaky-adfa wants to merge 6 commits into

ADFA-5231-stale-pin-refusalsfrom

ADFA-5231-gate-resolution-door

Commits on Aug 27, 2026

ADFA-5231: gate the resolution-side KtFile door behind an opt-in marker
itsaky-adfa
committed
85a40e5
ADFA-5231: record the pinned-KtFile invariant as ADR 0015
itsaky-adfa
committed
760a389
ADFA-5231: fix ADR 0015 staleness taxonomy and ADFA-4165 accuracy
itsaky-adfa
committed
1a202e6
ADFA-5231: correct two overclaims about the pin's reach
itsaky-adfa
committed
39a631f
ADFA-5231: note that the diagnostics reschedule cancels its own run
itsaky-adfa
committed
4cd04b8
ADFA-5231: gate the analysis sink, not just the KtFile sources
itsaky-adfa
committed
b74ec62