docs(site): IA restructure — Diátaxis sidebar, split pages, new explainers#1909

Merged

Th0rgal merged 18 commits into

mainfrom

docs-ia-restructure

May 19, 2026

Commits on May 19, 2026

docs(site): IA restructure — Diátaxis sidebar, split pages, new explainers
Claude Bot
committed
docs(site): remove research log
Claude Bot
committed
docs(site): aggressive pruning — Da Vinci/Saint-Exupéry pass
Claude Bot
committed
docs(site): tighten accuracy against source — Vault, ERC721, full ContractState, missing primitives
Claude Bot
committed
docs(site): macro features cross-link + rewritten llms.txt
Claude Bot
committed
docs(site): unify "six persistent storage spaces" across architecture, faq, glossary
Claude Bot
committed
docs(site): use canonical lfglabs-dev/verity-benchmark URL
Claude Bot
committed
docs(site): fix wrong code in solidity-to-verity walkthrough
Claude Bot
committed
docs(site): fill in missing guide frontmatter, fix See-also titles
Claude Bot
committed
docs(site): rename core.mdx spec-helpers section to stable anchor
Claude Bot
committed
docs(site): update CryptoHash path — it moved from Verity/Examples/ to Contracts/CryptoHash/
Claude Bot
committed
docs(site): modernize examples to verity_contract macro syntax
Claude Bot
committed
docs(site): modernize Ledger and SimpleToken examples to verity_contract syntax
Claude Bot
committed
docs(site): correct trust-model — zero project-level Lean axioms
Claude Bot
committed
docs(site): align faq + llms.txt with the zero-Lean-axioms reality
Claude Bot
committed
docs(site): complete the --deny-* flag inventory
Claude Bot
committed
docs(site): add --deny-unsafe catch-all to the deny table
Claude Bot
committed
docs(site): restore CI-required boundary phrases after the prune
Claude Bot
committed