This repository was archived by the owner on Sep 20, 2026. It is now read-only.

Make destructive operation progress honest - #36

Merged

cauyxy merged 2 commits into

yxinyux/issue-27-honest-destructive-operations

Jul 18, 2026

Commits on Jul 18, 2026

feat: make destructive operations honest
cauyxy
committed
0f609de
docs: record destructive operation semantics
cauyxy
committed
1c59d00