doc: record the Array.ofFn call-site audit, and add ofFn' compatibility lemmas - #9048

Merged

kim-em merged 2 commits into

mainfrom

Jul 28, 2026

Commits on Jul 28, 2026

doc: record the Array.ofFn call-site audit

Kim Morrison
and
claude
committed
3a7ddad
doc: correct the ofFn audit, and add shim compatibility lemmas

Kim Morrison
and
claude
committed
83cf41a