test(property): exercise resource rename via OpApply (RFC-0041) - #505

Closed

naxty wants to merge 3 commits into

mainfrom

feat/rfc-0041-property-tests-rename-v2

Commits on Jun 5, 2026

test(property): exercise resource rename via OpApply (RFC-0041)
naxty
committed
7caf71c
fix(property): drift-aware revert + document FullChaos rename gap
naxty
committed
c066783
test(property): enable rename in FullChaos via identity-only invariants
naxty
committed
caf269c