feat(opy): complete directive preprocessing semantics

compatibility/differential-expectations.json

@@ -13,6 +13,12 @@
     {"fixture": "synthetic/declarations-rules", "nativeStatus": "success", "classification": "match", "ruleNames": true, "evidence": ["oracle:synthetic/declarations-rules/oracle.json", "implementation-invariant:frontend-resolves-rule-declarations"], "note": "globalvar, playervar, subroutine, def, enum, and rule declarations resolve."},
     {"fixture": "synthetic/expressions-values", "nativeStatus": "success", "classification": "match", "ruleNames": true, "evidence": ["oracle:synthetic/expressions-values/oracle.json", "implementation-invariant:frontend-resolves-expressions"], "note": "Expressions, arrays, strings, vectors, calls, and format expressions resolve."},
     {"fixture": "synthetic/preprocessing", "nativeStatus": "success", "classification": "match", "ruleNames": false, "evidence": ["oracle:synthetic/preprocessing/oracle.json", "implementation-invariant:preprocessor-include-define-undef"], "note": "Include, object-like and function-like defines, and undef are preserved through preprocessing."},
+    {"fixture": "synthetic/issue-29-directives", "nativeStatus": "success", "classification": "match", "ruleNames": true, "evidence": ["oracle:synthetic/issue-29-directives/oracle.json", "implementation-invariant:issue-29-preprocessing-state"], "note": "Advanced directive state and source annotations resolve without executing Workshop optimizer, localization, or emission effects."},
+    {"fixture": "synthetic/issue-29-invalid", "nativeStatus": "failure", "classification": "match", "ruleNames": false, "evidence": ["oracle:synthetic/issue-29-invalid/oracle.json", "implementation-invariant:issue-29-structured-directive-diagnostics"], "note": "Malformed preprocessing and annotation forms remain source-located structured diagnostics."},
+    {"fixture": "synthetic/issue-29-main-file", "nativeStatus": "success", "classification": "match", "ruleNames": true, "evidence": ["oracle:synthetic/issue-29-main-file/oracle.json", "implementation-invariant:issue-29-main-file-scope"], "note": "mainFile redirects the frontend entry point and preserves child-include prefix state without copying catalog data."},
+    {"fixture": "synthetic/issue-31-positive", "nativeStatus": "success", "classification": "match", "ruleNames": false, "evidence": ["oracle:synthetic/issue-31-positive/oracle.json", "implementation-invariant:issue-31-directive-surfaces"], "note": "Pinned positive probe covers global rulePrefixTemplate, include prefix restoration, AST macro/enum redeclaration, and translation normalization."},
+    {"fixture": "synthetic/issue-31-negative", "nativeStatus": "failure", "classification": "match", "ruleNames": false, "evidence": ["oracle:synthetic/issue-31-negative/oracle.json", "implementation-invariant:issue-31-pinned-translation-set"], "note": "An outside-code translation is rejected by both the pinned oracle and native frontend."},
+    {"fixture": "synthetic/issue-31-nested-scope", "nativeStatus": "success", "classification": "match", "ruleNames": false, "evidence": ["oracle:synthetic/issue-31-nested-scope/oracle.json", "implementation-invariant:issue-31-scoped-preprocessing"], "note": "Nested include optimization directives remain observable as scoped preprocessing events; optimizer execution is not claimed by opy-rs."},
     {"fixture": "synthetic/settings", "nativeStatus": "success", "classification": "match", "ruleNames": true, "evidence": ["oracle:synthetic/settings/oracle.json", "implementation-invariant:settings-structure-only"], "note": "Settings are structurally represented; Workshop key and leaf validation remains lowering-dependent."},
     {"fixture": "synthetic/receiver-calls", "nativeStatus": "success", "classification": "match", "ruleNames": true, "evidence": ["oracle:synthetic/receiver-calls/oracle.json", "implementation-invariant:receiver-call-resolution"], "note": "The exercised receiver/member forms resolve through the OPY semantic model."},
     {"fixture": "synthetic/receiver-playervar", "nativeStatus": "success", "classification": "match", "ruleNames": true, "evidence": ["oracle:synthetic/receiver-playervar/oracle.json", "implementation-invariant:receiver-playervar-member-expression"], "note": "A bare variable member expression is retained as an OPY HIR member node; canonical Workshop member validation remains lowering-dependent."},

compatibility/fixtures/README.md

@@ -27,7 +27,7 @@ fixtures/<category>/<name>/
 
 ## Synthetic fixtures (WrightKit-authored)
 
-`fixtures/synthetic/` — 13 fixtures authored for the WrightKit compatibility
+`fixtures/synthetic/` — 16 fixtures authored for the WrightKit compatibility
 corpus (same organization as opy-rs; AGPL-3.0-or-later, `kind: original`),
 ported unchanged:
 
@@ -39,6 +39,9 @@ ported unchanged:
 | `declarations-numbers` | numeric literal forms and variable-index declarations |
 | `expressions-values` | expressions, arrays, strings, vectors, calls, `.format` |
 | `preprocessing` | `#!include` (with `shared.opy`), `#!define` object/function-like, `#!undef` |
+| `issue-31-positive` | Pinned positive probe for rule-prefix templates, include prefix restoration, macro/enum redeclaration, and normalized translations |
+| `issue-31-negative` | Pinned negative probe for a translation code outside the oracle's exact set |
+| `issue-31-nested-scope` | Pinned nested-include probe for observable optimization state transitions |
 | `diagnostics` | expected-failure fixture with a syntax diagnostic |
 | `settings` | top-of-file `settings { … }` JSONC block |
 | `receiver-calls` | receiver/member call forms (derived from the real-world overpy-meipocalypse corpus; see its `fixture.json` provenance note) |

compatibility/fixtures/synthetic/issue-29-directives/fixture.json

@@ -0,0 +1,14 @@
+{
+  "schemaVersion": 1,
+  "id": "synthetic/issue-29-directives",
+  "category": "preprocessing",
+  "features": ["preprocessing/advanced-directives", "preprocessing/translations", "preprocessing/optimization", "annotations/rule-state"],
+  "source": "source.opy",
+  "expectedStatus": "success",
+  "provenance": {
+    "kind": "original",
+    "origin": "opy-rs Issue #29 minimized pinned-oracle directive and annotation probe",
+    "license": "AGPL-3.0-or-later",
+    "redistributable": true
+  }
+}