Skip to content

Commit 6467127

Browse files
avrabeavrabe
authored
Merge pull request #93 from pulseengine/fix/rivet-traceability-gaps
chore: fix rivet traceability gaps for implemented requirements
2 parents b924558 + cf0ee88 commit 6467127

2 files changed

Lines changed: 174 additions & 0 deletions

File tree

‎artifacts/architecture.yaml‎

Lines changed: 62 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -34,6 +34,8 @@ artifacts:
3434
target: REQ-PARSE-001
3535
- type: satisfies
3636
target: REQ-PARSE-002
37+
- type: satisfies
38+
target: REQ-PARSER-001
3739

3840
- id: ARCH-SYNTAX
3941
type: design-decision
@@ -104,10 +106,30 @@ artifacts:
104106
target: REQ-MODEL-001
105107
- type: satisfies
106108
target: REQ-MODEL-002
109+
- type: satisfies
110+
target: REQ-MODEL-003
111+
- type: satisfies
112+
target: REQ-MODEL-004
107113
- type: satisfies
108114
target: REQ-INST-001
115+
- type: satisfies
116+
target: REQ-INST-002
109117
- type: satisfies
110118
target: REQ-PROP-001
119+
- type: satisfies
120+
target: REQ-PROP-003
121+
- type: satisfies
122+
target: REQ-RESOLVE-001
123+
- type: satisfies
124+
target: REQ-RESOLVE-002
125+
- type: satisfies
126+
target: COVERAGE-CH4
127+
- type: satisfies
128+
target: COVERAGE-CH8
129+
- type: satisfies
130+
target: COVERAGE-CH11
131+
- type: satisfies
132+
target: COVERAGE-CH14
111133

112134
- id: ARCH-HIR
113135
type: design-decision
@@ -163,6 +185,42 @@ artifacts:
163185
target: REQ-ANALYSIS-008
164186
- type: satisfies
165187
target: REQ-ANALYSIS-009
188+
- type: satisfies
189+
target: REQ-SOLVER-003
190+
- type: satisfies
191+
target: COVERAGE-CH4
192+
- type: satisfies
193+
target: COVERAGE-CH5
194+
- type: satisfies
195+
target: COVERAGE-CH8
196+
- type: satisfies
197+
target: COVERAGE-CH9
198+
- type: satisfies
199+
target: COVERAGE-CH10
200+
- type: satisfies
201+
target: COVERAGE-CH11
202+
- type: satisfies
203+
target: COVERAGE-CH13
204+
- type: satisfies
205+
target: COVERAGE-CH14
206+
- type: satisfies
207+
target: STPA-REQ-020
208+
- type: satisfies
209+
target: STPA-REQ-024
210+
- type: satisfies
211+
target: STPA-REQ-025
212+
- type: satisfies
213+
target: STPA-REQ-026
214+
- type: satisfies
215+
target: STPA-REQ-027
216+
- type: satisfies
217+
target: STPA-REQ-028
218+
- type: satisfies
219+
target: STPA-REQ-029
220+
- type: satisfies
221+
target: STPA-REQ-030
222+
- type: satisfies
223+
target: STPA-REQ-031
166224

167225
- id: ARCH-TRANSFORM
168226
type: design-decision
@@ -199,6 +257,8 @@ artifacts:
199257
target: REQ-LSP-001
200258
- type: satisfies
201259
target: REQ-SERDE-001
260+
- type: satisfies
261+
target: STPA-REQ-020
202262

203263
- id: ARCH-WASM
204264
type: design-decision
@@ -646,6 +706,8 @@ artifacts:
646706
target: REQ-CODEGEN-WIT
647707
- type: satisfies
648708
target: REQ-CODEGEN-RUST
709+
- type: satisfies
710+
target: STPA-SEC-REQ-001
649711

650712
- id: ARCH-CODEGEN-002
651713
type: design-decision

‎artifacts/verification.yaml‎

Lines changed: 112 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,10 @@ artifacts:
1313
links:
1414
- type: satisfies
1515
target: ARCH-PARSER
16+
- type: satisfies
17+
target: REQ-PARSER-001
18+
- type: satisfies
19+
target: REQ-PARSE-002
1620

1721
- id: TEST-SYNTAX
1822
type: feature
@@ -38,6 +42,22 @@ artifacts:
3842
links:
3943
- type: satisfies
4044
target: ARCH-HIR-DEF
45+
- type: satisfies
46+
target: REQ-MODEL-002
47+
- type: satisfies
48+
target: REQ-MODEL-003
49+
- type: satisfies
50+
target: REQ-MODEL-004
51+
- type: satisfies
52+
target: REQ-INST-002
53+
- type: satisfies
54+
target: REQ-PROP-001
55+
- type: satisfies
56+
target: REQ-PROP-003
57+
- type: satisfies
58+
target: REQ-RESOLVE-001
59+
- type: satisfies
60+
target: REQ-RESOLVE-002
4161

