docs: remove dogfooding references from public docs

Author: bbopen

README.md

@@ -46,9 +46,6 @@ gleam export package-interface --out build/dev/docs/my_package/package-interface
 gleam run -m contract_test
 ```
 
-Dogfooding belongs in the consuming package repository. Keep any stack-specific
-contract rules and CI wiring in that consumer repo rather than this library.
-
 ## Spec
 
 See [SPEC.md](SPEC.md) for the full technical specification.

SPEC.md

@@ -335,12 +335,6 @@ Run the full verification chain:
 bash scripts/check.sh
 ```
 
-## Dogfooding (Optional)
-
-Dogfooding should live in the consuming package repository, where real module
-pairs and CI constraints are known. Keep this library repository focused on the
-generic engine and deterministic fixtures.
-
 ## Test Plan
 
 - MirrorRule: source function present in target -> Ok
@@ -358,4 +352,3 @@ generic engine and deterministic fixtures.
 - load_package_interface: valid JSON -> Ok(interface)
 - load_package_interface: invalid path -> Error
 - check_result: load failure -> InterfaceLoadFailure
-- Dogfood (optional): consumer-owned integration checks in consuming repos