chore: sync chore drift (docs, workflows, gitignore, a2ml)

Partial chore-sync for a repo with in-flight source changes. Only
safe-to-split paths committed here (docs, workflow YAML, gitignore,
a2ml migration drift). Source files and dependency manifests left
uncommitted for manual review to avoid creating broken intermediate
states where Cargo.toml and its dependent .rs live in different
commits.

Staged paths:
  - .gitignore
  - TEST-NEEDS.md
  - echidna-playground/.gitignore
  - echidnabot/.gitignore
  - src/rescript/.gitignore
  - training_data/vocabulary_5X.txt
  - training_data/vocabulary_UNIFIED.txt
  - verification/proofs/.gitignore

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

.gitignore

@@ -173,3 +173,11 @@ proofs/coq/**/*.glob
 proofs/coq/**/.*.aux
 proofs/agda/**/*.agdai
 proofs/metamath/.metamath*
+target/
+node_modules/
+_build/
+deps/
+.elixir_ls/
+.cache/
+build/
+dist/

TEST-NEEDS.md

@@ -18,7 +18,7 @@
 ### Target Details
 
 **1. echidna own Coq proofs (baseline)**
-- Command: `echidna verify /var/mnt/eclipse/repos/echidna/proofs/coq/basic.v`
+- Command: `echidna verify /var/mnt/eclipse/repos/verification-ecosystem/echidna/proofs/coq/basic.v`
 - Key findings: Valid proof. 43 tactics detected. Baseline verification working correctly.
 
 **2. nextgen-languages/wokelang (Coq)**

echidna-playground/.gitignore

@@ -86,3 +86,11 @@ htmlcov/
 
 # Crash recovery artifacts
 ai-cli-crash-capture/
+target/
+node_modules/
+_build/
+deps/
+.elixir_ls/
+.cache/
+build/
+dist/

echidnabot/.gitignore

@@ -77,3 +77,11 @@ htmlcov/
 /tmp/
 *.tmp
 *.bak
+target/
+node_modules/
+_build/
+deps/
+.elixir_ls/
+.cache/
+build/
+dist/

src/rescript/.gitignore

@@ -54,3 +54,9 @@ coverage/
 
 # Production builds
 *.tsbuildinfo
+target/
+_build/
+deps/
+.elixir_ls/
+*.log
+*.tmp