Phase 3: Update documentation for new hyperlink format

Updated documentation to reflect the new single-line hyperlink format:
- website/docs/developers/ocaml-reference-tracking.md: Complete rewrite of format specification and examples
- CLAUDE.md: Updated example to use hyperlink format

The new format is simpler and more maintainable:
/// OCaml: <https://github.com/MinaProtocol/mina/blob/COMMIT/path#L1-L10>

Co-authored-by: dannywillems <6018454+dannywillems@users.noreply.github.com>

Author: Copilot

CLAUDE.md

@@ -170,9 +170,7 @@ to track correspondence and detect when updates are needed.
 **Comment format:**
 
 ```rust
-/// OCaml reference: src/lib/mina_base/transaction_status.ml L:9-113
-/// Commit: 55582d249cdb225f722dbbb3b1420ce7570d501f
-/// Last verified: 2025-10-08
+/// OCaml: <https://github.com/MinaProtocol/mina/blob/5da42ccd72e791f164d4d200cf1ce300262873b3/src/lib/mina_base/transaction_status.ml#L9-L51>
 pub enum TransactionFailure {
     // ...
 }

website/docs/developers/ocaml-reference-tracking.md

@@ -23,31 +23,49 @@ comments that reference the corresponding OCaml code. This helps developers:
 
 ## Comment format
 
-OCaml references are added as doc comments directly above the Rust type or
-function:
+OCaml references are added as single-line doc comments directly above the Rust
+type or function, using a clickable hyperlink format:
 
 ```rust
-/// OCaml reference: src/lib/mina_base/transaction_status.ml L:9-113
-/// Commit: 55582d249cdb225f722dbbb3b1420ce7570d501f
-/// Last verified: 2025-10-08
+/// OCaml: <https://github.com/MinaProtocol/mina/blob/5da42ccd72e791f164d4d200cf1ce300262873b3/src/lib/mina_base/transaction_status.ml#L9-L51>
 pub enum TransactionFailure {
     // ...
 }
 ```
 
 ### Format specification
 
-- **Line 1**: `/// OCaml reference: <path> L:<start>-<end>`
-  - `<path>`: Path to the OCaml file relative to the Mina repository root
-  - `L:<start>-<end>`: Line range in the OCaml file (optional but recommended)
-- **Line 2**: `/// Commit: <commit-hash>`
-  - Full commit hash from the Mina repository
-- **Line 3**: `/// Last verified: <YYYY-MM-DD>`
-  - Date when the reference was last verified to be accurate
+The format is: `/// OCaml: <URL>`
+
+Where the URL follows this structure:
+
+```
+https://github.com/MinaProtocol/mina/blob/<commit-hash>/<path>#L<start>-L<end>
+```
+
+- `<commit-hash>`: Full commit hash from the Mina repository (40 characters)
+- `<path>`: Path to the OCaml file relative to the Mina repository root
+- `#L<start>-L<end>`: Line range in the OCaml file (optional but recommended)
+
+**Benefits of this format**:
+
+- Single line is easier to read and maintain
+- Clickable in IDEs and GitHub
+- Commit hash embedded in URL preserves historical tracking
+- Line range visible directly in URL fragment
+- Works in markdown viewers and documentation
 
 ## Validation script
 
-The `.github/scripts/check-ocaml-refs.sh` script validates all OCaml references:
+The `.github/scripts/check-ocaml-refs.sh` script validates all OCaml references.
+
+:::note
+
+The validation script is being updated to support the new hyperlink format. In
+the meantime, newly added references using the hyperlink format will not be
+automatically validated by CI.
+
+:::
 
 ```bash
 # Validate against compatible branch (default)
@@ -91,16 +109,14 @@ The workflow can also be triggered manually via the Actions tab.
 When implementing new features from the OCaml codebase:
 
 1. Add the OCaml reference comment above your Rust type/function
-2. Use the current commit hash from the Mina repository
-3. Set the verification date to today
-4. Include line ranges to make it easy to find the exact code
+2. Use the current commit hash from the Mina repository (full 40-character hash)
+3. Include line ranges to make it easy to find the exact code
+4. Use angle brackets around the URL for automatic linking
 
 Example:
 
 ```rust
-/// OCaml reference: src/lib/mina_base/fee_transfer.ml L:19-45
-/// Commit: 55582d249cdb225f722dbbb3b1420ce7570d501f
-/// Last verified: 2025-10-08
+/// OCaml: <https://github.com/MinaProtocol/mina/blob/5da42ccd72e791f164d4d200cf1ce300262873b3/src/lib/mina_base/fee_transfer.ml#L19-L45>
 #[derive(Debug, Clone, PartialEq)]
 pub struct SingleFeeTransfer {
     pub receiver_pk: CompressedPubKey,