chore: publish from main

This commit is contained in:
github-actions[bot]
2026-08-14 01:24:17 +00:00
parent 87df1e1d41
commit 38af5bcb89
6 changed files with 29 additions and 11 deletions
@@ -7,8 +7,9 @@
"additionalProperties": false,
"required": ["version", "status", "problem", "baseline", "rootCause", "changes", "verification", "gaps"],
"properties": {
"version": { "const": 1 },
"version": { "enum": [1, 2] },
"status": { "enum": ["verified", "partial", "blocked"] },
"evidenceSource": { "enum": ["executed-now", "supplied", "mixed"] },
"problem": { "$ref": "#/$defs/nonEmptyString" },
"baseline": {
"type": "object",
@@ -71,6 +72,13 @@
"nonEmptyString": { "type": "string", "minLength": 1, "pattern": "\\S" }
},
"allOf": [
{
"if": { "properties": { "version": { "const": 2 } }, "required": ["version"] },
"then": {
"properties": { "evidenceSource": { "enum": ["executed-now", "supplied", "mixed"] } },
"required": ["evidenceSource"]
}
},
{
"if": { "properties": { "status": { "const": "verified" } }, "required": ["status"] },
"then": {