Skip to content

Resolve catalog supersede links against every row's effective assertion id - #306

Open
MaxGhenis wants to merge 3 commits into
codex/thesis-ledger-factsfrom
fix/catalog-effective-assertion-ids
Open

Resolve catalog supersede links against every row's effective assertion id#306
MaxGhenis wants to merge 3 commits into
codex/thesis-ledger-factsfrom
fix/catalog-effective-assertion-ids

Scope the precondition and differential claims to what holds

ee04eac
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar