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
Resolved on main by PR #637. get_assertable_operations() now filters every EXECUTION entry by type, including an optional trailing entry, rather than relying on its position. It takes an independent list snapshot under the state lock without modifying the execution state. Regression tests cover the trailing-EXECUTION case and snapshot independence. This completes the operation-filtering and state-preservation scope requested here.
Activity
zhongkechen commentedon Oct 15, 2026
Resolved on main by PR #637.
get_assertable_operations()now filters everyEXECUTIONentry by type, including an optional trailing entry, rather than relying on its position. It takes an independent list snapshot under the state lock without modifying the execution state. Regression tests cover the trailing-EXECUTION case and snapshot independence. This completes the operation-filtering and state-preservation scope requested here.