diff --git a/QUICKSTART-DEV.adoc b/docs/QUICKSTART-DEV.adoc
similarity index 100%
rename from QUICKSTART-DEV.adoc
rename to docs/QUICKSTART-DEV.adoc
diff --git a/QUICKSTART-MAINTAINER.adoc b/docs/QUICKSTART-MAINTAINER.adoc
similarity index 100%
rename from QUICKSTART-MAINTAINER.adoc
rename to docs/QUICKSTART-MAINTAINER.adoc
diff --git a/QUICKSTART-USER.adoc b/docs/QUICKSTART-USER.adoc
similarity index 100%
rename from QUICKSTART-USER.adoc
rename to docs/QUICKSTART-USER.adoc
diff --git a/llm-warmup-dev.md b/docs/onboarding/llm-warmup-dev.md
similarity index 100%
rename from llm-warmup-dev.md
rename to docs/onboarding/llm-warmup-dev.md
diff --git a/llm-warmup-user.md b/docs/onboarding/llm-warmup-user.md
similarity index 100%
rename from llm-warmup-user.md
rename to docs/onboarding/llm-warmup-user.md
diff --git a/PROOF-NEEDS.md b/docs/status/PROOF-NEEDS.md
similarity index 100%
rename from PROOF-NEEDS.md
rename to docs/status/PROOF-NEEDS.md
diff --git a/TEST-NEEDS.md b/docs/status/TEST-NEEDS.md
similarity index 100%
rename from TEST-NEEDS.md
rename to docs/status/TEST-NEEDS.md
diff --git a/arcvix-10-level-query-safety.bib b/docs/whitepapers/arcvix-10-level-query-safety.bib
similarity index 100%
rename from arcvix-10-level-query-safety.bib
rename to docs/whitepapers/arcvix-10-level-query-safety.bib
diff --git a/arcvix-10-level-query-safety.tex b/docs/whitepapers/arcvix-10-level-query-safety.tex
similarity index 100%
rename from arcvix-10-level-query-safety.tex
rename to docs/whitepapers/arcvix-10-level-query-safety.tex
diff --git a/tests/e2e.sh b/tests/e2e.sh
index 7ae84a2..be08a1d 100644
--- a/tests/e2e.sh
+++ b/tests/e2e.sh
@@ -73,7 +73,7 @@ echo ""
 # ── Category 3: VCL-total artefacts ───────────────────────────────────────
 echo "Category 3: VCL-total artefacts"
 
-check "arcvix paper (arXiv source) exists" "$([ -f arcvix-10-level-query-safety.tex ] && echo 0 || echo 1)"
+check "arcvix paper (arXiv source) exists" "$([ -f docs/whitepapers/arcvix-10-level-query-safety.tex ] && echo 0 || echo 1)"
 check "examples/ directory has content"    "$([ -d examples ] && ls examples/*.vcl 2>/dev/null | head -1 | grep -q . && echo 0 || echo 1)"
 check "features/ directory exists"        "$([ -d features ] && echo 0 || echo 1)"
 check "verification/ directory exists"    "$([ -d verification ] && echo 0 || echo 1)"
diff --git a/verification/proofs/VERIFICATION-STANCE.adoc b/verification/proofs/VERIFICATION-STANCE.adoc
index 9696b2d..7c41051 100644
--- a/verification/proofs/VERIFICATION-STANCE.adoc
+++ b/verification/proofs/VERIFICATION-STANCE.adoc
@@ -8,7 +8,7 @@
 WARNING: vcl-ut is the interface between *hypatia* and *verisim*; both sides
 trust safety claims made here. This document states *precisely* what is and is
 not machine-verified, and takes precedence over any "verified" / "type-safe" /
-"formally proven" phrasing in `README.adoc`, `PROOF-NEEDS.md`, or module
+"formally proven" phrasing in `README.adoc`, `docs/status/PROOF-NEEDS.md`, or module
 doc-comments. It is the proof-backed companion to (and supersedes) the
 doc-only `docs/VERIFICATION-STANCE.adoc` (PR #19).