# Traceability Matrix

| Package | HLR Tags |
|---------|-----------|
| adacovex | ARCH, ARCH |
| adacovex-target_profiles | IR |
| adacovex-ir_bounds | IR |
| adacovex-ir_synthesiser | IR |
| adacovex-renderers-sbom | SBOM |
| adacovex-renderers-ansi | RENDER-ANSI |
| adacovex-renderers-html | RENDER-HTML |
| adacovex-renderers-markdown | RENDER-MD |
| adacovex-renderers-svg | RENDER-SVG |
| adacovex-parsers-do178c | COMPLIANCE |
| adacovex-parsers-manifest | MANIFEST |
| adacovex-parsers-tests | TEST |
| adacovex-parsers-source | SCAN |
| adacovex-parsers-gnatprove | PROOF |
| adacovex-compliance-dal | COMPLIANCE, DAL-A, DAL-B, DAL-C, DAL-D, DAL-E |
| adacovex-types | METRICS, PROOF, TEST, COMPLIANCE, DAL-A, DAL-B, DAL-C, DAL-D, DAL-E, SBOM, SBOM, SBOM |
| adacovex-config | CLI |
| adacovex-diff | DIFF |
| adacovex-prove | PROVE |
| adacovex-server-http | SERVER |