vyre-conform 0.1.0

Conformance suite for vyre backends — proves byte-identical output to CPU reference
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52

# Coverage Metrics

Coverage in vyre-conform is multi-dimensional. A high score in one dimension does not compensate for a low score in another.

## Dimensions

### Equivalence Class Coverage
```text
covered_equivalence_classes / total_equivalence_classes
```

### Boundary Value Coverage
```text
covered_boundary_values / total_boundary_values
```

### Law Coverage
```text
fully_verified_laws / total_declared_laws
```

A law is fully verified only when it passes both exhaustive small-domain checks and witnessed full-domain checks.

### Regression Coverage
```text
replayed_regressions / total_persisted_regressions
```

### Engine Invariant Coverage
```text
verified_invariants / total_declared_invariants
```

## Overall Score

The overall coverage score is the **minimum** of the required dimensions, not the average:

```text
overall = min(
    equivalence_class_coverage,
    boundary_value_coverage,
    law_coverage,
    regression_coverage,
    engine_invariant_coverage
)
```

Using the minimum prevents a million easy random tests from hiding a missing class, boundary, law, or regression.

## Publishing

A conformance certificate should publish the overall score and every component score so downstream projects can see exactly what was proven.