specman 2.2.0

SpecMan runtime library for dependency mapping, templating, and lifecycle automation.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100

use std::collections::BTreeMap;
use std::path::PathBuf;

use serde::{Deserialize, Serialize};

use crate::dependency_tree::ArtifactKind;
use crate::front_matter::ArtifactFrontMatter;

pub const WORKSPACE_INDEX_SCHEMA_VERSION: u32 = 2;

/// Stable identifier for an indexed artifact.
///
/// For this parsing-only iteration, the key is workspace-relative path + kind.
#[derive(Clone, Debug, PartialEq, Eq, PartialOrd, Ord, Hash)]
pub struct ArtifactKey {
    // [ENSURES: concept-specman-structure.discovery.identifiers:CHECK]
    pub kind: ArtifactKind,
    /// Workspace-relative path using forward slashes.
    pub workspace_path: String,
}

#[derive(Clone, Debug)]
pub struct ArtifactRecord {
    pub key: ArtifactKey,
    /// Canonical absolute path.
    pub absolute_path: PathBuf,
    pub front_matter: Option<ArtifactFrontMatter>,
}

/// Artifact-qualified heading identifier.
#[derive(Clone, Debug, PartialEq, Eq, PartialOrd, Ord, Hash)]
pub struct HeadingIdentifier {
    // [ENSURES: concept-specman-structure.discovery.identifiers:CHECK]
    pub artifact: ArtifactKey,
    pub slug: String,
}

#[derive(Clone, Debug)]
pub struct HeadingRecord {
    pub id: HeadingIdentifier,
    pub level: u8,
    /// Original inline markdown from the heading line (after the `#` prefix).
    pub title: String,
    /// Document order (0-based) within the artifact.
    pub order: usize,
    pub parent: Option<HeadingIdentifier>,
    pub children: Vec<HeadingIdentifier>,
    /// Markdown content directly under this heading, excluding child heading blocks.
    pub content: String,
    /// Resolved heading references in inline-link order (dedup not applied).
    pub referenced_headings: Vec<HeadingIdentifier>,
}

/// Artifact-qualified constraint group identifier.
#[derive(Clone, Debug, PartialEq, Eq, PartialOrd, Ord, Hash)]
pub struct ConstraintIdentifier {
    pub artifact: ArtifactKey,
    /// Group set without leading `!` or trailing `:`.
    // [ENSURES: concept-constraints.identifiers.formatting:CHECK]
    pub group: String,
}

#[derive(Clone, Debug)]
pub struct ConstraintRecord {
    pub id: ConstraintIdentifier,
    /// Heading this constraint group is associated with.
    pub heading: HeadingIdentifier,
    /// Line number within the artifact body (1-based) where the identifier appears.
    pub line: usize,
    /// Resolved heading references found within the constraint group's text.
    pub referenced_headings: Vec<HeadingIdentifier>,
}

#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq, PartialOrd, Ord, Hash)]
pub enum RelationshipKind {
    HeadingToArtifact,
    HeadingToHeading,
    HeadingToFile,
    ConstraintToHeading,
    ParentToChild,
}

#[derive(Clone, Debug, PartialEq, Eq, PartialOrd, Ord, Hash)]
pub struct RelationshipEdge {
    pub kind: RelationshipKind,
    pub from: String,
    pub to: String,
}

/// Parsing-only, in-memory structure index for a workspace.
#[derive(Clone, Debug, Default)]
pub struct WorkspaceIndex {
    pub schema_version: u32,
    pub workspace_root: PathBuf,

    pub artifacts: BTreeMap<ArtifactKey, ArtifactRecord>,
    pub headings: BTreeMap<HeadingIdentifier, HeadingRecord>,
    pub constraints: BTreeMap<ConstraintIdentifier, ConstraintRecord>,
    pub relationships: Vec<RelationshipEdge>,
}