Documentation menu

Release candidate: v0.2.0. These docs cover v0.2.0 scope and limits.

Design principles

Keep reasoning, execution, capability definition, and provider I/O separate. Extend locked contracts rather than bypassing them.