You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This commit was created on GitHub.com and signed with GitHub’s verified signature.
Complete and consolidate the $ext mutator surface (#689)
Complete the $ext mutator matrix with namespace-scoped removal and
card-indexed namespace ops: remove_ext_namespace (Rust Card, removeExtNamespace WASM, remove_ext_namespace Python) plus setCardExtNamespace / removeCardExtNamespace. Deleting a sub-namespace
is now the preferred way to clear $ext state — it preserves sibling
consumers' slots and drops $ext entirely once empty, where removeExt
remains a blunt clear-everything escape hatch.
Breaking (bindings): the whole-map card mutator updateCardExt / update_card_ext is renamed setCardExt / set_card_ext for naming
consistency with setExt on the main card.