Vision And Roadmap¶
Canonical doc: vision-and-roadmap.md in li-langverse/roadmap.
Do not edit ecosystem policy here — open a PR to the roadmap repo (human merge for governance paths).
Strict by default¶
Li is strict by default: proof, security, and performance gates are always on at maximum. There is no optional provability — only explicit project downgrades. Canonical (lic workspace): strict-by-default.md.