# Adacovex.Renderers.Markdown

Markdown report renderer.
Generates VERIFICATION.md (coverage, proof, test, compliance tables)
and TRACE.md (HLR to package traceability matrix).
HLR-RENDER-MD: Markdown report generation

> **Note:** All items in this package are public.

## Procedures

### procedure Generate_Trace_Matrix (Path : Standard.String; Packages : Adacovex.Types.Implementation.Package_Vectors.Vector) `[Pre]`

| Parameter | Description |
|-----------|-------------|
| `Packages` | Scanned package vector. |
| `Path` | Output file path for TRACE.md. |

### procedure Generate_Verification_Report (Path : Standard.String; Doc_Metrics : Adacovex.Types.Docstring_Metrics; Proof : Adacovex.Types.Proof_Summary; Tests : Adacovex.Types.Implementation.Test_Summary; DAL_Assess : Adacovex.Types.Implementation.DAL_Assessment; Packages : Adacovex.Types.Implementation.Package_Vectors.Vector; All_Standards : Standard.Boolean) `[Pre]`

| Parameter | Description |
|-----------|-------------|
| `All_Standards` | Report every standard (else the selected one). |
| `DAL_Assess` | DAL compliance assessment. |
| `Doc_Metrics` | Docstring coverage metrics. |
| `Packages` | Scanned package vector. |
| `Path` | Output file path for VERIFICATION.md. |
| `Proof` | GNATprove proof summary. |
| `Tests` | Test result summary. |