Implementation specs

Detailed interface and implementation plans for VeriLib features. Unlike ADRs, which record architectural decisions, these documents describe what to build, how it fits the current system, and phased delivery plans before or during implementation.

Index

Spec	Component	Status	Summary
Admin Probe Version Manager	UX & API, Processor	draft	Admin UI and API for managing probe / verifier toolchain versions, defaults, and backend installs

Related

• ADRs
• Release process
• Frontend releases
• Backend releases