Skip to content

fix(opy-compiler): restore residual canonical WIR equivalence #91

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Teakowa merged 2 commits into from
Aug 29, 2026
Merged

fix(opy-compiler): restore residual canonical WIR equivalence #91

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
485dbef
fix(opy-compiler): restore residual canonical WIR equivalence
Teakowa Aug 29, 2026
cf99c30
fix(opy-compiler): lower debug through native HUD WIR
Teakowa Aug 29, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
36 changes: 18 additions & 18 deletions compatibility/compiler-expectations.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -88,28 +88,28 @@
{
"fixture": "synthetic/control-flow",
"nativeStatus": "success",
"classification": "known-gap",
"classification": "match",
"comparison": "semantic-wir",
"evidence": [
"oracle:synthetic/control-flow/oracle.json",
"provenance:synthetic/control-flow/fixture.json"
],
"owner": "opy-rs#89",
"note": "Direct native-WIR comparison records a residual control-flow divergence; follow-up #89 tracks the lowering gap.",
"semanticEquivalent": false
"note": "The native debug helper lowers to the pinned canonical HUD action and is directly equivalent to the oracle.",
"semanticEquivalent": true
},
{
"fixture": "synthetic/issue-33-switch-break",
"nativeStatus": "success",
"classification": "known-gap",
"classification": "match",
"comparison": "semantic-wir",
"evidence": [
"oracle:synthetic/issue-33-switch-break/oracle.json",
"provenance:synthetic/issue-33-switch-break/fixture.json"
],
"owner": "opy-rs#89",
"note": "Direct native-WIR comparison records a residual nested-switch-break divergence; follow-up #89 tracks the lowering gap.",
"semanticEquivalent": false
"note": "The native switch-break lowering is directly equivalent to the pinned canonical WIR.",
"semanticEquivalent": true
},
{
"fixture": "synthetic/issue-40-structural",
Expand All @@ -128,54 +128,54 @@
{
"fixture": "synthetic/issue-46-primitives",
"nativeStatus": "success",
"classification": "known-gap",
"classification": "match",
"comparison": "semantic-wir",
"evidence": [
"oracle:synthetic/issue-46-primitives/oracle.json",
"provenance:synthetic/issue-46-primitives/fixture.json"
],
"owner": "opy-rs#89",
"note": "Direct native-WIR comparison records a residual #46 primitive-lowering divergence; follow-up #89 tracks the lowering gap.",
"semanticEquivalent": false
"note": "The native #46 primitive lowering is directly equivalent to the pinned canonical WIR.",
"semanticEquivalent": true
},
{
"fixture": "synthetic/issue-47-control-flow",
"nativeStatus": "success",
"classification": "known-gap",
"classification": "match",
"comparison": "semantic-wir",
"evidence": [
"oracle:synthetic/issue-47-control-flow/oracle.json",
"provenance:synthetic/issue-47-control-flow/fixture.json"
],
"owner": "opy-rs#89",
"note": "Direct native-WIR comparison records a residual #47 control-flow divergence; follow-up #89 tracks the lowering gap.",
"semanticEquivalent": false
"note": "The native #47 control-flow lowering is directly equivalent to the pinned canonical WIR.",
"semanticEquivalent": true
},
{
"fixture": "synthetic/issue-47-switch-order",
"nativeStatus": "success",
"classification": "known-gap",
"classification": "match",
"comparison": "semantic-wir",
"evidence": [
"oracle:synthetic/issue-47-switch-order/oracle.json",
"provenance:synthetic/issue-47-switch-order/fixture.json"
],
"owner": "opy-rs#89",
"note": "Direct native-WIR comparison records a residual authored-switch-order divergence; follow-up #89 tracks the lowering gap.",
"semanticEquivalent": false
"note": "The native authored switch order is directly equivalent to the pinned canonical WIR.",
"semanticEquivalent": true
},
{
"fixture": "synthetic/issue-47-switch-structured-target",
"nativeStatus": "success",
"classification": "known-gap",
"classification": "match",
"comparison": "semantic-wir",
"evidence": [
"oracle:synthetic/issue-47-switch-structured-target/oracle.json",
"provenance:synthetic/issue-47-switch-structured-target/fixture.json"
],
"owner": "opy-rs#89",
"note": "Direct native-WIR comparison records a residual structured-switch-target divergence; follow-up #89 tracks the lowering gap.",
"semanticEquivalent": false
"note": "The native structured switch targets are directly equivalent to the pinned canonical WIR.",
"semanticEquivalent": true
},
{
"fixture": "synthetic/issue-47-do-while-shapes",
Expand Down
8 changes: 4 additions & 4 deletions compatibility/differential-expectations.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -48,12 +48,12 @@
{"fixture": "real-world/6v6-adjustments", "nativeStatus": "failure", "classification": "match", "ruleNames": false, "evidence": ["oracle:real-world/6v6-adjustments/oracle.json", "provenance:real-world/6v6-adjustments/fixture.json"], "note": "The full project remains preserved as a failure corpus case with recorded provenance."},
{"fixture": "synthetic/issue-35-integration", "nativeStatus": "success", "classification": "match", "ruleNames": true, "evidence": ["oracle:synthetic/issue-35-integration/oracle.json", "implementation-invariant:opy-compiler-vertical-slice"], "note": "The OPY source implementation resolves the source fixture; the dedicated opy-compiler test independently lowers it through canonical WIR validation and deterministic workshop-rs emission."},
{"fixture": "synthetic/issue-40-structural", "nativeStatus": "success", "classification": "match", "ruleNames": false, "evidence": ["oracle:synthetic/issue-40-structural/oracle.json", "implementation-invariant:opy-compiler-structural-lowering"], "note": "The pinned oracle records subroutine source identity, deterministic explicit/implicit variable allocation, and player event filters; the dedicated opy-compiler test independently asserts those structures in canonical WIR."},
{"fixture": "synthetic/issue-46-primitives", "nativeStatus": "success", "classification": "match", "ruleNames": false, "evidence": ["oracle:synthetic/issue-46-primitives/oracle.json", "implementation-invariant:opy-compiler-primitive-lowering", "test:opy-compiler-issue-46-native-wir-gap"], "note": "The pinned oracle records the evidenced assignment and modification lowering (including **= and single-level indexed forms), value expressions, array indexing (including the firstOf index-0 read normalization), not-comparison negation, implicit default variables at fixed Workshop slots, and non-null variable initializers; null-default initializer semantics and deeper indexed writes remain explicit follow-ups. The dedicated opy-compiler test compares native lowered WIR directly with the parsed oracle WIR and keeps the residual difference explicit."},
{"fixture": "synthetic/issue-46-primitives", "nativeStatus": "success", "classification": "match", "ruleNames": false, "evidence": ["oracle:synthetic/issue-46-primitives/oracle.json", "implementation-invariant:opy-compiler-primitive-lowering", "test:opy-compiler-issue-46-native-wir-equivalence"], "note": "The pinned oracle records the evidenced assignment and modification lowering (including **= and single-level indexed forms), value expressions, array indexing (including the firstOf index-0 read normalization), not-comparison negation, implicit default variables at fixed Workshop slots, and non-null variable initializers; null-default initializer semantics and deeper indexed writes remain explicit follow-ups. The dedicated opy-compiler test compares native lowered WIR directly with the parsed oracle WIR and asserts structural equivalence."},
{"fixture": "synthetic/issue-46-unsupported", "nativeStatus": "success", "classification": "match", "ruleNames": false, "evidence": ["oracle:synthetic/issue-46-unsupported/oracle.json", "implementation-invariant:opy-compiler-primitive-lowering-limits"], "note": "Negative #46 probe: the source implementation resolves and the pinned oracle compiles the dict-indexed assignment, while the native compiler rejects the dict primitive with the stable source-attributed unsupported-integration-surface diagnostic."},
{"fixture": "synthetic/issue-47-control-flow", "nativeStatus": "success", "classification": "match", "ruleNames": false, "evidence": ["oracle:synthetic/issue-47-control-flow/oracle.json", "implementation-invariant:issue-47-control-flow-hir"], "note": "The #47 control-flow slice resolves in the source implementation; compiler-level canonical-WIR parity for its residual switch shapes is tracked separately in the compiler expectation contract."},
{"fixture": "synthetic/issue-47-control-flow", "nativeStatus": "success", "classification": "match", "ruleNames": false, "evidence": ["oracle:synthetic/issue-47-control-flow/oracle.json", "implementation-invariant:issue-47-control-flow-hir"], "note": "The #47 control-flow slice resolves in the source implementation and its native lowered WIR is directly equivalent to the pinned oracle."},
{"fixture": "synthetic/issue-47-unsupported", "nativeStatus": "success", "classification": "match", "ruleNames": false, "evidence": ["oracle:synthetic/issue-47-unsupported/oracle.json", "test:opy-compiler-issue-47-nested-negative"], "note": "Negative #47 probe: the source implementation and pinned oracle accept the nested conditional switch-break HIR, while the compiler rejects the form because canonical WIR has no equivalent structured break carrier."},
{"fixture": "synthetic/issue-47-switch-order", "nativeStatus": "success", "classification": "match", "ruleNames": true, "evidence": ["oracle:synthetic/issue-47-switch-order/oracle.json", "implementation-invariant:issue-47-authored-switch-order"], "note": "The #47 default-before-case probe preserves authored arm order and fallthrough in the source implementation; compiler-level WIR equivalence is tracked separately because the native lowering still has an explicit residual gap."},
{"fixture": "synthetic/issue-47-switch-structured-target", "nativeStatus": "success", "classification": "match", "ruleNames": true, "evidence": ["oracle:synthetic/issue-47-switch-structured-target/oracle.json", "implementation-invariant:issue-47-structured-switch-source-order"], "note": "The #47 structured switch probe preserves nested if/while actions and authored case/default target order in the source implementation; compiler-level WIR parity remains an explicit lowering gap."},
{"fixture": "synthetic/issue-47-switch-order", "nativeStatus": "success", "classification": "match", "ruleNames": true, "evidence": ["oracle:synthetic/issue-47-switch-order/oracle.json", "implementation-invariant:issue-47-authored-switch-order"], "note": "The #47 default-before-case probe preserves authored arm order and fallthrough in the source implementation, and the native lowered WIR is directly equivalent to the pinned oracle."},
{"fixture": "synthetic/issue-47-switch-structured-target", "nativeStatus": "success", "classification": "match", "ruleNames": true, "evidence": ["oracle:synthetic/issue-47-switch-structured-target/oracle.json", "implementation-invariant:issue-47-structured-switch-source-order"], "note": "The #47 structured switch probe preserves nested if/while actions and authored case/default target order in the source implementation, and the native lowered WIR is directly equivalent to the pinned oracle."},
{"fixture": "synthetic/issue-47-switch-multiple-break", "nativeStatus": "success", "classification": "match", "ruleNames": true, "evidence": ["oracle:synthetic/issue-47-switch-multiple-break/oracle.json", "test:opy-compiler-issue-47-multiple-switch-break"], "note": "The source implementation preserves the multi-break source and the pinned oracle accepts it; the compiler rejects the later-reachable multi-target shape explicitly because workshop-rs v0.1.11 has one canonical else carrier."},
{"fixture": "synthetic/issue-47-do-while-shapes", "nativeStatus": "success", "classification": "match", "ruleNames": true, "evidence": ["oracle:synthetic/issue-47-do-while-shapes/oracle.json", "test:opy-compiler-issue-47-do-while-break-shapes"], "note": "Direct, conditional, and nested do-while break shapes resolve and match the pinned Workshop through direct native-WIR comparison with the parsed oracle."},
{"fixture": "synthetic/issue-47-do-while-invalid-placement", "nativeStatus": "failure", "classification": "match", "ruleNames": false, "evidence": ["oracle:synthetic/issue-47-do-while-invalid-placement/oracle.json", "test:opy-compiler-issue-47-invalid-do-while-placement"], "note": "The source implementation reports the stable source-attributed do-while-placement diagnostic for a non-prefix do-while."},
Expand Down
2 changes: 1 addition & 1 deletion compatibility/tests/test_diff.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -216,7 +216,7 @@ def test_compile_result_rejects_public_semantic_wir_evidence(self):
diff.require_result_shape(result, "compile result")

def test_compiler_semantic_wir_consumes_direct_evidence(self):
fixture = "synthetic/issue-47-control-flow"
fixture = "synthetic/expressions-values"
oracle = json.loads(
(
COMPATIBILITY_DIR
Expand Down
Loading
Loading