mustflow 2.17.0 → 2.18.2
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/README.md +3 -3
- package/dist/cli/commands/classify.js +13 -3
- package/dist/cli/commands/dashboard.js +2 -1
- package/dist/cli/commands/explain-verify.js +2 -2
- package/dist/cli/commands/impact.js +13 -3
- package/dist/cli/commands/run.js +156 -104
- package/dist/cli/commands/verify.js +157 -45
- package/dist/cli/i18n/en.js +10 -1
- package/dist/cli/i18n/es.js +10 -1
- package/dist/cli/i18n/fr.js +10 -1
- package/dist/cli/i18n/hi.js +10 -1
- package/dist/cli/i18n/ko.js +10 -1
- package/dist/cli/i18n/zh.js +10 -1
- package/dist/cli/lib/git-changes.js +25 -2
- package/dist/cli/lib/local-index/constants.js +4 -1
- package/dist/cli/lib/local-index/index.js +22 -5
- package/dist/cli/lib/repo-map.js +90 -30
- package/dist/cli/lib/run-plan.js +25 -2
- package/dist/cli/lib/validation/index.js +2 -1
- package/dist/core/atomic-state-write.js +31 -0
- package/dist/core/bounded-output.js +23 -1
- package/dist/core/check-issues.js +3 -0
- package/dist/core/command-contract-rules.js +104 -2
- package/dist/core/command-contract-validation.js +71 -9
- package/dist/core/command-intent-eligibility.js +9 -1
- package/dist/core/command-output-limits.js +5 -0
- package/dist/core/completion-verdict.js +2 -1
- package/dist/core/contract-lint.js +10 -1
- package/dist/core/public-json-contracts.js +1 -1
- package/dist/core/run-receipt.js +20 -13
- package/dist/core/source-anchors.js +96 -24
- package/dist/core/verification-evidence.js +4 -1
- package/package.json +1 -1
- package/schemas/README.md +4 -4
- package/schemas/change-verification-report.schema.json +2 -1
- package/schemas/contract-lint-report.schema.json +2 -1
- package/schemas/explain-report.schema.json +1 -0
- package/schemas/latest-run-pointer.schema.json +1 -0
- package/schemas/run-receipt.schema.json +26 -3
- package/schemas/verify-report.schema.json +2 -1
- package/schemas/verify-run-manifest.schema.json +2 -1
- package/templates/default/manifest.toml +1 -1
|
@@ -33,6 +33,7 @@
|
|
|
33
33
|
"type": "string",
|
|
34
34
|
"pattern": "^sha256:[0-9a-f]{64}$"
|
|
35
35
|
},
|
|
36
|
+
"execution_status": { "enum": ["passed", "partial", "failed", "blocked"] },
|
|
36
37
|
"status": { "enum": ["passed", "partial", "failed", "blocked"] },
|
|
37
38
|
"completion_verdict": { "$ref": "#/$defs/completionVerdict" },
|
|
38
39
|
"evidence_model": { "$ref": "#/$defs/evidenceModel" },
|
|
@@ -35,7 +35,7 @@
|
|
|
35
35
|
"schema_version": { "const": "1" },
|
|
36
36
|
"command": { "const": "run" },
|
|
37
37
|
"intent": { "type": "string" },
|
|
38
|
-
"status": { "enum": ["passed", "failed", "timed_out", "start_failed"] },
|
|
38
|
+
"status": { "enum": ["passed", "failed", "timed_out", "start_failed", "output_limit_exceeded"] },
|
|
39
39
|
"timed_out": { "type": "boolean" },
|
|
40
40
|
"started_at": { "type": "string", "format": "date-time" },
|
|
41
41
|
"finished_at": { "type": "string", "format": "date-time" },
|
|
@@ -64,6 +64,7 @@
|
|
|
64
64
|
"signal": { "type": ["string", "null"] },
|
|
65
65
|
"error": { "type": ["string", "null"] },
|
|
66
66
|
"kill_method": { "type": ["string", "null"] },
|
|
67
|
+
"termination": { "$ref": "#/$defs/termination" },
|
|
67
68
|
"stdout": { "$ref": "#/$defs/output" },
|
|
68
69
|
"stderr": { "$ref": "#/$defs/output" },
|
|
69
70
|
"write_drift": { "$ref": "#/$defs/writeDrift" },
|
|
@@ -182,10 +183,10 @@
|
|
|
182
183
|
"additionalProperties": false,
|
|
183
184
|
"required": ["status", "exit_code_class", "timed_out", "error_kind"],
|
|
184
185
|
"properties": {
|
|
185
|
-
"status": { "enum": ["passed", "failed", "timed_out", "start_failed"] },
|
|
186
|
+
"status": { "enum": ["passed", "failed", "timed_out", "start_failed", "output_limit_exceeded"] },
|
|
186
187
|
"exit_code_class": { "enum": ["success", "failure", "no_exit_code"] },
|
|
187
188
|
"timed_out": { "type": "boolean" },
|
|
188
|
-
"error_kind": { "enum": ["timeout", "start_failed", "exit_code", null] }
|
|
189
|
+
"error_kind": { "enum": ["timeout", "start_failed", "output_limit_exceeded", "exit_code", null] }
|
|
189
190
|
}
|
|
190
191
|
},
|
|
191
192
|
"quality": {
|
|
@@ -200,6 +201,28 @@
|
|
|
200
201
|
}
|
|
201
202
|
}
|
|
202
203
|
},
|
|
204
|
+
"termination": {
|
|
205
|
+
"type": "object",
|
|
206
|
+
"additionalProperties": false,
|
|
207
|
+
"required": [
|
|
208
|
+
"reason",
|
|
209
|
+
"method",
|
|
210
|
+
"graceful_signal",
|
|
211
|
+
"forced_signal",
|
|
212
|
+
"forced_kill_attempted",
|
|
213
|
+
"confirmed",
|
|
214
|
+
"cleanup_pending"
|
|
215
|
+
],
|
|
216
|
+
"properties": {
|
|
217
|
+
"reason": { "const": "timeout" },
|
|
218
|
+
"method": { "type": "string" },
|
|
219
|
+
"graceful_signal": { "type": ["string", "null"] },
|
|
220
|
+
"forced_signal": { "type": ["string", "null"] },
|
|
221
|
+
"forced_kill_attempted": { "type": "boolean" },
|
|
222
|
+
"confirmed": { "type": "boolean" },
|
|
223
|
+
"cleanup_pending": { "type": "boolean" }
|
|
224
|
+
}
|
|
225
|
+
},
|
|
203
226
|
"redaction": {
|
|
204
227
|
"type": "object",
|
|
205
228
|
"additionalProperties": false,
|
|
@@ -34,6 +34,7 @@
|
|
|
34
34
|
"type": "string",
|
|
35
35
|
"pattern": "^sha256:[0-9a-f]{64}$"
|
|
36
36
|
},
|
|
37
|
+
"execution_status": { "enum": ["passed", "partial", "failed", "blocked"] },
|
|
37
38
|
"status": { "enum": ["passed", "partial", "failed", "blocked"] },
|
|
38
39
|
"completion_verdict": { "$ref": "#/$defs/completionVerdict" },
|
|
39
40
|
"evidence_model": { "$ref": "#/$defs/evidenceModel" },
|
|
@@ -87,7 +88,7 @@
|
|
|
87
88
|
],
|
|
88
89
|
"properties": {
|
|
89
90
|
"intent": { "type": ["string", "null"] },
|
|
90
|
-
"status": { "enum": ["passed", "failed", "timed_out", "start_failed", "skipped"] },
|
|
91
|
+
"status": { "enum": ["passed", "failed", "timed_out", "start_failed", "output_limit_exceeded", "skipped"] },
|
|
91
92
|
"skipped": { "type": "boolean" },
|
|
92
93
|
"reason": { "type": ["string", "null"] },
|
|
93
94
|
"detail": { "type": ["string", "null"] },
|
|
@@ -30,6 +30,7 @@
|
|
|
30
30
|
"type": "string",
|
|
31
31
|
"pattern": "^sha256:[0-9a-f]{64}$"
|
|
32
32
|
},
|
|
33
|
+
"execution_status": { "enum": ["passed", "partial", "failed", "blocked"] },
|
|
33
34
|
"status": { "enum": ["passed", "partial", "failed", "blocked"] },
|
|
34
35
|
"completion_verdict": { "$ref": "#/$defs/completionVerdict" },
|
|
35
36
|
"evidence_model": { "$ref": "#/$defs/evidenceModel" },
|
|
@@ -264,7 +265,7 @@
|
|
|
264
265
|
],
|
|
265
266
|
"properties": {
|
|
266
267
|
"intent": { "type": ["string", "null"] },
|
|
267
|
-
"status": { "enum": ["passed", "failed", "timed_out", "start_failed", "skipped"] },
|
|
268
|
+
"status": { "enum": ["passed", "failed", "timed_out", "start_failed", "output_limit_exceeded", "skipped"] },
|
|
268
269
|
"skipped": { "type": "boolean" },
|
|
269
270
|
"verification_plan_id": {
|
|
270
271
|
"type": ["string", "null"],
|