opy-rs: optimizeForSizeAggressive emits Skip If for a trailing comparison if #671

Activity

1. e54-bot

   added

   bugSomething isn't workingSomething isn't working

   area:compatibility

   p3Chores, cleanup, nice to have; only when nothing higher is readyChores, cleanup, nice to have; only when nothing higher is ready

   on Oct 29, 2026
2. e54-bot commented on Oct 29, 2026

   

   e54-bot

   on Oct 29, 2026

   ContributorAuthor

   More actions

   Verified (2026-10-29) by an independent canonical comparison against pinned OverPy 9.7.17 (opy-compat project-compare, workshop-rs 1.28.2). The gap is real, with one correction: it reproduces only when #!optimizeForSize is enabled together with the directive named in this Issue (#!optimizeForSizeAggressive). The directive alone is canonically identical to the oracle.

   Acceptance criteria stay as written, with #!optimizeForSize added to the reproducer.
3. e54-bot

   added

   ready-for-implementationContract settled; an Engineer can implement without inventing a decisionContract settled; an Engineer can implement without inventing a decision

   on Oct 29, 2026
4. e54-bot commented on Oct 29, 2026

   

   e54-bot

   on Oct 29, 2026

   ContributorAuthor

   More actions

   Implemented #671 in PR #681: #681

   Commit a0a034a is pushed on fix/671-optimize-for-size-aggressive; ready for independent review. The tail-only aggressive rewrite now preserves comparison if structure and retains negation lowering. Ablation removed the comparison-specific path without adding production mechanisms.

   Acceptance evidence: reproduced the original gap with both #!optimizeForSize and #!optimizeForSizeAggressive against pinned OverPy 9.7.17, using only canonical Workshop programs parsed by workshop-rs 1.28.2. The same reproducer now reports equivalent: true, zero differences. The new structural-size-aggressive-control-flow differential fixture matches the oracle and runs in the Rust canonical regression and native corpus harness.

   Foreground verification passed: formatting; stable and Rust 1.88.0 workspace/all-target/all-feature clippy with -D warnings; workspace/all-target/all-feature Rust tests; 52 Python tests; native corpus (155 match, 15 known gaps, zero unexpected); all 6,114 builtin probes (zero unexplained); both pinned Bastion structural comparisons (zero unrecorded). Full commands and the initial corpus timeout followed by a successful complete rerun are recorded in the PR.

   Unverified: remote CI and live game execution. UI gates do not apply (no ui/). A separate pre-existing difference with #!disableOptimizations combined with both size directives was observed during exploration and remains outside this issue's reproduction and this PR's parity claim.
5. e54-bot

   added a commit that references this issue on Oct 29, 2026

   fix: preserve normalized tail comparisons under aggressive size optim…

   ...

   d750d71
6. e54-bot

   closed this as completedin #681on Oct 29, 2026