Skip to content

docs(audits): the strictness ledger stops asserting a union flattening the tree no longer does - #16766

Merged
zhuangjianguo merged 2 commits into
mainfrom
claude/issue-14977-strictness-ledger-stale-flattening
Sep 8, 2026
Merged

docs(audits): the strictness ledger stops asserting a union flattening the tree no longer does#16766
zhuangjianguo merged 2 commits into
mainfrom
claude/issue-14977-strictness-ledger-stale-flattening

Commits

Commits on Sep 8, 2026