Goal: support pinned OverPy ++ and -- assignment forms with source-level evidence.
Context: PR #54 / Issue #46 covers existing arithmetic assignments but does not claim increment/decrement syntax.
Scope: add minimized pinned-oracle fixtures and lower ++/-- only where the OPY contract and canonical Workshop operation are established.
Non-goals: no control-flow behavior, speculative aliases, or duplicated Workshop catalog semantics.
Acceptance: accepted and rejected forms have stable source diagnostics; accepted forms match through canonical WIR equivalence; support claims have executable evidence.
Follow-up from #54 review; not part of #46 completion.
Goal: support pinned OverPy ++ and -- assignment forms with source-level evidence.
Context: PR #54 / Issue #46 covers existing arithmetic assignments but does not claim increment/decrement syntax.
Scope: add minimized pinned-oracle fixtures and lower ++/-- only where the OPY contract and canonical Workshop operation are established.
Non-goals: no control-flow behavior, speculative aliases, or duplicated Workshop catalog semantics.
Acceptance: accepted and rejected forms have stable source diagnostics; accepted forms match through canonical WIR equivalence; support claims have executable evidence.
Follow-up from #54 review; not part of #46 completion.