EU · South Korea · Colorado
A versioned questionnaire and evidence-gated decision model evaluate facts you declare. Detector matches remain observations, never legal facts.
- EU AI Act
- South Korea AI Basic Act
- Colorado SB 26-189
“Coverage” can mean executable decision logic, a reference mapping, or a dated regulatory summary. Those are different capabilities. This page keeps them separate so you can choose the right path and interpret the result honestly.
A higher level does not certify compliance. It means Regula implements more of the review path.
A versioned questionnaire and evidence-gated decision model evaluate facts you declare. Detector matches remain observations, never legal facts.
Findings can link to selected provisions or control families. Regula does not test applicability, implementation, equivalence, or conformity.
Region pages distinguish enacted law, proposals, policy, guidance and standards, with a review date and sources. They do not classify your deployment.
Start from the task, preserve uncertainty, and end with a human decision—not an automated badge.
The test suite establishes engineering behaviour. It does not establish real-world legal or detector validity.
Synthetic fixtures, decision-model mutations, runtime parity checks and output-contract tests are committed and repeatable.
Licensed repositories at exact commits test completion, repeatability and known positive/negative expectations without executing target code. This is diagnostic, not precision or recall.
Observed corpus result: 18/18 variants were byte-repeatable; 11/13 predeclared diagnostic assertions passed. Two retained failures and 10/36 completed-with-skips runs remain visible. These fractions are not accuracy metrics.
Representative multi-annotator production evaluation, qualified legal validation, moderated usability research and proficient screen-reader testing remain outstanding.