grace-fix

What problem does it solve?

GRACE-Fix addresses the challenge of debugging complex codebases instrumented with semantic markers and contracts where locating the responsible module and the exact implementation block is time-consuming and error-prone. It gives a structured procedure to navigate the project's knowledge graph, find the semantic block referenced by logs or module maps, and resolve mismatches between a block's CONTRACT and its implementation without breaking semantic boundaries.

Core Features & Use Cases

• Knowledge-graph navigation: Read docs/knowledge-graph.xml and follow CrossLinks to identify the target module and relevant dependencies.
• Semantic block tracing: Locate START_BLOCK_* markers and module/function CONTRACTs to pinpoint the exact code region.
• Contract-aware analysis and repair: Compare intended behavior from CONTRACTs against code, propose targeted in-block fixes, and update CHANGE_SUMMARY and metadata.
• Verification and safety: Recommend running type checking, linting, and strengthening tests or logs via $grace-verification after changes.
• Use Cases: Fix runtime exceptions with block-level traces, repair logic that violates module CONTRACTs, and improve weak tests or logs revealed by failures.

Quick Start

Ask the agent to debug the reported error by locating the module in docs/knowledge-graph.xml, tracing the START_BLOCK marker to the semantic block, comparing the block code to its CONTRACT, and proposing a minimal in-block fix.