diff --git a/.bot_directives b/.bot_directives
new file mode 120000
index 0000000..28115c0
--- /dev/null
+++ b/.bot_directives
@@ -0,0 +1 @@
+.machine_readable/bot_directives
\ No newline at end of file
diff --git a/.gitattributes b/.gitattributes
index 025c53a..a9a445d 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -1,54 +1,48 @@
 # SPDX-License-Identifier: PMPL-1.0-or-later
-# RSR-compliant .gitattributes
 
-* text=auto eol=lf
-
-# Source
-*.rs    text eol=lf diff=rust
-*.ex    text eol=lf diff=elixir
-*.exs   text eol=lf diff=elixir
-*.jl    text eol=lf
-*.res   text eol=lf
-*.resi  text eol=lf
-*.ada   text eol=lf diff=ada
-*.adb   text eol=lf diff=ada
-*.ads   text eol=lf diff=ada
-*.hs    text eol=lf
-*.chpl  text eol=lf
-*.scm   text eol=lf
-*.ncl   text eol=lf
-*.nix   text eol=lf
-
-# Docs
-*.md    text eol=lf diff=markdown
-*.adoc  text eol=lf
-*.txt   text eol=lf
-
-# Data
-*.json  text eol=lf
-*.yaml  text eol=lf
-*.yml   text eol=lf
-*.toml  text eol=lf
-
-# Config
-.gitignore     text eol=lf
-.gitattributes text eol=lf
-Justfile       text eol=lf
-Makefile       text eol=lf
-Containerfile  text eol=lf
+# Auto detect text files and perform LF normalization
+* text=auto
+
+# Source code
+*.rs text eol=lf diff=rust
+*.ex text eol=lf diff=elixir
+*.exs text eol=lf diff=elixir
+*.ml text eol=lf diff=ocaml
+*.mli text eol=lf diff=ocaml
+*.res text eol=lf diff=javascript
+*.resi text eol=lf diff=javascript
+*.ts text eol=lf diff=typescript
+*.js text eol=lf diff=javascript
+*.idr text eol=lf
+*.v text eol=lf
+*.zig text eol=lf
+
+# Configuration
+*.toml text eol=lf
+*.json text eol=lf
+*.yml text eol=lf
+*.yaml text eol=lf
+*.scm text eol=lf linguist-language=Scheme
+
+# Documentation
+*.md text eol=lf diff=markdown
+*.adoc text eol=lf
+*.txt text eol=lf
 
 # Scripts
-*.sh   text eol=lf
-
-# Binary
-*.png   binary
-*.jpg   binary
-*.gif   binary
-*.pdf   binary
-*.woff2 binary
-*.zip   binary
-*.gz    binary
-
-# Lock files
-Cargo.lock  text eol=lf -diff
-flake.lock  text eol=lf -diff
+*.sh text eol=lf
+*.bash text eol=lf
+
+# Build artifacts (binary)
+*.wasm binary
+*.rlib binary
+*.beam binary
+*.so binary
+*.dylib binary
+*.dll binary
+*.exe binary
+
+# Lock files (generated)
+Cargo.lock linguist-generated=true
+package-lock.json linguist-generated=true
+mix.lock linguist-generated=true
diff --git a/dune-project b/dune-project
new file mode 100644
index 0000000..88ad801
--- /dev/null
+++ b/dune-project
@@ -0,0 +1,5 @@
+(lang dune 3.0)
+; SPDX-License-Identifier: PMPL-1.0-or-later
+; SPDX-FileCopyrightText: 2026 Hyperpolymath
+(name wokelang)
+(using menhir 2.1)
diff --git a/verification/README.adoc b/verification/README.adoc
new file mode 100644
index 0000000..d02977b
--- /dev/null
+++ b/verification/README.adoc
@@ -0,0 +1,40 @@
+// SPDX-License-Identifier: PMPL-1.0-or-later
+// @taxonomy: verification/index
+= wokelang — Verification Directory
+:toc:
+
+== Overview
+
+Unified verification gateway for wokelang. Each subdirectory is a symlink
+to the actual location, providing a single entry point for all verification.
+
+== Structure
+
+|===
+| Directory | Target | Purpose
+
+| `proofs/`
+| ../docs/proofs
+| Formal proofs and mathematical foundations
+
+| `tests/`
+| ../tests
+| Unit and integration tests
+
+| `conformance/`
+| ../conformance
+| Language/spec conformance test suite
+
+| `benchmarks/`
+| ../bench
+| Performance benchmarks
+
+| `fuzzing/`
+| ../fuzz
+| Fuzz testing targets
+|===
+
+== Usage
+
+All verification can be discovered from this directory. Symlinks point to
+the actual directories so tools and CI can find everything from one place.
diff --git a/verification/benchmarks b/verification/benchmarks
new file mode 120000
index 0000000..c3cb03c
--- /dev/null
+++ b/verification/benchmarks
@@ -0,0 +1 @@
+../bench
\ No newline at end of file
diff --git a/verification/conformance b/verification/conformance
new file mode 120000
index 0000000..a9fbaf4
--- /dev/null
+++ b/verification/conformance
@@ -0,0 +1 @@
+../conformance
\ No newline at end of file
diff --git a/verification/fuzzing b/verification/fuzzing
new file mode 120000
index 0000000..ab54197
--- /dev/null
+++ b/verification/fuzzing
@@ -0,0 +1 @@
+../fuzz
\ No newline at end of file
diff --git a/verification/proofs b/verification/proofs
new file mode 120000
index 0000000..ebfaf58
--- /dev/null
+++ b/verification/proofs
@@ -0,0 +1 @@
+../docs/proofs
\ No newline at end of file
diff --git a/verification/tests b/verification/tests
new file mode 120000
index 0000000..6dd24e0
--- /dev/null
+++ b/verification/tests
@@ -0,0 +1 @@
+../tests
\ No newline at end of file
diff --git a/wokelang.opam b/wokelang.opam
new file mode 100644
index 0000000..e69de29