[mikemaccana]

Follows quicknode/solana-book#188, which did this for the Fundraiser chapter. The first commits were pushed to #188's branch after it merged, so they are cherry-picked here onto main.

Wording sweep, every chapter

The book used words that sound like jargon but are labels it had invented. Each now names the handler, field, check or error it stood for, or says who gets what out:

• gate and guard → the check and its error ("the health gate rejects" → "liquidate_position() refuses a healthy position with PositionHealthy"). Solana's "feature gates" and Wormhole's "guardians" stay.
• exit → the handler, or who gets their assets out. The state-machine principle now reads the same everywhere: "every participant must be able to get their assets out of every state".
• money → the stake, the collateral, the deposit or the USDC when it means what a program holds. Everyday speech about people stays ("put money on", "get their money back", "sending money to family abroad"), as do the option terms and the chapter title The Arithmetic of Money.
• truth → the field the program reads. The chapter title Offchain Truth stays.
• lock as a vague noun → where the tokens went ("every resting order's full lock is in a vault" → what the vaults hold for each order).
• proves, promise, X-based, by construction, "the rule" as a pointer, and "is an integer comparison".
• 17 figure labels and SVG comments, with the same or shorter text.

Names that follow the companion repository

quicknode/solana-program-examples#171 renamed these identifiers; the chapters and figures now use the shipped names:

Before	After
protocol_fees	program_fees
accumulated_protocol_fees	accumulated_program_fees
collect_protocol_fees()	collect_program_fees()
protocol_fees_accrue_and_owner_can_collect	program_fees_accrue_and_owner_can_collect
place_bid_locks_quote_in_vault, place_ask_locks_base_in_vault	place_bid_moves_quote_into_vault, place_ask_moves_base_into_vault

Model checks, not formal proofs

The companion repository has Kani model checks and tests, and no formal proofs. The testing section is now "Model Checking Goes Further Than Testing". One paragraph says what a formal proof is and that the repository has none, and explains that the kani-proofs and proof_* names come from Kani's #[kani::proof] attribute. Every "Kani proofs", "formally verified" and "machine-checked proofs" now says model-checks. The conclusion's formal-verification paragraph is gone. The companion docs were changed to match in quicknode/solana-program-examples#170.

Glossary

• New entries: asset (assets on Solana are represented as tokens), token (SOL is the native token; USDC, NVDAx and the rest are SPL tokens) and open source (a license that meets the Open Source Definition).
• The degenerate-value and invariant entries say what K is and link to it.

Factual fixes

• Perps:
  • LPs do not earn fees. In all three versions of the program, open and close fees go to program_fees (the pool creator's) and the liquidation fee goes to the liquidator. LPs earn traders' losses and funding.
  • collect_fees() is not Maria's only signed handler: set_funding_rate() also requires her signature.
• Betting market: "The Draft status is what keeps the list fixed" said the opposite of what happens. Outcomes can be added only while the event is a Draft, and the list is fixed when the admin opens betting. The rejected design is described as the naive alternative, in the conditional. The testing section says exactly when close_losing_bet() works: only on a settled event and only for a bet that lost.
• Tokens: a footnote points to tokens.xyz for which assets are available as Solana tokens.

Linter

scripts/lint-manuscript.mjs now rejects:

• gate, guard, exit, money and truth;
• by construction, X-based and "is a comparison";
• a test that proves, and proof wording for Kani harnesses;
• a bare "key", when it should say private key or public key;
• "protocol" anywhere, including inside identifiers. The one exception is the Solend organization's name in a GitHub link.

Each rule keeps the exceptions above. The matching style rules are in quicknode/solana-finance-claude-plugin#73, #74 and #75.

npm run lint, node scripts/check-figure-geometry.mjs and npm run build-pdf all pass.

🤖 Generated with Claude Code

https://claude.ai/code/session_01JGEoAUjMm7Evv69k46eNcn