Skip to content

Coercion ledgers: truth-only repair after #12055; DESIGN §4 records the coercion ruling - #12332

Merged
briansrls merged 2 commits into
mainfrom
session/silent-swift-419
Sep 26, 2026
Merged

briansrls merged 2 commits into
mainfrom
session/silent-swift-419

Name the three dag_can_cast decision points by symbol everywhere (rev…

d29d9aa
Select commit
Loading
Failed to load commit list.