BM-165: Refactor Book: Glossary, License, Placeholders, Ref. Links (github#13)

Refactors to have three primary sub-sections:

1. The Market (concepts & design)
2. Requestor Manual 
3. Prover Manual

Adds pages:

- License (all rights reserved for now)
- Glossary
- Reference
- `README.md`s for all dir's for better github browsing experience and
overview sections in the Book
- ~~`links.md` that (will eventually) contain all links in the book. See
[BM-191](https://linear.app/risczero/issue/BM-191/use-single-page-for-all-reference-style-links)~~

Adds CSS for captioned images


![image](https://github.com/user-attachments/assets/e42cbf5e-aa44-4284-b1c1-d5132357dfcf)


Fixes
https://linear.app/risczero/issue/BM-189/refactor-overall-to-be-better-consumed-top-to-bottom-as-a-book

Author: nuke-web3

LICENSE.md

@@ -0,0 +1,3 @@
+Copyright (c) 2024 RISC Zero, Inc.
+
+All rights reserved.

docs/README.md

@@ -1,4 +1,4 @@
-# Boundless Docs
+# Boundless Book
 
 ## Dependencies
 
@@ -11,3 +11,14 @@ cargo install mdbook
 ```console
 mdbook serve --open -p 3001
 ```
+
+## Linting & Formatting
+
+From the top-level working directory:
+
+```console
+# Format all files configured in .dprint.jsonc
+dprint fmt
+# Check all links configured in lychee.toml
+lychee .
+```

docs/book.toml

@@ -12,9 +12,11 @@ edition = "2021"                  # the default edition for code blocks
 [build]
 build-dir = "book"                # the directory where the output is placed
 create-missing = false            # opt out of helper to create missing stub files, we want to fail if the SUMMARY.md is incorrect.
-use-default-preprocessors = true  # use the default preprocessors
+use-default-preprocessors = false # want `links` but not `index` https://rust-lang.github.io/mdBook/format/configuration/general.html#build-options
 extra-watch-dirs = []             # directories to watch for triggering builds
 
+[preprocessor.links]
+
 [output.html]
 # site-url = "/boundless-xyz"      # needed for gh-pages, MUST match repo name on github!
 git-repository-url = "https://github.com/boundless-xyz/boundless"
@@ -23,7 +25,6 @@ default-theme = "Boundless"
 preferred-dark-theme = "Navy"
 fold.enable = true                # Sidebar collapses automatically
 print.enable = false              # Disclude support for printable output
-additional-js = ["solidity.min.js", "yul.min.js"]
 
 [output.html.search]
 limit-results = 20

docs/solidity.min.js

@@ -0,0 +1 @@
+../../LICENSE.md

docs/src/LICENSE.md

@@ -1,9 +1,28 @@
-# Introduction
+<center><h2> The Verifiable Compute Layer </h2></center>
 
-This is the Boundless book, we will cover the following topics:
+<figure>
+  <img src="images/boundless-vision-blog-devs-overview.webp"/>
+  <cap>Boundless: Verifiable Off-chain Computation on Any Chain</cap>
+</figure>
 
-- The proving market design
-- Market mechanics
-- How to request a proof as a client
-- How to run and operate a Bento proving cluster (for the market or private)
-- How to operate a broker node for participating in the network as a prover
+This Book's goal is to:
+
+- Enable everyone to _understand_ [Boundless][term-boundless] via the [Market Section][page-market-overview]
+- Act as a User Manual for the two key _actors_ in the [Boundless Market][term-boundless-market]:
+  - [Requestors][term-requestor] - using the [Requestor Manual][page-requestor-manual]
+  - [Provers][term-prover] - using the [Prover Manual][page-prover-manual]
+
+Boundless is relatively complex in it's architecture and requires idiosyncratic terms to identify what is being referenced, defined in the [glossary][page-glossary].
+
+Helpful resources and more can be found in the [reference][page-reference].
+
+[page-prover-manual]: prover-manual/README.md
+[page-market-overview]: market/README.md
+[page-requestor-manual]: requestor-manual/README.md
+[page-glossary]: glossary.md
+[page-reference]: reference.md
+[term-bento]: glossary.md#bento
+[term-boundless]: glossary.md#boundless-market
+[term-boundless-market]: glossary.md#boundless-market
+[term-requestor]: glossary.md#requestor
+[term-prover]: glossary.md#prover

docs/src/README.md

@@ -1,27 +1,26 @@
 # Summary
 
-- [Introduction](./README.md)
+[🏡 Boundless](./README.md)
 
-# Market
+---
 
-- [Boundless Market v0 RFC](./market/prover_market_rfc.md)
-- [Market Matching Design](./market/reverse_dutch.md)
-- [Submit proving requests](./market/proving_request.md)
+- [💹 Market Overview](./market/README.md)
 
-# Bento
+  - [Boundless Market RFC](./market/rfc.md)
+  - [Market Matching](./market/matching.md)
+  - [Local Development Configuration](./market/local-development.md)
 
-- [Running Bento](./bento/running_bento.md)
-- [Technical Design](./bento/technical_design.md)
+- [🙋 Requestor Manual](./requestor-manual/README.md)
 
-# Broker
+  - [Broadcasting Requests](./requestor-manual/broadcasting.md)
 
-- [Run a broker node](./broker/broker_node.md)
-- [Play with a local devnet](./broker/local_devnet.md)
+- [🏋 Prover Manual](./prover-manual/README.md)
 
-<!-- TODO add back the link to the Sepolia doc when ready -->
+  - [Bento](./prover-manual/bento/README.md)
+    - [Running Bento](./prover-manual/bento/running_bento.md)
+  - [Broker](./prover-manual/broker/README.md)
 
-- [Play with Sepolia]()
+- [🔗 Reference](./reference.md)
+- [📑 Glossary](./glossary.md)
 
-# Examples
-
-> TODO: Document counter example here
+[🏷️ License](./LICENSE.md)

docs/src/SUMMARY.md

@@ -0,0 +1,58 @@
+# Glossary
+
+### Assessor
+
+A [guest program][r0-term-guest-program] that will verify the application receipt through composition and check that it satisfies the given requirements. Using this method, the full request does not need to be provided as part of fulfillment, only the associated identifier.
+
+### Aggregation
+
+In order to amortize the Boundless' _on-chain verification cost_, a recursive verification protocol is used to verify multiple independent [receipts][r0-term-reciept] such that a single receipt attests to every claim in a set of proofs.
+Further improving efficiency of inclusion proofs on-chain, this process builds a binary Merkle tree of the receipt claims.
+
+> See `crates/aggregation-set/src/lib.rs` and `crates/guest/set-builder/set-builder-guest/src/main.rs` for details.
+
+### Bento
+
+A cluster of services that coordinate to search for, bid on, and attempt to fulfil [proof order](#proof-order)s.
+
+> See the [Bento Documentation][page-bento] for moe details.
+
+### Broker
+
+A cluster of services that coordinate to search for, bid on, and attempt to fulfil [proof order](#proof-order)s.
+
+> See the [Bento Documentation][page-bento] for moe details.
+
+### Prover
+
+The market participant that fulfills [proof order](#proof-order)
+
+### Proof Order
+
+<!-- TODO https://linear.app/risczero/issue/BM-201/replace-proof-request-with-order -->
+
+An order placed on the [Boundless Market](#boundless-market) to that includes:
+
+- A Unique ID for the request on the Market
+- Proof Requirements for a this order to be fulfilled, including the [Image ID][r0-term-image-id]
+- A URL where the [ELF Binary][r0-term-elf-binary] for the program with required Image ID's can be retrieved byt the [Prover](#prover)
+- [Guest Program][r0-term-guest-program] inputs
+- An Offer specifying remuneration for successful order fulfillment
+
+See `contracts/src/IProofMarket.sol` for more details.
+
+### Requestor
+
+<!-- TODO https://linear.app/risczero/issue/BM-202/replace-instances-of-client-with-requestor -->
+
+Also referred to as the Client in the context of contracts, the party submitting orders to the market proofs form the Boundless Market.
+
+### Preflight
+
+is this specific and need a name? (run execution to check cost and see if execution is valid at all)
+
+[r0-term-image-id]: https://dev.risczero.com/terminology#image-id
+[r0-term-guest-program]: https://dev.risczero.com/terminology#guest-program
+[r0-term-elf-binary]: https://dev.risczero.com/terminology#elf-binary
+[r0-term-reciept]: https://dev.risczero.com/terminology#receipt
+[page-bento]: ./prover-manual/bento/README.md

docs/src/glossary.md

@@ -0,0 +1,14 @@
+# Market Overview
+
+This section includes details pertinent to both:
+
+- [Requestors][term-requestor] - using the [Requestor Manual][page-requestor-manual]
+- [Provers][term-prover] - using the [Prover Manual][page-prover-manual]
+
+Key concepts and designs are discussed, as well as details both need for [local Boundless development][page-local-development].
+
+[page-prover-manual]: ../prover-manual/README.md
+[page-requestor-manual]: ../requestor-manual/README.md
+[page-local-development]: ./local-development.md
+[term-requestor]: ../glossary.md#requestor
+[term-prover]: ../glossary.md#prover