planning-with-files-lean-spec-bridge

To keep LeanSpec specs and execution plans in sync, you can bridge them by generating SpecRef and ExecutionPlan references across the specs/ and doc/plans/ directories. This creates bidirectional links to coordinate requirements and progress with minimal manual steps.

The LeanSpec bridge consolidates specification governance and execution planning. It aligns SpecRef and ExecutionPlan references so humans and AI agents can coordinate requirements, plans, and progress without overwriting user-maintained plans.

You generate coordination documents for LeanSpec and execution plans by running the bootstrap-bridge.sh tooling. This script creates the COORDINATION_LEANSPEC.md file in your repository, establishing bidirectional references between your specs and plans.

Yes, bridging LeanSpec specs with execution plans requires existing LeanSpec specs under specs/ and execution plans under doc/plans/. The bootstrap-bridge.sh tooling uses these directories to generate and maintain bidirectional references.

Bridging LeanSpec specs maintains bidirectional references while specifically avoiding overwriting your user-maintained execution plans. It aligns SpecRef and ExecutionPlan references to keep coordination documents synchronized without destroying existing content.

Yes, AI agents can use the LeanSpec bridge to coordinate execution plans. The workflow generates a COORDINATION_LEANSPEC.md file and bidirectional references, enabling both humans and AI agents to coordinate requirements and track progress with minimal manual steps.