Skip to content

feat(adr-0087): the seventh disposition category, runtime-export-retired — retired exports and members, proven by the compiler at both revs - #22940

Merged
os-zhuang merged 4 commits into
mainfrom
claude/issue-22918-runtime-export-retired
Oct 12, 2026
Merged

os-zhuang merged 4 commits into
mainfrom
claude/issue-22918-runtime-export-retired

Merge remote-tracking branch 'origin/main' into claude/issue-22918-ru…

f06cee4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar