381 lines
8.9 KiB
JSON
381 lines
8.9 KiB
JSON
{
|
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
"$id": "https://awoooi.local/schemas/ai_agent_post_write_verifier_package_v1.schema.json",
|
|
"title": "AI Agent Post-write Verifier Package",
|
|
"type": "object",
|
|
"required": [
|
|
"schema_version",
|
|
"generated_at",
|
|
"program_status",
|
|
"source_refs",
|
|
"verifier_truth",
|
|
"verifier_package",
|
|
"verification_targets",
|
|
"failure_lanes",
|
|
"operator_actions",
|
|
"approval_boundaries",
|
|
"display_redaction_contract",
|
|
"rollups"
|
|
],
|
|
"properties": {
|
|
"schema_version": {
|
|
"const": "ai_agent_post_write_verifier_package_v1"
|
|
},
|
|
"generated_at": {
|
|
"type": "string"
|
|
},
|
|
"program_status": {
|
|
"type": "object",
|
|
"required": [
|
|
"overall_completion_percent",
|
|
"current_priority",
|
|
"current_task_id",
|
|
"next_task_id",
|
|
"read_only_mode",
|
|
"runtime_authority",
|
|
"status_note"
|
|
],
|
|
"properties": {
|
|
"overall_completion_percent": {
|
|
"type": "integer",
|
|
"minimum": 0,
|
|
"maximum": 100
|
|
},
|
|
"current_priority": {
|
|
"enum": [
|
|
"P0",
|
|
"P1",
|
|
"P2",
|
|
"P3"
|
|
]
|
|
},
|
|
"current_task_id": {
|
|
"const": "P2-403H"
|
|
},
|
|
"next_task_id": {
|
|
"const": "P2-403I"
|
|
},
|
|
"read_only_mode": {
|
|
"const": true
|
|
},
|
|
"runtime_authority": {
|
|
"const": "post_write_verifier_package_only_no_runtime_write"
|
|
},
|
|
"status_note": {
|
|
"type": "string"
|
|
}
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"source_refs": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "string"
|
|
},
|
|
"minItems": 1
|
|
},
|
|
"verifier_truth": {
|
|
"type": "object",
|
|
"required": [
|
|
"runtime_write_allowed",
|
|
"post_write_verifier_implemented",
|
|
"post_write_verifier_executed_count",
|
|
"rollback_work_item_created_count",
|
|
"telegram_failure_receipt_sent_count",
|
|
"canonical_readback_allowed",
|
|
"truth_note"
|
|
],
|
|
"properties": {
|
|
"runtime_write_allowed": {
|
|
"const": false
|
|
},
|
|
"post_write_verifier_implemented": {
|
|
"const": false
|
|
},
|
|
"post_write_verifier_executed_count": {
|
|
"const": 0
|
|
},
|
|
"rollback_work_item_created_count": {
|
|
"const": 0
|
|
},
|
|
"telegram_failure_receipt_sent_count": {
|
|
"const": 0
|
|
},
|
|
"canonical_readback_allowed": {
|
|
"const": false
|
|
},
|
|
"truth_note": {
|
|
"type": "string"
|
|
}
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"verifier_package": {
|
|
"type": "object",
|
|
"required": [
|
|
"required_inputs",
|
|
"forbidden_inputs",
|
|
"operator_meaning",
|
|
"success_policy",
|
|
"failure_policy"
|
|
],
|
|
"properties": {
|
|
"required_inputs": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "string"
|
|
},
|
|
"minItems": 1
|
|
},
|
|
"forbidden_inputs": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "string"
|
|
},
|
|
"minItems": 1
|
|
},
|
|
"operator_meaning": {
|
|
"type": "string"
|
|
},
|
|
"success_policy": {
|
|
"type": "string"
|
|
},
|
|
"failure_policy": {
|
|
"type": "string"
|
|
}
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"verification_targets": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "object",
|
|
"required": [
|
|
"target_id",
|
|
"display_name",
|
|
"status",
|
|
"owner_agent",
|
|
"verifier_check",
|
|
"failure_escalation",
|
|
"blocked_runtime_action"
|
|
],
|
|
"properties": {
|
|
"target_id": {
|
|
"type": "string"
|
|
},
|
|
"display_name": {
|
|
"type": "string"
|
|
},
|
|
"status": {
|
|
"enum": [
|
|
"contract_ready",
|
|
"approval_required",
|
|
"blocked_by_runtime_gate"
|
|
]
|
|
},
|
|
"owner_agent": {
|
|
"enum": [
|
|
"openclaw",
|
|
"hermes",
|
|
"nemotron"
|
|
]
|
|
},
|
|
"verifier_check": {
|
|
"type": "string"
|
|
},
|
|
"failure_escalation": {
|
|
"type": "string"
|
|
},
|
|
"blocked_runtime_action": {
|
|
"type": "string"
|
|
}
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"minItems": 1
|
|
},
|
|
"failure_lanes": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "object",
|
|
"required": [
|
|
"lane_id",
|
|
"display_name",
|
|
"status",
|
|
"trigger",
|
|
"operator_instruction",
|
|
"blocked_runtime_action"
|
|
],
|
|
"properties": {
|
|
"lane_id": {
|
|
"type": "string"
|
|
},
|
|
"display_name": {
|
|
"type": "string"
|
|
},
|
|
"status": {
|
|
"enum": [
|
|
"contract_ready",
|
|
"approval_required",
|
|
"blocked_by_runtime_gate"
|
|
]
|
|
},
|
|
"trigger": {
|
|
"type": "string"
|
|
},
|
|
"operator_instruction": {
|
|
"type": "string"
|
|
},
|
|
"blocked_runtime_action": {
|
|
"type": "string"
|
|
}
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"minItems": 1
|
|
},
|
|
"operator_actions": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "object",
|
|
"required": [
|
|
"action_id",
|
|
"display_name",
|
|
"status",
|
|
"operator_instruction",
|
|
"owner_agent",
|
|
"blocked_runtime_action"
|
|
],
|
|
"properties": {
|
|
"action_id": {
|
|
"type": "string"
|
|
},
|
|
"display_name": {
|
|
"type": "string"
|
|
},
|
|
"status": {
|
|
"enum": [
|
|
"ready_for_owner",
|
|
"approval_required",
|
|
"blocked_by_runtime_gate"
|
|
]
|
|
},
|
|
"operator_instruction": {
|
|
"type": "string"
|
|
},
|
|
"owner_agent": {
|
|
"enum": [
|
|
"openclaw",
|
|
"hermes",
|
|
"nemotron"
|
|
]
|
|
},
|
|
"blocked_runtime_action": {
|
|
"type": "string"
|
|
}
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"minItems": 1
|
|
},
|
|
"approval_boundaries": {
|
|
"type": "object",
|
|
"additionalProperties": {
|
|
"const": false
|
|
}
|
|
},
|
|
"display_redaction_contract": {
|
|
"type": "object",
|
|
"required": [
|
|
"redaction_required",
|
|
"raw_payload_display_allowed",
|
|
"private_reasoning_display_allowed",
|
|
"secret_value_display_allowed",
|
|
"allowed_frontend_content",
|
|
"forbidden_frontend_content",
|
|
"frontend_display_policy"
|
|
],
|
|
"properties": {
|
|
"redaction_required": {
|
|
"const": true
|
|
},
|
|
"raw_payload_display_allowed": {
|
|
"const": false
|
|
},
|
|
"private_reasoning_display_allowed": {
|
|
"const": false
|
|
},
|
|
"secret_value_display_allowed": {
|
|
"const": false
|
|
},
|
|
"allowed_frontend_content": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "string"
|
|
}
|
|
},
|
|
"forbidden_frontend_content": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "string"
|
|
}
|
|
},
|
|
"frontend_display_policy": {
|
|
"type": "string"
|
|
}
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"rollups": {
|
|
"type": "object",
|
|
"required": [
|
|
"verification_target_count",
|
|
"failure_lane_count",
|
|
"operator_action_count",
|
|
"approval_required_action_ids",
|
|
"blocked_runtime_action_count",
|
|
"required_input_count",
|
|
"forbidden_input_count",
|
|
"live_verifier_execution_count"
|
|
],
|
|
"properties": {
|
|
"verification_target_count": {
|
|
"type": "integer",
|
|
"minimum": 0
|
|
},
|
|
"failure_lane_count": {
|
|
"type": "integer",
|
|
"minimum": 0
|
|
},
|
|
"operator_action_count": {
|
|
"type": "integer",
|
|
"minimum": 0
|
|
},
|
|
"approval_required_action_ids": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "string"
|
|
}
|
|
},
|
|
"blocked_runtime_action_count": {
|
|
"type": "integer",
|
|
"minimum": 0
|
|
},
|
|
"required_input_count": {
|
|
"type": "integer",
|
|
"minimum": 0
|
|
},
|
|
"forbidden_input_count": {
|
|
"type": "integer",
|
|
"minimum": 0
|
|
},
|
|
"live_verifier_execution_count": {
|
|
"const": 0
|
|
}
|
|
},
|
|
"additionalProperties": false
|
|
}
|
|
},
|
|
"additionalProperties": false
|
|
}
|