reconcile-code

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 in the function specification), find the corresponding code implementation:

• Look for guard clauses, early returns with error checks, parameter validation
• Verify the guard logic is equivalent to the pre-condition
• Check that appropriate errors/exceptions are thrown on violation
• Identify if the guard is implicit (e.g., type system enforces) or explicit (runtime check)

JP: VDM-SL仕様の各前提条件（関数仕様のガード）について、対応するコード実装を見つけます:

• ガード句、エラーチェック付きの早期リターン、パラメータ検証を探す
• ガードロジックが前提条件と等価であることを確認
• 違反時に適切なエラー/例外がスロウされることを確認
• ガードが暗黙的（型システムが強制）か明示的（実行時チェック）かを識別