xchecker-phase-api 1.2.0

Shared contract for phase execution in xchecker
Documentation

Phase trait system for orchestrating spec generation workflows

This module defines the core Phase trait and related types that enable the structured execution of spec generation phases with separated concerns.

Purpose

This crate provides the shared contract between the orchestrator and phase implementations. It contains minimal types needed for phase execution without introducing circular dependencies.