v0.0.2 — Portable agent infrastructure

Infrastructure-only release: canonical shared skills, guarded Lean and Codex commands, optional Codex/Claude adapters, and reviewed develop/main integration policy. No TDA proofs or algorithms are claimed. Lean sources and dependency pins are unchanged. Full stable build, axiom audit and coverage checks passed on the tagged revision.