Remove Weslaw from Wesley

.continuum/release.yml

@@ -45,12 +45,6 @@ version_sources:
     field: package.version
     required: true
     published: true
-  - path: crates/wesley-holmes/Cargo.toml
-    name: wesley-holmes
-    type: cargo-manifest
-    field: package.version
-    required: true
-    published: false
   - path: package.json
     name: root-private-package
     type: json

.github/workflows/rust-native.yml

@@ -21,7 +21,6 @@ on:
       - 'schemas/**'
       - 'test/fixtures/extension-generation/**'
       - 'test/fixtures/ir-parity/**'
-      - 'test/fixtures/weslaw/**'
       - 'xtask/**'
   push:
     branches:
@@ -42,7 +41,6 @@ on:
       - 'schemas/**'
       - 'test/fixtures/extension-generation/**'
       - 'test/fixtures/ir-parity/**'
-      - 'test/fixtures/weslaw/**'
       - 'xtask/**'
 
 jobs:

CHANGELOG.md

@@ -6,6 +6,21 @@ The format is based on Keep a Changelog, and this project adheres to Semantic Ve
 
 ## [Unreleased]
 
+### Changed
+
+- Versioned the domain-neutral extension-generation input, provenance, and
+  review contracts to v2. The canonical input now contains structural IR,
+  operations, owner declarations, settings, and projection roles without an
+  embedded semantic-law document.
+
+### Removed
+
+- Removed Weslaw authoring, Law IR, semantic-law hashes and diffs, `wesley law`
+  and `wesley init-law`, the emitter `--law` option and generated validators,
+  the Weslaw-specific Rust Holmes foundation, and their schemas and fixtures.
+  Executable semantics belong to Edict; target and runtime semantics belong to
+  their owning adapters rather than generic Wesley.
+
 ## [0.3.0-alpha.1] - 2026-07-15
 
 ### Added

Cargo.toml

@@ -4,7 +4,6 @@ members = [
     "crates/wesley-emit-codec",
     "crates/wesley-emit-typescript",
     "crates/wesley-emit-rust",
-    "crates/wesley-holmes",
     "crates/wesley-cli",
     "xtask",
 ]

README.md

@@ -70,12 +70,12 @@ Generate target-neutral Rust or TypeScript projections:
 
 ```bash
 cargo run --bin wesley -- emit rust \
-  --schema test/fixtures/weslaw/contract-bundle-shape.graphql \
+  --schema test/fixtures/extension-generation/schema.graphql \
   --out generated/model.rs \
   --metadata-out generated/model.metadata.json
 
 cargo run --bin wesley -- emit typescript \
-  --schema test/fixtures/weslaw/contract-bundle-shape.graphql \
+  --schema test/fixtures/extension-generation/schema.graphql \
   --out generated/types.ts \
   --metadata-out generated/types.metadata.json
 ```
@@ -116,7 +116,6 @@ Wesley owns domain-free compiler facts:
 - operation selection and directive-argument extraction
 - Rust and TypeScript model and operation bindings
 - TypeScript and Rust LE-binary codec projections
-- `weslaw/v1` authoring, hashing, diffing, rebinding, and coverage metadata
 - deterministic evidence inputs and release checks around those generic
   compiler contracts