Layer1 local work

.bot_directives

@@ -0,0 +1 @@
+.machine_readable/bot_directives

.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

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)

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.

verification/benchmarks

@@ -0,0 +1 @@
+../bench

verification/conformance

@@ -0,0 +1 @@
+../conformance

verification/fuzzing

@@ -0,0 +1 @@
+../fuzz

verification/proofs

@@ -0,0 +1 @@
+../docs/proofs

verification/tests

@@ -0,0 +1 @@
+../tests