chore: retire ReScript guidance text → AffineScript (Estate Item 9) (#15)

Estate language policy: RS/TS/JS → AffineScript → typed-wasm. This rewrites
guidance/policy text that recommended ReScript as the TypeScript/Python
replacement so it now points at AffineScript.

Scope guard (deliberate): rescript-named paths and ReScript adapters are NOT
touched — that work is preserved intact for the ReScript ecosystem. Only the
forward-looking "use ReScript instead" recommendation is updated.

Co-authored-by: hyperpolymath <hyperpolymath@users.noreply.github.com>
Co-authored-by: Claude Opus 4.7 <noreply@anthropic.com>

Author: hyperpolymath

.machine_readable/contractiles/must/Mustfile.a2ml

@@ -83,7 +83,7 @@ These are hard requirements — CI and pre-commit hooks fail if any check fails.
 - severity: warning
 
 ### no-python
-- description: No Python files (use Julia/Rust/ReScript)
+- description: No Python files (use Julia/Rust/AffineScript)
 - run: test -z "$(find . -name '*.py' -not -path '*/deps/*' -not -path '*/node_modules/*' 2>/dev/null)"
 - severity: warning
 

verisimdb/CONTRIBUTING.md

@@ -163,7 +163,7 @@ cargo fmt --check
 
 ### Not Accepted
 
-- TypeScript (use ReScript instead)
+- TypeScript (use AffineScript instead)
 - Python (use Rust or Julia instead)
 - Go (use Rust instead)
 - Node.js/npm/bun (use Deno if JS runtime needed)

verisimdb/docs/minikanren-integration-v3.adoc

@@ -47,7 +47,7 @@ toc::[]
 │    └── VeriSim.MiniKanren (v3: constraint solving) ◄─ NEW   │
 │              ↓ FFI/NIFs                                      │
 ├─────────────────────────────────────────────────────────────┤
-│  miniKanren Logic Engine (Rust or ReScript binding)         │
+│  miniKanren Logic Engine (Rust or AffineScript binding)         │
 │    ├── Query plan constraint solver                         │
 │    ├── Normalization rule synthesizer                       │
 │    └── Drift repair strategy generator                      │