You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
if i have tla+ and srs docs, how can i create project with openspec? #1100
changed the title [-]if we have tla+ and srs docs, how can i create project with openspec?[/-][+]if i have tla+ and srs docs, how can i create project with openspec?[/+]on May 18, 2026
Answered in the docs now, so closing this one out.
Using OpenSpec in an Existing Project has a section called "But I already have requirements docs" that names PRDs, SRS documents and TLA+ models specifically. Short version: do not convert them. Point /opsx:explore at the relevant section of your SRS, and let it shape a focused delta for the change you are making right now. Your TLA+ models stay exactly where they are, still doing their job.
Activity
[-]if we have tla+ and srs docs, how can i create project with openspec?[/-][+]if i have tla+ and srs docs, how can i create project with openspec?[/+]docs: close recurring gaps (existing projects, editing changes, unins…
docs: comprehensive overhaul — discoverability, explore-first, and cl…
docs: comprehensive overhaul — discoverability, explore-first, and cl…
clay-good commentedon Jul 23, 2026
Answered in the docs now, so closing this one out.
Using OpenSpec in an Existing Project has a section called "But I already have requirements docs" that names PRDs, SRS documents and TLA+ models specifically. Short version: do not convert them. Point
/opsx:exploreat the relevant section of your SRS, and let it shape a focused delta for the change you are making right now. Your TLA+ models stay exactly where they are, still doing their job.That guide shipped in #1237 and is in v1.6.0.