docs: record Valence Shell / Ochránce downstream-bridge status (no current action) (#9)

## Summary

Documents the scope boundary between EchoTypes.jl and the downstream
Valence Shell / Ochránce systems. **No integration is added** — this is
a docs-only note recording that there is no current action, and pinning
the discipline that constrains any future bridge.

The package stays a finite executable shadow of the Agda library;
nothing
here claims to prove anything about shell or filesystem systems.

## Changes

- **`README.md`** — new `### Downstream bridges (Valence Shell /
Ochránce)`
  subsection under the honest-bound discipline material.
- **`wiki/Home.md`** — a pointer bullet under *Intentionally NOT
mirrored*.

Both state:

- there is no Valence Shell / Ochránce integration, and none is planned
  until a small concrete finite example exists to model;
- any future bridge would be a **toy finite model of residue
  classification only** — explicitly **no** filesystem, POSIX,
secure-deletion, GDPR, cryptographic-attestation, filesystem-integrity,
  or production-security claim;
- the Agda remains the source of truth; real-world receipt and security
  guarantees belong to Valence Shell and Ochránce, not EchoTypes.jl.

## Non-changes

- No Julia source or test changes — the test suite is unaffected.
- No `Echo`/residue/thermodynamics surface touched.

https://claude.ai/code/session_01DQJb5R2Ayj3MVZ9Ho1awcc

---
_Generated by [Claude
Code](https://claude.ai/code/session_01DQJb5R2Ayj3MVZ9Ho1awcc)_

Author: hyperpolymath

README.md

@@ -106,6 +106,24 @@ Scope limits are inherited honestly: the thermodynamics is a
 quantitative physics, and not defined over infinite state spaces (the
 upstream `Fin n` restriction).
 
+### Downstream bridges (Valence Shell / Ochránce)
+
+**No current action.** [Valence Shell](https://github.com/hyperpolymath/valence-shell)
+and [Ochránce](https://github.com/hyperpolymath/ochrance) may later
+become downstream *examples* of Echo Types applied to shell state
+transitions and filesystem receipts — but this package does **not**
+claim to prove anything about those systems, and no integration is
+present here.
+
+If such a bridge is ever added it will be a **toy finite model of
+residue classification only**: a fixed finite set of pre-states mapped
+to post-states, with fibres / residues computed to classify
+recoverable vs. collapsed information — and **no** filesystem, POSIX,
+secure-deletion, GDPR, cryptographic-attestation, filesystem-integrity,
+or production-security claim attached. Source of truth remains the
+Agda; real-world receipt and security guarantees belong to Valence
+Shell and Ochránce, not EchoTypes.jl.
+
 ## Use
 
 ```julia

wiki/Home.md

@@ -64,6 +64,11 @@ following surfaces are out by policy:
   inversion, joint-bplus scaffolds. Separate pillar; a Julia shadow
   would require a new `Bord` carrier and explicit scope agreement
   before being added.
+- **Downstream system claims** — Valence Shell / Ochránce shell-state
+  and filesystem-receipt behaviour. No bridge is present; any future
+  example would be a *toy finite model of residue classification only*
+  (no filesystem, security, or cryptographic claim). See the README's
+  "Downstream bridges" note.
 
 See the README for the full carve-out rationale.