{
  "样例性质": "自产样本",
  "medical_tool_spec": [
    {
      "clinical_environment_status": "not_real_clinical_environment",
      "idempotency_rule": "same request_id and canonical input yield the same state and canonical response",
      "non_purpose_text": "不写入病历，不形成诊断、处方或执行结论。",
      "purpose_text": "按合成就诊键和字段白名单读取结构化记录。",
      "timeout_seconds": "5",
      "tool_category": "synthetic_clinical_query",
      "tool_name": "synthetic_clinical_record_query",
      "tool_spec_id": "TOOL_SPEC-0000001"
    },
    {
      "clinical_environment_status": "not_real_clinical_environment",
      "idempotency_rule": "same request_id and canonical input yield the same state and canonical response",
      "non_purpose_text": "不解释改善、恶化、病因或治疗效果。",
      "purpose_text": "按冻结点集和规则计算合成检验序列的变化指标。",
      "timeout_seconds": "8",
      "tool_category": "synthetic_lab_calculation",
      "tool_name": "laboratory_temporal_calculation",
      "tool_spec_id": "TOOL_SPEC-0000002"
    },
    {
      "clinical_environment_status": "not_real_clinical_environment",
      "idempotency_rule": "same request_id and canonical input yield the same state and canonical response",
      "non_purpose_text": "不判断医学内容是否正确或完整。",
      "purpose_text": "按指定合同版本校验合成记录的字段闭集、类型与必填项。",
      "timeout_seconds": "10",
      "tool_category": "synthetic_contract_validation",
      "tool_name": "data_contract_validation",
      "tool_spec_id": "TOOL_SPEC-0000003"
    },
    {
      "clinical_environment_status": "not_real_clinical_environment",
      "idempotency_rule": "same request_id and canonical input yield the same state and canonical response",
      "non_purpose_text": "不生成真实影像，不执行像素诊断或病灶标注。",
      "purpose_text": "把合成影像对象清单物化为受管对象及清单记录。",
      "timeout_seconds": "20",
      "tool_category": "synthetic_payload_materialization",
      "tool_name": "imaging_payload_materialization",
      "tool_spec_id": "TOOL_SPEC-0000004"
    },
    {
      "clinical_environment_status": "not_real_clinical_environment",
      "idempotency_rule": "same request_id and canonical input yield the same state and canonical response",
      "non_purpose_text": "不承诺绝对匿名，不保留可回认原值或对外crosswalk。",
      "purpose_text": "按合成规则移除或替换影像元数据中的标识字段。",
      "timeout_seconds": "15",
      "tool_category": "synthetic_deidentification",
      "tool_name": "imaging_deidentification",
      "tool_spec_id": "TOOL_SPEC-0000005"
    },
    {
      "clinical_environment_status": "not_real_clinical_environment",
      "idempotency_rule": "same request_id and canonical input yield the same state and canonical response",
      "non_purpose_text": "不替代全量像素质检、诊断审核或标注审核。",
      "purpose_text": "校验合成影像产品的对象清单、引用闭集与合同版本。",
      "timeout_seconds": "12",
      "tool_category": "synthetic_imaging_validation",
      "tool_name": "imaging_product_validation",
      "tool_spec_id": "TOOL_SPEC-0000006"
    }
  ],
  "tool_version": [
    {
      "effective_time": "2026-07-24T08:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000001",
      "version_id": "VERSION-0000001",
      "version_status": "1.0.0-synthetic"
    },
    {
      "effective_time": "2026-07-25T08:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000002",
      "version_id": "VERSION-0000002",
      "version_status": "1.0.0-synthetic"
    },
    {
      "effective_time": "2026-07-26T08:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000003",
      "version_id": "VERSION-0000003",
      "version_status": "1.0.0-synthetic"
    },
    {
      "effective_time": "2026-07-27T08:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000004",
      "version_id": "VERSION-0000004",
      "version_status": "1.0.0-synthetic"
    },
    {
      "effective_time": "2026-07-28T08:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000005",
      "version_id": "VERSION-0000005",
      "version_status": "1.0.0-synthetic"
    },
    {
      "effective_time": "2026-07-29T08:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000006",
      "version_id": "VERSION-0000006",
      "version_status": "1.0.0-synthetic"
    }
  ],
  "parameter_schema": [
    {
      "default_value": null,
      "parameter_id": "PARAMETER-0000001",
      "parameter_name": "input_payload",
      "required_status": "required",
      "schema_json": "{\"additionalProperties\":false,\"properties\":{\"encounter_id\":{\"pattern\":\"^SYN_\",\"type\":\"string\"},\"request_id\":{\"minLength\":1,\"type\":\"string\"},\"requested_fields\":{\"items\":{\"type\":\"string\"},\"minItems\":1,\"type\":\"array\"},\"simulate_dependency_unavailable\":{\"type\":\"boolean\"}},\"required\":[\"request_id\",\"encounter_id\",\"requested_fields\"],\"type\":\"object\"}",
      "tool_spec_id": "TOOL_SPEC-0000001",
      "type_rule": "json_object",
      "unit_or_value_rule": "units and enumerations are declared in schema; no medical default",
      "validation_rule": "validate against schema before state transition"
    },
    {
      "default_value": "{\"limit\":100}",
      "parameter_id": "PARAMETER-0000002",
      "parameter_name": "options",
      "required_status": "optional",
      "schema_json": "{\"additionalProperties\":false,\"properties\":{\"limit\":{\"maximum\":100,\"minimum\":1,\"type\":\"integer\"}},\"required\":[],\"type\":\"object\"}",
      "tool_spec_id": "TOOL_SPEC-0000001",
      "type_rule": "json_object",
      "unit_or_value_rule": "not applicable",
      "validation_rule": "limit must be an integer from 1 through 100"
    },
    {
      "default_value": null,
      "parameter_id": "PARAMETER-0000003",
      "parameter_name": "input_payload",
      "required_status": "required",
      "schema_json": "{\"additionalProperties\":false,\"properties\":{\"metric\":{\"enum\":[\"two_point_change\"],\"type\":\"string\"},\"points\":{\"items\":{\"type\":\"object\"},\"minItems\":2,\"type\":\"array\"},\"request_id\":{\"minLength\":1,\"type\":\"string\"},\"simulate_dependency_unavailable\":{\"type\":\"boolean\"}},\"required\":[\"request_id\",\"points\",\"metric\"],\"type\":\"object\"}",
      "tool_spec_id": "TOOL_SPEC-0000002",
      "type_rule": "json_object",
      "unit_or_value_rule": "units and enumerations are declared in schema; no medical default",
      "validation_rule": "validate against schema before state transition"
    },
    {
      "default_value": "{\"limit\":100}",
      "parameter_id": "PARAMETER-0000004",
      "parameter_name": "options",
      "required_status": "optional",
      "schema_json": "{\"additionalProperties\":false,\"properties\":{\"limit\":{\"maximum\":100,\"minimum\":1,\"type\":\"integer\"}},\"required\":[],\"type\":\"object\"}",
      "tool_spec_id": "TOOL_SPEC-0000002",
      "type_rule": "json_object",
      "unit_or_value_rule": "not applicable",
      "validation_rule": "limit must be an integer from 1 through 100"
    },
    {
      "default_value": null,
      "parameter_id": "PARAMETER-0000005",
      "parameter_name": "input_payload",
      "required_status": "required",
      "schema_json": "{\"additionalProperties\":false,\"properties\":{\"contract_version\":{\"const\":\"SYN_CONTRACT_1.0\",\"type\":\"string\"},\"record\":{\"type\":\"object\"},\"request_id\":{\"minLength\":1,\"type\":\"string\"},\"simulate_dependency_unavailable\":{\"type\":\"boolean\"}},\"required\":[\"request_id\",\"contract_version\",\"record\"],\"type\":\"object\"}",
      "tool_spec_id": "TOOL_SPEC-0000003",
      "type_rule": "json_object",
      "unit_or_value_rule": "units and enumerations are declared in schema; no medical default",
      "validation_rule": "validate against schema before state transition"
    },
    {
      "default_value": "{\"limit\":100}",
      "parameter_id": "PARAMETER-0000006",
      "parameter_name": "options",
      "required_status": "optional",
      "schema_json": "{\"additionalProperties\":false,\"properties\":{\"limit\":{\"maximum\":100,\"minimum\":1,\"type\":\"integer\"}},\"required\":[],\"type\":\"object\"}",
      "tool_spec_id": "TOOL_SPEC-0000003",
      "type_rule": "json_object",
      "unit_or_value_rule": "not applicable",
      "validation_rule": "limit must be an integer from 1 through 100"
    },
    {
      "default_value": null,
      "parameter_id": "PARAMETER-0000007",
      "parameter_name": "input_payload",
      "required_status": "required",
      "schema_json": "{\"additionalProperties\":false,\"properties\":{\"asset_ids\":{\"items\":{\"pattern\":\"^SYN_\",\"type\":\"string\"},\"minItems\":1,\"type\":\"array\"},\"request_id\":{\"minLength\":1,\"type\":\"string\"},\"simulate_dependency_unavailable\":{\"type\":\"boolean\"}},\"required\":[\"request_id\",\"asset_ids\"],\"type\":\"object\"}",
      "tool_spec_id": "TOOL_SPEC-0000004",
      "type_rule": "json_object",
      "unit_or_value_rule": "units and enumerations are declared in schema; no medical default",
      "validation_rule": "validate against schema before state transition"
    },
    {
      "default_value": "{\"limit\":100}",
      "parameter_id": "PARAMETER-0000008",
      "parameter_name": "options",
      "required_status": "optional",
      "schema_json": "{\"additionalProperties\":false,\"properties\":{\"limit\":{\"maximum\":100,\"minimum\":1,\"type\":\"integer\"}},\"required\":[],\"type\":\"object\"}",
      "tool_spec_id": "TOOL_SPEC-0000004",
      "type_rule": "json_object",
      "unit_or_value_rule": "not applicable",
      "validation_rule": "limit must be an integer from 1 through 100"
    },
    {
      "default_value": null,
      "parameter_id": "PARAMETER-0000009",
      "parameter_name": "input_payload",
      "required_status": "required",
      "schema_json": "{\"additionalProperties\":false,\"properties\":{\"metadata\":{\"type\":\"object\"},\"request_id\":{\"minLength\":1,\"type\":\"string\"},\"rule_version\":{\"const\":\"SYN_DEID_1.0\",\"type\":\"string\"},\"simulate_dependency_unavailable\":{\"type\":\"boolean\"}},\"required\":[\"request_id\",\"metadata\",\"rule_version\"],\"type\":\"object\"}",
      "tool_spec_id": "TOOL_SPEC-0000005",
      "type_rule": "json_object",
      "unit_or_value_rule": "units and enumerations are declared in schema; no medical default",
      "validation_rule": "validate against schema before state transition"
    },
    {
      "default_value": "{\"limit\":100}",
      "parameter_id": "PARAMETER-0000010",
      "parameter_name": "options",
      "required_status": "optional",
      "schema_json": "{\"additionalProperties\":false,\"properties\":{\"limit\":{\"maximum\":100,\"minimum\":1,\"type\":\"integer\"}},\"required\":[],\"type\":\"object\"}",
      "tool_spec_id": "TOOL_SPEC-0000005",
      "type_rule": "json_object",
      "unit_or_value_rule": "not applicable",
      "validation_rule": "limit must be an integer from 1 through 100"
    },
    {
      "default_value": null,
      "parameter_id": "PARAMETER-0000011",
      "parameter_name": "input_payload",
      "required_status": "required",
      "schema_json": "{\"additionalProperties\":false,\"properties\":{\"contract_version\":{\"const\":\"SYN_IMAGE_CONTRACT_1.0\",\"type\":\"string\"},\"manifest_id\":{\"pattern\":\"^SYN_\",\"type\":\"string\"},\"request_id\":{\"minLength\":1,\"type\":\"string\"},\"simulate_dependency_unavailable\":{\"type\":\"boolean\"}},\"required\":[\"request_id\",\"manifest_id\",\"contract_version\"],\"type\":\"object\"}",
      "tool_spec_id": "TOOL_SPEC-0000006",
      "type_rule": "json_object",
      "unit_or_value_rule": "units and enumerations are declared in schema; no medical default",
      "validation_rule": "validate against schema before state transition"
    },
    {
      "default_value": "{\"limit\":100}",
      "parameter_id": "PARAMETER-0000012",
      "parameter_name": "options",
      "required_status": "optional",
      "schema_json": "{\"additionalProperties\":false,\"properties\":{\"limit\":{\"maximum\":100,\"minimum\":1,\"type\":\"integer\"}},\"required\":[],\"type\":\"object\"}",
      "tool_spec_id": "TOOL_SPEC-0000006",
      "type_rule": "json_object",
      "unit_or_value_rule": "not applicable",
      "validation_rule": "limit must be an integer from 1 through 100"
    }
  ],
  "result_schema": [
    {
      "result_name": "tool_response",
      "result_schema_id": "RESULT_SCHEMA-0000001",
      "result_status": "synthetic_contract",
      "schema_json": "{\"additionalProperties\":false,\"properties\":{\"records\":{\"items\":{\"type\":\"object\"},\"type\":\"array\"},\"request_id\":{\"type\":\"string\"}},\"required\":[\"request_id\",\"records\"],\"type\":\"object\"}",
      "tool_spec_id": "TOOL_SPEC-0000001",
      "type_rule": "json_object",
      "validation_rule": "successful output must validate against the declared schema"
    },
    {
      "result_name": "tool_response",
      "result_schema_id": "RESULT_SCHEMA-0000002",
      "result_status": "synthetic_contract",
      "schema_json": "{\"additionalProperties\":false,\"properties\":{\"metric\":{\"type\":\"string\"},\"request_id\":{\"type\":\"string\"},\"unit\":{\"type\":\"string\"},\"value\":{\"type\":\"number\"}},\"required\":[\"request_id\",\"metric\",\"value\",\"unit\"],\"type\":\"object\"}",
      "tool_spec_id": "TOOL_SPEC-0000002",
      "type_rule": "json_object",
      "validation_rule": "successful output must validate against the declared schema"
    },
    {
      "result_name": "tool_response",
      "result_schema_id": "RESULT_SCHEMA-0000003",
      "result_status": "synthetic_contract",
      "schema_json": "{\"additionalProperties\":false,\"properties\":{\"errors\":{\"items\":{\"type\":\"string\"},\"type\":\"array\"},\"request_id\":{\"type\":\"string\"},\"valid\":{\"type\":\"boolean\"}},\"required\":[\"request_id\",\"valid\",\"errors\"],\"type\":\"object\"}",
      "tool_spec_id": "TOOL_SPEC-0000003",
      "type_rule": "json_object",
      "validation_rule": "successful output must validate against the declared schema"
    },
    {
      "result_name": "tool_response",
      "result_schema_id": "RESULT_SCHEMA-0000004",
      "result_status": "synthetic_contract",
      "schema_json": "{\"additionalProperties\":false,\"properties\":{\"manifest_id\":{\"type\":\"string\"},\"materialized_count\":{\"minimum\":0,\"type\":\"integer\"},\"request_id\":{\"type\":\"string\"}},\"required\":[\"request_id\",\"materialized_count\",\"manifest_id\"],\"type\":\"object\"}",
      "tool_spec_id": "TOOL_SPEC-0000004",
      "type_rule": "json_object",
      "validation_rule": "successful output must validate against the declared schema"
    },
    {
      "result_name": "tool_response",
      "result_schema_id": "RESULT_SCHEMA-0000005",
      "result_status": "synthetic_contract",
      "schema_json": "{\"additionalProperties\":false,\"properties\":{\"removed_fields\":{\"items\":{\"type\":\"string\"},\"type\":\"array\"},\"request_id\":{\"type\":\"string\"},\"retained_fields\":{\"items\":{\"type\":\"string\"},\"type\":\"array\"}},\"required\":[\"request_id\",\"removed_fields\",\"retained_fields\"],\"type\":\"object\"}",
      "tool_spec_id": "TOOL_SPEC-0000005",
      "type_rule": "json_object",
      "validation_rule": "successful output must validate against the declared schema"
    },
    {
      "result_name": "tool_response",
      "result_schema_id": "RESULT_SCHEMA-0000006",
      "result_status": "synthetic_contract",
      "schema_json": "{\"additionalProperties\":false,\"properties\":{\"checked_objects\":{\"minimum\":0,\"type\":\"integer\"},\"errors\":{\"items\":{\"type\":\"string\"},\"type\":\"array\"},\"request_id\":{\"type\":\"string\"},\"valid\":{\"type\":\"boolean\"}},\"required\":[\"request_id\",\"valid\",\"checked_objects\",\"errors\"],\"type\":\"object\"}",
      "tool_spec_id": "TOOL_SPEC-0000006",
      "type_rule": "json_object",
      "validation_rule": "successful output must validate against the declared schema"
    }
  ],
  "permission_scope": [
    {
      "permission_id": "PERMISSION-0000001",
      "permission_rule": "permission is checked before execution; synthetic dataset carries no real credential",
      "required_permission": "synthetic_record_read",
      "tool_spec_id": "TOOL_SPEC-0000001"
    },
    {
      "permission_id": "PERMISSION-0000002",
      "permission_rule": "permission is checked before execution; synthetic dataset carries no real credential",
      "required_permission": "synthetic_metric_execute",
      "tool_spec_id": "TOOL_SPEC-0000002"
    },
    {
      "permission_id": "PERMISSION-0000003",
      "permission_rule": "permission is checked before execution; synthetic dataset carries no real credential",
      "required_permission": "synthetic_contract_validate",
      "tool_spec_id": "TOOL_SPEC-0000003"
    },
    {
      "permission_id": "PERMISSION-0000004",
      "permission_rule": "permission is checked before execution; synthetic dataset carries no real credential",
      "required_permission": "synthetic_payload_materialize",
      "tool_spec_id": "TOOL_SPEC-0000004"
    },
    {
      "permission_id": "PERMISSION-0000005",
      "permission_rule": "permission is checked before execution; synthetic dataset carries no real credential",
      "required_permission": "synthetic_deidentify_execute",
      "tool_spec_id": "TOOL_SPEC-0000005"
    },
    {
      "permission_id": "PERMISSION-0000006",
      "permission_rule": "permission is checked before execution; synthetic dataset carries no real credential",
      "required_permission": "synthetic_product_validate",
      "tool_spec_id": "TOOL_SPEC-0000006"
    }
  ],
  "precondition": [
    {
      "precondition_id": "PRECONDITION-0000001",
      "precondition_rule": "合成就诊对象存在，requested_fields全部位于字段白名单。",
      "tool_spec_id": "TOOL_SPEC-0000001"
    },
    {
      "precondition_id": "PRECONDITION-0000002",
      "precondition_rule": "点集含时间、数值、单位并通过同项目同单位检查。",
      "tool_spec_id": "TOOL_SPEC-0000002"
    },
    {
      "precondition_id": "PRECONDITION-0000003",
      "precondition_rule": "合同版本可用且输入记录声明对应版本。",
      "tool_spec_id": "TOOL_SPEC-0000003"
    },
    {
      "precondition_id": "PRECONDITION-0000004",
      "precondition_rule": "输入仅含合成对象引用且目标逻辑空间可写。",
      "tool_spec_id": "TOOL_SPEC-0000004"
    },
    {
      "precondition_id": "PRECONDITION-0000005",
      "precondition_rule": "输入为合成元数据对象，规则版本和保留字段白名单明确。",
      "tool_spec_id": "TOOL_SPEC-0000005"
    },
    {
      "precondition_id": "PRECONDITION-0000006",
      "precondition_rule": "合成清单、合同版本和对象引用均可读取。",
      "tool_spec_id": "TOOL_SPEC-0000006"
    }
  ],
  "tool_state_machine": [
    {
      "from_state": "ready",
      "guard": "input schema valid, permission granted and precondition satisfied",
      "state_machine_id": "STATE_MACHINE-0000001",
      "to_state": "running",
      "tool_spec_id": "TOOL_SPEC-0000001",
      "trigger": "request_accepted"
    },
    {
      "from_state": "running",
      "guard": "output validates against result schema before timeout",
      "state_machine_id": "STATE_MACHINE-0000002",
      "to_state": "succeeded",
      "tool_spec_id": "TOOL_SPEC-0000001",
      "trigger": "result_emitted"
    },
    {
      "from_state": "ready",
      "guard": "input does not validate against declared schema",
      "state_machine_id": "STATE_MACHINE-0000003",
      "to_state": "invalid_input",
      "tool_spec_id": "TOOL_SPEC-0000001",
      "trigger": "schema_validation_failed"
    },
    {
      "from_state": "running",
      "guard": "dependency or required state unavailable before timeout",
      "state_machine_id": "STATE_MACHINE-0000004",
      "to_state": "dependency_error",
      "tool_spec_id": "TOOL_SPEC-0000001",
      "trigger": "dependency_unavailable"
    },
    {
      "from_state": "ready",
      "guard": "input schema valid, permission granted and precondition satisfied",
      "state_machine_id": "STATE_MACHINE-0000005",
      "to_state": "running",
      "tool_spec_id": "TOOL_SPEC-0000002",
      "trigger": "request_accepted"
    },
    {
      "from_state": "running",
      "guard": "output validates against result schema before timeout",
      "state_machine_id": "STATE_MACHINE-0000006",
      "to_state": "succeeded",
      "tool_spec_id": "TOOL_SPEC-0000002",
      "trigger": "result_emitted"
    },
    {
      "from_state": "ready",
      "guard": "input does not validate against declared schema",
      "state_machine_id": "STATE_MACHINE-0000007",
      "to_state": "invalid_input",
      "tool_spec_id": "TOOL_SPEC-0000002",
      "trigger": "schema_validation_failed"
    },
    {
      "from_state": "running",
      "guard": "dependency or required state unavailable before timeout",
      "state_machine_id": "STATE_MACHINE-0000008",
      "to_state": "dependency_error",
      "tool_spec_id": "TOOL_SPEC-0000002",
      "trigger": "dependency_unavailable"
    },
    {
      "from_state": "ready",
      "guard": "input schema valid, permission granted and precondition satisfied",
      "state_machine_id": "STATE_MACHINE-0000009",
      "to_state": "running",
      "tool_spec_id": "TOOL_SPEC-0000003",
      "trigger": "request_accepted"
    },
    {
      "from_state": "running",
      "guard": "output validates against result schema before timeout",
      "state_machine_id": "STATE_MACHINE-0000010",
      "to_state": "succeeded",
      "tool_spec_id": "TOOL_SPEC-0000003",
      "trigger": "result_emitted"
    },
    {
      "from_state": "ready",
      "guard": "input does not validate against declared schema",
      "state_machine_id": "STATE_MACHINE-0000011",
      "to_state": "invalid_input",
      "tool_spec_id": "TOOL_SPEC-0000003",
      "trigger": "schema_validation_failed"
    },
    {
      "from_state": "running",
      "guard": "dependency or required state unavailable before timeout",
      "state_machine_id": "STATE_MACHINE-0000012",
      "to_state": "dependency_error",
      "tool_spec_id": "TOOL_SPEC-0000003",
      "trigger": "dependency_unavailable"
    },
    {
      "from_state": "ready",
      "guard": "input schema valid, permission granted and precondition satisfied",
      "state_machine_id": "STATE_MACHINE-0000013",
      "to_state": "running",
      "tool_spec_id": "TOOL_SPEC-0000004",
      "trigger": "request_accepted"
    },
    {
      "from_state": "running",
      "guard": "output validates against result schema before timeout",
      "state_machine_id": "STATE_MACHINE-0000014",
      "to_state": "succeeded",
      "tool_spec_id": "TOOL_SPEC-0000004",
      "trigger": "result_emitted"
    },
    {
      "from_state": "ready",
      "guard": "input does not validate against declared schema",
      "state_machine_id": "STATE_MACHINE-0000015",
      "to_state": "invalid_input",
      "tool_spec_id": "TOOL_SPEC-0000004",
      "trigger": "schema_validation_failed"
    },
    {
      "from_state": "running",
      "guard": "dependency or required state unavailable before timeout",
      "state_machine_id": "STATE_MACHINE-0000016",
      "to_state": "dependency_error",
      "tool_spec_id": "TOOL_SPEC-0000004",
      "trigger": "dependency_unavailable"
    },
    {
      "from_state": "ready",
      "guard": "input schema valid, permission granted and precondition satisfied",
      "state_machine_id": "STATE_MACHINE-0000017",
      "to_state": "running",
      "tool_spec_id": "TOOL_SPEC-0000005",
      "trigger": "request_accepted"
    },
    {
      "from_state": "running",
      "guard": "output validates against result schema before timeout",
      "state_machine_id": "STATE_MACHINE-0000018",
      "to_state": "succeeded",
      "tool_spec_id": "TOOL_SPEC-0000005",
      "trigger": "result_emitted"
    },
    {
      "from_state": "ready",
      "guard": "input does not validate against declared schema",
      "state_machine_id": "STATE_MACHINE-0000019",
      "to_state": "invalid_input",
      "tool_spec_id": "TOOL_SPEC-0000005",
      "trigger": "schema_validation_failed"
    },
    {
      "from_state": "running",
      "guard": "dependency or required state unavailable before timeout",
      "state_machine_id": "STATE_MACHINE-0000020",
      "to_state": "dependency_error",
      "tool_spec_id": "TOOL_SPEC-0000005",
      "trigger": "dependency_unavailable"
    },
    {
      "from_state": "ready",
      "guard": "input schema valid, permission granted and precondition satisfied",
      "state_machine_id": "STATE_MACHINE-0000021",
      "to_state": "running",
      "tool_spec_id": "TOOL_SPEC-0000006",
      "trigger": "request_accepted"
    },
    {
      "from_state": "running",
      "guard": "output validates against result schema before timeout",
      "state_machine_id": "STATE_MACHINE-0000022",
      "to_state": "succeeded",
      "tool_spec_id": "TOOL_SPEC-0000006",
      "trigger": "result_emitted"
    },
    {
      "from_state": "ready",
      "guard": "input does not validate against declared schema",
      "state_machine_id": "STATE_MACHINE-0000023",
      "to_state": "invalid_input",
      "tool_spec_id": "TOOL_SPEC-0000006",
      "trigger": "schema_validation_failed"
    },
    {
      "from_state": "running",
      "guard": "dependency or required state unavailable before timeout",
      "state_machine_id": "STATE_MACHINE-0000024",
      "to_state": "dependency_error",
      "tool_spec_id": "TOOL_SPEC-0000006",
      "trigger": "dependency_unavailable"
    }
  ],
  "error_taxonomy": [
    {
      "error_code": "INVALID_INPUT",
      "error_condition": "input schema validation fails",
      "error_id": "ERROR-0000001",
      "retry_rule": "do not retry unchanged input; correct the input first",
      "retryability": "false",
      "tool_spec_id": "TOOL_SPEC-0000001"
    },
    {
      "error_code": "DEPENDENCY_OR_STATE_ERROR",
      "error_condition": "declared dependency or state is unavailable",
      "error_id": "ERROR-0000002",
      "retry_rule": "retry at most two times with the same request_id after dependency recovery",
      "retryability": "true",
      "tool_spec_id": "TOOL_SPEC-0000001"
    },
    {
      "error_code": "INVALID_INPUT",
      "error_condition": "input schema validation fails",
      "error_id": "ERROR-0000003",
      "retry_rule": "do not retry unchanged input; correct the input first",
      "retryability": "false",
      "tool_spec_id": "TOOL_SPEC-0000002"
    },
    {
      "error_code": "DEPENDENCY_OR_STATE_ERROR",
      "error_condition": "declared dependency or state is unavailable",
      "error_id": "ERROR-0000004",
      "retry_rule": "retry at most two times with the same request_id after dependency recovery",
      "retryability": "true",
      "tool_spec_id": "TOOL_SPEC-0000002"
    },
    {
      "error_code": "INVALID_INPUT",
      "error_condition": "input schema validation fails",
      "error_id": "ERROR-0000005",
      "retry_rule": "do not retry unchanged input; correct the input first",
      "retryability": "false",
      "tool_spec_id": "TOOL_SPEC-0000003"
    },
    {
      "error_code": "DEPENDENCY_OR_STATE_ERROR",
      "error_condition": "declared dependency or state is unavailable",
      "error_id": "ERROR-0000006",
      "retry_rule": "retry at most two times with the same request_id after dependency recovery",
      "retryability": "true",
      "tool_spec_id": "TOOL_SPEC-0000003"
    },
    {
      "error_code": "INVALID_INPUT",
      "error_condition": "input schema validation fails",
      "error_id": "ERROR-0000007",
      "retry_rule": "do not retry unchanged input; correct the input first",
      "retryability": "false",
      "tool_spec_id": "TOOL_SPEC-0000004"
    },
    {
      "error_code": "DEPENDENCY_OR_STATE_ERROR",
      "error_condition": "declared dependency or state is unavailable",
      "error_id": "ERROR-0000008",
      "retry_rule": "retry at most two times with the same request_id after dependency recovery",
      "retryability": "true",
      "tool_spec_id": "TOOL_SPEC-0000004"
    },
    {
      "error_code": "INVALID_INPUT",
      "error_condition": "input schema validation fails",
      "error_id": "ERROR-0000009",
      "retry_rule": "do not retry unchanged input; correct the input first",
      "retryability": "false",
      "tool_spec_id": "TOOL_SPEC-0000005"
    },
    {
      "error_code": "DEPENDENCY_OR_STATE_ERROR",
      "error_condition": "declared dependency or state is unavailable",
      "error_id": "ERROR-0000010",
      "retry_rule": "retry at most two times with the same request_id after dependency recovery",
      "retryability": "true",
      "tool_spec_id": "TOOL_SPEC-0000005"
    },
    {
      "error_code": "INVALID_INPUT",
      "error_condition": "input schema validation fails",
      "error_id": "ERROR-0000011",
      "retry_rule": "do not retry unchanged input; correct the input first",
      "retryability": "false",
      "tool_spec_id": "TOOL_SPEC-0000006"
    },
    {
      "error_code": "DEPENDENCY_OR_STATE_ERROR",
      "error_condition": "declared dependency or state is unavailable",
      "error_id": "ERROR-0000012",
      "retry_rule": "retry at most two times with the same request_id after dependency recovery",
      "retryability": "true",
      "tool_spec_id": "TOOL_SPEC-0000006"
    }
  ],
  "simulation_environment": {
    "environment_id": "ENVIRONMENT-0000001",
    "environment_status": "synthetic_isolated_environment",
    "environment_version": "synthetic-simulator-1.0.0",
    "snapshot_time": "2026-07-24T08:00:00+08:00"
  },
  "simulation_task": [
    {
      "expected_error": null,
      "expected_output": "{\"records\":[{\"diagnosis_candidate\":\"synthetic_candidate\",\"order_status\":\"ordered_not_executed\"}],\"request_id\":\"SYN_REQ_QUERY_001\"}",
      "expected_state": "succeeded",
      "dataset_id": "FIXTURE-0000001",
      "scenario_type": "success",
      "task_id": "TASK-0000001",
      "task_input": "{\"encounter_id\":\"SYN_ENC_001\",\"request_id\":\"SYN_REQ_QUERY_001\",\"requested_fields\":[\"diagnosis_candidate\",\"order_status\"]}",
      "task_time": "2026-07-24T09:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000001"
    },
    {
      "expected_error": "{\"code\":\"INVALID_INPUT\",\"retryable\":false}",
      "expected_output": null,
      "expected_state": "invalid_input",
      "dataset_id": "FIXTURE-0000001",
      "scenario_type": "invalid_input",
      "task_id": "TASK-0000002",
      "task_input": "{\"request_id\":\"\",\"requested_fields\":[]}",
      "task_time": "2026-07-24T10:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000001"
    },
    {
      "expected_error": "{\"code\":\"DEPENDENCY_OR_STATE_ERROR\",\"retryable\":true}",
      "expected_output": null,
      "expected_state": "dependency_error",
      "dataset_id": "FIXTURE-0000001",
      "scenario_type": "dependency_or_state_error",
      "task_id": "TASK-0000003",
      "task_input": "{\"encounter_id\":\"SYN_ENC_001\",\"request_id\":\"SYN_REQ_QUERY_001\",\"requested_fields\":[\"diagnosis_candidate\",\"order_status\"],\"simulate_dependency_unavailable\":true}",
      "task_time": "2026-07-24T11:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000001"
    },
    {
      "expected_error": null,
      "expected_output": "{\"metric\":\"two_point_change\",\"request_id\":\"SYN_REQ_METRIC_001\",\"unit\":\"SYN_UNIT\",\"value\":2.0}",
      "expected_state": "succeeded",
      "dataset_id": "FIXTURE-0000002",
      "scenario_type": "success",
      "task_id": "TASK-0000004",
      "task_input": "{\"metric\":\"two_point_change\",\"points\":[{\"hour\":0,\"value\":10.0},{\"hour\":48,\"value\":12.0}],\"request_id\":\"SYN_REQ_METRIC_001\"}",
      "task_time": "2026-07-25T09:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000002"
    },
    {
      "expected_error": "{\"code\":\"INVALID_INPUT\",\"retryable\":false}",
      "expected_output": null,
      "expected_state": "invalid_input",
      "dataset_id": "FIXTURE-0000002",
      "scenario_type": "invalid_input",
      "task_id": "TASK-0000005",
      "task_input": "{\"metric\":\"two_point_change\",\"points\":[{\"hour\":0,\"value\":10.0}],\"request_id\":\"SYN_REQ_METRIC_BAD\"}",
      "task_time": "2026-07-25T10:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000002"
    },
    {
      "expected_error": "{\"code\":\"DEPENDENCY_OR_STATE_ERROR\",\"retryable\":true}",
      "expected_output": null,
      "expected_state": "dependency_error",
      "dataset_id": "FIXTURE-0000002",
      "scenario_type": "dependency_or_state_error",
      "task_id": "TASK-0000006",
      "task_input": "{\"metric\":\"two_point_change\",\"points\":[{\"hour\":0,\"value\":10.0},{\"hour\":48,\"value\":12.0}],\"request_id\":\"SYN_REQ_METRIC_001\",\"simulate_dependency_unavailable\":true}",
      "task_time": "2026-07-25T11:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000002"
    },
    {
      "expected_error": null,
      "expected_output": "{\"errors\":[],\"request_id\":\"SYN_REQ_CONTRACT_001\",\"valid\":true}",
      "expected_state": "succeeded",
      "dataset_id": "FIXTURE-0000003",
      "scenario_type": "success",
      "task_id": "TASK-0000007",
      "task_input": "{\"contract_version\":\"SYN_CONTRACT_1.0\",\"record\":{\"object_id\":\"SYN_OBJ_001\",\"status\":\"candidate\"},\"request_id\":\"SYN_REQ_CONTRACT_001\"}",
      "task_time": "2026-07-26T09:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000003"
    },
    {
      "expected_error": "{\"code\":\"INVALID_INPUT\",\"retryable\":false}",
      "expected_output": null,
      "expected_state": "invalid_input",
      "dataset_id": "FIXTURE-0000003",
      "scenario_type": "invalid_input",
      "task_id": "TASK-0000008",
      "task_input": "{\"contract_version\":\"UNKNOWN\",\"record\":{},\"request_id\":\"SYN_REQ_CONTRACT_BAD\"}",
      "task_time": "2026-07-26T10:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000003"
    },
    {
      "expected_error": "{\"code\":\"DEPENDENCY_OR_STATE_ERROR\",\"retryable\":true}",
      "expected_output": null,
      "expected_state": "dependency_error",
      "dataset_id": "FIXTURE-0000003",
      "scenario_type": "dependency_or_state_error",
      "task_id": "TASK-0000009",
      "task_input": "{\"contract_version\":\"SYN_CONTRACT_1.0\",\"record\":{\"object_id\":\"SYN_OBJ_001\",\"status\":\"candidate\"},\"request_id\":\"SYN_REQ_CONTRACT_001\",\"simulate_dependency_unavailable\":true}",
      "task_time": "2026-07-26T11:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000003"
    },
    {
      "expected_error": null,
      "expected_output": "{\"manifest_id\":\"SYN_MANIFEST_001\",\"materialized_count\":2,\"request_id\":\"SYN_REQ_MATERIALIZE_001\"}",
      "expected_state": "succeeded",
      "dataset_id": "FIXTURE-0000004",
      "scenario_type": "success",
      "task_id": "TASK-0000010",
      "task_input": "{\"asset_ids\":[\"SYN_IMAGE_001\",\"SYN_REPORT_001\"],\"request_id\":\"SYN_REQ_MATERIALIZE_001\"}",
      "task_time": "2026-07-27T09:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000004"
    },
    {
      "expected_error": "{\"code\":\"INVALID_INPUT\",\"retryable\":false}",
      "expected_output": null,
      "expected_state": "invalid_input",
      "dataset_id": "FIXTURE-0000004",
      "scenario_type": "invalid_input",
      "task_id": "TASK-0000011",
      "task_input": "{\"asset_ids\":[],\"request_id\":\"SYN_REQ_MATERIALIZE_BAD\"}",
      "task_time": "2026-07-27T10:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000004"
    },
    {
      "expected_error": "{\"code\":\"DEPENDENCY_OR_STATE_ERROR\",\"retryable\":true}",
      "expected_output": null,
      "expected_state": "dependency_error",
      "dataset_id": "FIXTURE-0000004",
      "scenario_type": "dependency_or_state_error",
      "task_id": "TASK-0000012",
      "task_input": "{\"asset_ids\":[\"SYN_IMAGE_001\",\"SYN_REPORT_001\"],\"request_id\":\"SYN_REQ_MATERIALIZE_001\",\"simulate_dependency_unavailable\":true}",
      "task_time": "2026-07-27T11:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000004"
    },
    {
      "expected_error": null,
      "expected_output": "{\"removed_fields\":[\"PatientName\"],\"request_id\":\"SYN_REQ_DEID_001\",\"retained_fields\":[\"StudyInstanceUID\"]}",
      "expected_state": "succeeded",
      "dataset_id": "FIXTURE-0000005",
      "scenario_type": "success",
      "task_id": "TASK-0000013",
      "task_input": "{\"metadata\":{\"PatientName\":\"SYN_NAME\",\"StudyInstanceUID\":\"SYN_STUDY_001\"},\"request_id\":\"SYN_REQ_DEID_001\",\"rule_version\":\"SYN_DEID_1.0\"}",
      "task_time": "2026-07-28T09:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000005"
    },
    {
      "expected_error": "{\"code\":\"INVALID_INPUT\",\"retryable\":false}",
      "expected_output": null,
      "expected_state": "invalid_input",
      "dataset_id": "FIXTURE-0000005",
      "scenario_type": "invalid_input",
      "task_id": "TASK-0000014",
      "task_input": "{\"metadata\":{},\"request_id\":\"SYN_REQ_DEID_BAD\",\"rule_version\":\"UNKNOWN\"}",
      "task_time": "2026-07-28T10:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000005"
    },
    {
      "expected_error": "{\"code\":\"DEPENDENCY_OR_STATE_ERROR\",\"retryable\":true}",
      "expected_output": null,
      "expected_state": "dependency_error",
      "dataset_id": "FIXTURE-0000005",
      "scenario_type": "dependency_or_state_error",
      "task_id": "TASK-0000015",
      "task_input": "{\"metadata\":{\"PatientName\":\"SYN_NAME\",\"StudyInstanceUID\":\"SYN_STUDY_001\"},\"request_id\":\"SYN_REQ_DEID_001\",\"rule_version\":\"SYN_DEID_1.0\",\"simulate_dependency_unavailable\":true}",
      "task_time": "2026-07-28T11:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000005"
    },
    {
      "expected_error": null,
      "expected_output": "{\"checked_objects\":2,\"errors\":[],\"request_id\":\"SYN_REQ_VALIDATE_001\",\"valid\":true}",
      "expected_state": "succeeded",
      "dataset_id": "FIXTURE-0000006",
      "scenario_type": "success",
      "task_id": "TASK-0000016",
      "task_input": "{\"contract_version\":\"SYN_IMAGE_CONTRACT_1.0\",\"manifest_id\":\"SYN_MANIFEST_001\",\"request_id\":\"SYN_REQ_VALIDATE_001\"}",
      "task_time": "2026-07-29T09:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000006"
    },
    {
      "expected_error": "{\"code\":\"INVALID_INPUT\",\"retryable\":false}",
      "expected_output": null,
      "expected_state": "invalid_input",
      "dataset_id": "FIXTURE-0000006",
      "scenario_type": "invalid_input",
      "task_id": "TASK-0000017",
      "task_input": "{\"contract_version\":\"UNKNOWN\",\"manifest_id\":\"\",\"request_id\":\"SYN_REQ_VALIDATE_BAD\"}",
      "task_time": "2026-07-29T10:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000006"
    },
    {
      "expected_error": "{\"code\":\"DEPENDENCY_OR_STATE_ERROR\",\"retryable\":true}",
      "expected_output": null,
      "expected_state": "dependency_error",
      "dataset_id": "FIXTURE-0000006",
      "scenario_type": "dependency_or_state_error",
      "task_id": "TASK-0000018",
      "task_input": "{\"contract_version\":\"SYN_IMAGE_CONTRACT_1.0\",\"manifest_id\":\"SYN_MANIFEST_001\",\"request_id\":\"SYN_REQ_VALIDATE_001\",\"simulate_dependency_unavailable\":true}",
      "task_time": "2026-07-29T11:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000006"
    }
  ],
  "simulation_run": [
    {
      "actual_error": null,
      "actual_output": "{\"records\":[{\"diagnosis_candidate\":\"synthetic_candidate\",\"order_status\":\"ordered_not_executed\"}],\"request_id\":\"SYN_REQ_QUERY_001\"}",
      "actual_state": "succeeded",
      "result_available_time": "2026-07-24T09:01:00+08:00",
      "run_id": "RUN-0000001",
      "score_detail": "{\"error_match\":true,\"output_match\":true,\"state_match\":true}",
      "score_status": "synthetic_pass",
      "scorer_id": "SCORER-0000001",
      "task_id": "TASK-0000001"
    },
    {
      "actual_error": "{\"code\":\"INVALID_INPUT\",\"retryable\":false}",
      "actual_output": null,
      "actual_state": "invalid_input",
      "result_available_time": "2026-07-24T10:01:00+08:00",
      "run_id": "RUN-0000002",
      "score_detail": "{\"error_match\":true,\"output_match\":true,\"state_match\":true}",
      "score_status": "synthetic_pass",
      "scorer_id": "SCORER-0000001",
      "task_id": "TASK-0000002"
    },
    {
      "actual_error": "{\"code\":\"DEPENDENCY_OR_STATE_ERROR\",\"retryable\":true}",
      "actual_output": null,
      "actual_state": "dependency_error",
      "result_available_time": "2026-07-24T11:01:00+08:00",
      "run_id": "RUN-0000003",
      "score_detail": "{\"error_match\":true,\"output_match\":true,\"state_match\":true}",
      "score_status": "synthetic_pass",
      "scorer_id": "SCORER-0000001",
      "task_id": "TASK-0000003"
    },
    {
      "actual_error": null,
      "actual_output": "{\"metric\":\"two_point_change\",\"request_id\":\"SYN_REQ_METRIC_001\",\"unit\":\"SYN_UNIT\",\"value\":2.0}",
      "actual_state": "succeeded",
      "result_available_time": "2026-07-25T09:01:00+08:00",
      "run_id": "RUN-0000004",
      "score_detail": "{\"error_match\":true,\"output_match\":true,\"state_match\":true}",
      "score_status": "synthetic_pass",
      "scorer_id": "SCORER-0000002",
      "task_id": "TASK-0000004"
    },
    {
      "actual_error": "{\"code\":\"INVALID_INPUT\",\"retryable\":false}",
      "actual_output": null,
      "actual_state": "invalid_input",
      "result_available_time": "2026-07-25T10:01:00+08:00",
      "run_id": "RUN-0000005",
      "score_detail": "{\"error_match\":true,\"output_match\":true,\"state_match\":true}",
      "score_status": "synthetic_pass",
      "scorer_id": "SCORER-0000002",
      "task_id": "TASK-0000005"
    },
    {
      "actual_error": "{\"code\":\"DEPENDENCY_OR_STATE_ERROR\",\"retryable\":true}",
      "actual_output": null,
      "actual_state": "dependency_error",
      "result_available_time": "2026-07-25T11:01:00+08:00",
      "run_id": "RUN-0000006",
      "score_detail": "{\"error_match\":true,\"output_match\":true,\"state_match\":true}",
      "score_status": "synthetic_pass",
      "scorer_id": "SCORER-0000002",
      "task_id": "TASK-0000006"
    },
    {
      "actual_error": null,
      "actual_output": "{\"errors\":[],\"request_id\":\"SYN_REQ_CONTRACT_001\",\"valid\":true}",
      "actual_state": "succeeded",
      "result_available_time": "2026-07-26T09:01:00+08:00",
      "run_id": "RUN-0000007",
      "score_detail": "{\"error_match\":true,\"output_match\":true,\"state_match\":true}",
      "score_status": "synthetic_pass",
      "scorer_id": "SCORER-0000003",
      "task_id": "TASK-0000007"
    },
    {
      "actual_error": "{\"code\":\"INVALID_INPUT\",\"retryable\":false}",
      "actual_output": null,
      "actual_state": "invalid_input",
      "result_available_time": "2026-07-26T10:01:00+08:00",
      "run_id": "RUN-0000008",
      "score_detail": "{\"error_match\":true,\"output_match\":true,\"state_match\":true}",
      "score_status": "synthetic_pass",
      "scorer_id": "SCORER-0000003",
      "task_id": "TASK-0000008"
    },
    {
      "actual_error": "{\"code\":\"DEPENDENCY_OR_STATE_ERROR\",\"retryable\":true}",
      "actual_output": null,
      "actual_state": "dependency_error",
      "result_available_time": "2026-07-26T11:01:00+08:00",
      "run_id": "RUN-0000009",
      "score_detail": "{\"error_match\":true,\"output_match\":true,\"state_match\":true}",
      "score_status": "synthetic_pass",
      "scorer_id": "SCORER-0000003",
      "task_id": "TASK-0000009"
    },
    {
      "actual_error": null,
      "actual_output": "{\"manifest_id\":\"SYN_MANIFEST_001\",\"materialized_count\":2,\"request_id\":\"SYN_REQ_MATERIALIZE_001\"}",
      "actual_state": "succeeded",
      "result_available_time": "2026-07-27T09:01:00+08:00",
      "run_id": "RUN-0000010",
      "score_detail": "{\"error_match\":true,\"output_match\":true,\"state_match\":true}",
      "score_status": "synthetic_pass",
      "scorer_id": "SCORER-0000004",
      "task_id": "TASK-0000010"
    },
    {
      "actual_error": "{\"code\":\"INVALID_INPUT\",\"retryable\":false}",
      "actual_output": null,
      "actual_state": "invalid_input",
      "result_available_time": "2026-07-27T10:01:00+08:00",
      "run_id": "RUN-0000011",
      "score_detail": "{\"error_match\":true,\"output_match\":true,\"state_match\":true}",
      "score_status": "synthetic_pass",
      "scorer_id": "SCORER-0000004",
      "task_id": "TASK-0000011"
    },
    {
      "actual_error": "{\"code\":\"DEPENDENCY_OR_STATE_ERROR\",\"retryable\":true}",
      "actual_output": null,
      "actual_state": "dependency_error",
      "result_available_time": "2026-07-27T11:01:00+08:00",
      "run_id": "RUN-0000012",
      "score_detail": "{\"error_match\":true,\"output_match\":true,\"state_match\":true}",
      "score_status": "synthetic_pass",
      "scorer_id": "SCORER-0000004",
      "task_id": "TASK-0000012"
    },
    {
      "actual_error": null,
      "actual_output": "{\"removed_fields\":[\"PatientName\"],\"request_id\":\"SYN_REQ_DEID_001\",\"retained_fields\":[\"StudyInstanceUID\"]}",
      "actual_state": "succeeded",
      "result_available_time": "2026-07-28T09:01:00+08:00",
      "run_id": "RUN-0000013",
      "score_detail": "{\"error_match\":true,\"output_match\":true,\"state_match\":true}",
      "score_status": "synthetic_pass",
      "scorer_id": "SCORER-0000005",
      "task_id": "TASK-0000013"
    },
    {
      "actual_error": "{\"code\":\"INVALID_INPUT\",\"retryable\":false}",
      "actual_output": null,
      "actual_state": "invalid_input",
      "result_available_time": "2026-07-28T10:01:00+08:00",
      "run_id": "RUN-0000014",
      "score_detail": "{\"error_match\":true,\"output_match\":true,\"state_match\":true}",
      "score_status": "synthetic_pass",
      "scorer_id": "SCORER-0000005",
      "task_id": "TASK-0000014"
    },
    {
      "actual_error": "{\"code\":\"DEPENDENCY_OR_STATE_ERROR\",\"retryable\":true}",
      "actual_output": null,
      "actual_state": "dependency_error",
      "result_available_time": "2026-07-28T11:01:00+08:00",
      "run_id": "RUN-0000015",
      "score_detail": "{\"error_match\":true,\"output_match\":true,\"state_match\":true}",
      "score_status": "synthetic_pass",
      "scorer_id": "SCORER-0000005",
      "task_id": "TASK-0000015"
    },
    {
      "actual_error": null,
      "actual_output": "{\"checked_objects\":2,\"errors\":[],\"request_id\":\"SYN_REQ_VALIDATE_001\",\"valid\":true}",
      "actual_state": "succeeded",
      "result_available_time": "2026-07-29T09:01:00+08:00",
      "run_id": "RUN-0000016",
      "score_detail": "{\"error_match\":true,\"output_match\":true,\"state_match\":true}",
      "score_status": "synthetic_pass",
      "scorer_id": "SCORER-0000006",
      "task_id": "TASK-0000016"
    },
    {
      "actual_error": "{\"code\":\"INVALID_INPUT\",\"retryable\":false}",
      "actual_output": null,
      "actual_state": "invalid_input",
      "result_available_time": "2026-07-29T10:01:00+08:00",
      "run_id": "RUN-0000017",
      "score_detail": "{\"error_match\":true,\"output_match\":true,\"state_match\":true}",
      "score_status": "synthetic_pass",
      "scorer_id": "SCORER-0000006",
      "task_id": "TASK-0000017"
    },
    {
      "actual_error": "{\"code\":\"DEPENDENCY_OR_STATE_ERROR\",\"retryable\":true}",
      "actual_output": null,
      "actual_state": "dependency_error",
      "result_available_time": "2026-07-29T11:01:00+08:00",
      "run_id": "RUN-0000018",
      "score_detail": "{\"error_match\":true,\"output_match\":true,\"state_match\":true}",
      "score_status": "synthetic_pass",
      "scorer_id": "SCORER-0000006",
      "task_id": "TASK-0000018"
    }
  ],
  "checkpoint": [
    {
      "checkpoint_id": "CHECKPOINT-0000001",
      "checkpoint_snapshot": "{\"expected_error\":null,\"expected_output\":{\"records\":[{\"diagnosis_candidate\":\"synthetic_candidate\",\"order_status\":\"ordered_not_executed\"}],\"request_id\":\"SYN_REQ_QUERY_001\"},\"expected_state\":\"succeeded\",\"task_input\":{\"encounter_id\":\"SYN_ENC_001\",\"request_id\":\"SYN_REQ_QUERY_001\",\"requested_fields\":[\"diagnosis_candidate\",\"order_status\"]}}",
      "checkpoint_status": "synthetic_contract_checked",
      "task_id": "TASK-0000001"
    },
    {
      "checkpoint_id": "CHECKPOINT-0000002",
      "checkpoint_snapshot": "{\"expected_error\":{\"code\":\"INVALID_INPUT\",\"retryable\":false},\"expected_output\":null,\"expected_state\":\"invalid_input\",\"task_input\":{\"request_id\":\"\",\"requested_fields\":[]}}",
      "checkpoint_status": "synthetic_contract_checked",
      "task_id": "TASK-0000002"
    },
    {
      "checkpoint_id": "CHECKPOINT-0000003",
      "checkpoint_snapshot": "{\"expected_error\":{\"code\":\"DEPENDENCY_OR_STATE_ERROR\",\"retryable\":true},\"expected_output\":null,\"expected_state\":\"dependency_error\",\"task_input\":{\"encounter_id\":\"SYN_ENC_001\",\"request_id\":\"SYN_REQ_QUERY_001\",\"requested_fields\":[\"diagnosis_candidate\",\"order_status\"],\"simulate_dependency_unavailable\":true}}",
      "checkpoint_status": "synthetic_contract_checked",
      "task_id": "TASK-0000003"
    },
    {
      "checkpoint_id": "CHECKPOINT-0000004",
      "checkpoint_snapshot": "{\"expected_error\":null,\"expected_output\":{\"metric\":\"two_point_change\",\"request_id\":\"SYN_REQ_METRIC_001\",\"unit\":\"SYN_UNIT\",\"value\":2.0},\"expected_state\":\"succeeded\",\"task_input\":{\"metric\":\"two_point_change\",\"points\":[{\"hour\":0,\"value\":10.0},{\"hour\":48,\"value\":12.0}],\"request_id\":\"SYN_REQ_METRIC_001\"}}",
      "checkpoint_status": "synthetic_contract_checked",
      "task_id": "TASK-0000004"
    },
    {
      "checkpoint_id": "CHECKPOINT-0000005",
      "checkpoint_snapshot": "{\"expected_error\":{\"code\":\"INVALID_INPUT\",\"retryable\":false},\"expected_output\":null,\"expected_state\":\"invalid_input\",\"task_input\":{\"metric\":\"two_point_change\",\"points\":[{\"hour\":0,\"value\":10.0}],\"request_id\":\"SYN_REQ_METRIC_BAD\"}}",
      "checkpoint_status": "synthetic_contract_checked",
      "task_id": "TASK-0000005"
    },
    {
      "checkpoint_id": "CHECKPOINT-0000006",
      "checkpoint_snapshot": "{\"expected_error\":{\"code\":\"DEPENDENCY_OR_STATE_ERROR\",\"retryable\":true},\"expected_output\":null,\"expected_state\":\"dependency_error\",\"task_input\":{\"metric\":\"two_point_change\",\"points\":[{\"hour\":0,\"value\":10.0},{\"hour\":48,\"value\":12.0}],\"request_id\":\"SYN_REQ_METRIC_001\",\"simulate_dependency_unavailable\":true}}",
      "checkpoint_status": "synthetic_contract_checked",
      "task_id": "TASK-0000006"
    },
    {
      "checkpoint_id": "CHECKPOINT-0000007",
      "checkpoint_snapshot": "{\"expected_error\":null,\"expected_output\":{\"errors\":[],\"request_id\":\"SYN_REQ_CONTRACT_001\",\"valid\":true},\"expected_state\":\"succeeded\",\"task_input\":{\"contract_version\":\"SYN_CONTRACT_1.0\",\"record\":{\"object_id\":\"SYN_OBJ_001\",\"status\":\"candidate\"},\"request_id\":\"SYN_REQ_CONTRACT_001\"}}",
      "checkpoint_status": "synthetic_contract_checked",
      "task_id": "TASK-0000007"
    },
    {
      "checkpoint_id": "CHECKPOINT-0000008",
      "checkpoint_snapshot": "{\"expected_error\":{\"code\":\"INVALID_INPUT\",\"retryable\":false},\"expected_output\":null,\"expected_state\":\"invalid_input\",\"task_input\":{\"contract_version\":\"UNKNOWN\",\"record\":{},\"request_id\":\"SYN_REQ_CONTRACT_BAD\"}}",
      "checkpoint_status": "synthetic_contract_checked",
      "task_id": "TASK-0000008"
    },
    {
      "checkpoint_id": "CHECKPOINT-0000009",
      "checkpoint_snapshot": "{\"expected_error\":{\"code\":\"DEPENDENCY_OR_STATE_ERROR\",\"retryable\":true},\"expected_output\":null,\"expected_state\":\"dependency_error\",\"task_input\":{\"contract_version\":\"SYN_CONTRACT_1.0\",\"record\":{\"object_id\":\"SYN_OBJ_001\",\"status\":\"candidate\"},\"request_id\":\"SYN_REQ_CONTRACT_001\",\"simulate_dependency_unavailable\":true}}",
      "checkpoint_status": "synthetic_contract_checked",
      "task_id": "TASK-0000009"
    },
    {
      "checkpoint_id": "CHECKPOINT-0000010",
      "checkpoint_snapshot": "{\"expected_error\":null,\"expected_output\":{\"manifest_id\":\"SYN_MANIFEST_001\",\"materialized_count\":2,\"request_id\":\"SYN_REQ_MATERIALIZE_001\"},\"expected_state\":\"succeeded\",\"task_input\":{\"asset_ids\":[\"SYN_IMAGE_001\",\"SYN_REPORT_001\"],\"request_id\":\"SYN_REQ_MATERIALIZE_001\"}}",
      "checkpoint_status": "synthetic_contract_checked",
      "task_id": "TASK-0000010"
    },
    {
      "checkpoint_id": "CHECKPOINT-0000011",
      "checkpoint_snapshot": "{\"expected_error\":{\"code\":\"INVALID_INPUT\",\"retryable\":false},\"expected_output\":null,\"expected_state\":\"invalid_input\",\"task_input\":{\"asset_ids\":[],\"request_id\":\"SYN_REQ_MATERIALIZE_BAD\"}}",
      "checkpoint_status": "synthetic_contract_checked",
      "task_id": "TASK-0000011"
    },
    {
      "checkpoint_id": "CHECKPOINT-0000012",
      "checkpoint_snapshot": "{\"expected_error\":{\"code\":\"DEPENDENCY_OR_STATE_ERROR\",\"retryable\":true},\"expected_output\":null,\"expected_state\":\"dependency_error\",\"task_input\":{\"asset_ids\":[\"SYN_IMAGE_001\",\"SYN_REPORT_001\"],\"request_id\":\"SYN_REQ_MATERIALIZE_001\",\"simulate_dependency_unavailable\":true}}",
      "checkpoint_status": "synthetic_contract_checked",
      "task_id": "TASK-0000012"
    },
    {
      "checkpoint_id": "CHECKPOINT-0000013",
      "checkpoint_snapshot": "{\"expected_error\":null,\"expected_output\":{\"removed_fields\":[\"PatientName\"],\"request_id\":\"SYN_REQ_DEID_001\",\"retained_fields\":[\"StudyInstanceUID\"]},\"expected_state\":\"succeeded\",\"task_input\":{\"metadata\":{\"PatientName\":\"SYN_NAME\",\"StudyInstanceUID\":\"SYN_STUDY_001\"},\"request_id\":\"SYN_REQ_DEID_001\",\"rule_version\":\"SYN_DEID_1.0\"}}",
      "checkpoint_status": "synthetic_contract_checked",
      "task_id": "TASK-0000013"
    },
    {
      "checkpoint_id": "CHECKPOINT-0000014",
      "checkpoint_snapshot": "{\"expected_error\":{\"code\":\"INVALID_INPUT\",\"retryable\":false},\"expected_output\":null,\"expected_state\":\"invalid_input\",\"task_input\":{\"metadata\":{},\"request_id\":\"SYN_REQ_DEID_BAD\",\"rule_version\":\"UNKNOWN\"}}",
      "checkpoint_status": "synthetic_contract_checked",
      "task_id": "TASK-0000014"
    },
    {
      "checkpoint_id": "CHECKPOINT-0000015",
      "checkpoint_snapshot": "{\"expected_error\":{\"code\":\"DEPENDENCY_OR_STATE_ERROR\",\"retryable\":true},\"expected_output\":null,\"expected_state\":\"dependency_error\",\"task_input\":{\"metadata\":{\"PatientName\":\"SYN_NAME\",\"StudyInstanceUID\":\"SYN_STUDY_001\"},\"request_id\":\"SYN_REQ_DEID_001\",\"rule_version\":\"SYN_DEID_1.0\",\"simulate_dependency_unavailable\":true}}",
      "checkpoint_status": "synthetic_contract_checked",
      "task_id": "TASK-0000015"
    },
    {
      "checkpoint_id": "CHECKPOINT-0000016",
      "checkpoint_snapshot": "{\"expected_error\":null,\"expected_output\":{\"checked_objects\":2,\"errors\":[],\"request_id\":\"SYN_REQ_VALIDATE_001\",\"valid\":true},\"expected_state\":\"succeeded\",\"task_input\":{\"contract_version\":\"SYN_IMAGE_CONTRACT_1.0\",\"manifest_id\":\"SYN_MANIFEST_001\",\"request_id\":\"SYN_REQ_VALIDATE_001\"}}",
      "checkpoint_status": "synthetic_contract_checked",
      "task_id": "TASK-0000016"
    },
    {
      "checkpoint_id": "CHECKPOINT-0000017",
      "checkpoint_snapshot": "{\"expected_error\":{\"code\":\"INVALID_INPUT\",\"retryable\":false},\"expected_output\":null,\"expected_state\":\"invalid_input\",\"task_input\":{\"contract_version\":\"UNKNOWN\",\"manifest_id\":\"\",\"request_id\":\"SYN_REQ_VALIDATE_BAD\"}}",
      "checkpoint_status": "synthetic_contract_checked",
      "task_id": "TASK-0000017"
    },
    {
      "checkpoint_id": "CHECKPOINT-0000018",
      "checkpoint_snapshot": "{\"expected_error\":{\"code\":\"DEPENDENCY_OR_STATE_ERROR\",\"retryable\":true},\"expected_output\":null,\"expected_state\":\"dependency_error\",\"task_input\":{\"contract_version\":\"SYN_IMAGE_CONTRACT_1.0\",\"manifest_id\":\"SYN_MANIFEST_001\",\"request_id\":\"SYN_REQ_VALIDATE_001\",\"simulate_dependency_unavailable\":true}}",
      "checkpoint_status": "synthetic_contract_checked",
      "task_id": "TASK-0000018"
    }
  ],
  "scorer": [
    {
      "scorer_id": "SCORER-0000001",
      "scorer_status": "synthetic_exact_contract_scorer",
      "scoring_rule": "expected state and canonical expected output or error must exactly equal actual state and canonical actual output or error",
      "tool_spec_id": "TOOL_SPEC-0000001"
    },
    {
      "scorer_id": "SCORER-0000002",
      "scorer_status": "synthetic_exact_contract_scorer",
      "scoring_rule": "expected state and canonical expected output or error must exactly equal actual state and canonical actual output or error",
      "tool_spec_id": "TOOL_SPEC-0000002"
    },
    {
      "scorer_id": "SCORER-0000003",
      "scorer_status": "synthetic_exact_contract_scorer",
      "scoring_rule": "expected state and canonical expected output or error must exactly equal actual state and canonical actual output or error",
      "tool_spec_id": "TOOL_SPEC-0000003"
    },
    {
      "scorer_id": "SCORER-0000004",
      "scorer_status": "synthetic_exact_contract_scorer",
      "scoring_rule": "expected state and canonical expected output or error must exactly equal actual state and canonical actual output or error",
      "tool_spec_id": "TOOL_SPEC-0000004"
    },
    {
      "scorer_id": "SCORER-0000005",
      "scorer_status": "synthetic_exact_contract_scorer",
      "scoring_rule": "expected state and canonical expected output or error must exactly equal actual state and canonical actual output or error",
      "tool_spec_id": "TOOL_SPEC-0000005"
    },
    {
      "scorer_id": "SCORER-0000006",
      "scorer_status": "synthetic_exact_contract_scorer",
      "scoring_rule": "expected state and canonical expected output or error must exactly equal actual state and canonical actual output or error",
      "tool_spec_id": "TOOL_SPEC-0000006"
    }
  ],
  "synthetic_dataset": [
    {
      "environment_id": "ENVIRONMENT-0000001",
      "dataset_id": "FIXTURE-0000001",
      "dataset_status": "synthetic_deterministic_dataset",
      "input_payload": "{\"base_input\":{\"encounter_id\":\"SYN_ENC_001\",\"request_id\":\"SYN_REQ_QUERY_001\",\"requested_fields\":[\"diagnosis_candidate\",\"order_status\"]},\"dataset_tool\":\"synthetic_clinical_record_query\"}",
      "seed": "101"
    },
    {
      "environment_id": "ENVIRONMENT-0000001",
      "dataset_id": "FIXTURE-0000002",
      "dataset_status": "synthetic_deterministic_dataset",
      "input_payload": "{\"base_input\":{\"metric\":\"two_point_change\",\"points\":[{\"hour\":0,\"value\":10.0},{\"hour\":48,\"value\":12.0}],\"request_id\":\"SYN_REQ_METRIC_001\"},\"dataset_tool\":\"laboratory_temporal_calculation\"}",
      "seed": "102"
    },
    {
      "environment_id": "ENVIRONMENT-0000001",
      "dataset_id": "FIXTURE-0000003",
      "dataset_status": "synthetic_deterministic_dataset",
      "input_payload": "{\"base_input\":{\"contract_version\":\"SYN_CONTRACT_1.0\",\"record\":{\"object_id\":\"SYN_OBJ_001\",\"status\":\"candidate\"},\"request_id\":\"SYN_REQ_CONTRACT_001\"},\"dataset_tool\":\"data_contract_validation\"}",
      "seed": "103"
    },
    {
      "environment_id": "ENVIRONMENT-0000001",
      "dataset_id": "FIXTURE-0000004",
      "dataset_status": "synthetic_deterministic_dataset",
      "input_payload": "{\"base_input\":{\"asset_ids\":[\"SYN_IMAGE_001\",\"SYN_REPORT_001\"],\"request_id\":\"SYN_REQ_MATERIALIZE_001\"},\"dataset_tool\":\"imaging_payload_materialization\"}",
      "seed": "104"
    },
    {
      "environment_id": "ENVIRONMENT-0000001",
      "dataset_id": "FIXTURE-0000005",
      "dataset_status": "synthetic_deterministic_dataset",
      "input_payload": "{\"base_input\":{\"metadata\":{\"PatientName\":\"SYN_NAME\",\"StudyInstanceUID\":\"SYN_STUDY_001\"},\"request_id\":\"SYN_REQ_DEID_001\",\"rule_version\":\"SYN_DEID_1.0\"},\"dataset_tool\":\"imaging_deidentification\"}",
      "seed": "105"
    },
    {
      "environment_id": "ENVIRONMENT-0000001",
      "dataset_id": "FIXTURE-0000006",
      "dataset_status": "synthetic_deterministic_dataset",
      "input_payload": "{\"base_input\":{\"contract_version\":\"SYN_IMAGE_CONTRACT_1.0\",\"manifest_id\":\"SYN_MANIFEST_001\",\"request_id\":\"SYN_REQ_VALIDATE_001\"},\"dataset_tool\":\"imaging_product_validation\"}",
      "seed": "106"
    }
  ],
  "review_record": [
    {
      "review_id": "REVIEW-0000001",
      "review_status": "synthetic_professional_context_review",
      "review_time": "2026-07-24T12:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000001"
    },
    {
      "review_id": "REVIEW-0000002",
      "review_status": "synthetic_professional_context_review",
      "review_time": "2026-07-25T12:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000002"
    },
    {
      "review_id": "REVIEW-0000003",
      "review_status": "synthetic_professional_context_review",
      "review_time": "2026-07-26T12:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000003"
    },
    {
      "review_id": "REVIEW-0000004",
      "review_status": "synthetic_professional_context_review",
      "review_time": "2026-07-27T12:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000004"
    },
    {
      "review_id": "REVIEW-0000005",
      "review_status": "synthetic_professional_context_review",
      "review_time": "2026-07-28T12:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000005"
    },
    {
      "review_id": "REVIEW-0000006",
      "review_status": "synthetic_professional_context_review",
      "review_time": "2026-07-29T12:00:00+08:00",
      "tool_spec_id": "TOOL_SPEC-0000006"
    }
  ],
  "quality_issue": {
    "handling": "exclude from clinical connectivity, permissions and diagnostic-effectiveness claims",
    "issue_code": "simulation_not_real_clinical_environment",
    "quality_issue_id": "QUALITY_ISSUE-0000001"
  }
}