Repository navigation

Replace coined labels with the checks, handlers and fields they stand for - #190

Merged

mikemaccana merged 49 commits into

mainfrom

claude/plain-wording-sweep

Sep 30, 2026

Merged

Replace coined labels with the checks, handlers and fields they stand for#190
mikemaccana merged 49 commits into
mainfrom
claude/plain-wording-sweep

Commits on Sep 29, 2026
- Replace coined labels with the checks, handlers and fields they stand for
  Mike MacCana
  committed
  f94b7a7
- Perps: LPs earn traders' losses and funding, not fees
  Mike MacCana
  committed
  7c34bee
- Glossary: a degenerate offer passes the usual checks but is worthless
  Mike MacCana
  committed
  5386470
Commits on Sep 30, 2026
- Replace "money" and "guard" with what they stand for; define K in the glossary
  Mike MacCana
  committed
  4c526f2
- Call Kani harnesses model checks, not proofs; define asset and token
  Mike MacCana
  committed
  d6643fe
- Keep the idioms "put money on" and "get their money back"
  Mike MacCana
  committed
  98631f2
- Tokens: point to tokens.xyz for which assets are available as Solana tokens
  Mike MacCana
  committed
  d121fab
- Keep "money" where it is everyday speech about people
  Mike MacCana
  committed
  5d014f6
- Betting market: Draft is when outcomes can change, and opening fixes them
  Mike MacCana
  committed
  9fd0e61
- Betting market: say exactly when close_losing_bet() works
  Mike MacCana
  committed
  c45a600
- Glossary: open source means a license that meets the Open Source Definition
  Mike MacCana
  committed
  15ca65b
- Say a missing handler is hypothetical where the program has it
  Mike MacCana
  committed
  1594e55
- Escrow: the maker's offered tokens would be stranded in the program
  Mike MacCana
  committed
  fbc67c2
- Options: the market's vault holds the writer's shares, not the option
  Mike MacCana
  committed
  88e3c2d
- Fundraiser: contributions come back unless the full target amount is raised
  Mike MacCana
  committed
  064aade
- Name the character where a pronoun would read as a role's
  Mike MacCana
  committed
  be88002
- Say private key or public key, never a bare key
  Mike MacCana
  committed
  cac3b71
- Managed fund: give the slippage cap its own paragraph and its own reason
  Mike MacCana
  committed
  2662225
- State what makes it so, not that nothing needs to happen
  Mike MacCana
  committed
  55fa12e
- Set run-in lists as bullet lists
  Mike MacCana
  committed
  4169107
- Managed fund: the manager is included in the threat model; Victor and Maria must be two people
  Mike MacCana
  committed
  be6a488
- Stop stating a part as the whole
  Mike MacCana
  committed
  38d8871
- Managed fund: point to the Fundraiser footnote instead of repeating its services
  Mike MacCana
  committed
  87e7868
- Say what happens to the tokens instead of calling it a lock
  Mike MacCana
  committed
  de3215a
- Perps: collect_fees() is not Maria's only signed handler
  Mike MacCana
  committed
  e8a4e9d
- Follow the companion's program_fees and "moves into vault" renames
  Mike MacCana
  committed
  13b89bf
- Merge origin/main into claude/plain-wording-sweep
  Mike MacCana
  committed
  617dde0
- Replace "machinery" with the program or software it stood for, and lint it
  Mike MacCana
  committed
  f2fed92
- Conclusion: say "money" where the product ideas talk about the offchain world
  Mike MacCana
  committed
  b5e22ff
- Conclusion: keep "capital to invest", and send the friends for a run
  Mike MacCana
  committed
  6f0e648
- Say "if" instead of "the day" for a condition
  Mike MacCana
  committed
  0967db0
- Glossary: link the RWA entry to asset and token
  Mike MacCana
  committed
  e333c50
- Glossary: RWA entry recommends naming the asset class instead
  Mike MacCana
  committed
  73cf51c
- Glossary: add crypto, a wrapper for trading asset classes rather than one
  Mike MacCana
  committed
  16edd67
- Glossary: crypto entry ends with the token sentence
  Mike MacCana
  committed
  b575c65
- Offchain Truth: say the stopped-publication question belongs in the design
  Mike MacCana
  committed
  fa05200
- Glossary: add Solana, which is neither an asset nor an organization
  Mike MacCana
  committed
  0ffcf44
- Glossary: Solana entry names no organizations
  Mike MacCana
  committed
  14a9378
- Offchain Truth: say plainly that an oracle's publication must be checked
  Mike MacCana
  committed
  cb0a550
- Order book: simplify the eviction sentences
  Mike MacCana
  committed
  a433fba
- Offchain Truth: "an oracle update"
  Mike MacCana
  committed
  e92c3f6
- State machines: tell the reader to make the last payout close everything
  Mike MacCana
  committed
  60ad6ff
- Write rules as instructions in the rules lists and summaries
  Mike MacCana
  committed
  1b17a8e
- Say "values" for what a test or model checker tries, and note why Kani says proof
  Mike MacCana
  committed
  6e75ee5
- Clusters table: devnet is where developers deploy in-progress software
  Mike MacCana
  committed
  878dbe9
- Clusters: other clusters try out a particular proposed network feature
  Mike MacCana
  committed
  fe7ec6a
- Time: say what a shortened slot does, in the summary
  Mike MacCana
  committed
  b259aa8
- Time: name the 400 to 200 millisecond change in the summary
  Mike MacCana
  committed
  d94cb14
- Time: a seven-day window closes 168 hours after it opened, not at midnight
  Mike MacCana
  committed
  e5c44e2

Commits

Commits on Sep 29, 2026

Commits on Sep 30, 2026