Converge residual OPY compiler and canonical-WIR gaps

[e54-bot]

Parent: #1
Evidence baseline: #158 / PR #159
Depends on: #160, #161, #162
Discovered during: #88 final full-corpus convergence

Goal

Converge the remaining OPY compiler and canonical-WIR gaps after the source-language divergence work exposed by #158 has converged and the corrected baseline shows which differences genuinely remain at lowering/WIR.

Context

#158 established that final compile-status parity is insufficient evidence: the merged baseline currently reports source-language divergences that must be resolved before a residual can be classified as compiler/WIR work. Therefore the old #88 expectation ownership is not authoritative for this issue.

#160 owns lexical/parser/source-form convergence, #161 owns preprocessing/project composition, and #162 owns semantic resolution/catalog-backed source behavior. This issue begins from the residuals that remain after those source contracts converge.

Scope

• Consume the corrected residual classification produced after Converge parser and source-form conformance exposed by #158 #160, Converge preprocessing and project-composition conformance exposed by #158 #161, and Converge semantic resolution and catalog-backed source conformance exposed by #158 #162 rerun the Re-establish offline OverPy conformance with independent oracle evidence #158 conformance baseline.
• For each demonstrated compiler/lowering residual, restore canonical-WIR equivalence with preserved provenance or retain a stable, evidence-backed external/incomplete boundary.
• Keep Workshop-owned semantic gaps assigned to workshop-rs owners.
• Re-run the affected conformance and real-project evidence after each root capability is resolved.

Non-goals

• Reimplementing or bypassing the Re-establish offline OverPy conformance with independent oracle evidence #158 conformance model.
• Treating an earlier lexer/parser/preprocessor/source-semantic failure as a compiler/WIR residual.
• Weakening canonical-WIR comparison to make divergent lowering pass.
• Duplicating Workshop catalog, WIR, validation, normalization, or emission ownership in opy-rs.
• Splitting work into one Issue per fixture unless a genuinely independent capability is demonstrated.
• Changing Re-establish offline OverPy conformance with independent oracle evidence #158 oracle expectations to match implementation output.

Acceptance criteria

• Converge parser and source-form conformance exposed by #158 #160, Converge preprocessing and project-composition conformance exposed by #158 #161, and Converge semantic resolution and catalog-backed source conformance exposed by #158 #162 have converged or explicitly reclassified their source-language divergences under the Re-establish offline OverPy conformance with independent oracle evidence #158 contract.
• Every residual assigned here has a demonstrated compiler/lowering root capability and pinned oracle/provenance evidence.
• Resolved cases are directly equivalent under the reviewed canonical-WIR contract or have a concrete external-owner/incomplete-evidence classification.
• The affected corpus/conformance cases have no unexpected regression or inconclusive result attributable to this scope.
• No case remains assigned here solely because the old Complete OverPy source-language compatibility within 10 implementation PRs #88 expectation baseline labeled it a compiler/WIR residual.

Ownership

• OPY compiler/lowering behavior is owned by opy-rs.
• Canonical Workshop semantics, WIR, validation, normalization, and emission remain owned by workshop-rs.