Summary

Adds #698 vera shape to ROADMAP Phase 3a (Agent integration), placed immediately after #523 vera context. The two are conceptual siblings:

• vera context says what's here — token-budgeted public-API export for LLM consumption
• vera shape says what shape it is — per-module histogram of function archetypes (match dispatcher / pipeline / orchestrator / pure helper / HOF wrapper / effect handler / Inference orchestrator / etc.) that maps onto architectural layers (domain / parse / command / AI-strategy / infra / handler)

Both directly inspired by Aver creator Szymon Teżewski (@jasisz1) — vera context from the aver context command shipped earlier; vera shape from his 24 May tweet proposing aver shape.

Why this is more interesting in Vera than in Aver

Aver derives archetypes indirectly from what its grammar forbids (no if/else → match dispatchers; no loops → structural recursion). Vera permits if/else, loops, and lambdas, but adds three static signals Aver doesn't have:

1. Declared effect rows — an effect orchestrator isn't just "a function that does side effects," it's "a function whose effect row is non-pure AND whose body is mostly effect calls." Combined those two signals are sharper than either alone.
2. Typed slot references — structural-recursion detection is mechanical: "function calls itself with the same @T.k for some k strictly smaller than its own arity."
3. Mandatory contracts — contract bodies are themselves analyzable; "contract-rich" is a real archetype that doesn't exist in languages without mandatory contracts.

So Vera's archetype categories are different from Aver's (we have Inference orchestrator and effect handler; Aver has neither since it has no algebraic effects).

Full design + Vera archetype list + classifier sketch in the issue body.

Why docs-only

Adds one bullet to ROADMAP.md Phase 3a. No code change. check_changelog_updated.py only fires for vera/ or spec/ changes, so no CHANGELOG entry needed. No version bump. No release after merge.

Test plan

• git diff --stat ROADMAP.md — 1 file changed, 1 insertion(+)
• Pre-commit hooks all green (mypy / pytest / etc. ran because of .pre-commit-config.yaml's default behaviour, even though no Python changed)

🤖 Generated with Claude Code

Summary by CodeRabbit

• Documentation
  • Roadmap updated with Phase 3a milestone for a new planned CLI subcommand that classifies functions into archetypes and generates per-module histogram analysis, including baseline scanning for shape comparison workflows.