Converge residual OPY compiler and canonical-WIR gaps

[e54-bot]

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

Goal

Converge the remaining OPY compiler and canonical-WIR gaps after source-language failure frontiers have converged and the corrected baseline shows which differences genuinely remain at lowering/WIR.

Context

#158 established that final compile-status parity is insufficient evidence: an apparent residual can still hide an earlier native source-language failure. #160, #161, and #162 converged their planned source-stage work, while #167 owns any remaining earlier source-frontier mismatch exposed by the subsequent full conformance rerun.

This issue begins only from residuals that have demonstrated compiler/lowering ownership under that corrected boundary. Historical #88 expectation ownership is not authoritative here.

Scope

• Consume the corrected residual classification produced after Resolve residual source failure-frontier mismatches after #162 #167 confirms there is no earlier unowned OPY source-language failure frontier.
• 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

• Resolve residual source failure-frontier mismatches after #162 #167 has confirmed or reclassified all remaining earlier OPY source-language failure-frontier mismatches 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 an earlier 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.