Inject Kraiken.sol (outstandingSupply, mint/burn mechanics) and Stake.sol (snatch, withdrawal, KRK exclusion from floor denominator) into the red-team agent prompt so agents can reason from actual source rather than guesses. - red-team.sh: read SOL_KRAIKEN and SOL_STAKE from onchain/src/ alongside the other six contracts already injected - red-team-program.md: add ### Kraiken.sol and ### Stake.sol sections in the Source Code reference block (after PriceOracle.sol) - AGENTS.md: document the full list of injected contracts in a new "Red-team Agent Context" section; both files are now listed as in-scope Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com> |
||
|---|---|---|
| .. | ||
| harb-evaluator | ||
| bootstrap-common.sh | ||
| build-ci-images.sh | ||
| build-kraiken-lib.sh | ||
| ci-bootstrap.sh | ||
| dev.sh | ||
| quick-screenshot.mjs | ||
| review-poll.sh | ||
| review-pr.sh | ||
| run-usertest.sh | ||
| screenshot-stake-page.mjs | ||
| sync-tax-rates.mjs | ||
| wait-for-service.sh | ||
| watch-kraiken-lib.sh | ||