code-completion-semantic-constraints

# Code Completion with Semantic Constraints ## Overview Complete partial code snippets while satisfying specified semantic constraints. Produces compilable code, verification tests, and a detailed report explaining how each constraint was satisfied. ## Workflow ### 1. Parse Input Extract and categorize the provided information: **Partial Code**: Identify the incomplete code structure (function signature, class skeleton, method stub, etc.) **Semantic Constraints**: Categorize constraints by type: - **Type constraints**: Variable types, return types, generic bounds - **Invariants**: Pre-conditions, post-conditions, loop invariants - **Behavioral constraints**: Expected input/output pairs, edge case handling - **Interface contracts**: Method signatures, protocol conformance - **Performance constraints**: Time/space complexity requirements ### 2. Analyze Constraints For each constraint: - Determine if it's satisfiable - Identify dependencies between constraints - Note any conflicts or ambiguities - If constraints are unclear or conflicting, ask for clarification before proceeding ### 3. Complete the Code Generate code that: - Compiles without errors in the target language - Satisfies all specified constraints - Follows language idioms and best practices - Includes necessary imports, type annotations, and error handling - Uses minimal complexity (avoid over-engineering) ### 4. Generate Verification Tests Create minimal test cases that verify: - Type constraints are re...