Skip to content

R3 §1.8 gate #10: canonical l7_algebraic_laws_witnessed consumer + ledger - #2602

Merged
briansrls merged 3 commits into
mainfrom
session/keen-otter-117
May 10, 2026
Merged

R3 §1.8 gate #10: canonical l7_algebraic_laws_witnessed consumer + ledger#2602
briansrls merged 3 commits into
mainfrom
session/keen-otter-117

Merge remote-tracking branch 'origin/main' into session/keen-otter-117

249f77c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar