## 질문 > #### 위에서 제시한 아래 내용을 참조하라. > 사해행위취소의 가액배상형에서는 다음 항목을 내부적으로 반드시 채우게 해야 합니다. > > - `property_value_at_close_of_arguments` > - `mortgages_existing_at_fraudulent_act[]` > - `mortgages_still_existing_at_close[]` > - `lease_deposit_deductibility` > - `non_deductible_attachment_claims[]` > - `common_collateral_value` > - `plaintiff_preserved_claim_principal` > - `plaintiff_preserved_claim_interest_until_close` > - `plaintiff_preserved_claim_total` > - `beneficiary_gain` > - `plaintiff_recovery_cap` > > #### 그리고 **이 항목들 중 하나라도 비어 있으면 `relief_summary`를 보수적으로 축소하거나 `VALIDATION WARNING`을 남기고 숫자 확정을 유보**하게 해야 합니다. > > 사해행위취소 청구 시 가액배상용 계산표 JSON 템플릿을 "특정 사건에 의존적이지 않은" 가장 일반적이면서 thorough한 형태로 제시하라. ## 답변 아래 템플릿은 **부동산 사해행위취소 사건에서 원상회복 방법이 가액배상으로 귀결되는 경우**를 상정한, 가장 일반적이고 확장 가능한 계산표 JSON입니다. 구조는 다음 법리를 직접 반영합니다. 가액배상은 저당권이 설정된 상태에서 사해행위가 있고 그 뒤 저당권이 소멸한 경우 문제되며, 공제 계산은 **사실심 변론종결시의 부동산 가액**을 기준으로 하되, 공제할 피담보채권액은 원칙적으로 **사해행위 당시의 피담보채권액**을 기준으로 하고, 남아 있는 다른 저당권도 함께 공제해야 합니다. 또한 임차보증금은 예외적 사정이 없으면 공제되지 않을 수 있고, 가압류채권은 공제 대상이 아니며, 상한은 **공동담보가액 / 피보전채권액 / 수익자 이익** 중 최소값입니다. 피보전채권액에는 사해행위 후 사실심 변론종결시까지의 이자·지연손해금도 포함됩니다. 복수 채권자가 있는 경우에도 원고별 피보전채권과 회복범위를 별도로 특정해야 합니다. ```json { "template_name": "actio_pauliana_value_compensation_worksheet", "schema_version": "1.0", "jurisdiction": "KR", "language": "ko-KR", "currency": "KRW", "case_metadata": { "matter_id": null, "claim_group_id": null, "claim_id": null, "working_title": null, "created_at": null, "updated_at": null, "prepared_by_agent": null, "review_status": "draft", "overall_confidence": "unknown" }, "case_context": { "procedural_stage": { "current_stage": null, "factual_close_of_arguments_date": null, "judgment_expected": null, "finality_date": null }, "cause_of_action_characterization": { "primary_label": "사해행위취소 및 가액배상", "secondary_labels": [], "remedy_mode": "value_compensation", "why_value_compensation": { "status": "unknown", "reason_text": null, "mortgage_existed_before_or_at_act": null, "ownership_transfer_occurred": null, "mortgage_extinguished_after_act": null, "restoration_in_kind_legally_or_factually_impossible": null, "transferee_bad_faith_status": null, "subacquirer_bad_faith_status": null, "evidence_refs": [] } }, "limitation_and_exclusion": { "civil_code_406_awareness_date": null, "civil_code_406_awareness_basis": null, "civil_code_406_one_year_deadline": null, "civil_code_406_five_year_deadline": null, "is_within_exclusion_period": null, "evidence_refs": [] } }, "parties": { "debtor": { "party_id": null, "name": null, "type": null, "insolvency_status_at_act": "unknown", "sole_property_disposition": null, "evidence_refs": [] }, "beneficiary": { "party_id": null, "name": null, "type": null, "role": "수익자", "bad_faith_status": "unknown", "benefit_acquired_description": null, "evidence_refs": [] }, "subacquirers": [], "plaintiffs": [] }, "fraudulent_act": { "act_type": null, "contract_date": null, "registration_date": null, "discovery_date_by_plaintiff": null, "act_summary": null, "price_or_nominal_consideration": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] }, "consideration_breakdown": { "cash_paid": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] }, "debt_assumption": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] }, "offset_or_setoff": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] }, "other_non_cash_consideration": [] }, "sham_or_real_transaction_issue": { "issue_exists": null, "status": "unknown", "basis": null, "evidence_refs": [] }, "evidence_refs": [] }, "target_asset": { "asset_id": null, "asset_type": "부동산", "schedule_label": null, "description": null, "address": null, "registry_office": null, "registry_receipt_no": null, "title_transfer_registration_exists": null, "transfer_chain": [], "asset_status_at_close": { "still_owned_by_beneficiary_or_subacquirer": null, "further_disposed": null, "current_holder_name": null, "evidence_refs": [] } }, "valuation_snapshots": { "property_value_at_fraudulent_act": { "krw": null, "status": "unknown", "valuation_date": null, "valuation_method": null, "basis": null, "evidence_refs": [] }, "property_value_at_close_of_arguments": { "krw": null, "status": "unknown", "valuation_date": null, "valuation_method": null, "basis": null, "evidence_refs": [] }, "property_value_at_other_dates": [] }, "encumbrances": { "mortgages_existing_at_fraudulent_act": [], "mortgages_still_existing_at_close": [], "other_real_rights_or_burdens": [], "tenant_rights": [], "lease_deposit_deductibility": { "exists": null, "deductible": "unknown", "total_lease_deposit": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] }, "deductible_amount": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] }, "non_deductible_amount": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] }, "priority_analysis": { "tenant_has_possession": null, "tenant_has_resident_registration": null, "fixed_date_exists": null, "small_tenant_issue": null, "senior_mortgage_preexists": null, "will_leasehold_be_extinguished_in_auction": null, "reason_text": null, "evidence_refs": [] } }, "non_deductible_attachment_claims": [] }, "common_collateral_value": { "gross_property_value_at_close": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] }, "deduction_components": { "mortgages_existing_at_act_total": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] }, "mortgages_still_existing_at_close_total": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] }, "deductible_lease_deposit_total": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] }, "other_deductible_burdens_total": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] }, "non_deductible_attachment_total": { "krw": null, "status": "unknown", "basis": "공제 제외용 참조값", "evidence_refs": [] } }, "calculation_formula_text": null, "common_collateral_value": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] } }, "beneficiary_gain": { "benefit_type": null, "benefit_basis": null, "raw_gain_amount": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] }, "adjustments": [], "beneficiary_gain": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] } }, "plaintiff_preserved_claims": [ { "plaintiff_id": null, "name": null, "claim_type": null, "underlying_claim": { "underlying_obligation_type": null, "contract_or_occurrence_date": null, "maturity_date": null, "principal_original": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] }, "already_recovered_before_act": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] }, "already_recovered_after_act_before_close": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] }, "remaining_exposure_at_close": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] } }, "security_analysis": { "is_fully_secured_at_act": null, "secured_portion_at_act": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] }, "unsecured_portion_at_act": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] }, "why_unsecured_portion_exists": null, "evidence_refs": [] }, "interest_rules": { "ordinary_interest_rate_text": null, "default_interest_rate_text": null, "default_interest_start_date": null, "interest_calculation_method": null, "interest_compounding_issue": null, "evidence_refs": [] }, "plaintiff_preserved_claim_principal": { "krw": null, "status": "unknown", "basis": "사해행위 당시 담보 범위를 초과하는 실질적 무담보 원금 부분", "evidence_refs": [] }, "plaintiff_preserved_claim_interest_until_close": { "krw": null, "status": "unknown", "calculation_start_date": null, "calculation_end_date": null, "rate_text": null, "basis": "사해행위 후 사실심 변론종결시까지 포함되는 이자·지연손해금", "evidence_refs": [] }, "plaintiff_preserved_claim_total": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] }, "plaintiff_recovery_cap": { "cap_rule": "min(common_collateral_value, plaintiff_preserved_claim_total, beneficiary_gain)", "amount": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] } }, "pre_close_interest_for_relief_text": { "should_render_in_relief": null, "rendered_principal_component": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] }, "rendered_interest_start_date": null, "rendered_interest_end_marker": "이 사건 변론종결일까지", "rendered_rate_text": null, "rendering_reason": null }, "post_finality_interest_for_relief_text": { "should_render_in_relief": true, "interest_start_marker": "이 판결 확정일 다음날부터", "interest_end_marker": "다 갚는 날까지", "rate_text": null, "legal_basis_text": null }, "evidence_refs": [] } ], "overall_cap_and_recovery_structure": { "global_returnable_value": { "krw": null, "status": "unknown", "basis": "공동담보가액과 수익자 이익의 범위를 전제로 한 전체 반환 가능 가액", "evidence_refs": [] }, "multi_plaintiff_structure_note": null, "is_pro_rata_allocation_used": false, "why_not_pro_rata_or_why_special_allocation_used": null }, "relief_drafting_inputs": { "cancelation_scope": { "scope_type": null, "scope_amount": { "krw": null, "status": "unknown", "basis": null, "evidence_refs": [] }, "scope_text_for_relief": null }, "drafting_blocks": [ { "plaintiff_id": null, "plaintiff_name": null, "relief_block_type": "value_compensation", "principal_text": null, "pre_close_interest_text": null, "post_finality_interest_text": null, "combined_relief_text": null } ], "full_relief_summary_candidate": null }, "evidence_map": { "core_evidence_refs": [], "field_level_evidence_index": [ { "field_path": null, "evidence_refs": [], "support_strength": "unknown", "note": null } ] }, "assumptions_and_unknowns": { "assumptions_used": [], "contested_points": [], "unknown_but_material_fields": [], "fields_blocking_numeric_finalization": [] }, "validation": { "required_field_presence": { "property_value_at_close_of_arguments": false, "mortgages_existing_at_fraudulent_act": false, "mortgages_still_existing_at_close": false, "lease_deposit_deductibility": false, "non_deductible_attachment_claims": false, "common_collateral_value": false, "plaintiff_preserved_claim_principal": false, "plaintiff_preserved_claim_interest_until_close": false, "plaintiff_preserved_claim_total": false, "beneficiary_gain": false, "plaintiff_recovery_cap": false }, "cross_checks": { "value_at_close_present": false, "deduction_basis_consistent_with_act_time_rule": false, "still_existing_mortgages_also_deducted": false, "lease_deductibility_reasoned": false, "attachment_claims_marked_non_deductible": false, "each_plaintiff_separately_specified": false, "cap_rule_applied_per_plaintiff": false, "relief_text_matches_computed_numbers": false }, "finalization_status": "not_finalized", "validation_warnings": [] }, "computation_audit_trail": [ { "step_no": 1, "step_name": "collect_core_facts", "input_fields": [], "output_fields": [], "formula_or_rule": null, "status": "pending" }, { "step_no": 2, "step_name": "determine_value_compensation_mode", "input_fields": [], "output_fields": [], "formula_or_rule": null, "status": "pending" }, { "step_no": 3, "step_name": "compute_common_collateral_value", "input_fields": [], "output_fields": [], "formula_or_rule": null, "status": "pending" }, { "step_no": 4, "step_name": "compute_each_plaintiff_preserved_claim", "input_fields": [], "output_fields": [], "formula_or_rule": null, "status": "pending" }, { "step_no": 5, "step_name": "compute_beneficiary_gain", "input_fields": [], "output_fields": [], "formula_or_rule": null, "status": "pending" }, { "step_no": 6, "step_name": "apply_cap_rule_and_prepare_relief_inputs", "input_fields": [], "output_fields": [], "formula_or_rule": "min(common_collateral_value, plaintiff_preserved_claim_total, beneficiary_gain)", "status": "pending" } ] } ``` 이 템플릿의 핵심 설계 포인트는 네 가지입니다. 첫째, **입력 사실**과 **계산 결과**를 분리했습니다. 사해행위일 기준 담보권, 변론종결시 기준 담보권, 임차권, 가압류, 시가, 각 원고의 원채권 구조를 입력층으로 두고, `common_collateral_value`, `beneficiary_gain`, `plaintiff_preserved_claim_total`, `plaintiff_recovery_cap`를 계산층으로 분리해야 추론 오류를 줄일 수 있습니다. 저당권 말소 후 가액배상 구조, 공제 항목, 기준시점, 상한 규칙이 모두 서로 다른 시점을 쓰기 때문입니다. 둘째, **복수 원고를 반드시 원고별로 독립 객체화**했습니다. 사해행위취소의 범위는 원고별 피보전채권액에 따라 특정되어야 하고, 공동원고라고 해서 하나의 합계액만으로 처리하면 안 됩니다. 그래서 `plaintiff_preserved_claims[]` 아래에 원고별 원금, 변론종결시까지의 이자, 총 피보전채권액, 회복상한, 주문 문구 입력값을 각각 두었습니다. 셋째, **담보부족분 분석을 별도 층위로 분리**했습니다. 담보부족 상태에서는 단순한 “현재 미회수액” 전체가 아니라, 사해행위 당시 담보 범위를 초과하는 실질적 무담보 부분과 그에 대한 변론종결시까지의 지연이자를 기준으로 피보전채권 범위를 정밀 산정해야 합니다. 그래서 `security_analysis`, `plaintiff_preserved_claim_principal`, `plaintiff_preserved_claim_interest_until_close`를 따로 둔 것입니다. 넷째, **숫자 미확정 상태를 JSON 차원에서 표현**하도록 만들었습니다. 각 금액 객체에 `status`, `basis`, `evidence_refs`를 두고, 최종적으로 `validation.required_field_presence`, `cross_checks`, `finalization_status`, `validation_warnings`를 두었습니다. 이렇게 해야 어떤 핵심 필드가 비어 있을 때 최종 `relief_summary` 숫자 확정을 중지시키는 자동화가 가능합니다. 실무적으로는 이 템플릿을 그대로 쓰기보다, 다음 두 변형 중 하나를 두는 것이 더 좋습니다. - `actio_pauliana_value_compensation_input.json` - `actio_pauliana_value_compensation_result.json` 전자는 증거에서 추출한 원시사실 저장용, 후자는 계산 결과 및 청구취지 초안용입니다. 지금 드린 템플릿은 둘을 합친 “워크시트” 형태입니다. LLM 파이프라인에서는 이 합본이 가장 안정적입니다. 원하시면 다음 단계로 이어서 **(1) 이 템플릿의 JSON Schema 초안** 또는 **(2) Legal_Agent_V4의 Task A에 바로 삽입할 프롬프트 블록**을 작성해 드리겠습니다. --- ## 질문 이 템플릿의 JSON Schema 초안을 작성하라. ### 답변 > 이제는 법리 설명보다 구현 명세의 문제입니다. 스키마는 **구조적 유효성 검증**까지는 담당할 수 있지만, `min(common_collateral_value, plaintiff_preserved_claim_total, beneficiary_gain)` 같은 산술적·법리적 일치성은 별도의 **semantic validator**가 맡아야 합니다. --- 아래는 **Draft 2020-12 기준**의 JSON Schema 초안입니다. 이 스키마는 당신이 요구한 가액배상 계산표의 핵심 구조를 일반형으로 강제합니다. 특히 **변론종결시 시가**, **사해행위 당시 및 변론종결시 담보권**, **임차보증금 공제성**, **가압류 비공제**, **원고별 피보전채권 분리**, **상한액 계산 입력값**을 독립 필드로 두었습니다. 이는 업로드된 법리 정리 문서가 요구하는 구조와 정합적입니다. ```json { "$schema": "https://json-schema.org/draft/2020-12/schema", "$id": "https://example.org/schemas/actio-pauliana-value-compensation-worksheet.schema.json", "title": "사해행위취소 가액배상 계산표 스키마", "description": "부동산 사해행위취소 사건에서 원상회복 방법이 가액배상으로 귀결되는 경우를 위한 일반형 계산표 JSON Schema 초안", "type": "object", "additionalProperties": false, "required": [ "template_name", "schema_version", "jurisdiction", "language", "currency", "case_metadata", "case_context", "parties", "fraudulent_act", "target_asset", "valuation_snapshots", "encumbrances", "common_collateral_value", "beneficiary_gain", "plaintiff_preserved_claims", "overall_cap_and_recovery_structure", "relief_drafting_inputs", "evidence_map", "assumptions_and_unknowns", "validation", "computation_audit_trail" ], "properties": { "template_name": { "type": "string", "const": "actio_pauliana_value_compensation_worksheet" }, "schema_version": { "type": "string", "pattern": "^\\d+\\.\\d+$" }, "jurisdiction": { "type": "string", "const": "KR" }, "language": { "type": "string", "minLength": 2 }, "currency": { "type": "string", "const": "KRW" }, "case_metadata": { "$ref": "#/$defs/caseMetadata" }, "case_context": { "$ref": "#/$defs/caseContext" }, "parties": { "$ref": "#/$defs/parties" }, "fraudulent_act": { "$ref": "#/$defs/fraudulentAct" }, "target_asset": { "$ref": "#/$defs/targetAsset" }, "valuation_snapshots": { "$ref": "#/$defs/valuationSnapshots" }, "encumbrances": { "$ref": "#/$defs/encumbrances" }, "common_collateral_value": { "$ref": "#/$defs/commonCollateralValue" }, "beneficiary_gain": { "$ref": "#/$defs/beneficiaryGain" }, "plaintiff_preserved_claims": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/plaintiffPreservedClaim" } }, "overall_cap_and_recovery_structure": { "$ref": "#/$defs/overallCapAndRecoveryStructure" }, "relief_drafting_inputs": { "$ref": "#/$defs/reliefDraftingInputs" }, "evidence_map": { "$ref": "#/$defs/evidenceMap" }, "assumptions_and_unknowns": { "$ref": "#/$defs/assumptionsAndUnknowns" }, "validation": { "$ref": "#/$defs/validation" }, "computation_audit_trail": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/computationAuditStep" } } }, "$defs": { "nullableString": { "type": ["string", "null"] }, "nullableBoolean": { "type": ["boolean", "null"] }, "nullableDate": { "type": ["string", "null"], "format": "date" }, "statusEnum": { "type": "string", "enum": [ "unknown", "estimated", "documented", "computed", "contested", "not_applicable" ] }, "confidenceEnum": { "type": "string", "enum": [ "unknown", "low", "medium", "high" ] }, "supportStrengthEnum": { "type": "string", "enum": [ "unknown", "weak", "moderate", "strong" ] }, "finalizationStatusEnum": { "type": "string", "enum": [ "not_finalized", "provisional", "finalized" ] }, "evidenceRef": { "type": "string", "minLength": 1 }, "evidenceRefs": { "type": "array", "items": { "$ref": "#/$defs/evidenceRef" }, "uniqueItems": true }, "amountField": { "type": "object", "additionalProperties": false, "required": [ "krw", "status", "basis", "evidence_refs" ], "properties": { "krw": { "type": ["integer", "null"], "minimum": 0 }, "status": { "$ref": "#/$defs/statusEnum" }, "basis": { "$ref": "#/$defs/nullableString" }, "evidence_refs": { "$ref": "#/$defs/evidenceRefs" } } }, "simpleNameValue": { "type": "object", "additionalProperties": false, "required": [ "name", "amount" ], "properties": { "name": { "$ref": "#/$defs/nullableString" }, "amount": { "$ref": "#/$defs/amountField" } } }, "caseMetadata": { "type": "object", "additionalProperties": false, "required": [ "matter_id", "claim_group_id", "claim_id", "working_title", "created_at", "updated_at", "prepared_by_agent", "review_status", "overall_confidence" ], "properties": { "matter_id": { "$ref": "#/$defs/nullableString" }, "claim_group_id": { "$ref": "#/$defs/nullableString" }, "claim_id": { "$ref": "#/$defs/nullableString" }, "working_title": { "$ref": "#/$defs/nullableString" }, "created_at": { "$ref": "#/$defs/nullableString" }, "updated_at": { "$ref": "#/$defs/nullableString" }, "prepared_by_agent": { "$ref": "#/$defs/nullableString" }, "review_status": { "type": "string", "enum": [ "draft", "review_pending", "reviewed", "approved" ] }, "overall_confidence": { "$ref": "#/$defs/confidenceEnum" } } }, "proceduralStage": { "type": "object", "additionalProperties": false, "required": [ "current_stage", "factual_close_of_arguments_date", "judgment_expected", "finality_date" ], "properties": { "current_stage": { "$ref": "#/$defs/nullableString" }, "factual_close_of_arguments_date": { "$ref": "#/$defs/nullableDate" }, "judgment_expected": { "$ref": "#/$defs/nullableBoolean" }, "finality_date": { "$ref": "#/$defs/nullableDate" } } }, "whyValueCompensation": { "type": "object", "additionalProperties": false, "required": [ "status", "reason_text", "mortgage_existed_before_or_at_act", "ownership_transfer_occurred", "mortgage_extinguished_after_act", "restoration_in_kind_legally_or_factually_impossible", "transferee_bad_faith_status", "subacquirer_bad_faith_status", "evidence_refs" ], "properties": { "status": { "$ref": "#/$defs/statusEnum" }, "reason_text": { "$ref": "#/$defs/nullableString" }, "mortgage_existed_before_or_at_act": { "$ref": "#/$defs/nullableBoolean" }, "ownership_transfer_occurred": { "$ref": "#/$defs/nullableBoolean" }, "mortgage_extinguished_after_act": { "$ref": "#/$defs/nullableBoolean" }, "restoration_in_kind_legally_or_factually_impossible": { "$ref": "#/$defs/nullableBoolean" }, "transferee_bad_faith_status": { "type": "string", "enum": [ "unknown", "good_faith", "bad_faith", "contested" ] }, "subacquirer_bad_faith_status": { "type": "string", "enum": [ "unknown", "none", "good_faith", "bad_faith", "contested" ] }, "evidence_refs": { "$ref": "#/$defs/evidenceRefs" } } }, "limitationAndExclusion": { "type": "object", "additionalProperties": false, "required": [ "civil_code_406_awareness_date", "civil_code_406_awareness_basis", "civil_code_406_one_year_deadline", "civil_code_406_five_year_deadline", "is_within_exclusion_period", "evidence_refs" ], "properties": { "civil_code_406_awareness_date": { "$ref": "#/$defs/nullableDate" }, "civil_code_406_awareness_basis": { "$ref": "#/$defs/nullableString" }, "civil_code_406_one_year_deadline": { "$ref": "#/$defs/nullableDate" }, "civil_code_406_five_year_deadline": { "$ref": "#/$defs/nullableDate" }, "is_within_exclusion_period": { "$ref": "#/$defs/nullableBoolean" }, "evidence_refs": { "$ref": "#/$defs/evidenceRefs" } } }, "caseContext": { "type": "object", "additionalProperties": false, "required": [ "procedural_stage", "cause_of_action_characterization", "limitation_and_exclusion" ], "properties": { "procedural_stage": { "$ref": "#/$defs/proceduralStage" }, "cause_of_action_characterization": { "type": "object", "additionalProperties": false, "required": [ "primary_label", "secondary_labels", "remedy_mode", "why_value_compensation" ], "properties": { "primary_label": { "type": "string", "const": "사해행위취소 및 가액배상" }, "secondary_labels": { "type": "array", "items": { "type": "string" } }, "remedy_mode": { "type": "string", "const": "value_compensation" }, "why_value_compensation": { "$ref": "#/$defs/whyValueCompensation" } } }, "limitation_and_exclusion": { "$ref": "#/$defs/limitationAndExclusion" } } }, "partyObject": { "type": "object", "additionalProperties": false, "required": [ "party_id", "name", "type", "evidence_refs" ], "properties": { "party_id": { "$ref": "#/$defs/nullableString" }, "name": { "$ref": "#/$defs/nullableString" }, "type": { "type": ["string", "null"], "enum": [ "individual", "corporation", "organization", "estate", null ] }, "evidence_refs": { "$ref": "#/$defs/evidenceRefs" } } }, "debtorObject": { "allOf": [ { "$ref": "#/$defs/partyObject" }, { "type": "object", "required": [ "insolvency_status_at_act", "sole_property_disposition" ], "properties": { "insolvency_status_at_act": { "type": "string", "enum": [ "unknown", "solvent", "insolvent", "contested" ] }, "sole_property_disposition": { "$ref": "#/$defs/nullableBoolean" } } } ] }, "beneficiaryObject": { "allOf": [ { "$ref": "#/$defs/partyObject" }, { "type": "object", "required": [ "role", "bad_faith_status", "benefit_acquired_description" ], "properties": { "role": { "type": "string", "const": "수익자" }, "bad_faith_status": { "type": "string", "enum": [ "unknown", "good_faith", "bad_faith", "contested" ] }, "benefit_acquired_description": { "$ref": "#/$defs/nullableString" } } } ] }, "subacquirerObject": { "allOf": [ { "$ref": "#/$defs/partyObject" }, { "type": "object", "required": [ "good_or_bad_faith_status" ], "properties": { "good_or_bad_faith_status": { "type": "string", "enum": [ "unknown", "good_faith", "bad_faith", "contested" ] } } } ] }, "plaintiffPartyObject": { "allOf": [ { "$ref": "#/$defs/partyObject" }, { "type": "object", "required": [ "claim_role" ], "properties": { "claim_role": { "type": "string", "enum": [ "creditor", "subrogated_creditor", "guarantor_regress_creditor", "other" ] } } } ] }, "parties": { "type": "object", "additionalProperties": false, "required": [ "debtor", "beneficiary", "subacquirers", "plaintiffs" ], "properties": { "debtor": { "$ref": "#/$defs/debtorObject" }, "beneficiary": { "$ref": "#/$defs/beneficiaryObject" }, "subacquirers": { "type": "array", "items": { "$ref": "#/$defs/subacquirerObject" } }, "plaintiffs": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/plaintiffPartyObject" } } } }, "considerationPart": { "type": "object", "additionalProperties": false, "required": [ "krw", "status", "basis", "evidence_refs" ], "properties": { "krw": { "type": ["integer", "null"], "minimum": 0 }, "status": { "$ref": "#/$defs/statusEnum" }, "basis": { "$ref": "#/$defs/nullableString" }, "evidence_refs": { "$ref": "#/$defs/evidenceRefs" } } }, "otherNonCashConsiderationItem": { "type": "object", "additionalProperties": false, "required": [ "description", "amount", "evidence_refs" ], "properties": { "description": { "$ref": "#/$defs/nullableString" }, "amount": { "$ref": "#/$defs/amountField" }, "evidence_refs": { "$ref": "#/$defs/evidenceRefs" } } }, "fraudulentAct": { "type": "object", "additionalProperties": false, "required": [ "act_type", "contract_date", "registration_date", "discovery_date_by_plaintiff", "act_summary", "price_or_nominal_consideration", "consideration_breakdown", "sham_or_real_transaction_issue", "evidence_refs" ], "properties": { "act_type": { "$ref": "#/$defs/nullableString" }, "contract_date": { "$ref": "#/$defs/nullableDate" }, "registration_date": { "$ref": "#/$defs/nullableDate" }, "discovery_date_by_plaintiff": { "$ref": "#/$defs/nullableDate" }, "act_summary": { "$ref": "#/$defs/nullableString" }, "price_or_nominal_consideration": { "$ref": "#/$defs/amountField" }, "consideration_breakdown": { "type": "object", "additionalProperties": false, "required": [ "cash_paid", "debt_assumption", "offset_or_setoff", "other_non_cash_consideration" ], "properties": { "cash_paid": { "$ref": "#/$defs/considerationPart" }, "debt_assumption": { "$ref": "#/$defs/considerationPart" }, "offset_or_setoff": { "$ref": "#/$defs/considerationPart" }, "other_non_cash_consideration": { "type": "array", "items": { "$ref": "#/$defs/otherNonCashConsiderationItem" } } } }, "sham_or_real_transaction_issue": { "type": "object", "additionalProperties": false, "required": [ "issue_exists", "status", "basis", "evidence_refs" ], "properties": { "issue_exists": { "$ref": "#/$defs/nullableBoolean" }, "status": { "$ref": "#/$defs/statusEnum" }, "basis": { "$ref": "#/$defs/nullableString" }, "evidence_refs": { "$ref": "#/$defs/evidenceRefs" } } }, "evidence_refs": { "$ref": "#/$defs/evidenceRefs" } } }, "transferChainItem": { "type": "object", "additionalProperties": false, "required": [ "from_party", "to_party", "date", "registration_date", "basis", "evidence_refs" ], "properties": { "from_party": { "$ref": "#/$defs/nullableString" }, "to_party": { "$ref": "#/$defs/nullableString" }, "date": { "$ref": "#/$defs/nullableDate" }, "registration_date": { "$ref": "#/$defs/nullableDate" }, "basis": { "$ref": "#/$defs/nullableString" }, "evidence_refs": { "$ref": "#/$defs/evidenceRefs" } } }, "targetAsset": { "type": "object", "additionalProperties": false, "required": [ "asset_id", "asset_type", "schedule_label", "description", "address", "registry_office", "registry_receipt_no", "title_transfer_registration_exists", "transfer_chain", "asset_status_at_close" ], "properties": { "asset_id": { "$ref": "#/$defs/nullableString" }, "asset_type": { "type": "string", "const": "부동산" }, "schedule_label": { "$ref": "#/$defs/nullableString" }, "description": { "$ref": "#/$defs/nullableString" }, "address": { "$ref": "#/$defs/nullableString" }, "registry_office": { "$ref": "#/$defs/nullableString" }, "registry_receipt_no": { "$ref": "#/$defs/nullableString" }, "title_transfer_registration_exists": { "$ref": "#/$defs/nullableBoolean" }, "transfer_chain": { "type": "array", "items": { "$ref": "#/$defs/transferChainItem" } }, "asset_status_at_close": { "type": "object", "additionalProperties": false, "required": [ "still_owned_by_beneficiary_or_subacquirer", "further_disposed", "current_holder_name", "evidence_refs" ], "properties": { "still_owned_by_beneficiary_or_subacquirer": { "$ref": "#/$defs/nullableBoolean" }, "further_disposed": { "$ref": "#/$defs/nullableBoolean" }, "current_holder_name": { "$ref": "#/$defs/nullableString" }, "evidence_refs": { "$ref": "#/$defs/evidenceRefs" } } } } }, "valuedAmountSnapshot": { "type": "object", "additionalProperties": false, "required": [ "krw", "status", "valuation_date", "valuation_method", "basis", "evidence_refs" ], "properties": { "krw": { "type": ["integer", "null"], "minimum": 0 }, "status": { "$ref": "#/$defs/statusEnum" }, "valuation_date": { "$ref": "#/$defs/nullableDate" }, "valuation_method": { "$ref": "#/$defs/nullableString" }, "basis": { "$ref": "#/$defs/nullableString" }, "evidence_refs": { "$ref": "#/$defs/evidenceRefs" } } }, "otherValueSnapshotItem": { "type": "object", "additionalProperties": false, "required": [ "label", "amount" ], "properties": { "label": { "$ref": "#/$defs/nullableString" }, "amount": { "$ref": "#/$defs/valuedAmountSnapshot" } } }, "valuationSnapshots": { "type": "object", "additionalProperties": false, "required": [ "property_value_at_fraudulent_act", "property_value_at_close_of_arguments", "property_value_at_other_dates" ], "properties": { "property_value_at_fraudulent_act": { "$ref": "#/$defs/valuedAmountSnapshot" }, "property_value_at_close_of_arguments": { "$ref": "#/$defs/valuedAmountSnapshot" }, "property_value_at_other_dates": { "type": "array", "items": { "$ref": "#/$defs/otherValueSnapshotItem" } } } }, "encumbranceMortgageItem": { "type": "object", "additionalProperties": false, "required": [ "encumbrance_id", "holder_name", "kind", "rank", "registration_date", "registered_max_amount", "actual_secured_debt_at_act", "actual_outstanding_at_close", "extinguished_after_act", "extinguishment_date", "extinguished_by_beneficiary", "deductible_in_value_compensation", "deductibility_reason", "evidence_refs" ], "properties": { "encumbrance_id": { "$ref": "#/$defs/nullableString" }, "holder_name": { "$ref": "#/$defs/nullableString" }, "kind": { "type": ["string", "null"], "enum": [ "근저당권", "저당권", "질권", null ] }, "rank": { "type": ["integer", "null"], "minimum": 1 }, "registration_date": { "$ref": "#/$defs/nullableDate" }, "registered_max_amount": { "$ref": "#/$defs/amountField" }, "actual_secured_debt_at_act": { "$ref": "#/$defs/amountField" }, "actual_outstanding_at_close": { "$ref": "#/$defs/amountField" }, "extinguished_after_act": { "$ref": "#/$defs/nullableBoolean" }, "extinguishment_date": { "$ref": "#/$defs/nullableDate" }, "extinguished_by_beneficiary": { "$ref": "#/$defs/nullableBoolean" }, "deductible_in_value_compensation": { "type": "string", "enum": [ "yes", "no", "unknown" ] }, "deductibility_reason": { "$ref": "#/$defs/nullableString" }, "evidence_refs": { "$ref": "#/$defs/evidenceRefs" } } }, "otherBurdenItem": { "type": "object", "additionalProperties": false, "required": [ "kind", "holder_name", "rank", "amount", "deductible_in_value_compensation", "deductibility_reason", "evidence_refs" ], "properties": { "kind": { "$ref": "#/$defs/nullableString" }, "holder_name": { "$ref": "#/$defs/nullableString" }, "rank": { "type": ["integer", "null"], "minimum": 1 }, "amount": { "$ref": "#/$defs/amountField" }, "deductible_in_value_compensation": { "type": "string", "enum": [ "yes", "no", "unknown" ] }, "deductibility_reason": { "$ref": "#/$defs/nullableString" }, "evidence_refs": { "$ref": "#/$defs/evidenceRefs" } } }, "tenantRightItem": { "type": "object", "additionalProperties": false, "required": [ "tenant_name", "deposit_amount", "resident_registration_date", "occupancy_status", "fixed_date_exists", "small_tenant_issue", "priority_status", "deductible", "deductible_amount", "reason_text", "evidence_refs" ], "properties": { "tenant_name": { "$ref": "#/$defs/nullableString" }, "deposit_amount": { "$ref": "#/$defs/amountField" }, "resident_registration_date": { "$ref": "#/$defs/nullableDate" }, "occupancy_status": { "type": "string", "enum": [ "unknown", "occupied", "not_occupied", "contested" ] }, "fixed_date_exists": { "$ref": "#/$defs/nullableBoolean" }, "small_tenant_issue": { "$ref": "#/$defs/nullableBoolean" }, "priority_status": { "type": "string", "enum": [ "unknown", "senior", "junior", "non-opposable", "contested" ] }, "deductible": { "type": "string", "enum": [ "yes", "no", "unknown" ] }, "deductible_amount": { "$ref": "#/$defs/amountField" }, "reason_text": { "$ref": "#/$defs/nullableString" }, "evidence_refs": { "$ref": "#/$defs/evidenceRefs" } } }, "leaseDepositDeductibility": { "type": "object", "additionalProperties": false, "required": [ "exists", "deductible", "total_lease_deposit", "deductible_amount", "non_deductible_amount", "priority_analysis" ], "properties": { "exists": { "$ref": "#/$defs/nullableBoolean" }, "deductible": { "type": "string", "enum": [ "yes", "no", "unknown" ] }, "total_lease_deposit": { "$ref": "#/$defs/amountField" }, "deductible_amount": { "$ref": "#/$defs/amountField" }, "non_deductible_amount": { "$ref": "#/$defs/amountField" }, "priority_analysis": { "type": "object", "additionalProperties": false, "required": [ "tenant_has_possession", "tenant_has_resident_registration", "fixed_date_exists", "small_tenant_issue", "senior_mortgage_preexists", "will_leasehold_be_extinguished_in_auction", "reason_text", "evidence_refs" ], "properties": { "tenant_has_possession": { "$ref": "#/$defs/nullableBoolean" }, "tenant_has_resident_registration": { "$ref": "#/$defs/nullableBoolean" }, "fixed_date_exists": { "$ref": "#/$defs/nullableBoolean" }, "small_tenant_issue": { "$ref": "#/$defs/nullableBoolean" }, "senior_mortgage_preexists": { "$ref": "#/$defs/nullableBoolean" }, "will_leasehold_be_extinguished_in_auction": { "$ref": "#/$defs/nullableBoolean" }, "reason_text": { "$ref": "#/$defs/nullableString" }, "evidence_refs": { "$ref": "#/$defs/evidenceRefs" } } } } }, "nonDeductibleAttachmentClaimItem": { "type": "object", "additionalProperties": false, "required": [ "claimholder_name", "kind", "amount", "deductible_in_value_compensation", "reason_text", "evidence_refs" ], "properties": { "claimholder_name": { "$ref": "#/$defs/nullableString" }, "kind": { "type": ["string", "null"], "enum": [ "가압류", "압류", "가처분", null ] }, "amount": { "$ref": "#/$defs/amountField" }, "deductible_in_value_compensation": { "const": false }, "reason_text": { "$ref": "#/$defs/nullableString" }, "evidence_refs": { "$ref": "#/$defs/evidenceRefs" } } }, "encumbrances": { "type": "object", "additionalProperties": false, "required": [ "mortgages_existing_at_fraudulent_act", "mortgages_still_existing_at_close", "other_real_rights_or_burdens", "tenant_rights", "lease_deposit_deductibility", "non_deductible_attachment_claims" ], "properties": { "mortgages_existing_at_fraudulent_act": { "type": "array", "items": { "$ref": "#/$defs/encumbranceMortgageItem" } }, "mortgages_still_existing_at_close": { "type": "array", "items": { "$ref": "#/$defs/encumbranceMortgageItem" } }, "other_real_rights_or_burdens": { "type": "array", "items": { "$ref": "#/$defs/otherBurdenItem" } }, "tenant_rights": { "type": "array", "items": { "$ref": "#/$defs/tenantRightItem" } }, "lease_deposit_deductibility": { "$ref": "#/$defs/leaseDepositDeductibility" }, "non_deductible_attachment_claims": { "type": "array", "items": { "$ref": "#/$defs/nonDeductibleAttachmentClaimItem" } } } }, "commonCollateralValue": { "type": "object", "additionalProperties": false, "required": [ "gross_property_value_at_close", "deduction_components", "calculation_formula_text", "common_collateral_value" ], "properties": { "gross_property_value_at_close": { "$ref": "#/$defs/amountField" }, "deduction_components": { "type": "object", "additionalProperties": false, "required": [ "mortgages_existing_at_act_total", "mortgages_still_existing_at_close_total", "deductible_lease_deposit_total", "other_deductible_burdens_total", "non_deductible_attachment_total" ], "properties": { "mortgages_existing_at_act_total": { "$ref": "#/$defs/amountField" }, "mortgages_still_existing_at_close_total": { "$ref": "#/$defs/amountField" }, "deductible_lease_deposit_total": { "$ref": "#/$defs/amountField" }, "other_deductible_burdens_total": { "$ref": "#/$defs/amountField" }, "non_deductible_attachment_total": { "$ref": "#/$defs/amountField" } } }, "calculation_formula_text": { "$ref": "#/$defs/nullableString" }, "common_collateral_value": { "$ref": "#/$defs/amountField" } } }, "beneficiaryGain": { "type": "object", "additionalProperties": false, "required": [ "benefit_type", "benefit_basis", "raw_gain_amount", "adjustments", "beneficiary_gain" ], "properties": { "benefit_type": { "$ref": "#/$defs/nullableString" }, "benefit_basis": { "$ref": "#/$defs/nullableString" }, "raw_gain_amount": { "$ref": "#/$defs/amountField" }, "adjustments": { "type": "array", "items": { "$ref": "#/$defs/otherNonCashConsiderationItem" } }, "beneficiary_gain": { "$ref": "#/$defs/amountField" } } }, "underlyingClaim": { "type": "object", "additionalProperties": false, "required": [ "underlying_obligation_type", "contract_or_occurrence_date", "maturity_date", "principal_original", "already_recovered_before_act", "already_recovered_after_act_before_close", "remaining_exposure_at_close" ], "properties": { "underlying_obligation_type": { "$ref": "#/$defs/nullableString" }, "contract_or_occurrence_date": { "$ref": "#/$defs/nullableDate" }, "maturity_date": { "$ref": "#/$defs/nullableDate" }, "principal_original": { "$ref": "#/$defs/amountField" }, "already_recovered_before_act": { "$ref": "#/$defs/amountField" }, "already_recovered_after_act_before_close": { "$ref": "#/$defs/amountField" }, "remaining_exposure_at_close": { "$ref": "#/$defs/amountField" } } }, "securityAnalysis": { "type": "object", "additionalProperties": false, "required": [ "is_fully_secured_at_act", "secured_portion_at_act", "unsecured_portion_at_act", "why_unsecured_portion_exists", "evidence_refs" ], "properties": { "is_fully_secured_at_act": { "$ref": "#/$defs/nullableBoolean" }, "secured_portion_at_act": { "$ref": "#/$defs/amountField" }, "unsecured_portion_at_act": { "$ref": "#/$defs/amountField" }, "why_unsecured_portion_exists": { "$ref": "#/$defs/nullableString" }, "evidence_refs": { "$ref": "#/$defs/evidenceRefs" } } }, "interestRules": { "type": "object", "additionalProperties": false, "required": [ "ordinary_interest_rate_text", "default_interest_rate_text", "default_interest_start_date", "interest_calculation_method", "interest_compounding_issue", "evidence_refs" ], "properties": { "ordinary_interest_rate_text": { "$ref": "#/$defs/nullableString" }, "default_interest_rate_text": { "$ref": "#/$defs/nullableString" }, "default_interest_start_date": { "$ref": "#/$defs/nullableDate" }, "interest_calculation_method": { "$ref": "#/$defs/nullableString" }, "interest_compounding_issue": { "$ref": "#/$defs/nullableString" }, "evidence_refs": { "$ref": "#/$defs/evidenceRefs" } } }, "preCloseInterestForReliefText": { "type": "object", "additionalProperties": false, "required": [ "should_render_in_relief", "rendered_principal_component", "rendered_interest_start_date", "rendered_interest_end_marker", "rendered_rate_text", "rendering_reason" ], "properties": { "should_render_in_relief": { "$ref": "#/$defs/nullableBoolean" }, "rendered_principal_component": { "$ref": "#/$defs/amountField" }, "rendered_interest_start_date": { "$ref": "#/$defs/nullableDate" }, "rendered_interest_end_marker": { "type": ["string", "null"], "enum": [ "이 사건 변론종결일까지", null ] }, "rendered_rate_text": { "$ref": "#/$defs/nullableString" }, "rendering_reason": { "$ref": "#/$defs/nullableString" } } }, "postFinalityInterestForReliefText": { "type": "object", "additionalProperties": false, "required": [ "should_render_in_relief", "interest_start_marker", "interest_end_marker", "rate_text", "legal_basis_text" ], "properties": { "should_render_in_relief": { "type": "boolean" }, "interest_start_marker": { "type": "string", "enum": [ "이 판결 확정일 다음날부터" ] }, "interest_end_marker": { "type": "string", "enum": [ "다 갚는 날까지" ] }, "rate_text": { "$ref": "#/$defs/nullableString" }, "legal_basis_text": { "$ref": "#/$defs/nullableString" } } }, "plaintiffRecoveryCap": { "type": "object", "additionalProperties": false, "required": [ "cap_rule", "amount" ], "properties": { "cap_rule": { "type": "string", "const": "min(common_collateral_value, plaintiff_preserved_claim_total, beneficiary_gain)" }, "amount": { "$ref": "#/$defs/amountField" } } }, "plaintiffPreservedClaim": { "type": "object", "additionalProperties": false, "required": [ "plaintiff_id", "name", "claim_type", "underlying_claim", "security_analysis", "interest_rules", "plaintiff_preserved_claim_principal", "plaintiff_preserved_claim_interest_until_close", "plaintiff_preserved_claim_total", "plaintiff_recovery_cap", "pre_close_interest_for_relief_text", "post_finality_interest_for_relief_text", "evidence_refs" ], "properties": { "plaintiff_id": { "$ref": "#/$defs/nullableString" }, "name": { "$ref": "#/$defs/nullableString" }, "claim_type": { "$ref": "#/$defs/nullableString" }, "underlying_claim": { "$ref": "#/$defs/underlyingClaim" }, "security_analysis": { "$ref": "#/$defs/securityAnalysis" }, "interest_rules": { "$ref": "#/$defs/interestRules" }, "plaintiff_preserved_claim_principal": { "$ref": "#/$defs/amountField" }, "plaintiff_preserved_claim_interest_until_close": { "type": "object", "additionalProperties": false, "required": [ "krw", "status", "calculation_start_date", "calculation_end_date", "rate_text", "basis", "evidence_refs" ], "properties": { "krw": { "type": ["integer", "null"], "minimum": 0 }, "status": { "$ref": "#/$defs/statusEnum" }, "calculation_start_date": { "$ref": "#/$defs/nullableDate" }, "calculation_end_date": { "$ref": "#/$defs/nullableDate" }, "rate_text": { "$ref": "#/$defs/nullableString" }, "basis": { "$ref": "#/$defs/nullableString" }, "evidence_refs": { "$ref": "#/$defs/evidenceRefs" } } }, "plaintiff_preserved_claim_total": { "$ref": "#/$defs/amountField" }, "plaintiff_recovery_cap": { "$ref": "#/$defs/plaintiffRecoveryCap" }, "pre_close_interest_for_relief_text": { "$ref": "#/$defs/preCloseInterestForReliefText" }, "post_finality_interest_for_relief_text": { "$ref": "#/$defs/postFinalityInterestForReliefText" }, "evidence_refs": { "$ref": "#/$defs/evidenceRefs" } } }, "overallCapAndRecoveryStructure": { "type": "object", "additionalProperties": false, "required": [ "global_returnable_value", "multi_plaintiff_structure_note", "is_pro_rata_allocation_used", "why_not_pro_rata_or_why_special_allocation_used" ], "properties": { "global_returnable_value": { "$ref": "#/$defs/amountField" }, "multi_plaintiff_structure_note": { "$ref": "#/$defs/nullableString" }, "is_pro_rata_allocation_used": { "type": "boolean" }, "why_not_pro_rata_or_why_special_allocation_used": { "$ref": "#/$defs/nullableString" } } }, "draftingBlock": { "type": "object", "additionalProperties": false, "required": [ "plaintiff_id", "plaintiff_name", "relief_block_type", "principal_text", "pre_close_interest_text", "post_finality_interest_text", "combined_relief_text" ], "properties": { "plaintiff_id": { "$ref": "#/$defs/nullableString" }, "plaintiff_name": { "$ref": "#/$defs/nullableString" }, "relief_block_type": { "type": "string", "const": "value_compensation" }, "principal_text": { "$ref": "#/$defs/nullableString" }, "pre_close_interest_text": { "$ref": "#/$defs/nullableString" }, "post_finality_interest_text": { "$ref": "#/$defs/nullableString" }, "combined_relief_text": { "$ref": "#/$defs/nullableString" } } }, "reliefDraftingInputs": { "type": "object", "additionalProperties": false, "required": [ "cancelation_scope", "drafting_blocks", "full_relief_summary_candidate" ], "properties": { "cancelation_scope": { "type": "object", "additionalProperties": false, "required": [ "scope_type", "scope_amount", "scope_text_for_relief" ], "properties": { "scope_type": { "$ref": "#/$defs/nullableString" }, "scope_amount": { "$ref": "#/$defs/amountField" }, "scope_text_for_relief": { "$ref": "#/$defs/nullableString" } } }, "drafting_blocks": { "type": "array", "items": { "$ref": "#/$defs/draftingBlock" } }, "full_relief_summary_candidate": { "$ref": "#/$defs/nullableString" } } }, "fieldLevelEvidenceIndexItem": { "type": "object", "additionalProperties": false, "required": [ "field_path", "evidence_refs", "support_strength", "note" ], "properties": { "field_path": { "$ref": "#/$defs/nullableString" }, "evidence_refs": { "$ref": "#/$defs/evidenceRefs" }, "support_strength": { "$ref": "#/$defs/supportStrengthEnum" }, "note": { "$ref": "#/$defs/nullableString" } } }, "evidenceMap": { "type": "object", "additionalProperties": false, "required": [ "core_evidence_refs", "field_level_evidence_index" ], "properties": { "core_evidence_refs": { "$ref": "#/$defs/evidenceRefs" }, "field_level_evidence_index": { "type": "array", "items": { "$ref": "#/$defs/fieldLevelEvidenceIndexItem" } } } }, "assumptionItem": { "type": "object", "additionalProperties": false, "required": [ "label", "description", "severity" ], "properties": { "label": { "$ref": "#/$defs/nullableString" }, "description": { "$ref": "#/$defs/nullableString" }, "severity": { "type": "string", "enum": [ "low", "medium", "high" ] } } }, "assumptionsAndUnknowns": { "type": "object", "additionalProperties": false, "required": [ "assumptions_used", "contested_points", "unknown_but_material_fields", "fields_blocking_numeric_finalization" ], "properties": { "assumptions_used": { "type": "array", "items": { "$ref": "#/$defs/assumptionItem" } }, "contested_points": { "type": "array", "items": { "$ref": "#/$defs/assumptionItem" } }, "unknown_but_material_fields": { "type": "array", "items": { "$ref": "#/$defs/nullableString" } }, "fields_blocking_numeric_finalization": { "type": "array", "items": { "$ref": "#/$defs/nullableString" } } } }, "requiredFieldPresence": { "type": "object", "additionalProperties": false, "required": [ "property_value_at_close_of_arguments", "mortgages_existing_at_fraudulent_act", "mortgages_still_existing_at_close", "lease_deposit_deductibility", "non_deductible_attachment_claims", "common_collateral_value", "plaintiff_preserved_claim_principal", "plaintiff_preserved_claim_interest_until_close", "plaintiff_preserved_claim_total", "beneficiary_gain", "plaintiff_recovery_cap" ], "properties": { "property_value_at_close_of_arguments": { "type": "boolean" }, "mortgages_existing_at_fraudulent_act": { "type": "boolean" }, "mortgages_still_existing_at_close": { "type": "boolean" }, "lease_deposit_deductibility": { "type": "boolean" }, "non_deductible_attachment_claims": { "type": "boolean" }, "common_collateral_value": { "type": "boolean" }, "plaintiff_preserved_claim_principal": { "type": "boolean" }, "plaintiff_preserved_claim_interest_until_close": { "type": "boolean" }, "plaintiff_preserved_claim_total": { "type": "boolean" }, "beneficiary_gain": { "type": "boolean" }, "plaintiff_recovery_cap": { "type": "boolean" } } }, "crossChecks": { "type": "object", "additionalProperties": false, "required": [ "value_at_close_present", "deduction_basis_consistent_with_act_time_rule", "still_existing_mortgages_also_deducted", "lease_deductibility_reasoned", "attachment_claims_marked_non_deductible", "each_plaintiff_separately_specified", "cap_rule_applied_per_plaintiff", "relief_text_matches_computed_numbers" ], "properties": { "value_at_close_present": { "type": "boolean" }, "deduction_basis_consistent_with_act_time_rule": { "type": "boolean" }, "still_existing_mortgages_also_deducted": { "type": "boolean" }, "lease_deductibility_reasoned": { "type": "boolean" }, "attachment_claims_marked_non_deductible": { "type": "boolean" }, "each_plaintiff_separately_specified": { "type": "boolean" }, "cap_rule_applied_per_plaintiff": { "type": "boolean" }, "relief_text_matches_computed_numbers": { "type": "boolean" } } }, "validationWarningItem": { "type": "object", "additionalProperties": false, "required": [ "code", "message", "severity", "blocking", "field_paths" ], "properties": { "code": { "$ref": "#/$defs/nullableString" }, "message": { "$ref": "#/$defs/nullableString" }, "severity": { "type": "string", "enum": [ "info", "warning", "error" ] }, "blocking": { "type": "boolean" }, "field_paths": { "type": "array", "items": { "$ref": "#/$defs/nullableString" } } } }, "validation": { "type": "object", "additionalProperties": false, "required": [ "required_field_presence", "cross_checks", "finalization_status", "validation_warnings" ], "properties": { "required_field_presence": { "$ref": "#/$defs/requiredFieldPresence" }, "cross_checks": { "$ref": "#/$defs/crossChecks" }, "finalization_status": { "$ref": "#/$defs/finalizationStatusEnum" }, "validation_warnings": { "type": "array", "items": { "$ref": "#/$defs/validationWarningItem" } } } }, "computationAuditStep": { "type": "object", "additionalProperties": false, "required": [ "step_no", "step_name", "input_fields", "output_fields", "formula_or_rule", "status" ], "properties": { "step_no": { "type": "integer", "minimum": 1 }, "step_name": { "type": "string" }, "input_fields": { "type": "array", "items": { "type": "string" } }, "output_fields": { "type": "array", "items": { "type": "string" } }, "formula_or_rule": { "$ref": "#/$defs/nullableString" }, "status": { "type": "string", "enum": [ "pending", "done", "skipped", "failed" ] } } } } } ``` 이 초안의 실무상 의미는 분명합니다. 첫째, 이 스키마는 **구조 검증용**입니다. 즉, 필수 섹션 누락, 타입 오류, 원고별 분리 실패, 담보권/임차권/가압류 객체 누락은 잡아낼 수 있습니다. 둘째, 이 스키마만으로는 **산술적 진실성**까지 완전히 검증할 수는 없습니다. 예를 들어 `plaintiff_recovery_cap.amount == min(common_collateral_value, plaintiff_preserved_claim_total, beneficiary_gain)` 같은 규칙이나, `mortgages_existing_at_fraudulent_act_total == mortgages_existing_at_fraudulent_act[].actual_secured_debt_at_act의 합계` 같은 규칙은 JSON Schema보다 **별도의 semantic validator**가 담당하는 것이 맞습니다. 셋째, 따라서 실제 시스템에서는 다음 2단계가 바람직합니다. - 1단계: 위 JSON Schema로 구조·필수성 검증 - 2단계: 별도 계산 검증기로 산식·법리 일치성 검증 원하시면 이어서 이 스키마를 바탕으로 **semantic validator 규칙 목록**까지 작성해 드리겠습니다. --- ### 질문 이 스키마를 바탕으로 **semantic validator 규칙 목록**까지 작성하라. ### 답변