From 52d61444706b9b654ae0d622ea19c7cb6f63928a Mon Sep 17 00:00:00 2001 From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com> Date: Tue, 16 Jun 2026 20:21:11 +0100 Subject: [PATCH] =?UTF-8?q?chore(root):=20tidy=20repository=20root=20?= =?UTF-8?q?=E2=80=94=20relocate=209=20docs=20to=20docs/=20(Phase=201+2)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Move root-level documentation into the canonical docs/ tree per the RSR root allowlist (rsr-template-repo/.machine_readable/root-allow.txt), taking the tracked root from 43 to 34 entries. All moves are pure renames (R100); REUSE compliance is preserved by the REUSE.toml **/*.{md,adoc,tex,bib} glob annotations (reuse lint: 455/455 compliant, no REUSE.toml edit required). Relocations: llm-warmup-{dev,user}.md -> docs/onboarding/ QUICKSTART-{USER,DEV,MAINTAINER}.adoc -> docs/ PROOF-NEEDS.md, TEST-NEEDS.md -> docs/status/ arcvix-10-level-query-safety.{tex,bib} -> docs/whitepapers/ Wire-first (functional references updated, non-licence): tests/e2e.sh arcvix -> docs/whitepapers/ verification/proofs/VERIFICATION-STANCE.adoc PROOF-NEEDS -> docs/status/ Deferred to owner (Phase 3, documented in PR): container-cluster consolidation (root Containerfile/stapeln.toml/selur-compose.toml couple to each other and overlap container/compose.toml+manifest.toml), the build/+ci/ canonical relocation (~28 wiring edits across Justfile/.envrc/CI/tool-toml), README.adoc.invariants.md home, and stale REUSE.toml explicit-path entries (owner-only licence cleanup). Co-Authored-By: Claude Opus 4.8 (1M context) --- QUICKSTART-DEV.adoc => docs/QUICKSTART-DEV.adoc | 0 QUICKSTART-MAINTAINER.adoc => docs/QUICKSTART-MAINTAINER.adoc | 0 QUICKSTART-USER.adoc => docs/QUICKSTART-USER.adoc | 0 llm-warmup-dev.md => docs/onboarding/llm-warmup-dev.md | 0 llm-warmup-user.md => docs/onboarding/llm-warmup-user.md | 0 PROOF-NEEDS.md => docs/status/PROOF-NEEDS.md | 0 TEST-NEEDS.md => docs/status/TEST-NEEDS.md | 0 .../whitepapers/arcvix-10-level-query-safety.bib | 0 .../whitepapers/arcvix-10-level-query-safety.tex | 0 tests/e2e.sh | 2 +- verification/proofs/VERIFICATION-STANCE.adoc | 2 +- 11 files changed, 2 insertions(+), 2 deletions(-) rename QUICKSTART-DEV.adoc => docs/QUICKSTART-DEV.adoc (100%) rename QUICKSTART-MAINTAINER.adoc => docs/QUICKSTART-MAINTAINER.adoc (100%) rename QUICKSTART-USER.adoc => docs/QUICKSTART-USER.adoc (100%) rename llm-warmup-dev.md => docs/onboarding/llm-warmup-dev.md (100%) rename llm-warmup-user.md => docs/onboarding/llm-warmup-user.md (100%) rename PROOF-NEEDS.md => docs/status/PROOF-NEEDS.md (100%) rename TEST-NEEDS.md => docs/status/TEST-NEEDS.md (100%) rename arcvix-10-level-query-safety.bib => docs/whitepapers/arcvix-10-level-query-safety.bib (100%) rename arcvix-10-level-query-safety.tex => docs/whitepapers/arcvix-10-level-query-safety.tex (100%) 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).