277 lines
6.7 KiB
JSON
277 lines
6.7 KiB
JSON
{
|
|
"type": "object",
|
|
"properties": {
|
|
"format": {
|
|
"const": "viano-hypothesis-context"
|
|
},
|
|
"format_version": {
|
|
"type": "integer",
|
|
"const": 1
|
|
},
|
|
"case_context": {
|
|
"type": "object",
|
|
"properties": {
|
|
"format": {
|
|
"const": "viano-case-interpretation-context"
|
|
},
|
|
"format_version": {
|
|
"type": "integer",
|
|
"const": 1
|
|
},
|
|
"case_ref": {
|
|
"type": "string",
|
|
"minLength": 1,
|
|
"pattern": "\\S"
|
|
},
|
|
"case_sha256": {
|
|
"type": "string",
|
|
"pattern": "^[0-9a-f]{64}$"
|
|
},
|
|
"case": {
|
|
"type": "object",
|
|
"required": [
|
|
"case_id",
|
|
"package_id",
|
|
"analysis_revision"
|
|
],
|
|
"properties": {
|
|
"case_id": {
|
|
"type": "string",
|
|
"minLength": 1,
|
|
"pattern": "\\S"
|
|
},
|
|
"package_id": {
|
|
"type": "string",
|
|
"minLength": 1,
|
|
"pattern": "\\S"
|
|
},
|
|
"analysis_revision": {
|
|
"type": "integer",
|
|
"minimum": 1
|
|
}
|
|
}
|
|
},
|
|
"expected_behavior_completeness": {
|
|
"enum": [
|
|
"missing",
|
|
"unspecified",
|
|
"reported_complete",
|
|
"reported_partial",
|
|
"conflicting",
|
|
"researched_complete",
|
|
"researched_partial"
|
|
]
|
|
},
|
|
"expected_behavior_provenance": {
|
|
"enum": [
|
|
"tester",
|
|
"none",
|
|
"external_research",
|
|
"combined"
|
|
]
|
|
},
|
|
"sources": {
|
|
"type": "object",
|
|
"propertyNames": {
|
|
"type": "string",
|
|
"pattern": "^[A-Z][0-9]{4,}$"
|
|
},
|
|
"additionalProperties": {
|
|
"type": "object",
|
|
"required": [
|
|
"kind",
|
|
"case_pointer",
|
|
"data"
|
|
],
|
|
"properties": {
|
|
"kind": {
|
|
"enum": [
|
|
"report",
|
|
"observation",
|
|
"tester_comment",
|
|
"tester_assumption",
|
|
"expectation",
|
|
"fact",
|
|
"fact_reference",
|
|
"reproduction",
|
|
"step",
|
|
"entity",
|
|
"data_quality",
|
|
"unread_reference",
|
|
"expectation_state"
|
|
]
|
|
},
|
|
"case_pointer": {
|
|
"type": "string",
|
|
"pattern": "^/"
|
|
},
|
|
"data": {}
|
|
},
|
|
"additionalProperties": false
|
|
}
|
|
},
|
|
"model_encoding": {
|
|
"const": "shared_json_v1"
|
|
},
|
|
"context_selection": {
|
|
"const": "phase_selection_v1"
|
|
},
|
|
"joint_generation": {
|
|
"type": "object",
|
|
"properties": {
|
|
"policy": {
|
|
"type": "object"
|
|
},
|
|
"prior_generations": {
|
|
"type": "array"
|
|
}
|
|
},
|
|
"required": [
|
|
"policy",
|
|
"prior_generations"
|
|
],
|
|
"additionalProperties": false
|
|
}
|
|
},
|
|
"required": [
|
|
"format",
|
|
"format_version",
|
|
"case_ref",
|
|
"case_sha256",
|
|
"case",
|
|
"expected_behavior_completeness",
|
|
"expected_behavior_provenance",
|
|
"sources"
|
|
],
|
|
"additionalProperties": false
|
|
},
|
|
"interpretation_ref": {
|
|
"type": "string",
|
|
"minLength": 1,
|
|
"pattern": "\\S"
|
|
},
|
|
"interpretation_sha256": {
|
|
"type": "string",
|
|
"pattern": "^[0-9a-f]{64}$"
|
|
},
|
|
"interpretation_sources": {
|
|
"type": "object",
|
|
"propertyNames": {
|
|
"type": "string",
|
|
"pattern": "^I[0-9]{4,}$"
|
|
},
|
|
"additionalProperties": {
|
|
"type": "object",
|
|
"properties": {
|
|
"kind": {
|
|
"type": "string",
|
|
"minLength": 1,
|
|
"pattern": "\\S"
|
|
},
|
|
"interpretation_pointer": {
|
|
"type": "string",
|
|
"pattern": "^/interpretation/"
|
|
},
|
|
"data": {}
|
|
},
|
|
"required": [
|
|
"kind",
|
|
"interpretation_pointer",
|
|
"data"
|
|
],
|
|
"additionalProperties": false
|
|
}
|
|
},
|
|
"policy": {
|
|
"type": "object",
|
|
"properties": {
|
|
"format": {
|
|
"const": "viano-hypothesis-policy"
|
|
},
|
|
"format_version": {
|
|
"type": "integer",
|
|
"const": 1
|
|
},
|
|
"min_hypotheses": {
|
|
"type": "integer",
|
|
"minimum": 1
|
|
},
|
|
"max_hypotheses": {
|
|
"type": "integer",
|
|
"minimum": 1
|
|
},
|
|
"initial_budget": {
|
|
"type": "integer",
|
|
"minimum": 1
|
|
},
|
|
"budget_unit": {
|
|
"const": "investigation_units"
|
|
}
|
|
},
|
|
"required": [
|
|
"format",
|
|
"format_version",
|
|
"min_hypotheses",
|
|
"max_hypotheses",
|
|
"initial_budget",
|
|
"budget_unit"
|
|
],
|
|
"additionalProperties": false,
|
|
"$schema": "https://json-schema.org/draft/2020-12/schema"
|
|
},
|
|
"prior_generations": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "object",
|
|
"properties": {
|
|
"analysis_revision": {
|
|
"type": "integer",
|
|
"minimum": 1
|
|
},
|
|
"hypotheses_ref": {
|
|
"type": "string",
|
|
"minLength": 1,
|
|
"pattern": "\\S"
|
|
},
|
|
"hypotheses_sha256": {
|
|
"type": "string",
|
|
"pattern": "^[0-9a-f]{64}$"
|
|
},
|
|
"initial_proposals": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "object"
|
|
}
|
|
}
|
|
},
|
|
"required": [
|
|
"analysis_revision",
|
|
"hypotheses_ref",
|
|
"hypotheses_sha256",
|
|
"initial_proposals"
|
|
],
|
|
"additionalProperties": false
|
|
}
|
|
},
|
|
"prompt_version": {
|
|
"enum": [
|
|
"hypotheses_v2",
|
|
"hypotheses_v3",
|
|
"hypotheses_v4"
|
|
]
|
|
}
|
|
},
|
|
"required": [
|
|
"format",
|
|
"format_version",
|
|
"case_context",
|
|
"interpretation_ref",
|
|
"interpretation_sha256",
|
|
"interpretation_sources",
|
|
"policy",
|
|
"prior_generations"
|
|
],
|
|
"additionalProperties": false,
|
|
"$schema": "https://json-schema.org/draft/2020-12/schema"
|
|
}
|