4262
- id: TEST-HIR
4363
type: feature
@@ -64,6 +84,26 @@ artifacts:
6484
links:
6585
- type: satisfies
6686
target: ARCH-ANALYSIS
87+
- type: satisfies
88+
target: REQ-ANALYSIS-002
89+
- type: satisfies
90+
target: REQ-ANALYSIS-003
91+
- type: satisfies
92+
target: REQ-ANALYSIS-004
93+
- type: satisfies
94+
target: REQ-ANALYSIS-005
95+
- type: satisfies
96+
target: REQ-ANALYSIS-006
97+
- type: satisfies
98+
target: REQ-ANALYSIS-008
99+
- type: satisfies
100+
target: REQ-SOLVER-001
101+
- type: satisfies
102+
target: REQ-SOLVER-002
103+
- type: satisfies
104+
target: REQ-SOLVER-003
105+
- type: satisfies
106+
target: REQ-SOLVER-007
67107

68108
- id: TEST-TRANSFORM
69109
type: feature
@@ -76,6 +116,8 @@ artifacts:
76116
links:
77117
- type: satisfies
78118
target: ARCH-TRANSFORM
119+
- type: satisfies
120+
target: REQ-TRANSFORM-001
79121

80122
- id: TEST-CLI
81123
type: feature
@@ -90,6 +132,10 @@ artifacts:
90132
links:
91133
- type: satisfies
92134
target: ARCH-CLI
135+
- type: satisfies
136+
target: REQ-LSP-001
137+
- type: satisfies
138+
target: STPA-REQ-020
93139

94140
- id: TEST-WASM
95141
type: feature
@@ -116,14 +162,78 @@ artifacts:
116162
links:
117163
- type: satisfies
118164
target: REQ-PARSE-001
165+
- type: satisfies
166+
target: REQ-PARSE-002
119167
- type: satisfies
120168
target: REQ-MODEL-001
169+
- type: satisfies
170+
target: REQ-MODEL-002
171+
- type: satisfies
172+
target: REQ-MODEL-003
173+
- type: satisfies
174+
target: REQ-MODEL-004
121175
- type: satisfies
122176
target: REQ-INST-001
177+
- type: satisfies
178+
target: REQ-INST-002
123179
- type: satisfies
124180
target: REQ-ANALYSIS-001
181+
- type: satisfies
182+
target: REQ-ANALYSIS-002
183+
- type: satisfies
184+
target: REQ-ANALYSIS-003
185+
- type: satisfies
186+
target: REQ-ANALYSIS-004
187+
- type: satisfies
188+
target: REQ-ANALYSIS-005
189+
- type: satisfies
190+
target: REQ-ANALYSIS-006
191+
- type: satisfies
192+
target: REQ-ANALYSIS-008
125193
- type: satisfies
126194
target: REQ-SERDE-001
195+
- type: satisfies
196+
target: REQ-PROP-001
197+
- type: satisfies
198+
target: REQ-PROP-003
199+
- type: satisfies
200+
target: REQ-RESOLVE-001
201+
- type: satisfies
202+
target: REQ-RESOLVE-002
203+
- type: satisfies
204+
target: REQ-SOLVER-001
205+
- type: satisfies
206+
target: REQ-SOLVER-002
207+
- type: satisfies
208+
target: REQ-SOLVER-003
209+
- type: satisfies
210+
target: REQ-SOLVER-007
211+
- type: satisfies
212+
target: REQ-TRANSFORM-001
213+
- type: satisfies
214+
target: REQ-LSP-001
215+
- type: satisfies
216+
target: REQ-PARSER-001
217+
- type: satisfies
218+
target: STPA-REQ-020
219+
- type: satisfies
220+
target: STPA-SEC-REQ-001
221+
- type: satisfies
222+
target: COVERAGE-CH4
223+
- type: satisfies
224+
target: COVERAGE-CH5
225+
- type: satisfies
226+
target: COVERAGE-CH8
227+
- type: satisfies
228+
target: COVERAGE-CH9
229+
- type: satisfies
230+
target: COVERAGE-CH10
231+
- type: satisfies
232+
target: COVERAGE-CH11
233+
- type: satisfies
234+
target: COVERAGE-CH13
235+
- type: satisfies
236+
target: COVERAGE-CH14
127237

128238
- id: TEST-WASM-BUILD
129239
type: feature
@@ -531,6 +641,8 @@ artifacts:
531641
target: REQ-CODEGEN-001
532642
- type: satisfies
533643
target: ARCH-CODEGEN-001
644+
- type: satisfies
645+
target: STPA-SEC-REQ-001
534646

535647
- id: VAL-CODEGEN-002
536648
type: feature

0 commit comments

Comments
 (0)