refactor: complete source-language ownership cutover

.github/workflows/ci.yml

@@ -134,6 +134,54 @@ jobs:
       - name: Run tests
         run: cargo test --locked --workspace --all-targets --all-features
 
+  # -------------------------------------------------------------------------
+  # [1a] WORKSHOP REAL-PROJECT INTEGRATION  (Wright's released Workshop consumer)
+  # Runs the owner-pinned real-project inputs through the actual `wright`
+  # check/lint commands. The source snapshots and residual expectations remain
+  # owned by the released workshop-rs corpus.
+  # -------------------------------------------------------------------------
+  workshop-integration:
+    name: Workshop real-project integration
+    needs: [paths, rust-quality]
+    if: needs.paths.outputs.rust_core == 'true'
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check out Wright
+        uses: actions/checkout@v7
+
+      - name: Check out released workshop-rs corpus
+        uses: actions/checkout@v7
+        with:
+          repository: wrightkit/workshop-rs
+          ref: 3d61bd4423924ca005d67f7c141a1866580f76fa # v0.1.9
+          path: workshop-rs-pinned
+
+      - name: Install Rust toolchain
+        uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: 1.85.0
+
+      - name: Restore Rust cache
+        uses: Swatinem/rust-cache@v2
+        with:
+          shared-key: linux-quality
+          cache-targets: true
+          cache-all-crates: false
+          cache-workspace-crates: false
+          cache-bin: false
+          save-if: false
+          cache-on-failure: false
+
+      - name: Run owner-contract cross-validation
+        env:
+          WRIGHTKIT_WORKSHOP_CORPUS_DIR: ${{ github.workspace }}/workshop-rs-pinned/crates/workshop-rs/tests/fixtures/real-projects
+        run: cargo test --locked -p wright-driver --test workshop_contract -- --ignored
+
+      - name: Run Wright check and lint on real projects
+        env:
+          WRIGHTKIT_WORKSHOP_CORPUS_DIR: ${{ github.workspace }}/workshop-rs-pinned/crates/workshop-rs/tests/fixtures/real-projects
+        run: cargo test --locked -p wright-cli --test workshop_real_projects -- --ignored --nocapture
+
   # -------------------------------------------------------------------------
   # [2] OPY INTEGRATION  (Wright's consumer contract with OverPy/OPY)
   # Covers:

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).