fix: resolve all broken links and anchors

- Fix /miden-tutorials and /miden-base dead links → relative paths
- Unpublish patterns.md draft flag so links resolve
- Fix #no_std-environment → #common-no_std-patterns anchor
- Fix core_lib index: absolute /user_docs/libcore/word → ./word.md
- Remove broken #stdstarkmod and #stdsysvm anchors from core_lib
- Remove dangling #attributes anchor from code_organization.md
- Apply same fixes in versioned_docs/version-0.13

Author: BrianSeong99

docs/builder/quick-start/accounts.md

@@ -158,7 +158,7 @@ npm run dev
 ```
 
 :::tip
-For detailed frontend setup guidance, see the [Web Client tutorial](/miden-tutorials/web-client/create_deploy_tutorial#step-2-set-up-the-webclient).
+For detailed frontend setup guidance, see the [Tutorials section](../develop/tutorials/rust-compiler/).
 :::
 
 ## Creating Accounts Programmatically

docs/builder/quick-start/your-first-smart-contract/test.md

@@ -299,7 +299,7 @@ Congratulations! You've successfully completed the Miden smart contract quick st
 
 To deepen your knowledge, we recommend exploring the following resources:
 
-- Visit the [Tutorials section](/miden-tutorials) for detailed, hands-on guides on topics such as contract interactions, advanced storage, custom note scripting, and integrating with external applications via the Miden Web Client.
-- For in-depth technical explanations of core concepts, consult the [Protocol section](/miden-base) of the documentation. Here you'll find comprehensive information on Miden's architecture, account model, transaction lifecycle, and the underlying zero-knowledge technology that powers the network.
+- Visit the [Tutorials section](../../develop/tutorials/rust-compiler/) for detailed, hands-on guides on topics such as contract interactions, advanced storage, custom note scripting, and integrating with external applications.
+- For in-depth technical explanations of core concepts, consult the [Core Concepts section](../../../core-concepts/) of the documentation. Here you'll find comprehensive information on Miden's architecture, account model, transaction lifecycle, and the underlying zero-knowledge technology that powers the network.
 
 The foundational patterns and concepts you've practiced in this Quick Start will enable you to build complex, privacy-preserving applications on the Miden network. Continue with the resources above to take your development further!

docs/builder/smart-contracts/patterns.md

@@ -1,7 +1,6 @@
 ---
 title: "Patterns & Security"
 sidebar_position: 6
-draft: true
 description: "Common patterns for access control, rate limiting, spending limits, and security in Miden Rust contracts."
 ---
 
@@ -38,7 +37,7 @@ impl Wallet {
 ```
 
 :::note
