arcvision 0.2.21 → 0.2.24
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/bin/arcvision.js +1 -1
- package/package.json +10 -3
- package/src/core/change-evaluator.js +38 -9
- package/src/index.js +208 -97
- package/.arcvision/logs/errors.log +0 -7
- package/arcvision_context/architecture.authority.ledger.json +0 -26
- package/dist/index.js +0 -68468
- package/schema/arcvision_context_schema_v1.json +0 -356
- package/test-block-functionality.js +0 -40
- package/test-dev-project/.arcvision/invariants.json +0 -19
- package/test-dev-project/arcvision_context/README.md +0 -93
- package/test-dev-project/arcvision_context/architecture.authority.ledger.json +0 -45
- package/test-dev-project/arcvision_context/arcvision.context.json +0 -1023
- package/test-dev-project/src/core/data-service.js +0 -0
- package/test-dev-project/src/ui/user-profile.js +0 -0
- package/test-dev-project/src/utils/helpers.js +0 -0
- package/test_repos/allowed-clean-architecture/.arcvision/invariants.json +0 -57
- package/test_repos/allowed-clean-architecture/adapters/controllers/UserController.js +0 -95
- package/test_repos/allowed-clean-architecture/adapters/http/HttpServer.js +0 -78
- package/test_repos/allowed-clean-architecture/application/dtos/CreateUserRequest.js +0 -37
- package/test_repos/allowed-clean-architecture/application/services/UserService.js +0 -61
- package/test_repos/allowed-clean-architecture/arcvision_context/README.md +0 -93
- package/test_repos/allowed-clean-architecture/arcvision_context/arcvision.context.json +0 -2796
- package/test_repos/allowed-clean-architecture/domain/interfaces/UserRepository.js +0 -25
- package/test_repos/allowed-clean-architecture/domain/models/User.js +0 -39
- package/test_repos/allowed-clean-architecture/index.js +0 -45
- package/test_repos/allowed-clean-architecture/infrastructure/database/DatabaseConnection.js +0 -56
- package/test_repos/allowed-clean-architecture/infrastructure/repositories/InMemoryUserRepository.js +0 -61
- package/test_repos/allowed-clean-architecture/package.json +0 -15
- package/test_repos/blocked-legacy-monolith/.arcvision/invariants.json +0 -78
- package/test_repos/blocked-legacy-monolith/arcvision_context/README.md +0 -93
- package/test_repos/blocked-legacy-monolith/arcvision_context/arcvision.context.json +0 -2882
- package/test_repos/blocked-legacy-monolith/database/dbConnection.js +0 -35
- package/test_repos/blocked-legacy-monolith/index.js +0 -38
- package/test_repos/blocked-legacy-monolith/modules/emailService.js +0 -31
- package/test_repos/blocked-legacy-monolith/modules/paymentProcessor.js +0 -37
- package/test_repos/blocked-legacy-monolith/package.json +0 -15
- package/test_repos/blocked-legacy-monolith/shared/utils.js +0 -19
- package/test_repos/blocked-legacy-monolith/utils/helpers.js +0 -23
- package/test_repos/risky-microservices-concerns/.arcvision/invariants.json +0 -69
- package/test_repos/risky-microservices-concerns/arcvision_context/README.md +0 -93
- package/test_repos/risky-microservices-concerns/arcvision_context/arcvision.context.json +0 -3070
- package/test_repos/risky-microservices-concerns/common/utils.js +0 -77
- package/test_repos/risky-microservices-concerns/gateways/apiGateway.js +0 -84
- package/test_repos/risky-microservices-concerns/index.js +0 -20
- package/test_repos/risky-microservices-concerns/libs/deprecatedHelper.js +0 -36
- package/test_repos/risky-microservices-concerns/package.json +0 -15
- package/test_repos/risky-microservices-concerns/services/orderService.js +0 -42
- package/test_repos/risky-microservices-concerns/services/userService.js +0 -48
|
@@ -1,1023 +0,0 @@
|
|
|
1
|
-
{
|
|
2
|
-
"schema_version": "1.0.0",
|
|
3
|
-
"generated_at": "2026-01-25T02:07:29.731Z",
|
|
4
|
-
"system": {
|
|
5
|
-
"name": "arcvision",
|
|
6
|
-
"root_path": "C:\\Users\\AHMAD RAZA\\Downloads\\ArcVision\\cli",
|
|
7
|
-
"language": "javascript",
|
|
8
|
-
"archetype": {
|
|
9
|
-
"type": "schema_driven",
|
|
10
|
-
"confidence": "low",
|
|
11
|
-
"description": "System primarily follows schema_driven architectural pattern",
|
|
12
|
-
"authorityPattern": "schema_driven_authority"
|
|
13
|
-
}
|
|
14
|
-
},
|
|
15
|
-
"nodes": [
|
|
16
|
-
{
|
|
17
|
-
"id": "0db008eae8151359",
|
|
18
|
-
"type": "file",
|
|
19
|
-
"path": "src/utils/helpers.js",
|
|
20
|
-
"role": "utility",
|
|
21
|
-
"dependencies": [],
|
|
22
|
-
"blast_radius": 0,
|
|
23
|
-
"layer": "shared",
|
|
24
|
-
"criticality": 3
|
|
25
|
-
},
|
|
26
|
-
{
|
|
27
|
-
"id": "10e438eb4bc23597",
|
|
28
|
-
"type": "file",
|
|
29
|
-
"path": "src/ui/user-profile.js",
|
|
30
|
-
"role": "hook",
|
|
31
|
-
"dependencies": [],
|
|
32
|
-
"blast_radius": 0,
|
|
33
|
-
"layer": "ui-logic",
|
|
34
|
-
"criticality": 0
|
|
35
|
-
},
|
|
36
|
-
{
|
|
37
|
-
"id": "474d954e2c4a6991",
|
|
38
|
-
"type": "file",
|
|
39
|
-
"path": "src/core/data-service.js",
|
|
40
|
-
"role": "service",
|
|
41
|
-
"dependencies": [],
|
|
42
|
-
"blast_radius": 0,
|
|
43
|
-
"layer": "logic",
|
|
44
|
-
"criticality": 1.5
|
|
45
|
-
},
|
|
46
|
-
{
|
|
47
|
-
"id": "a97c0e1624d0d70e",
|
|
48
|
-
"type": "file",
|
|
49
|
-
"path": "arcvision_context/architecture.authority.ledger.json",
|
|
50
|
-
"role": "store",
|
|
51
|
-
"dependencies": [],
|
|
52
|
-
"blast_radius": 0,
|
|
53
|
-
"layer": "state",
|
|
54
|
-
"criticality": 2
|
|
55
|
-
}
|
|
56
|
-
],
|
|
57
|
-
"edges": [],
|
|
58
|
-
"symbols": {
|
|
59
|
-
"directory": "C:\\Users\\AHMAD RAZA\\Downloads\\ArcVision\\cli\\test-dev-project",
|
|
60
|
-
"projectName": "test-dev-project",
|
|
61
|
-
"language": "javascript",
|
|
62
|
-
"symbols": [],
|
|
63
|
-
"contextSurface": [
|
|
64
|
-
{
|
|
65
|
-
"file": "arcvision_context/architecture.authority.ledger.json",
|
|
66
|
-
"score": 2,
|
|
67
|
-
"reason": "Blast: 0, Deps: 0"
|
|
68
|
-
},
|
|
69
|
-
{
|
|
70
|
-
"file": "src/core/data-service.js",
|
|
71
|
-
"score": 1.5,
|
|
72
|
-
"reason": "Blast: 0, Deps: 0"
|
|
73
|
-
},
|
|
74
|
-
{
|
|
75
|
-
"file": "src/ui/user-profile.js",
|
|
76
|
-
"score": 0,
|
|
77
|
-
"reason": "Blast: 0, Deps: 0"
|
|
78
|
-
},
|
|
79
|
-
{
|
|
80
|
-
"file": "src/utils/helpers.js",
|
|
81
|
-
"score": 3,
|
|
82
|
-
"reason": "Blast: 0, Deps: 0"
|
|
83
|
-
}
|
|
84
|
-
],
|
|
85
|
-
"arcvisionVersion": "0.1.0",
|
|
86
|
-
"authorityCores": [],
|
|
87
|
-
"hiddenCoupling": [],
|
|
88
|
-
"completenessMetrics": {
|
|
89
|
-
"total_files_analyzed": 4,
|
|
90
|
-
"code_files": 0,
|
|
91
|
-
"configuration_files": 0,
|
|
92
|
-
"documentation_files": 0,
|
|
93
|
-
"coverage_percentage": 100
|
|
94
|
-
},
|
|
95
|
-
"structuralHubs": [],
|
|
96
|
-
"architecturalBoundaries": {
|
|
97
|
-
"state": {
|
|
98
|
-
"files": 1,
|
|
99
|
-
"authority_cores": [],
|
|
100
|
-
"boundary_violations": []
|
|
101
|
-
},
|
|
102
|
-
"logic": {
|
|
103
|
-
"files": 1,
|
|
104
|
-
"authority_cores": [],
|
|
105
|
-
"boundary_violations": []
|
|
106
|
-
},
|
|
107
|
-
"ui-logic": {
|
|
108
|
-
"files": 1,
|
|
109
|
-
"authority_cores": [],
|
|
110
|
-
"boundary_violations": []
|
|
111
|
-
},
|
|
112
|
-
"shared": {
|
|
113
|
-
"files": 1,
|
|
114
|
-
"authority_cores": [],
|
|
115
|
-
"boundary_violations": []
|
|
116
|
-
}
|
|
117
|
-
},
|
|
118
|
-
"structuralInvariants": [
|
|
119
|
-
{
|
|
120
|
-
"rule": "service_component_ratio",
|
|
121
|
-
"description": "Maintain balance between services and components",
|
|
122
|
-
"current_value": null,
|
|
123
|
-
"recommended_range": "0.2-0.5"
|
|
124
|
-
}
|
|
125
|
-
],
|
|
126
|
-
"authoritativeContext": {
|
|
127
|
-
"metadata": {
|
|
128
|
-
"canonical": true,
|
|
129
|
-
"generated_at": "2026-01-25T02:07:29.560Z",
|
|
130
|
-
"source_commit": "2df067e4b3fec041c4390779b58829b74c94b780",
|
|
131
|
-
"arcvision_version": "0.1.0",
|
|
132
|
-
"schema_version": "1.0.0",
|
|
133
|
-
"trust_level": "high"
|
|
134
|
-
},
|
|
135
|
-
"system_identity": {
|
|
136
|
-
"name": "test-dev-project",
|
|
137
|
-
"root_path": "C:\\Users\\AHMAD RAZA\\Downloads\\ArcVision\\cli\\test-dev-project",
|
|
138
|
-
"language": "javascript",
|
|
139
|
-
"architectural_archetype": {
|
|
140
|
-
"type": "schema_driven",
|
|
141
|
-
"confidence": "low",
|
|
142
|
-
"description": "System primarily follows schema_driven architectural pattern",
|
|
143
|
-
"authorityPattern": "schema_driven_authority"
|
|
144
|
-
},
|
|
145
|
-
"structural_complexity": {
|
|
146
|
-
"cyclomatic_complexity": -2,
|
|
147
|
-
"coupling_degree": 0,
|
|
148
|
-
"cohesion_measure": 0.7,
|
|
149
|
-
"overall_complexity": "medium"
|
|
150
|
-
}
|
|
151
|
-
},
|
|
152
|
-
"structural_context": {
|
|
153
|
-
"authority_cores": [],
|
|
154
|
-
"structural_hubs": [],
|
|
155
|
-
"coupling_patterns": [],
|
|
156
|
-
"architectural_boundaries": {
|
|
157
|
-
"state": {
|
|
158
|
-
"files": 1,
|
|
159
|
-
"authority_cores": [],
|
|
160
|
-
"boundary_violations": []
|
|
161
|
-
},
|
|
162
|
-
"logic": {
|
|
163
|
-
"files": 1,
|
|
164
|
-
"authority_cores": [],
|
|
165
|
-
"boundary_violations": []
|
|
166
|
-
},
|
|
167
|
-
"ui-logic": {
|
|
168
|
-
"files": 1,
|
|
169
|
-
"authority_cores": [],
|
|
170
|
-
"boundary_violations": []
|
|
171
|
-
},
|
|
172
|
-
"shared": {
|
|
173
|
-
"files": 1,
|
|
174
|
-
"authority_cores": [],
|
|
175
|
-
"boundary_violations": []
|
|
176
|
-
}
|
|
177
|
-
},
|
|
178
|
-
"structural_invariants": [
|
|
179
|
-
{
|
|
180
|
-
"rule": "service_component_ratio",
|
|
181
|
-
"description": "Maintain balance between services and components",
|
|
182
|
-
"current_value": null,
|
|
183
|
-
"recommended_range": "0.2-0.5"
|
|
184
|
-
}
|
|
185
|
-
]
|
|
186
|
-
},
|
|
187
|
-
"reliability_indicators": {
|
|
188
|
-
"analysis_coverage": {
|
|
189
|
-
"total_files_analyzed": 4,
|
|
190
|
-
"code_files": 0,
|
|
191
|
-
"configuration_files": 0,
|
|
192
|
-
"documentation_files": 0,
|
|
193
|
-
"coverage_percentage": 100
|
|
194
|
-
},
|
|
195
|
-
"structural_completeness": {
|
|
196
|
-
"completeness_score": 95,
|
|
197
|
-
"missing_elements": [],
|
|
198
|
-
"validation_passed": true
|
|
199
|
-
},
|
|
200
|
-
"confidence_scores": {
|
|
201
|
-
"overall_confidence": 0.92,
|
|
202
|
-
"data_quality": 0.95,
|
|
203
|
-
"analysis_depth": 0.88
|
|
204
|
-
},
|
|
205
|
-
"validation_status": "validated"
|
|
206
|
-
},
|
|
207
|
-
"integrity": {
|
|
208
|
-
"content_hash": "67fcbc85d931c53ed7759860f1e1f1cac0e10b5d91f0d505ab341ff30c8a572e",
|
|
209
|
-
"generation_signature": "031d243a6a755727a5cafd067c14da6546c26d32be45fb2488aa3c93e5fc7c8c"
|
|
210
|
-
}
|
|
211
|
-
},
|
|
212
|
-
"autoDetectedInvariants": [],
|
|
213
|
-
"invariantAnalysis": {
|
|
214
|
-
"summary": {
|
|
215
|
-
"total": 0,
|
|
216
|
-
"critical": 0,
|
|
217
|
-
"non_critical": 0,
|
|
218
|
-
"by_scope": {
|
|
219
|
-
"module": [],
|
|
220
|
-
"boundary": [],
|
|
221
|
-
"system": []
|
|
222
|
-
}
|
|
223
|
-
},
|
|
224
|
-
"insights": [
|
|
225
|
-
{
|
|
226
|
-
"category": "invariant_gaps",
|
|
227
|
-
"title": "No Critical Invariants Detected",
|
|
228
|
-
"description": "The system does not appear to have explicitly defined critical invariants. This could indicate either a lack of formal invariant definition or that invariants are implicit.",
|
|
229
|
-
"severity": "medium",
|
|
230
|
-
"impact": "Consider defining critical invariants for system resilience"
|
|
231
|
-
}
|
|
232
|
-
],
|
|
233
|
-
"recommendations": [
|
|
234
|
-
{
|
|
235
|
-
"priority": "high",
|
|
236
|
-
"title": "Define Critical System Invariants",
|
|
237
|
-
"description": "Establish explicit critical invariants that must always hold to prevent system-wide failures.",
|
|
238
|
-
"action": "Create invariant definitions for core system behaviors that cannot be violated."
|
|
239
|
-
},
|
|
240
|
-
{
|
|
241
|
-
"priority": "low",
|
|
242
|
-
"title": "Document Invariant Behavior",
|
|
243
|
-
"description": "Ensure that all detected invariants are properly documented for team awareness.",
|
|
244
|
-
"action": "Create documentation explaining each invariant and why it exists."
|
|
245
|
-
},
|
|
246
|
-
{
|
|
247
|
-
"priority": "medium",
|
|
248
|
-
"title": "Monitor Invariant Violations",
|
|
249
|
-
"description": "Set up monitoring to track when invariants are violated during system operation.",
|
|
250
|
-
"action": "Implement logging and alerting for invariant violations."
|
|
251
|
-
}
|
|
252
|
-
],
|
|
253
|
-
"confidence": "low"
|
|
254
|
-
},
|
|
255
|
-
"architecturalHealth": {
|
|
256
|
-
"score": 30,
|
|
257
|
-
"level": "poor",
|
|
258
|
-
"assessment": "The system lacks formal architectural invariants, making it vulnerable to structural degradation over time."
|
|
259
|
-
},
|
|
260
|
-
"commitHash": "2df067e4b3fec041c4390779b58829b74c94b780",
|
|
261
|
-
"rootPath": "C:\\Users\\AHMAD RAZA\\Downloads\\ArcVision\\cli\\test-dev-project",
|
|
262
|
-
"invariants": [
|
|
263
|
-
{
|
|
264
|
-
"id": "validation_node_modules__babel_core_lib_config_validation_option-assertions_js",
|
|
265
|
-
"system": "automatic",
|
|
266
|
-
"statement": "System invariant implemented in node_modules\\@babel\\core\\lib\\config\\validation\\option-assertions.js: Validation-based invariant checking found",
|
|
267
|
-
"description": "System invariant implemented in node_modules\\@babel\\core\\lib\\config\\validation\\option-assertions.js: Validation-based invariant checking found",
|
|
268
|
-
"severity": "risk",
|
|
269
|
-
"scope": {
|
|
270
|
-
"files": [
|
|
271
|
-
"node_modules\\@babel\\core\\lib\\config\\validation\\option-assertions.js"
|
|
272
|
-
]
|
|
273
|
-
},
|
|
274
|
-
"critical_path": true,
|
|
275
|
-
"assertion": "Code contains validation functions for invariant enforcement",
|
|
276
|
-
"rule": {
|
|
277
|
-
"type": "pattern",
|
|
278
|
-
"condition": {
|
|
279
|
-
"pattern": "validation"
|
|
280
|
-
}
|
|
281
|
-
},
|
|
282
|
-
"status": "suspected",
|
|
283
|
-
"confidence": 0.6,
|
|
284
|
-
"source_file": "node_modules\\@babel\\core\\lib\\config\\validation\\option-assertions.js",
|
|
285
|
-
"implementation_type": "validation",
|
|
286
|
-
"detected_at": "2026-01-25T02:07:29.356Z"
|
|
287
|
-
},
|
|
288
|
-
{
|
|
289
|
-
"id": "validation_node_modules__babel_core_lib_config_validation_option-assertions_js_map",
|
|
290
|
-
"system": "automatic",
|
|
291
|
-
"statement": "System invariant implemented in node_modules\\@babel\\core\\lib\\config\\validation\\option-assertions.js.map: Validation-based invariant checking found",
|
|
292
|
-
"description": "System invariant implemented in node_modules\\@babel\\core\\lib\\config\\validation\\option-assertions.js.map: Validation-based invariant checking found",
|
|
293
|
-
"severity": "risk",
|
|
294
|
-
"scope": {
|
|
295
|
-
"files": [
|
|
296
|
-
"node_modules\\@babel\\core\\lib\\config\\validation\\option-assertions.js.map"
|
|
297
|
-
]
|
|
298
|
-
},
|
|
299
|
-
"critical_path": true,
|
|
300
|
-
"assertion": "Code contains validation functions for invariant enforcement",
|
|
301
|
-
"rule": {
|
|
302
|
-
"type": "pattern",
|
|
303
|
-
"condition": {
|
|
304
|
-
"pattern": "validation"
|
|
305
|
-
}
|
|
306
|
-
},
|
|
307
|
-
"status": "suspected",
|
|
308
|
-
"confidence": 0.6,
|
|
309
|
-
"source_file": "node_modules\\@babel\\core\\lib\\config\\validation\\option-assertions.js.map",
|
|
310
|
-
"implementation_type": "validation",
|
|
311
|
-
"detected_at": "2026-01-25T02:07:29.364Z"
|
|
312
|
-
},
|
|
313
|
-
{
|
|
314
|
-
"id": "assertion_node_modules__types_node_assert_d_ts",
|
|
315
|
-
"system": "automatic",
|
|
316
|
-
"statement": "System invariant implemented in node_modules\\@types\\node\\assert.d.ts: Assertion-based invariant checking found",
|
|
317
|
-
"description": "System invariant implemented in node_modules\\@types\\node\\assert.d.ts: Assertion-based invariant checking found",
|
|
318
|
-
"severity": "risk",
|
|
319
|
-
"scope": {
|
|
320
|
-
"files": [
|
|
321
|
-
"node_modules\\@types\\node\\assert.d.ts"
|
|
322
|
-
]
|
|
323
|
-
},
|
|
324
|
-
"critical_path": true,
|
|
325
|
-
"assertion": "Code contains assert() calls for invariant enforcement",
|
|
326
|
-
"rule": {
|
|
327
|
-
"type": "pattern",
|
|
328
|
-
"condition": {
|
|
329
|
-
"pattern": "assertion"
|
|
330
|
-
}
|
|
331
|
-
},
|
|
332
|
-
"status": "suspected",
|
|
333
|
-
"confidence": 0.8999999999999999,
|
|
334
|
-
"source_file": "node_modules\\@types\\node\\assert.d.ts",
|
|
335
|
-
"implementation_type": "assertion",
|
|
336
|
-
"detected_at": "2026-01-25T02:07:29.375Z"
|
|
337
|
-
},
|
|
338
|
-
{
|
|
339
|
-
"id": "validation_node_modules_eslint_lib_config_rule-validator_js",
|
|
340
|
-
"system": "automatic",
|
|
341
|
-
"statement": "System invariant implemented in node_modules\\eslint\\lib\\config\\rule-validator.js: Validation-based invariant checking found",
|
|
342
|
-
"description": "System invariant implemented in node_modules\\eslint\\lib\\config\\rule-validator.js: Validation-based invariant checking found",
|
|
343
|
-
"severity": "risk",
|
|
344
|
-
"scope": {
|
|
345
|
-
"files": [
|
|
346
|
-
"node_modules\\eslint\\lib\\config\\rule-validator.js"
|
|
347
|
-
]
|
|
348
|
-
},
|
|
349
|
-
"critical_path": true,
|
|
350
|
-
"assertion": "Code contains validation functions for invariant enforcement",
|
|
351
|
-
"rule": {
|
|
352
|
-
"type": "pattern",
|
|
353
|
-
"condition": {
|
|
354
|
-
"pattern": "validation"
|
|
355
|
-
}
|
|
356
|
-
},
|
|
357
|
-
"status": "suspected",
|
|
358
|
-
"confidence": 0.8,
|
|
359
|
-
"source_file": "node_modules\\eslint\\lib\\config\\rule-validator.js",
|
|
360
|
-
"implementation_type": "validation",
|
|
361
|
-
"detected_at": "2026-01-25T02:07:29.401Z"
|
|
362
|
-
},
|
|
363
|
-
{
|
|
364
|
-
"id": "assertion_node_modules_eslint_lib_rule-tester_flat-rule-tester_js",
|
|
365
|
-
"system": "automatic",
|
|
366
|
-
"statement": "System invariant implemented in node_modules\\eslint\\lib\\rule-tester\\flat-rule-tester.js: Assertion-based invariant checking found",
|
|
367
|
-
"description": "System invariant implemented in node_modules\\eslint\\lib\\rule-tester\\flat-rule-tester.js: Assertion-based invariant checking found",
|
|
368
|
-
"severity": "risk",
|
|
369
|
-
"scope": {
|
|
370
|
-
"files": [
|
|
371
|
-
"node_modules\\eslint\\lib\\rule-tester\\flat-rule-tester.js"
|
|
372
|
-
]
|
|
373
|
-
},
|
|
374
|
-
"critical_path": true,
|
|
375
|
-
"assertion": "Code contains assert() calls for invariant enforcement",
|
|
376
|
-
"rule": {
|
|
377
|
-
"type": "pattern",
|
|
378
|
-
"condition": {
|
|
379
|
-
"pattern": "assertion"
|
|
380
|
-
}
|
|
381
|
-
},
|
|
382
|
-
"status": "suspected",
|
|
383
|
-
"confidence": 0.95,
|
|
384
|
-
"source_file": "node_modules\\eslint\\lib\\rule-tester\\flat-rule-tester.js",
|
|
385
|
-
"implementation_type": "assertion",
|
|
386
|
-
"detected_at": "2026-01-25T02:07:29.405Z"
|
|
387
|
-
},
|
|
388
|
-
{
|
|
389
|
-
"id": "assertion_node_modules_eslint_lib_rule-tester_rule-tester_js",
|
|
390
|
-
"system": "automatic",
|
|
391
|
-
"statement": "System invariant implemented in node_modules\\eslint\\lib\\rule-tester\\rule-tester.js: Assertion-based invariant checking found",
|
|
392
|
-
"description": "System invariant implemented in node_modules\\eslint\\lib\\rule-tester\\rule-tester.js: Assertion-based invariant checking found",
|
|
393
|
-
"severity": "risk",
|
|
394
|
-
"scope": {
|
|
395
|
-
"files": [
|
|
396
|
-
"node_modules\\eslint\\lib\\rule-tester\\rule-tester.js"
|
|
397
|
-
]
|
|
398
|
-
},
|
|
399
|
-
"critical_path": true,
|
|
400
|
-
"assertion": "Code contains assert() calls for invariant enforcement",
|
|
401
|
-
"rule": {
|
|
402
|
-
"type": "pattern",
|
|
403
|
-
"condition": {
|
|
404
|
-
"pattern": "assertion"
|
|
405
|
-
}
|
|
406
|
-
},
|
|
407
|
-
"status": "suspected",
|
|
408
|
-
"confidence": 0.95,
|
|
409
|
-
"source_file": "node_modules\\eslint\\lib\\rule-tester\\rule-tester.js",
|
|
410
|
-
"implementation_type": "assertion",
|
|
411
|
-
"detected_at": "2026-01-25T02:07:29.406Z"
|
|
412
|
-
},
|
|
413
|
-
{
|
|
414
|
-
"id": "validation_node_modules_eslint_lib_rule-tester_rule-tester_js",
|
|
415
|
-
"system": "automatic",
|
|
416
|
-
"statement": "System invariant implemented in node_modules\\eslint\\lib\\rule-tester\\rule-tester.js: Validation-based invariant checking found",
|
|
417
|
-
"description": "System invariant implemented in node_modules\\eslint\\lib\\rule-tester\\rule-tester.js: Validation-based invariant checking found",
|
|
418
|
-
"severity": "risk",
|
|
419
|
-
"scope": {
|
|
420
|
-
"files": [
|
|
421
|
-
"node_modules\\eslint\\lib\\rule-tester\\rule-tester.js"
|
|
422
|
-
]
|
|
423
|
-
},
|
|
424
|
-
"critical_path": true,
|
|
425
|
-
"assertion": "Code contains validation functions for invariant enforcement",
|
|
426
|
-
"rule": {
|
|
427
|
-
"type": "pattern",
|
|
428
|
-
"condition": {
|
|
429
|
-
"pattern": "validation"
|
|
430
|
-
}
|
|
431
|
-
},
|
|
432
|
-
"status": "suspected",
|
|
433
|
-
"confidence": 0.6,
|
|
434
|
-
"source_file": "node_modules\\eslint\\lib\\rule-tester\\rule-tester.js",
|
|
435
|
-
"implementation_type": "validation",
|
|
436
|
-
"detected_at": "2026-01-25T02:07:29.406Z"
|
|
437
|
-
},
|
|
438
|
-
{
|
|
439
|
-
"id": "assertion_node_modules_jest-circus_build_formatNodeAssertErrors_js",
|
|
440
|
-
"system": "automatic",
|
|
441
|
-
"statement": "System invariant implemented in node_modules\\jest-circus\\build\\formatNodeAssertErrors.js: Assertion-based invariant checking found",
|
|
442
|
-
"description": "System invariant implemented in node_modules\\jest-circus\\build\\formatNodeAssertErrors.js: Assertion-based invariant checking found",
|
|
443
|
-
"severity": "risk",
|
|
444
|
-
"scope": {
|
|
445
|
-
"files": [
|
|
446
|
-
"node_modules\\jest-circus\\build\\formatNodeAssertErrors.js"
|
|
447
|
-
]
|
|
448
|
-
},
|
|
449
|
-
"critical_path": true,
|
|
450
|
-
"assertion": "Code contains assert() calls for invariant enforcement",
|
|
451
|
-
"rule": {
|
|
452
|
-
"type": "pattern",
|
|
453
|
-
"condition": {
|
|
454
|
-
"pattern": "assertion"
|
|
455
|
-
}
|
|
456
|
-
},
|
|
457
|
-
"status": "suspected",
|
|
458
|
-
"confidence": 0.8999999999999999,
|
|
459
|
-
"source_file": "node_modules\\jest-circus\\build\\formatNodeAssertErrors.js",
|
|
460
|
-
"implementation_type": "assertion",
|
|
461
|
-
"detected_at": "2026-01-25T02:07:29.414Z"
|
|
462
|
-
},
|
|
463
|
-
{
|
|
464
|
-
"id": "assertion_node_modules_pkg_node_modules__babel_types_scripts_generators_asserts_js",
|
|
465
|
-
"system": "automatic",
|
|
466
|
-
"statement": "System invariant implemented in node_modules\\pkg\\node_modules\\@babel\\types\\scripts\\generators\\asserts.js: Assertion-based invariant checking found",
|
|
467
|
-
"description": "System invariant implemented in node_modules\\pkg\\node_modules\\@babel\\types\\scripts\\generators\\asserts.js: Assertion-based invariant checking found",
|
|
468
|
-
"severity": "risk",
|
|
469
|
-
"scope": {
|
|
470
|
-
"files": [
|
|
471
|
-
"node_modules\\pkg\\node_modules\\@babel\\types\\scripts\\generators\\asserts.js"
|
|
472
|
-
]
|
|
473
|
-
},
|
|
474
|
-
"critical_path": true,
|
|
475
|
-
"assertion": "Code contains assert() calls for invariant enforcement",
|
|
476
|
-
"rule": {
|
|
477
|
-
"type": "pattern",
|
|
478
|
-
"condition": {
|
|
479
|
-
"pattern": "assertion"
|
|
480
|
-
}
|
|
481
|
-
},
|
|
482
|
-
"status": "suspected",
|
|
483
|
-
"confidence": 0.7,
|
|
484
|
-
"source_file": "node_modules\\pkg\\node_modules\\@babel\\types\\scripts\\generators\\asserts.js",
|
|
485
|
-
"implementation_type": "assertion",
|
|
486
|
-
"detected_at": "2026-01-25T02:07:29.430Z"
|
|
487
|
-
},
|
|
488
|
-
{
|
|
489
|
-
"id": "validation_node_modules_yargs_build_lib_validation_js",
|
|
490
|
-
"system": "automatic",
|
|
491
|
-
"statement": "System invariant implemented in node_modules\\yargs\\build\\lib\\validation.js: Validation-based invariant checking found",
|
|
492
|
-
"description": "System invariant implemented in node_modules\\yargs\\build\\lib\\validation.js: Validation-based invariant checking found",
|
|
493
|
-
"severity": "risk",
|
|
494
|
-
"scope": {
|
|
495
|
-
"files": [
|
|
496
|
-
"node_modules\\yargs\\build\\lib\\validation.js"
|
|
497
|
-
]
|
|
498
|
-
},
|
|
499
|
-
"critical_path": true,
|
|
500
|
-
"assertion": "Code contains validation functions for invariant enforcement",
|
|
501
|
-
"rule": {
|
|
502
|
-
"type": "pattern",
|
|
503
|
-
"condition": {
|
|
504
|
-
"pattern": "validation"
|
|
505
|
-
}
|
|
506
|
-
},
|
|
507
|
-
"status": "suspected",
|
|
508
|
-
"confidence": 0.6,
|
|
509
|
-
"source_file": "node_modules\\yargs\\build\\lib\\validation.js",
|
|
510
|
-
"implementation_type": "validation",
|
|
511
|
-
"detected_at": "2026-01-25T02:07:29.433Z"
|
|
512
|
-
},
|
|
513
|
-
{
|
|
514
|
-
"id": "assertion_src_core_invariant-detector_js",
|
|
515
|
-
"system": "automatic",
|
|
516
|
-
"statement": "System invariant implemented in src\\core\\invariant-detector.js: Assertion-based invariant checking found",
|
|
517
|
-
"description": "System invariant implemented in src\\core\\invariant-detector.js: Assertion-based invariant checking found",
|
|
518
|
-
"severity": "risk",
|
|
519
|
-
"scope": {
|
|
520
|
-
"files": [
|
|
521
|
-
"src\\core\\invariant-detector.js"
|
|
522
|
-
]
|
|
523
|
-
},
|
|
524
|
-
"critical_path": true,
|
|
525
|
-
"assertion": "Code contains assert() calls for invariant enforcement",
|
|
526
|
-
"rule": {
|
|
527
|
-
"type": "pattern",
|
|
528
|
-
"condition": {
|
|
529
|
-
"pattern": "assertion"
|
|
530
|
-
}
|
|
531
|
-
},
|
|
532
|
-
"status": "suspected",
|
|
533
|
-
"confidence": 1,
|
|
534
|
-
"source_file": "src\\core\\invariant-detector.js",
|
|
535
|
-
"implementation_type": "assertion",
|
|
536
|
-
"detected_at": "2026-01-25T02:07:29.437Z"
|
|
537
|
-
},
|
|
538
|
-
{
|
|
539
|
-
"id": "validation_src_core_invariant-detector_js",
|
|
540
|
-
"system": "automatic",
|
|
541
|
-
"statement": "System invariant implemented in src\\core\\invariant-detector.js: Validation-based invariant checking found",
|
|
542
|
-
"description": "System invariant implemented in src\\core\\invariant-detector.js: Validation-based invariant checking found",
|
|
543
|
-
"severity": "risk",
|
|
544
|
-
"scope": {
|
|
545
|
-
"files": [
|
|
546
|
-
"src\\core\\invariant-detector.js"
|
|
547
|
-
]
|
|
548
|
-
},
|
|
549
|
-
"critical_path": true,
|
|
550
|
-
"assertion": "Code contains validation functions for invariant enforcement",
|
|
551
|
-
"rule": {
|
|
552
|
-
"type": "pattern",
|
|
553
|
-
"condition": {
|
|
554
|
-
"pattern": "validation"
|
|
555
|
-
}
|
|
556
|
-
},
|
|
557
|
-
"status": "suspected",
|
|
558
|
-
"confidence": 0.8,
|
|
559
|
-
"source_file": "src\\core\\invariant-detector.js",
|
|
560
|
-
"implementation_type": "validation",
|
|
561
|
-
"detected_at": "2026-01-25T02:07:29.437Z"
|
|
562
|
-
},
|
|
563
|
-
{
|
|
564
|
-
"id": "guard_clause_src_core_invariant-detector_js",
|
|
565
|
-
"system": "automatic",
|
|
566
|
-
"statement": "System invariant implemented in src\\core\\invariant-detector.js: Guard clause invariant enforcement found",
|
|
567
|
-
"description": "System invariant implemented in src\\core\\invariant-detector.js: Guard clause invariant enforcement found",
|
|
568
|
-
"severity": "risk",
|
|
569
|
-
"scope": {
|
|
570
|
-
"files": [
|
|
571
|
-
"src\\core\\invariant-detector.js"
|
|
572
|
-
]
|
|
573
|
-
},
|
|
574
|
-
"critical_path": true,
|
|
575
|
-
"assertion": "Code contains early-exit guard clauses for invariant enforcement",
|
|
576
|
-
"rule": {
|
|
577
|
-
"type": "pattern",
|
|
578
|
-
"condition": {
|
|
579
|
-
"pattern": "guard_clause"
|
|
580
|
-
}
|
|
581
|
-
},
|
|
582
|
-
"status": "suspected",
|
|
583
|
-
"confidence": 0.7999999999999999,
|
|
584
|
-
"source_file": "src\\core\\invariant-detector.js",
|
|
585
|
-
"implementation_type": "guard_clause",
|
|
586
|
-
"detected_at": "2026-01-25T02:07:29.437Z"
|
|
587
|
-
},
|
|
588
|
-
{
|
|
589
|
-
"id": "state_machine_src_core_invariant-detector_js",
|
|
590
|
-
"system": "automatic",
|
|
591
|
-
"statement": "System invariant implemented in src\\core\\invariant-detector.js: State transition invariant found",
|
|
592
|
-
"description": "System invariant implemented in src\\core\\invariant-detector.js: State transition invariant found",
|
|
593
|
-
"severity": "risk",
|
|
594
|
-
"scope": {
|
|
595
|
-
"files": [
|
|
596
|
-
"src\\core\\invariant-detector.js"
|
|
597
|
-
]
|
|
598
|
-
},
|
|
599
|
-
"critical_path": true,
|
|
600
|
-
"assertion": "Code implements state machine with transition constraints",
|
|
601
|
-
"rule": {
|
|
602
|
-
"type": "pattern",
|
|
603
|
-
"condition": {
|
|
604
|
-
"pattern": "state_machine"
|
|
605
|
-
}
|
|
606
|
-
},
|
|
607
|
-
"status": "suspected",
|
|
608
|
-
"confidence": 0.75,
|
|
609
|
-
"source_file": "src\\core\\invariant-detector.js",
|
|
610
|
-
"implementation_type": "state_machine",
|
|
611
|
-
"detected_at": "2026-01-25T02:07:29.437Z"
|
|
612
|
-
},
|
|
613
|
-
{
|
|
614
|
-
"id": "validation_src_core_invariant-evaluation-utils_js",
|
|
615
|
-
"system": "automatic",
|
|
616
|
-
"statement": "System invariant implemented in src\\core\\invariant-evaluation-utils.js: Validation-based invariant checking found",
|
|
617
|
-
"description": "System invariant implemented in src\\core\\invariant-evaluation-utils.js: Validation-based invariant checking found",
|
|
618
|
-
"severity": "risk",
|
|
619
|
-
"scope": {
|
|
620
|
-
"files": [
|
|
621
|
-
"src\\core\\invariant-evaluation-utils.js"
|
|
622
|
-
]
|
|
623
|
-
},
|
|
624
|
-
"critical_path": true,
|
|
625
|
-
"assertion": "Code contains validation functions for invariant enforcement",
|
|
626
|
-
"rule": {
|
|
627
|
-
"type": "pattern",
|
|
628
|
-
"condition": {
|
|
629
|
-
"pattern": "validation"
|
|
630
|
-
}
|
|
631
|
-
},
|
|
632
|
-
"status": "suspected",
|
|
633
|
-
"confidence": 0.6,
|
|
634
|
-
"source_file": "src\\core\\invariant-evaluation-utils.js",
|
|
635
|
-
"implementation_type": "validation",
|
|
636
|
-
"detected_at": "2026-01-25T02:07:29.439Z"
|
|
637
|
-
}
|
|
638
|
-
],
|
|
639
|
-
"ownership": {
|
|
640
|
-
"architecture.authority.ledger": {
|
|
641
|
-
"source_of_truth": "arcvision_context/architecture.authority.ledger.json",
|
|
642
|
-
"derived_in": [],
|
|
643
|
-
"consumers": [],
|
|
644
|
-
"invalidators": [],
|
|
645
|
-
"ownership_strength": {
|
|
646
|
-
"blast_radius_factor": 0,
|
|
647
|
-
"criticality_factor": 0.2,
|
|
648
|
-
"incoming_deps_factor": 0,
|
|
649
|
-
"function_count": 0,
|
|
650
|
-
"export_count": 0,
|
|
651
|
-
"total_score": 3
|
|
652
|
-
},
|
|
653
|
-
"confidence": 0.7
|
|
654
|
-
},
|
|
655
|
-
"data": {
|
|
656
|
-
"source_of_truth": "src/core/data-service.js",
|
|
657
|
-
"derived_in": [],
|
|
658
|
-
"consumers": [],
|
|
659
|
-
"invalidators": [],
|
|
660
|
-
"ownership_strength": {
|
|
661
|
-
"blast_radius_factor": 0,
|
|
662
|
-
"criticality_factor": 0.15,
|
|
663
|
-
"incoming_deps_factor": 0,
|
|
664
|
-
"function_count": 0,
|
|
665
|
-
"export_count": 0,
|
|
666
|
-
"total_score": 2.25
|
|
667
|
-
},
|
|
668
|
-
"confidence": 0.7
|
|
669
|
-
},
|
|
670
|
-
"userprofile": {
|
|
671
|
-
"source_of_truth": "src/ui/user-profile.js",
|
|
672
|
-
"derived_in": [],
|
|
673
|
-
"consumers": [],
|
|
674
|
-
"invalidators": [],
|
|
675
|
-
"ownership_strength": {
|
|
676
|
-
"blast_radius_factor": 0,
|
|
677
|
-
"criticality_factor": 0,
|
|
678
|
-
"incoming_deps_factor": 0,
|
|
679
|
-
"function_count": 0,
|
|
680
|
-
"export_count": 0,
|
|
681
|
-
"total_score": 0
|
|
682
|
-
},
|
|
683
|
-
"confidence": 0.7
|
|
684
|
-
},
|
|
685
|
-
"helpers": {
|
|
686
|
-
"source_of_truth": "src/utils/helpers.js",
|
|
687
|
-
"derived_in": [],
|
|
688
|
-
"consumers": [],
|
|
689
|
-
"invalidators": [],
|
|
690
|
-
"ownership_strength": {
|
|
691
|
-
"blast_radius_factor": 0,
|
|
692
|
-
"criticality_factor": 0.3,
|
|
693
|
-
"incoming_deps_factor": 0,
|
|
694
|
-
"function_count": 0,
|
|
695
|
-
"export_count": 0,
|
|
696
|
-
"total_score": 4.5
|
|
697
|
-
},
|
|
698
|
-
"confidence": 0.7
|
|
699
|
-
}
|
|
700
|
-
},
|
|
701
|
-
"failure_modes": [
|
|
702
|
-
{
|
|
703
|
-
"id": "FM-1769306849447-574",
|
|
704
|
-
"trigger": "violation of System invariant implemented in node_modules\\@babel\\core\\lib\\config\\validation\\option-assertions.js: Validation-based invariant checking found",
|
|
705
|
-
"broken_invariant": "validation_node_modules__babel_core_lib_config_validation_option-assertions_js",
|
|
706
|
-
"observed_symptom": "Unexpected behavior or incorrect output",
|
|
707
|
-
"root_cause": "invariant not properly enforced: System invariant implemented in node_modules\\@babel\\core\\lib\\config\\validation\\option-assertions.js: Validation-based invariant checking found",
|
|
708
|
-
"blast_radius": [
|
|
709
|
-
"unknown"
|
|
710
|
-
],
|
|
711
|
-
"confidence": 0.6
|
|
712
|
-
},
|
|
713
|
-
{
|
|
714
|
-
"id": "FM-1769306849447-459",
|
|
715
|
-
"trigger": "violation of System invariant implemented in node_modules\\@babel\\core\\lib\\config\\validation\\option-assertions.js.map: Validation-based invariant checking found",
|
|
716
|
-
"broken_invariant": "validation_node_modules__babel_core_lib_config_validation_option-assertions_js_map",
|
|
717
|
-
"observed_symptom": "Unexpected behavior or incorrect output",
|
|
718
|
-
"root_cause": "invariant not properly enforced: System invariant implemented in node_modules\\@babel\\core\\lib\\config\\validation\\option-assertions.js.map: Validation-based invariant checking found",
|
|
719
|
-
"blast_radius": [
|
|
720
|
-
"unknown"
|
|
721
|
-
],
|
|
722
|
-
"confidence": 0.6
|
|
723
|
-
},
|
|
724
|
-
{
|
|
725
|
-
"id": "FM-1769306849447-323",
|
|
726
|
-
"trigger": "violation of System invariant implemented in node_modules\\@types\\node\\assert.d.ts: Assertion-based invariant checking found",
|
|
727
|
-
"broken_invariant": "assertion_node_modules__types_node_assert_d_ts",
|
|
728
|
-
"observed_symptom": "Unexpected behavior or incorrect output",
|
|
729
|
-
"root_cause": "invariant not properly enforced: System invariant implemented in node_modules\\@types\\node\\assert.d.ts: Assertion-based invariant checking found",
|
|
730
|
-
"blast_radius": [
|
|
731
|
-
"unknown"
|
|
732
|
-
],
|
|
733
|
-
"confidence": 0.8999999999999999
|
|
734
|
-
},
|
|
735
|
-
{
|
|
736
|
-
"id": "FM-1769306849447-609",
|
|
737
|
-
"trigger": "violation of System invariant implemented in node_modules\\eslint\\lib\\config\\rule-validator.js: Validation-based invariant checking found",
|
|
738
|
-
"broken_invariant": "validation_node_modules_eslint_lib_config_rule-validator_js",
|
|
739
|
-
"observed_symptom": "Unexpected behavior or incorrect output",
|
|
740
|
-
"root_cause": "invariant not properly enforced: System invariant implemented in node_modules\\eslint\\lib\\config\\rule-validator.js: Validation-based invariant checking found",
|
|
741
|
-
"blast_radius": [
|
|
742
|
-
"unknown"
|
|
743
|
-
],
|
|
744
|
-
"confidence": 0.8
|
|
745
|
-
},
|
|
746
|
-
{
|
|
747
|
-
"id": "FM-1769306849447-949",
|
|
748
|
-
"trigger": "violation of System invariant implemented in node_modules\\eslint\\lib\\rule-tester\\flat-rule-tester.js: Assertion-based invariant checking found",
|
|
749
|
-
"broken_invariant": "assertion_node_modules_eslint_lib_rule-tester_flat-rule-tester_js",
|
|
750
|
-
"observed_symptom": "Unexpected behavior or incorrect output",
|
|
751
|
-
"root_cause": "invariant not properly enforced: System invariant implemented in node_modules\\eslint\\lib\\rule-tester\\flat-rule-tester.js: Assertion-based invariant checking found",
|
|
752
|
-
"blast_radius": [
|
|
753
|
-
"unknown"
|
|
754
|
-
],
|
|
755
|
-
"confidence": 0.95
|
|
756
|
-
},
|
|
757
|
-
{
|
|
758
|
-
"id": "FM-1769306849447-359",
|
|
759
|
-
"trigger": "violation of System invariant implemented in node_modules\\eslint\\lib\\rule-tester\\rule-tester.js: Assertion-based invariant checking found",
|
|
760
|
-
"broken_invariant": "assertion_node_modules_eslint_lib_rule-tester_rule-tester_js",
|
|
761
|
-
"observed_symptom": "Unexpected behavior or incorrect output",
|
|
762
|
-
"root_cause": "invariant not properly enforced: System invariant implemented in node_modules\\eslint\\lib\\rule-tester\\rule-tester.js: Assertion-based invariant checking found",
|
|
763
|
-
"blast_radius": [
|
|
764
|
-
"unknown"
|
|
765
|
-
],
|
|
766
|
-
"confidence": 0.95
|
|
767
|
-
},
|
|
768
|
-
{
|
|
769
|
-
"id": "FM-1769306849447-890",
|
|
770
|
-
"trigger": "violation of System invariant implemented in node_modules\\eslint\\lib\\rule-tester\\rule-tester.js: Validation-based invariant checking found",
|
|
771
|
-
"broken_invariant": "validation_node_modules_eslint_lib_rule-tester_rule-tester_js",
|
|
772
|
-
"observed_symptom": "Unexpected behavior or incorrect output",
|
|
773
|
-
"root_cause": "invariant not properly enforced: System invariant implemented in node_modules\\eslint\\lib\\rule-tester\\rule-tester.js: Validation-based invariant checking found",
|
|
774
|
-
"blast_radius": [
|
|
775
|
-
"unknown"
|
|
776
|
-
],
|
|
777
|
-
"confidence": 0.6
|
|
778
|
-
},
|
|
779
|
-
{
|
|
780
|
-
"id": "FM-1769306849448-753",
|
|
781
|
-
"trigger": "violation of System invariant implemented in node_modules\\jest-circus\\build\\formatNodeAssertErrors.js: Assertion-based invariant checking found",
|
|
782
|
-
"broken_invariant": "assertion_node_modules_jest-circus_build_formatNodeAssertErrors_js",
|
|
783
|
-
"observed_symptom": "Unexpected behavior or incorrect output",
|
|
784
|
-
"root_cause": "invariant not properly enforced: System invariant implemented in node_modules\\jest-circus\\build\\formatNodeAssertErrors.js: Assertion-based invariant checking found",
|
|
785
|
-
"blast_radius": [
|
|
786
|
-
"unknown"
|
|
787
|
-
],
|
|
788
|
-
"confidence": 0.8999999999999999
|
|
789
|
-
},
|
|
790
|
-
{
|
|
791
|
-
"id": "FM-1769306849448-172",
|
|
792
|
-
"trigger": "violation of System invariant implemented in node_modules\\pkg\\node_modules\\@babel\\types\\scripts\\generators\\asserts.js: Assertion-based invariant checking found",
|
|
793
|
-
"broken_invariant": "assertion_node_modules_pkg_node_modules__babel_types_scripts_generators_asserts_js",
|
|
794
|
-
"observed_symptom": "Unexpected behavior or incorrect output",
|
|
795
|
-
"root_cause": "invariant not properly enforced: System invariant implemented in node_modules\\pkg\\node_modules\\@babel\\types\\scripts\\generators\\asserts.js: Assertion-based invariant checking found",
|
|
796
|
-
"blast_radius": [
|
|
797
|
-
"unknown"
|
|
798
|
-
],
|
|
799
|
-
"confidence": 0.7
|
|
800
|
-
},
|
|
801
|
-
{
|
|
802
|
-
"id": "FM-1769306849448-4",
|
|
803
|
-
"trigger": "violation of System invariant implemented in node_modules\\yargs\\build\\lib\\validation.js: Validation-based invariant checking found",
|
|
804
|
-
"broken_invariant": "validation_node_modules_yargs_build_lib_validation_js",
|
|
805
|
-
"observed_symptom": "Unexpected behavior or incorrect output",
|
|
806
|
-
"root_cause": "invariant not properly enforced: System invariant implemented in node_modules\\yargs\\build\\lib\\validation.js: Validation-based invariant checking found",
|
|
807
|
-
"blast_radius": [
|
|
808
|
-
"unknown"
|
|
809
|
-
],
|
|
810
|
-
"confidence": 0.6
|
|
811
|
-
},
|
|
812
|
-
{
|
|
813
|
-
"id": "FM-1769306849448-220",
|
|
814
|
-
"trigger": "violation of System invariant implemented in src\\core\\invariant-detector.js: Assertion-based invariant checking found",
|
|
815
|
-
"broken_invariant": "assertion_src_core_invariant-detector_js",
|
|
816
|
-
"observed_symptom": "Unexpected behavior or incorrect output",
|
|
817
|
-
"root_cause": "invariant not properly enforced: System invariant implemented in src\\core\\invariant-detector.js: Assertion-based invariant checking found",
|
|
818
|
-
"blast_radius": [
|
|
819
|
-
"unknown"
|
|
820
|
-
],
|
|
821
|
-
"confidence": 1
|
|
822
|
-
},
|
|
823
|
-
{
|
|
824
|
-
"id": "FM-1769306849448-628",
|
|
825
|
-
"trigger": "violation of System invariant implemented in src\\core\\invariant-detector.js: Validation-based invariant checking found",
|
|
826
|
-
"broken_invariant": "validation_src_core_invariant-detector_js",
|
|
827
|
-
"observed_symptom": "Unexpected behavior or incorrect output",
|
|
828
|
-
"root_cause": "invariant not properly enforced: System invariant implemented in src\\core\\invariant-detector.js: Validation-based invariant checking found",
|
|
829
|
-
"blast_radius": [
|
|
830
|
-
"unknown"
|
|
831
|
-
],
|
|
832
|
-
"confidence": 0.8
|
|
833
|
-
},
|
|
834
|
-
{
|
|
835
|
-
"id": "FM-1769306849448-754",
|
|
836
|
-
"trigger": "violation of System invariant implemented in src\\core\\invariant-detector.js: Guard clause invariant enforcement found",
|
|
837
|
-
"broken_invariant": "guard_clause_src_core_invariant-detector_js",
|
|
838
|
-
"observed_symptom": "Unexpected behavior or incorrect output",
|
|
839
|
-
"root_cause": "invariant not properly enforced: System invariant implemented in src\\core\\invariant-detector.js: Guard clause invariant enforcement found",
|
|
840
|
-
"blast_radius": [
|
|
841
|
-
"unknown"
|
|
842
|
-
],
|
|
843
|
-
"confidence": 0.7999999999999999
|
|
844
|
-
},
|
|
845
|
-
{
|
|
846
|
-
"id": "FM-1769306849448-926",
|
|
847
|
-
"trigger": "violation of System invariant implemented in src\\core\\invariant-detector.js: State transition invariant found",
|
|
848
|
-
"broken_invariant": "state_machine_src_core_invariant-detector_js",
|
|
849
|
-
"observed_symptom": "Stale data presented to user",
|
|
850
|
-
"root_cause": "invariant not properly enforced: System invariant implemented in src\\core\\invariant-detector.js: State transition invariant found",
|
|
851
|
-
"blast_radius": [
|
|
852
|
-
"unknown"
|
|
853
|
-
],
|
|
854
|
-
"confidence": 0.75
|
|
855
|
-
},
|
|
856
|
-
{
|
|
857
|
-
"id": "FM-1769306849448-700",
|
|
858
|
-
"trigger": "violation of System invariant implemented in src\\core\\invariant-evaluation-utils.js: Validation-based invariant checking found",
|
|
859
|
-
"broken_invariant": "validation_src_core_invariant-evaluation-utils_js",
|
|
860
|
-
"observed_symptom": "Unexpected behavior or incorrect output",
|
|
861
|
-
"root_cause": "invariant not properly enforced: System invariant implemented in src\\core\\invariant-evaluation-utils.js: Validation-based invariant checking found",
|
|
862
|
-
"blast_radius": [
|
|
863
|
-
"unknown"
|
|
864
|
-
],
|
|
865
|
-
"confidence": 0.6
|
|
866
|
-
}
|
|
867
|
-
],
|
|
868
|
-
"decision_guidance": {
|
|
869
|
-
"recommended_action": {
|
|
870
|
-
"fix_type": "invariant_restoration",
|
|
871
|
-
"location": "invariant not properly enforced: System invariant implemented in src\\core\\invariant-detector.js: Assertion-based invariant checking found",
|
|
872
|
-
"action": "Fix violation of System invariant implemented in src\\core\\invariant-detector.js: Assertion-based invariant checking found to restore invariant: System invariant implemented in src\\core\\invariant-detector.js: Assertion-based invariant checking found",
|
|
873
|
-
"risk_if_ignored": "System instability, unpredictable behavior, or cascading failures"
|
|
874
|
-
}
|
|
875
|
-
},
|
|
876
|
-
"archetype": {
|
|
877
|
-
"type": "schema_driven",
|
|
878
|
-
"confidence": "low",
|
|
879
|
-
"description": "System primarily follows schema_driven architectural pattern",
|
|
880
|
-
"authorityPattern": "schema_driven_authority"
|
|
881
|
-
}
|
|
882
|
-
},
|
|
883
|
-
"metrics": {
|
|
884
|
-
"files_with_functions": 0,
|
|
885
|
-
"files_with_high_blast_radius": 0,
|
|
886
|
-
"total_calls": 0,
|
|
887
|
-
"total_dependencies": 0,
|
|
888
|
-
"total_depends_on": 0,
|
|
889
|
-
"total_edges": 0,
|
|
890
|
-
"total_files": 4,
|
|
891
|
-
"total_imports": 0,
|
|
892
|
-
"total_nodes": 4,
|
|
893
|
-
"total_owns": 0
|
|
894
|
-
},
|
|
895
|
-
"contextSurface": [],
|
|
896
|
-
"assumptions": [
|
|
897
|
-
"Dynamic imports resolved statically where possible",
|
|
898
|
-
"Runtime reflection not fully captured",
|
|
899
|
-
"Only code reachable from entry points analyzed",
|
|
900
|
-
"Third-party dependencies treated as black boxes",
|
|
901
|
-
"Build-time code generation not reflected in static analysis",
|
|
902
|
-
"ArcVision prioritizes execution-relevant structure over exhaustive file indexing. Non-runtime files are represented as envelope metadata unless they directly affect execution."
|
|
903
|
-
],
|
|
904
|
-
"source": {
|
|
905
|
-
"repo": "https://github.com/leafmintaiAR/ArcVision",
|
|
906
|
-
"commit": "2df067e4b3fec041c4390779b58829b74c94b780",
|
|
907
|
-
"generated_at": "2026-01-25",
|
|
908
|
-
"arcvision_version": "0.1.0"
|
|
909
|
-
},
|
|
910
|
-
"structural_layers": {
|
|
911
|
-
"runtime_code": {
|
|
912
|
-
"status": "included",
|
|
913
|
-
"description": "Source files that directly participate in runtime execution and system behavior",
|
|
914
|
-
"project_characteristics": {
|
|
915
|
-
"has_package_json": true,
|
|
916
|
-
"has_src_directory": true,
|
|
917
|
-
"total_files": 100,
|
|
918
|
-
"javascript_files": 82,
|
|
919
|
-
"typescript_files": 2,
|
|
920
|
-
"lua_files": 0
|
|
921
|
-
}
|
|
922
|
-
},
|
|
923
|
-
"execution_scripts": {
|
|
924
|
-
"status": "included",
|
|
925
|
-
"description": "Scripts invoked by runtime code to perform atomic or system-critical operations",
|
|
926
|
-
"project_characteristics": {
|
|
927
|
-
"lua_files_count": 0,
|
|
928
|
-
"is_lua_project": false
|
|
929
|
-
}
|
|
930
|
-
},
|
|
931
|
-
"infrastructure_scripts": {
|
|
932
|
-
"status": "included",
|
|
933
|
-
"description": "Scripts that manage infrastructure-level behavior (queues, databases, orchestration)"
|
|
934
|
-
},
|
|
935
|
-
"configuration": {
|
|
936
|
-
"status": "excluded",
|
|
937
|
-
"description": "Project configuration files represented as metadata, not execution graph nodes"
|
|
938
|
-
},
|
|
939
|
-
"documentation": {
|
|
940
|
-
"status": "optional",
|
|
941
|
-
"description": "Documentation files represented as metadata only"
|
|
942
|
-
},
|
|
943
|
-
"assets": {
|
|
944
|
-
"status": "excluded",
|
|
945
|
-
"description": "Static assets with no effect on execution semantics"
|
|
946
|
-
},
|
|
947
|
-
"project_metadata": {
|
|
948
|
-
"size_category": "small",
|
|
949
|
-
"file_count": 100,
|
|
950
|
-
"language_mix": {
|
|
951
|
-
"javascript": 82,
|
|
952
|
-
"typescript": 2,
|
|
953
|
-
"lua": 0,
|
|
954
|
-
"config": 10
|
|
955
|
-
},
|
|
956
|
-
"has_package_management": true,
|
|
957
|
-
"has_standard_structure": true,
|
|
958
|
-
"has_tests": false,
|
|
959
|
-
"is_lua_intensive": false
|
|
960
|
-
}
|
|
961
|
-
},
|
|
962
|
-
"project_envelope": {
|
|
963
|
-
"configuration_files": [
|
|
964
|
-
{
|
|
965
|
-
"path": "package.json",
|
|
966
|
-
"role": "dependency_manifest"
|
|
967
|
-
},
|
|
968
|
-
{
|
|
969
|
-
"path": "test_repos\\allowed-clean-architecture\\package.json",
|
|
970
|
-
"role": "dependency_manifest"
|
|
971
|
-
},
|
|
972
|
-
{
|
|
973
|
-
"path": "test_repos\\blocked-legacy-monolith\\package.json",
|
|
974
|
-
"role": "dependency_manifest"
|
|
975
|
-
},
|
|
976
|
-
{
|
|
977
|
-
"path": "test_repos\\risky-microservices-concerns\\package.json",
|
|
978
|
-
"role": "dependency_manifest"
|
|
979
|
-
}
|
|
980
|
-
],
|
|
981
|
-
"documentation": [
|
|
982
|
-
{
|
|
983
|
-
"path": "LICENSE",
|
|
984
|
-
"role": "license_terms"
|
|
985
|
-
},
|
|
986
|
-
{
|
|
987
|
-
"path": "test-dev-project\\arcvision_context\\README.md",
|
|
988
|
-
"role": "system_overview"
|
|
989
|
-
},
|
|
990
|
-
{
|
|
991
|
-
"path": "test_repos\\allowed-clean-architecture\\arcvision_context\\README.md",
|
|
992
|
-
"role": "system_overview"
|
|
993
|
-
},
|
|
994
|
-
{
|
|
995
|
-
"path": "test_repos\\blocked-legacy-monolith\\arcvision_context\\README.md",
|
|
996
|
-
"role": "system_overview"
|
|
997
|
-
},
|
|
998
|
-
{
|
|
999
|
-
"path": "test_repos\\risky-microservices-concerns\\arcvision_context\\README.md",
|
|
1000
|
-
"role": "system_overview"
|
|
1001
|
-
}
|
|
1002
|
-
],
|
|
1003
|
-
"build_tools": []
|
|
1004
|
-
},
|
|
1005
|
-
"authority_cores": [],
|
|
1006
|
-
"hidden_coupling": [],
|
|
1007
|
-
"completeness_metrics": {
|
|
1008
|
-
"totalFilesFound": 0,
|
|
1009
|
-
"filesAnalyzed": 0,
|
|
1010
|
-
"coveragePercentage": 0,
|
|
1011
|
-
"missingCriticalFiles": []
|
|
1012
|
-
},
|
|
1013
|
-
"structural_hubs": [],
|
|
1014
|
-
"architectural_boundaries": {},
|
|
1015
|
-
"structural_invariants": [],
|
|
1016
|
-
"invariants": [],
|
|
1017
|
-
"invariant_analysis": null,
|
|
1018
|
-
"architectural_health": null,
|
|
1019
|
-
"authoritative_context": null,
|
|
1020
|
-
"integrity": {
|
|
1021
|
-
"sha256": "4cef416cabbab9f153b2990c3936edbb62deaba15eb4aa599060037f58f685c2"
|
|
1022
|
-
}
|
|
1023
|
-
}
|