speccoder_core/
spec.rs

1//! The format-neutral view of spec-driven work: which format
2//! a project is written in, and the requirements and acceptance scenarios a
3//! unit of work states. The Spec Kit and OpenSpec adapters produce it;
4//! the judge reads only it.
5
6use std::fmt;
7use std::str::FromStr;
8
9use serde::{Deserialize, Serialize};
10
11/// A spec-driven format.
12#[derive(
13    Debug, Clone, Copy, Default, PartialEq, Eq, Hash, Serialize, Deserialize, schemars::JsonSchema,
14)]
15#[serde(rename_all = "snake_case")]
16pub enum FormatKind {
17    /// GitHub Spec Kit (`.specify/`, `specs/NNN-name/`).
18    #[default]
19    Speckit,
20    /// OpenSpec (`openspec/changes/<id>/`).
21    Openspec,
22    /// Kiro and cc-sdd (`.kiro/specs/<name>/`).
23    Kiro,
24}
25
26impl FormatKind {
27    /// Every format, in the order detection reports them.
28    pub const ALL: [Self; 3] = [Self::Speckit, Self::Openspec, Self::Kiro];
29
30    /// The name in `--format` and `[spec] format`.
31    #[must_use]
32    pub const fn name(self) -> &'static str {
33        match self {
34            Self::Speckit => "speckit",
35            Self::Openspec => "openspec",
36            Self::Kiro => "kiro",
37        }
38    }
39
40    /// The name a person reads.
41    #[must_use]
42    pub const fn title(self) -> &'static str {
43        match self {
44            Self::Speckit => "Spec Kit",
45            Self::Openspec => "OpenSpec",
46            Self::Kiro => "Kiro",
47        }
48    }
49}
50
51impl FormatKind {
52    /// Whether this is the reference format (Spec Kit).
53    #[must_use]
54    pub fn is_reference(&self) -> bool {
55        *self == Self::Speckit
56    }
57}
58
59impl fmt::Display for FormatKind {
60    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
61        f.write_str(self.name())
62    }
63}
64
65impl FromStr for FormatKind {
66    type Err = String;
67
68    fn from_str(s: &str) -> Result<Self, Self::Err> {
69        Self::ALL
70            .into_iter()
71            .find(|k| k.name() == s)
72            .ok_or_else(|| format!("`{s}` is not a format (speckit, openspec or kiro)"))
73    }
74}
75
76/// Where a part of an artifact is: its file and byte range.
77#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize, schemars::JsonSchema)]
78pub struct SourceRange {
79    /// Path relative to the project root.
80    pub path: String,
81    /// First byte.
82    pub start: usize,
83    /// One past the last byte.
84    pub end: usize,
85}
86
87/// One acceptance scenario of a requirement.
88#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize, schemars::JsonSchema)]
89pub struct Scenario {
90    /// Stable within the unit: `US1/AC2`, `greeting/Default greeting/No name given`, `1.2`.
91    pub key: String,
92    /// Its text as written.
93    pub raw: String,
94    /// Where it is.
95    pub source: SourceRange,
96}
97
98/// A scenario a task's acceptance tests cite: `US1-2` (Spec Kit), or
99/// `capability: requirement / scenario` (OpenSpec), with the spec's words.
100#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize, schemars::JsonSchema)]
101pub struct ScenarioRef {
102    /// Stable within the unit.
103    pub id: String,
104    /// The scenario as written in the spec.
105    pub text: String,
106}
107
108/// One requirement (a Spec Kit user story, an OpenSpec requirement, a Kiro
109/// requirement) and its scenarios.
110#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize, schemars::JsonSchema)]
111pub struct Requirement {
112    /// Stable within the unit: `US1`, `greeting/Default greeting`, `3`.
113    pub key: String,
114    /// Its title.
115    pub title: String,
116    /// Its whole text.
117    pub text: String,
118    /// Its acceptance scenarios, in document order.
119    pub scenarios: Vec<Scenario>,
120    /// Where it is.
121    pub source: SourceRange,
122}
123
124/// What an OpenSpec project adds to its snapshot.
125#[derive(Debug, Clone, PartialEq, Eq, Serialize, schemars::JsonSchema)]
126pub struct OpenSpecMeta {
127    /// The workflow schema (`spec-driven` is the one speccoder runs).
128    pub schema: String,
129    /// `context` of `openspec/config.yaml`, if any.
130    pub context: Option<String>,
131    /// What a unit of work is called.
132    pub unit_kind: String,
133    /// The selected change's delta requirements, in file order.
134    pub requirements: Vec<DeltaRequirement>,
135}
136
137/// One requirement of a change's spec delta.
138#[derive(Debug, Clone, PartialEq, Eq, Serialize, schemars::JsonSchema)]
139pub struct DeltaRequirement {
140    /// The capability (`openspec/specs/<capability>/spec.md`).
141    pub capability: String,
142    /// `added`, `modified`, `removed` or `renamed`.
143    pub operation: String,
144    /// The requirement's name (the new name for a rename).
145    pub name: String,
146    /// Its scenarios' names.
147    pub scenarios: Vec<String>,
148    /// The delta file, relative to the project root.
149    pub path: String,
150    /// Its heading's line.
151    pub line: u32,
152}
153
154#[cfg(test)]
155mod tests {
156    use super::*;
157
158    #[test]
159    fn formats_parse_and_serialize_by_name() {
160        for k in FormatKind::ALL {
161            assert_eq!(k.name().parse::<FormatKind>(), Ok(k));
162            assert_eq!(serde_json::to_value(k).unwrap_or_default(), k.name());
163        }
164        let err = "bogus".parse::<FormatKind>().unwrap_err();
165        assert_eq!(err, "`bogus` is not a format (speckit, openspec or kiro)");
166    }
167}
speccoder_core/spec.rs

speccoder_core/
spec.rs
