29 lines
1.5 KiB
JSON
29 lines
1.5 KiB
JSON
|
{
|
||
|
|
"title": "Frozen-contract compatibility verification",
|
||
|
|
"type": "object",
|
||
|
|
"additionalProperties": false,
|
||
|
|
"properties": {
|
||
|
|
"verdict": {"type": "string", "enum": ["pass", "fail", "blocked"]},
|
||
|
|
"contract_sha256": {"type": "string", "pattern": "^[0-9a-f]{64}$"},
|
||
|
|
"verified_clause_ids": {"type": "array", "items": {"type": "string"}, "maxItems": 100, "uniqueItems": true},
|
||
|
|
"commands": {
|
||
|
|
"type": "array",
|
||
|
|
"maxItems": 30,
|
||
|
|
"items": {
|
||
|
|
"type": "object",
|
||
|
|
"additionalProperties": false,
|
||
|
|
"properties": {"command": {"type": "string", "minLength": 1}, "exit_code": {"type": "integer"}, "observation": {"type": "string", "minLength": 1}},
|
||
|
|
"required": ["command", "exit_code", "observation"]
|
||
|
|
}
|
||
|
|
},
|
||
|
|
"findings": {"type": "array", "items": {"type": "string"}, "maxItems": 30},
|
||
|
|
"blockers": {"type": "array", "items": {"type": "string"}, "maxItems": 20}
|
||
|
|
},
|
||
|
|
"required": ["verdict", "contract_sha256", "verified_clause_ids", "commands", "findings", "blockers"],
|
||
|
|
"allOf": [
|
||
|
|
{"if": {"properties": {"verdict": {"const": "pass"}}, "required": ["verdict"]}, "then": {"properties": {"verified_clause_ids": {"minItems": 1}, "commands": {"minItems": 1}, "findings": {"maxItems": 0}, "blockers": {"maxItems": 0}}}},
|
||
|
|
{"if": {"properties": {"verdict": {"const": "fail"}}, "required": ["verdict"]}, "then": {"properties": {"findings": {"minItems": 1}}}},
|
||
|
|
{"if": {"properties": {"verdict": {"const": "blocked"}}, "required": ["verdict"]}, "then": {"properties": {"blockers": {"minItems": 1}}}}
|
||
|
|
]
|
||
|
|
}
|