Design Documents

Original architectural plans, decision logs, and framework analyses from the project’s development.

• Architectural Vision: Graph-Theoretic Code Analysis Framework
• Synthesis Framework: From LLM Candidates to Strongly-Typed Patches
• Belief Revision Framework: Totalizing Theories with Provenance
• Decision Log
• Curate-Ipsum Roadmap
• Curate-Ipsum — Progress Log
• BRS Integration Plan for Curate-Ipsum
• py-brs v2.0.0 Integration: Refactoring Plan
• Phase 2: Graph-Spectral Infrastructure — Implementation Plan
• M1: Multi-Framework Foundation - Implementation Plan
• Curate-Ipsum Project Summary
• Potential Directions for Curate-Ipsum
• Synergies: Mutation Testing Ecosystem Integration
• LPython + KLEE Integration Feasibility Assessment
• Milestones M1-M3 Completeness Audit