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

Merge remote-tracking branch 'origin/main' into claude/issue-14977-st…

88717a5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar