Enrich CVL guidance with Codex experimnet: ERC‑4626 and rewards patterns (from Aave Stata specs)#436

Open

omerlerinman wants to merge 12 commits intomasterfrom

feat/codex_update_docs_from_aave_v3

Commits on Sep 9, 2025

feat: update the docs with codex iterating the spec files from aave-v3-horizon/tree/main/certora/stata/specs'
omerlerinman
committed
chore: codex file to map the repo main repo components
omerlerinman
committed
chore: .gitignore update
omerlerinman
committed
docs: add rounding envelopes pattern; fix broken links and includes; integrate real-world hooks/math tips
omerlerinman
committed
docs: fix linkcheck warnings (replace local includes with stable GitHub links); normalize heading levels; remove link_output.txt
omerlerinman
committed
fix: spelling wordlist
omerlerinman
committed
chore: fix AGENTS.md typos and casing; align with docs style and tone
omerlerinman
committed
docs: normalize non-breaking hyphens to ASCII hyphens; fix wording (Aave-style); minor spelling tolerances
omerlerinman
committed
fix: more spelling
omerlerinman
committed
chore: ignore the AGENTS file in the spelling conf
omerlerinman
committed
spelling
omerlerinman
committed
fix spelling
omerlerinman
committed