docs: remove PR references from documentation and examples (#32)

Author: naory

docs/implementation/dispute-verification.md

@@ -1,4 +1,4 @@
-# Dispute Verification (PR11)
+# Dispute Verification
 
 Tooling to verify disputed settlements using the full MPCP chain plus optional ledger anchor.
 
@@ -30,7 +30,7 @@ if (result.verified) {
 ## Inputs
 
 - **context** — Full `SettlementVerificationContext` (settlement, artifacts, policy grant, SBA, SPA, decision, settlement intent)
-- **ledgerAnchor** — Optional `AnchorResult` from intent anchoring (PR10)
+- **ledgerAnchor** — Optional `AnchorResult` from intent anchoring
 
 ## Output
 

docs/implementation/fleet-operator-tooling.md

@@ -1,4 +1,4 @@
-# Fleet Operator Tooling (PR12)
+# Fleet Operator Tooling
 
 CLI features for fleet operators: settlement verification logs and fleet policy summary.
 

docs/implementation/intent-anchoring.md

@@ -1,8 +1,8 @@
-# Intent Anchoring (PR10)
+# Intent Anchoring
 
 Optional support for publishing intent hashes to distributed ledgers. Provides public auditability, dispute protection, and replay protection.
 
-**Mock anchor** is included for development. **Hedera HCS** adapter is implemented (PR14). XRPL and EVM are future work.
+**Mock anchor** is included for development. **Hedera HCS** adapter is implemented. XRPL and EVM are future work.
 
 ## Purpose
 
@@ -55,7 +55,7 @@ interface AnchorResult {
 
 Anchoring is **optional**. MPCP verification does not require an anchor. Anchors are used for:
 
-- Dispute resolution (PR11)
+- Dispute resolution
 - Audit trails
 - Compliance and attestation
 
@@ -69,7 +69,7 @@ The `mockAnchorIntentHash` function simulates anchoring without contacting a led
 
 **Validation:** Requires 64-char hex intentHash. Throws on invalid input. Only accepts `rail: "mock"` — passing other rails throws to avoid confusion with real ledger behavior.
 
-## Hedera HCS Adapter (PR14)
+## Hedera HCS Adapter
 
 The Hedera HCS adapter publishes intent hashes to a Hedera Consensus Service topic.
 

docs/implementation/offline-payments.md

@@ -1,4 +1,4 @@
-# Offline Payment Authorization (PR8D)
+# Offline Payment Authorization
 
 MPCP enables **offline machine payments** using pre-authorized spending envelopes. Autonomous systems can complete payments when network connectivity is unavailable.
 

docs/implementation/reference-profiles.md

@@ -1,4 +1,4 @@
-# MPCP Reference Profiles (PR15)
+# MPCP Reference Profiles
 
 Named deployment profiles for MPCP. Adopters choose a profile instead of inventing their own rules — reducing ambiguity and making integration easier.
 

examples/machine-commerce/README.md

@@ -1,4 +1,4 @@
-# Fleet Spend Policy Simulator (PR8C)
+# Fleet Spend Policy Simulator
 
 A lightweight SBA (SignedBudgetAuthorization) policy simulator. Tests fleet spending constraints against payment scenarios before deploying to real vehicles or robots.
 

examples/machine-commerce/demo-fleet.mjs

@@ -57,7 +57,7 @@ function log(msg) {
 }
 
 log("");
-log("MPCP Automated Fleet Payment Demo (PR8B)");
+log("MPCP Automated Fleet Payment Demo");
 log("=========================================");
 log("");
 log("Machine-to-machine payment loop:");

examples/machine-commerce/simulate.mjs

@@ -62,7 +62,7 @@ const defaultAsset = { kind: "IOU", currency: "RLUSD", issuer: "rIssuer" };
 const asset = (policy.allowedAssets ?? [defaultAsset])[0];
 
 log("");
-log("MPCP Fleet Spend Policy Simulator (PR8C)");
+log("MPCP Fleet Spend Policy Simulator");
 log("=========================================");
 log("");
 log("Policy:");

examples/parking/README.md

@@ -53,7 +53,7 @@ Committed artifacts use fixed timestamps (`expiresAt: 2030-12-31`, `nowISO: 2026
 
 ---
 
-## Machine Wallet Guardrails Demo (PR8A)
+## Machine Wallet Guardrails Demo
 
 A narrative demo that illustrates **autonomous spend guardrails**: machine wallets spending within cryptographically enforced limits, with local verification and tamper detection.
 
@@ -83,7 +83,7 @@ The script runs the full MPCP flow, prints a step-by-step narrative, writes `gua
 
 ---
 
-## Offline Payment Demo (PR8D)
+## Offline Payment Demo
 
 Demonstrates **offline machine payments**: vehicle holds pre-authorized policy chain, completes payment when network is unavailable.
 

examples/parking/demo-offline.mjs

@@ -51,7 +51,7 @@ function log(msg) {
 }
 
 log("");
-log("MPCP Offline Payment Authorization Demo (PR8D)");
+log("MPCP Offline Payment Authorization Demo");
 log("=================================================");
 log("");
 log("Scenario: Vehicle enters underground garage — NO NETWORK");