docs: link aup and vega via clean web paths instead of raw server paths

3 files changed, 6 insertions, 6 deletions

diff --git a/CHECKPOINT.md b/CHECKPOINT.md
index 23f7542..490fa24 100644
--- a/CHECKPOINT.md
+++ b/CHECKPOINT.md
@@ -6,8 +6,8 @@
 
 ## 현재 앱 모델과 근거 (2026-09-26)
 
-아래 표의 문서 앱·scalar 앱 기록 뒤로, 앱 모델은 하나가 됐다. 앱은 [aup](/srv/git/aup.git)로 쓰고 Pure가 검증해
-실행하는 모듈([008 모듈 형식 v6](docs/design/008-module-format.md))이며, 인터페이스는 [Vega](/srv/git/vega.git)가 같은
+아래 표의 문서 앱·scalar 앱 기록 뒤로, 앱 모델은 하나가 됐다. 앱은 [aup](/aup)로 쓰고 Pure가 검증해
+실행하는 모듈([008 모듈 형식 v6](docs/design/008-module-format.md))이며, 인터페이스는 [Vega](/vega)가 같은
 명세에서 만든다. 이 절은 그 뒤에 확인한 것만 적는다.
 
 | 영역 | 확인한 것 | 근거 |
diff --git a/README.md b/README.md
index d056608..b574e8d 100644
--- a/README.md
+++ b/README.md
@@ -1,10 +1,10 @@
 # Pure
 
-**Current app model (2026-09-27).** Apps are written in [aup](/srv/git/aup.git) and run as Pure modules
+**Current app model (2026-09-27).** Apps are written in [aup](/aup) and run as Pure modules
 ([format v6](docs/design/008-module-format.md)), verified completely before they execute: declared states persist
 in Pure's store (lists as images and a log of their changes, the rest in its tree), every event is a transaction,
 views are pure functions of state. The same spec becomes a
-terminal UI, a CLI, spoken sentences and a web page through [Vega](/srv/git/vega.git), and an HTTP service through
+terminal UI, a CLI, spoken sentences and a web page through [Vega](/vega), and an HTTP service through
 `pure-serve`: views are GETs and inputs are POSTs, with JSON bodies (groups included) read in place; answers are
 durable, a save being one log entry (and a tree commit when more than lists changed), each one write and one sync;
 views are read from a snapshot of the last save, so
@@ -46,7 +46,7 @@ The source follows the principle below, a small core with the rest selected arou
 
 `make` builds the library and the hosts; `make check` runs the store's and the app model's unit tests (beside
 their parts) and then `tests/check.py`. Interfaces for
-people are [Vega](/srv/git/vega.git), which links `libpure.a`. The text below records the earlier document runtime
+people are [Vega](/vega), which links `libpure.a`. The text below records the earlier document runtime
 this grew from.
 
 A standalone native micro runtime being designed as a small operating
diff --git a/docs/design/008-module-format.md b/docs/design/008-module-format.md
index 02f8900..de5849a 100644
--- a/docs/design/008-module-format.md
+++ b/docs/design/008-module-format.md
@@ -4,7 +4,7 @@
 모듈 파일 읽기 `module-store.c`, 트리 저장소 `store/store-tree.c`, HTTP 호스트 `serve/`.
 
 Pure가 실행하는 앱 정의의 형식이다. JVM이 class 파일 형식을 소유하듯 Pure가 이 형식과
-검증 규칙을 소유한다. 생산자는 [aup](/srv/git/aup.git) 같은 툴체인이다. Pure는 소스·문법을 모르며,
+검증 규칙을 소유한다. 생산자는 [aup](/aup) 같은 툴체인이다. Pure는 소스·문법을 모르며,
 로드할 때 모든 규칙을 확인한 모듈만 실행한다.
 
 v1(스칼라)은 워크벤치 앱과 같은 의미였다: f64 상태, 키 입력, 원자적 이벤트 핸들러, 순수한 보기.