https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions-book-intro https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/aave-v3-suite https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/ass01-impl-addr-change https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/ass04-kyc-whitelist https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/ass05-ownership-change https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/ass06-constant-product https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/ass07-lending-health-factor https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/ass08-sum-of-all-positions https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/ass09-timelock-verification https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/ass10-oracle-validation https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/ass11-twap-deviation https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/ass12-erc4626-assets-to-shares https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/ass13-erc4626-deposit-withdraw https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/ass14-fee-calculations https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/ass15-price-within-ticks https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/ass16-liquidation-health-factor https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/ass17-panic-state-validation https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/ass18-harvest-increases-balance https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/ass19-tokens-borrowed-invariant https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/ass20-erc20-drain https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/ass21-ether-drain https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/ass28-intra-tx-oracle-deviation https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/optimism-fma-suite https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/assertions/use-cases-index https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/previous-hacks/abracadabra-gmx-v2-exploit https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/previous-hacks/abracadabra-hack-3 https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/previous-hacks/abracadabra-rounding-error https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/previous-hacks/balancer-v2-stable-rate-exploit https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/previous-hacks/bunni-xyz-rounding-error https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/previous-hacks/bybit-safe-ui https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/previous-hacks/compound-upgrade-bug https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/previous-hacks/cream-finance-2 https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/previous-hacks/euler-finance-donation-hack https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/previous-hacks/first-depositor https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/previous-hacks/gma-aum-jul25-hack https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/previous-hacks/hack1-radiant-capital https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/previous-hacks/hack2-vestra-dao https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/previous-hacks/kiloex-price-manipulation-hack https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/previous-hacks/prev-hacks-index https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/previous-hacks/uxlink-multisig-hack https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/previous-hacks/vicuna-finance-hack https://phylaxsystems-docs-project-incidents.mintlify.site/assertions-book/previous-hacks/visor-finance-unrestricted-mint https://phylaxsystems-docs-project-incidents.mintlify.site/credible/accelerate-with-ai https://phylaxsystems-docs-project-incidents.mintlify.site/credible/architecture-overview https://phylaxsystems-docs-project-incidents.mintlify.site/credible/assertion-da https://phylaxsystems-docs-project-incidents.mintlify.site/credible/assertion-enforcer https://phylaxsystems-docs-project-incidents.mintlify.site/credible/assertions-overview https://phylaxsystems-docs-project-incidents.mintlify.site/credible/backtesting https://phylaxsystems-docs-project-incidents.mintlify.site/credible/backtesting-reference https://phylaxsystems-docs-project-incidents.mintlify.site/credible/cheatcodes-overview https://phylaxsystems-docs-project-incidents.mintlify.site/credible/cheatcodes-reference https://phylaxsystems-docs-project-incidents.mintlify.site/credible/ci-cd-integration https://phylaxsystems-docs-project-incidents.mintlify.site/credible/cli-reference https://phylaxsystems-docs-project-incidents.mintlify.site/credible/credible-install https://phylaxsystems-docs-project-incidents.mintlify.site/credible/credible-introduction https://phylaxsystems-docs-project-incidents.mintlify.site/credible/credible-layer-contracts https://phylaxsystems-docs-project-incidents.mintlify.site/credible/credible-layer-overview https://phylaxsystems-docs-project-incidents.mintlify.site/credible/credible-std-overview https://phylaxsystems-docs-project-incidents.mintlify.site/credible/dapp-incidents https://phylaxsystems-docs-project-incidents.mintlify.site/credible/dapp-integration https://phylaxsystems-docs-project-incidents.mintlify.site/credible/dapp-integrations https://phylaxsystems-docs-project-incidents.mintlify.site/credible/dapp-overview https://phylaxsystems-docs-project-incidents.mintlify.site/credible/dapp-projects https://phylaxsystems-docs-project-incidents.mintlify.site/credible/dapp-transparency-dashboard https://phylaxsystems-docs-project-incidents.mintlify.site/credible/deploy-assertions-dapp https://phylaxsystems-docs-project-incidents.mintlify.site/credible/development-effort https://phylaxsystems-docs-project-incidents.mintlify.site/credible/evaluate-credible-layer https://phylaxsystems-docs-project-incidents.mintlify.site/credible/execution-model https://phylaxsystems-docs-project-incidents.mintlify.site/credible/faq https://phylaxsystems-docs-project-incidents.mintlify.site/credible/fuzz-testing https://phylaxsystems-docs-project-incidents.mintlify.site/credible/glossary https://phylaxsystems-docs-project-incidents.mintlify.site/credible/interfaces-overview https://phylaxsystems-docs-project-incidents.mintlify.site/credible/invariant-to-assertion https://phylaxsystems-docs-project-incidents.mintlify.site/credible/manual-verification https://phylaxsystems-docs-project-incidents.mintlify.site/credible/network-integration https://phylaxsystems-docs-project-incidents.mintlify.site/credible/network-integrations/architecture-linea https://phylaxsystems-docs-project-incidents.mintlify.site/credible/network-integrations/architecture-op-stack https://phylaxsystems-docs-project-incidents.mintlify.site/credible/neutrality https://phylaxsystems-docs-project-incidents.mintlify.site/credible/ownership-verification https://phylaxsystems-docs-project-incidents.mintlify.site/credible/pcl-quickstart https://phylaxsystems-docs-project-incidents.mintlify.site/credible/phevm https://phylaxsystems-docs-project-incidents.mintlify.site/credible/store-submit-assertions https://phylaxsystems-docs-project-incidents.mintlify.site/credible/system-requirements https://phylaxsystems-docs-project-incidents.mintlify.site/credible/testing-assertions https://phylaxsystems-docs-project-incidents.mintlify.site/credible/testing-strategy https://phylaxsystems-docs-project-incidents.mintlify.site/credible/triggers https://phylaxsystems-docs-project-incidents.mintlify.site/credible/troubleshooting https://phylaxsystems-docs-project-incidents.mintlify.site/credible/trust-model https://phylaxsystems-docs-project-incidents.mintlify.site/credible/use-case-mappings/call-frame-context https://phylaxsystems-docs-project-incidents.mintlify.site/credible/use-case-mappings/function-call-inputs https://phylaxsystems-docs-project-incidents.mintlify.site/credible/use-case-mappings/intro-use-case-mapping https://phylaxsystems-docs-project-incidents.mintlify.site/credible/use-case-mappings/read-logs https://phylaxsystems-docs-project-incidents.mintlify.site/credible/use-case-mappings/state-changes https://phylaxsystems-docs-project-incidents.mintlify.site/credible/use-case-mappings/storage-lookups https://phylaxsystems-docs-project-incidents.mintlify.site/credible/use-case-mappings/unsupported-use-cases/modified-keys https://phylaxsystems-docs-project-incidents.mintlify.site/credible/write-first-assertion