reconcile-codelisted

# Reconcile Code Skill ## Overview / 概要 This skill reconciles existing code with a confirmed VDM-SL specification through systematic comparison, generates diff reports, produces prioritized code fixes, and auto-generates comprehensive tests. このスキルは、確認済みのVDM-SL仕様との間で既存コードを体系的に比較し、差分レポートを生成し、優先度付きコード修正を生成し、包括的なテストを自動生成します。 --- ## Step 1: Item-by-Item Comparison ### Type Definitions **EN:** For each VDM-SL type definition in the confirmed spec, locate the corresponding code type (TypeScript interface/type, Python dataclass, etc.): - Verify all field names match spec exactly - Verify all field types match spec types (accounting for language-specific representations) - Verify optional/required markers match (nullable, Optional[], etc.) - Check for extra fields in code not in spec - Check for missing fields in code that are in spec **JP:** 確認済み仕様のVDM-SL型定義ごとに、対応するコード型（TypeScriptインターフェース/型、Pythonデータクラスなど）を見つけます: - すべてのフィールド名が仕様と正確に一致することを確認 - すべてのフィールド型が仕様型と一致す��ことを確認（言語固有の表現を考慮） - オプション/必須マーカーが一致することを確認（nullable、Optional[]など） - 仕様にない仕様にないコード内の余分なフィールドをチェック - 仕様にあるがコードにない欠落フィールドをチェック **Status Codes:** - ✅ Match: All fields present, types correct, required/optional markers align - ⚠️ Partial: Some fields missing/extra, or minor type representation differences that don't affect runtime - ❌ Mismatch: Type definitions are incompatible, will cause runtime errors - 🔍 Not Found: No corresponding type found in code ### Pre-conditions **EN:** For each VDM-SL pre-condition (guards