Skip to content

#265: a proof that drove a copy of its subject, and a boundary that was wrong - #274

Merged
Polichinel merged 2 commits into
developmentfrom
fix/265-rename-proof-and-seam-registry-tests
Aug 14, 2026
Merged

#265: a proof that drove a copy of its subject, and a boundary that was wrong#274
Polichinel merged 2 commits into
developmentfrom
fix/265-rename-proof-and-seam-registry-tests

Commits

Commits on Aug 14, 2026