prop-amm: retune walkthrough trade to 5 NVDAx to match the book's wallet convention#109
Open
mikemaccana wants to merge 1 commit into
Open
prop-amm: retune walkthrough trade to 5 NVDAx to match the book's wallet convention#109mikemaccana wants to merge 1 commit into
mikemaccana wants to merge 1 commit into
Conversation
…let convention The book now gives every character a standard starting wallet of one SOL and 1,000 USDC, and the prop AMM chapter's Alice can no longer afford the old 10-NVDAx walkthrough buy (1,651.65 USDC). The chapter's numbers are the tests' numbers, so both move together: the walkthrough trade is now 5 NVDAx — 825.825 USDC at the $165.165 ask, 824.175 USDC back at the $164.835 bid, a 1.65 USDC round-trip spread. The oracle-repricing and re-quote fills scale the same way (850.85 at $170, 829.125 at 50 bps). No program changes: same math, same gates, same assertions to the minor unit — only the amounts. Updated across the Anchor LiteSVM suite, the Quasar suite, the kani-proofs unit tests, and both READMEs. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01MjDPoqwPYDGnLoMoXsto8r
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
The book now gives every character a standard starting wallet of one SOL and 1,000 USDC, and the prop AMM chapter's Alice can no longer afford the old 10-NVDAx walkthrough buy (1,651.65 USDC). The chapter's numbers are the tests' numbers, so both move together: the walkthrough trade is now 5 NVDAx — 825.825 USDC at the $165.165 ask, 824.175 USDC back at the $164.835 bid, a 1.65 USDC round-trip spread. The oracle-repricing and re-quote fills scale the same way (850.85 at $170, 829.125 at 50 bps).
No program changes: same math, same gates, same assertions to the minor unit — only the amounts, verified independently in Python. Updated across the Anchor LiteSVM suite, the Quasar suite, the kani-proofs unit tests (
buy_five_nvdax,sell_five_nvdax), and both READMEs; CHANGELOGs note the retune.Testing
cargo check --testsclean for the Anchor workspace and the Quasar port;cargo testgreen inkani-proofs(5/5)anchor build && cargo testruns in CI (SBF toolchain unavailable in my sandbox, as with token-fundraiser: let a maker retire a failed raise and raise again #107/prop-amm: add oracle-quoted proprietary AMM example #108)🤖 Generated with Claude Code
https://claude.ai/code/session_01MjDPoqwPYDGnLoMoXsto8r
Generated by Claude Code