# Decomposition Test Suite

Test cases for the mesh decomposition -> Cordial reconstruction pipeline.
Quality rule: reconstructed complexity t' <= t + ceil(sqrt(t)).

## Level 1 -- Single Primitives

| File | t | Objects | Ops | Transforms | Max t' |
|------|---|---------|-----|------------|--------|
| single_sphere.crd | 1 | 1 | 0 | 0 | 2 |
| single_box.crd | 1 | 1 | 0 | 0 | 2 |
| single_cyl.crd | 1 | 1 | 0 | 0 | 2 |

## Level 2 -- Simple CSG

| File | t | Objects | Ops | Transforms | Max t' |
|------|---|---------|-----|------------|--------|
| union_two.crd | 3 | 2 | 1 | 1 | 5 |
| diff_two.crd | 3 | 2 | 1 | 0 | 5 |
| intersect_two.crd | 3 | 2 | 1 | 0 | 5 |

## Level 3 -- Transforms + CSG

| File | t | Objects | Ops | Transforms | Max t' |
|------|---|---------|-----|------------|--------|
| rotated_diff.crd | 4 | 2 | 1 | 1 | 6 |
| scaled_union.crd | 7 | 3 | 2 | 3 | 10 |

## Level 4 -- Complex Scenes

| File | t | Objects | Ops | Transforms | Max t' |
|------|---|---------|-----|------------|--------|
| bracket.crd | 10 | 5 | 4 | 3 | 14 |
| bolt_simple.crd | 7 | 3 | 2 | 2 | 10 |

## Level 5 -- Stress Tests

| File | t | Objects | Ops | Transforms | Max t' |
|------|---|---------|-----|------------|--------|
| gear_approx.crd | 18 | 9 | 8 | 8 | 23 |

## Quality Bound

For a scene with complexity t, the maximum acceptable reconstruction
complexity is:

    t' = t + ceil(sqrt(t))

This allows for imperfect decomposition while bounding how much extra
structure the reconstructor may introduce. A perfect reconstruction
yields t' = t.