-All Miden contracts require `#![no_std]`. The remaining examples on this page omit the preamble (`#![no_std]`, `#![feature(alloc_error_handler)]`) for brevity. See [Toolchain & Project Structure](./getting-started#no_std-environment) for the full setup.
+All Miden contracts require `#![no_std]`. The remaining examples on this page omit the preamble (`#![no_std]`, `#![feature(alloc_error_handler)]`) for brevity. See [Toolchain & Project Structure](./getting-started#common-no_std-patterns) for the full setup.
 :::
 
 ### Counter

versioned_docs/version-0.13/builder/quick-start/accounts.md

@@ -158,7 +158,7 @@ npm run dev
 ```
 
 :::tip
-For detailed frontend setup guidance, see the [Web Client tutorial](/miden-tutorials/web-client/create_deploy_tutorial#step-2-set-up-the-webclient).
+For detailed frontend setup guidance, see the [Tutorials section](../develop/tutorials/rust-compiler/).
 :::
 
 ## Creating Accounts Programmatically

versioned_docs/version-0.13/builder/quick-start/your-first-smart-contract/test.md

@@ -299,7 +299,7 @@ Congratulations! You've successfully completed the Miden smart contract quick st
 
 To deepen your knowledge, we recommend exploring the following resources:
 
-- Visit the [Tutorials section](/miden-tutorials) for detailed, hands-on guides on topics such as contract interactions, advanced storage, custom note scripting, and integrating with external applications via the Miden Web Client.
-- For in-depth technical explanations of core concepts, consult the [Protocol section](/miden-base) of the documentation. Here you'll find comprehensive information on Miden's architecture, account model, transaction lifecycle, and the underlying zero-knowledge technology that powers the network.
+- Visit the [Tutorials section](../../develop/tutorials/rust-compiler/) for detailed, hands-on guides on topics such as contract interactions, advanced storage, custom note scripting, and integrating with external applications.
+- For in-depth technical explanations of core concepts, consult the [Core Concepts section](../../../core-concepts/) of the documentation. Here you'll find comprehensive information on Miden's architecture, account model, transaction lifecycle, and the underlying zero-knowledge technology that powers the network.
 
 The foundational patterns and concepts you've practiced in this Quick Start will enable you to build complex, privacy-preserving applications on the Miden network. Continue with the resources above to take your development further!

versioned_docs/version-0.13/builder/smart-contracts/patterns.md

@@ -37,7 +37,7 @@ impl Wallet {
 ```
 
 :::note
-All Miden contracts require `#![no_std]`. The remaining examples on this page omit the preamble (`#![no_std]`, `#![feature(alloc_error_handler)]`) for brevity. See [Toolchain & Project Structure](./getting-started#no_std-environment) for the full setup.
+All Miden contracts require `#![no_std]`. The remaining examples on this page omit the preamble (`#![no_std]`, `#![feature(alloc_error_handler)]`) for brevity. See [Toolchain & Project Structure](./getting-started#common-no_std-patterns) for the full setup.
 :::
 
 ### Counter

versioned_docs/version-0.13/core-concepts/miden-vm/user_docs/assembly/code_organization.md

@@ -13,7 +13,7 @@ Miden assembly programs are organized into procedures. Procedures, in turn, can
 ### Procedures
 A *procedure* can be used to encapsulate a frequently-used sequence of instructions which can later be invoked via a label. A procedure is introduced using the `proc` keyword. Procedure definitions consist of the following parts, in the order they appear:
 
-* Zero or more attributes which modify the procedure definition, or annotate it in some way. These can be user-defined, but there are also built-in attributes that modify the procedure itself. Currently, the only built-in attribute is `@locals(N)`, which specifies the number of procedure locals allocated for the procedure. See the [Attributes](#attributes) section for more on their syntax and semantics.
+* Zero or more attributes which modify the procedure definition, or annotate it in some way. These can be user-defined, but there are also built-in attributes that modify the procedure itself. Currently, the only built-in attribute is `@locals(N)`, which specifies the number of procedure locals allocated for the procedure. See the Attributes section below for more on their syntax and semantics.
 * An optional visibility modifier, i.e. `pub` if the procedure is to be exported from the containing module.
 * The `proc` keyword
 * The procedure name/label

versioned_docs/version-0.13/core-concepts/miden-vm/user_docs/core_lib/index.md

@@ -35,7 +35,7 @@ Currently, Miden core library contains just a few modules, which are listed belo
 | [miden::core::collections::smt](./collections.md#sparse-merkle-tree)        | Contains procedures for manipulating Sparse Merkle Trees with 4-element keys and values.                                                                         |
 | [miden::core::collections::sorted_array](./collections.md#sorted-array)     | Contains procedures for searching in sorted arrays of words.                                                                                                     |
 | [miden::core::pcs::fri::frie2f4](./pcs/fri.md#fri-extension-2-fold-4)       | Contains procedures for verifying FRI proofs (field extension = 2, folding factor = 4).                                                                          |
-| [miden::core::stark::mod](./stark.md#stdstarkmod)                           | Contains procedures and helpers used when verifying STARK proofs inside the VM.                                                                                  |
+| [miden::core::stark::mod](./stark.md)                                       | Contains procedures and helpers used when verifying STARK proofs inside the VM.                                                                                  |
 | [miden::core::crypto::aead](./crypto/aead.md)                               | Contains procedures for authenticated encryption with associated data (AEAD) using RPO hash.                                                                     |
 | [miden::core::crypto::dsa::ecdsa_k256_keccak](./crypto/dsa.md#ecdsa-secp256k1-keccak256) | Contains procedures for verifying ECDSA signatures on the secp256k1 curve with Keccak256 hashing.                                                   |
 | [miden::core::crypto::dsa::eddsa_ed25519_sha512](./crypto/dsa.md#eddsa-ed25519-sha512)   | Contains procedures for verifying EdDSA signatures on the Ed25519 curve with SHA512 hashing.                                                        |
@@ -49,5 +49,5 @@ Currently, Miden core library contains just a few modules, which are listed belo
 | [miden::core::math::u256](./math/u256.md)                                   | Contains procedures for working with 256-bit unsigned integers.                                                                                                  |
 | [miden::core::mem](./mem.md)                                                | Contains procedures for working with random access memory.                                                                                                       |
 | [miden::core::sys](./sys.md)                                                | Contains system-level utility procedures.                                                                                                                        |
-| [miden::core::sys::vm](./sys_vm.md#stdsysvm)                                | Contains VM-facing utility procedures needed during Miden VM recursive proof verification.                                                                       |
-| [miden::core::word](/user_docs/libcore/word)                                | Contains utilities for working with words.                                                                                                                       |
+| [miden::core::sys::vm](./sys_vm.md)                                         | Contains VM-facing utility procedures needed during Miden VM recursive proof verification.                                                                       |
+| [miden::core::word](./word.md)                                              | Contains utilities for working with words.                                                                                                                       |