refactor: complete source-language ownership cutover

.github/workflows/ci.yml

@@ -153,7 +153,7 @@ jobs:
         uses: actions/checkout@v7
         with:
           repository: wrightkit/workshop-rs
-          ref: 3d61bd4423924ca005d67f7c141a1866580f76fa # v0.1.9
+          ref: 8b2ef9aae002ece500af961a9a40bf2cc3b932b1 # v0.1.11
           path: workshop-rs-pinned
 
       - name: Install Rust toolchain
@@ -187,10 +187,10 @@ jobs:
   # Covers:
   #   - Committed compatibility evidence integrity (no live oracle needed)
   #   - N-level gate: Wright compile vs recorded reference snapshots
-  #   - Native-vs-reference differential suite (opy-rs ownership consumption)
+  #   - Owner-backed OPY adapter build/test coverage
   # -------------------------------------------------------------------------
   opy-integration:
-    name: OPY integration (N-level + differential)
+    name: OPY integration (N-level + owner)
     needs: [paths, rust-quality]
     if: needs.paths.outputs.opy == 'true'
     runs-on: ubuntu-latest
@@ -223,10 +223,10 @@ jobs:
         id: n_level
         run: python3 scripts/v1-gates.py
 
-      - name: Run native-vs-reference differential suite
-        id: differential
+      - name: Build and test Wright OPY adapter
+        id: adapter
         if: always()
-        run: cargo test --locked -p wright-opy --test differential
+        run: cargo test --locked -p wright-opy
 
       - name: Upload OPY integration reports
         if: always()
@@ -235,7 +235,6 @@ jobs:
           name: opy-integration-reports
           path: |
             target/v1-gates-report.json
-            target/wright-differential-report.json
 
       - name: Write step summary
         if: always()
@@ -273,25 +272,21 @@ jobs:
               echo "### N-level gate: ⚠️ report not generated"
             fi
             echo ""
-            # Differential suite result
-            if [[ "${{ steps.differential.outcome }}" == "success" ]]; then
-              echo "### OPY differential suite: ✅ PASS"
+            if [[ "${{ steps.adapter.outcome }}" == "success" ]]; then
+              echo "### OPY adapter build/test: ✅ PASS"
             else
-              echo "### OPY differential suite: ❌ FAIL (see run log for details)"
-            fi
-            if [[ -f target/wright-differential-report.json ]]; then
-              echo ""
-              echo "_Full machine-readable reports available as workflow artifacts._"
+              echo "### OPY adapter build/test: ❌ FAIL (see run log for details)"
             fi
           } >> "$GITHUB_STEP_SUMMARY"
 
   # -------------------------------------------------------------------------
   # [3] DEL/OSTW INTEGRATION  (Wright's consumer contract with OSTW/del-rs)
-  # Keeps Wright's forward-compilation differential test against del-rs output.
-  # Semantic fixes belong in del-rs; this job validates the Wright integration.
+  # Keeps Wright's owner-backed OSTW adapter build/test coverage.
+  # Semantic and differential fixes belong in del-rs; this job validates the
+  # Wright integration package still compiles against the owner contract.
   # -------------------------------------------------------------------------
   del-integration:
-    name: DEL/OSTW integration (differential)
+    name: DEL/OSTW integration (owner adapter)
     needs: [paths, rust-quality]
     if: needs.paths.outputs.del == 'true'
     runs-on: ubuntu-latest
@@ -314,16 +309,9 @@ jobs:
           save-if: false
           cache-on-failure: false
 
-      - name: Run OSTW forward-compilation differential suite
-        id: ostw_diff
-        run: cargo test --locked -p wright-ostw --test differential
-
-      - name: Upload DEL/OSTW differential report
-        if: always()
-        uses: actions/upload-artifact@v7
-        with:
-          name: del-ostw-differential-report
-          path: target/wright-ostw-differential-report.json
+      - name: Build and test Wright OSTW adapter
+        id: adapter
+        run: cargo test --locked -p wright-ostw
 
       - name: Write step summary
         if: always()
@@ -333,14 +321,10 @@ jobs:
           {
             echo "## DEL/OSTW Integration"
             echo ""
-            if [[ "${{ steps.ostw_diff.outcome }}" == "success" ]]; then
-              echo "### OSTW differential suite: ✅ PASS"
+            if [[ "${{ steps.adapter.outcome }}" == "success" ]]; then
+              echo "### OSTW adapter build/test: ✅ PASS"
             else
-              echo "### OSTW differential suite: ❌ FAIL (see run log for details)"
-            fi
-            if [[ -f target/wright-ostw-differential-report.json ]]; then
-              echo ""
-              echo "_Full machine-readable report available as workflow artifact._"
+              echo "### OSTW adapter build/test: ❌ FAIL (see run log for details)"
             fi
           } >> "$GITHUB_STEP_SUMMARY"
 

AGENTS.md

@@ -28,15 +28,9 @@ Wright is not the durable owner of those language implementations.
   refactoring, agent/embedding APIs, CI presentation, editor-neutral language
   services, LSP, and integration adapters.
 
-Terminology:
-
-- **frontend** is an internal stage inside a language implementation; do not use
-  it as shorthand for the product identity of `opy-rs` or `del-rs`;
-- **provider** is an integration role/process exposed through LPP or another
-  reviewed boundary; it does not make a language implementation subordinate to
-  Wright;
-- Wright may integrate through native Rust APIs and/or LPP depending on the
-  product boundary, but must not pull language ownership back into this repo.
+Wright may integrate through narrow Rust adapters and/or LPP depending on the
+product boundary. The adapters translate owner contracts; they do not define
+language syntax, semantics, HIR, compatibility data, or lowering policy.
 
 See [`docs/adr/0010-independent-implementations-and-wright-integration.md`](docs/adr/0010-independent-implementations-and-wright-integration.md).