Feature: Show OFT Trace Defects in Problems View

[redcatbear]

Description

Consolidate OpenFastTrace (OFT) trace defects (e.g., missing coverage, broken links) into the IntelliJ Problems View. This allows developers to address trace issues like compiler errors or linting warnings.

Scope

• Integrate OFT trace results into the native IntelliJ Problems View.
• Map OFT defects to ProblemDescriptor objects with references to specific files and line numbers.
• Ensure that clicking a problem navigates directly to the relevant specification or source code.
• Support for project-wide trace results in the "Project Errors" tab.

Motivation

Making trace defects visible in the Problems View ensures they are "unignorable" and fits naturally into the developer's workflow. It complements the Test Runner UI by providing a list-based view focused on actionable errors.

Technical Notes

• Can be achieved using the ProblemCollector API or by providing a custom ProblemProvider.
• This feature builds on the infrastructure created for the Test Runner UI integration (Issue Feature: Integrate OFT Trace into Test Runner UI #40).