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
Parent: #1
Evidence baseline: #158 / PR #159
Discovered by: full conformance rerun after #162 / PR #166
Goal
Resolve the remaining OPY source-language failure-frontier mismatches exposed after #160, #161, and #162 completed, before residual work is handed to compiler/canonical-WIR convergence in #157.
Context
The full offline conformance rerun from PR #166 reports 63 fixtures with 44 match, 17 divergence, and 2 inconclusive. Most remaining divergences now occur at lowering/canonical-WIR, but two cases still fail earlier in native source processing than in pinned OverPy:
real-world/6v6-adjustments: pinned OverPy reaches an unknown-member semantic failure; native stops earlier with parser errors, first at constants/adj_constants.opy.
synthetic/issue-29-invalid: pinned OverPy reaches the duplicate-rule-name semantic failure; native stops earlier on @Name parsing/placement.
These are not compiler/WIR residuals and must not be folded into #157 merely because the earlier stage workstreams are closed.
Adding implementation-shaped tests without independent evidence of a missing durable language contract.
Acceptance criteria
real-world/6v6-adjustments no longer fails natively before the pinned semantic frontier, or independent evidence demonstrates a different valid ownership classification.
synthetic/issue-29-invalid no longer fails natively before the pinned duplicate-rule-name semantic frontier, or independent evidence demonstrates a different valid ownership classification.
The full offline conformance rerun contains no remaining OPY-owned lexer/parser/preprocessing/source-semantic divergence that precedes a later pinned reference frontier.
Remaining divergences are demonstrably lowering/canonical-WIR, Workshop-owned, or explicitly inconclusive with provenance.
Parent: #1
Evidence baseline: #158 / PR #159
Discovered by: full conformance rerun after #162 / PR #166
Goal
Resolve the remaining OPY source-language failure-frontier mismatches exposed after #160, #161, and #162 completed, before residual work is handed to compiler/canonical-WIR convergence in #157.
Context
The full offline conformance rerun from PR #166 reports 63 fixtures with 44 match, 17 divergence, and 2 inconclusive. Most remaining divergences now occur at lowering/canonical-WIR, but two cases still fail earlier in native source processing than in pinned OverPy:
real-world/6v6-adjustments: pinned OverPy reaches anunknown-membersemantic failure; native stops earlier with parser errors, first atconstants/adj_constants.opy.synthetic/issue-29-invalid: pinned OverPy reaches the duplicate-rule-name semantic failure; native stops earlier on@Nameparsing/placement.These are not compiler/WIR residuals and must not be folded into #157 merely because the earlier stage workstreams are closed.
Scope
Non-goals
Acceptance criteria
real-world/6v6-adjustmentsno longer fails natively before the pinned semantic frontier, or independent evidence demonstrates a different valid ownership classification.synthetic/issue-29-invalidno longer fails natively before the pinned duplicate-rule-name semantic frontier, or independent evidence demonstrates a different valid ownership classification.Dependencies / ownership
opy-rs.workshop-rs.