Module compliance 

Framework compliance mappings + coverage reports (GL #424, H3 Epic A).

The mapping matrices live as machine-readable TOML under compliance/mappings/ (embedded at compile time, version-pinned to a framework edition with a semi-annual review cycle). This module loads them and produces the audit-conversation artifact: lean-ctx policy coverage --framework eu-ai-act.

Honesty contract (same spirit as policy::coverage):

• full coverage is only claimed where enforcement exists AND a CI test proves it — every full control carries its test name; a unit test below fails the build when a full claim has no test.
• Pack-dependent claims are verified LIVE against the resolved pack and downgrade to NotEnforced when the pack doesn’t hold up.
• Organisational duties are reported as explicit gaps, never hidden.

Structs

ControlMapping

FrameworkMapping

FrameworkReport

ReportRow

ReportSummary

Enums

Coverage

Mechanism

RowStatus

Verification status of one control row in a report.

Functions

frameworks

All mappings, registry order.

get

Look up one mapping.

names

Framework ids, registry order.

report

Build the coverage report for a framework, verifying pack-rule controls against policy when one is supplied.