Add generic module verification and inspection needs to metamodel

[FScholPer]

Summary

Add metamodel support for module-level verification reporting and formal inspection evidence in a way that is generic, scalable, and aligned with S-CORE verification/review concepts.

Background

Current metamodel support is strong for requirement/test traceability (testcase -> fully_verifies/partially_verifies), but module-level verification reporting and checklist-based inspection evidence are not modeled as first-class, flexible needs.

The process expects Module Verification Reports to aggregate heterogeneous evidence (tests, analyses, inspections, coverage, logs/results, qualification evidence), and inspections may use different checklist families (requirements, architecture, implementation, etc.).

Scope

Introduce and integrate:

• mod_ver_report as a module-level verification aggregation need.
• mod_insp as a formal inspection evidence need.
• Extra link types to support broad evidence linkage (evidence) and inspection scope (inspects).
• Generic linking behavior so reports/inspections can reference many relevant need types (not only a narrow fixed subset).

Requirements

• Keep existing direct testcase-to-requirement verification links unchanged.
• Allow mod_ver_report to aggregate evidence for:
  • requirement coverage
  • architecture/detailed design verification
  • DFA/safety/security analysis evidence
  • test results and retained logs
  • static analysis and structural coverage evidence
  • component qualification verification evidence
• Allow mod_insp to reference multiple checklist/evidence artifact flavors (req/arc/impl/custom).
• Keep compatibility with existing status patterns and avoid global schema churn.

Acceptance Criteria

• Metamodel contains mod_ver_report and mod_insp definitions with required metadata and links.
• mod_ver_report can link to heterogeneous evidence using generic relations (e.g. contains, evidence, covers).
• mod_insp can link to arbitrary inspected artifacts and checklist evidence.
• needs_extra_links includes required link types for evidence and inspection.
• No metamodel parsing/lint errors.

Follow-ups (optional but recommended)

• Add graph checks for ASIL-specific verification evidence completeness.
• Add doc examples showing how to populate mod_ver_report and mod_insp with real module artifacts.
• Align templates/how-to pages with the new needs.

** Co-created by github copilot