# SYNTHETIC amendment impact report (fictional, not law)

This report shows the revisit method on a fictional change. Nothing here amends
any act; the altered rule is labeled synthetic in its own file.

## What changed

One line in the tariff rules of the amendment copy: the class twenty-two rate
moves from 2.96 to 3.10 percent. Structural diff of the model:

```diff
-rule TariffClass22(e: Employer) strict { when professional_risk_class(e, 22); then insurance_tariff(e, 0.0296); ... }
+rule TariffClass22(e: Employer) strict { when professional_risk_class(e, 22); then insurance_tariff(e, 0.0310); ... }
```

No vocabulary, source pin, dependency, or suite file changed.

## Scenario re-run

Tool version `law` 0.1.0, semantics law.core/0.2. Before the edit, the copy
passes fully:

```sh
$ law test docs/handbook/files/fixtures/amendment
```

```text
law test kz.corpus.employee_accident_insurance: мир kz.corpus.employee_accident_insurance
  ok   [kz.corpus.employee_accident_insurance#authored] tests/core.lawtest / EAI-EMPLOYER-MUST-INSURE
  ok   [kz.corpus.employee_accident_insurance#authored] tests/core.lawtest / EAI-MINING-CLASS-22-PREMIUM
  ok   [kz.corpus.employee_accident_insurance#authored] tests/core.lawtest / EAI-LOSS-THIRTY-QUALIFIES
  ok   [kz.corpus.employee_accident_insurance#authored] tests/core.lawtest / EAI-LOSS-TWENTY-NINE-IS-NOT-INSURER-PAYOUT
  ok   [kz.corpus.employee_accident_insurance#authored] tests/core.lawtest / EAI-SPECIAL-LATE-PAYMENT-PENALTY
  ok   [kz.corpus.employee_accident_insurance#authored] tests/goals.lawtest / GoalEstablishedCapacityLossHasPayout-world
  ok   [kz.corpus.employee_accident_insurance#authored] tests/goals.lawtest / urn:kz:corpus:clir:employee-accident-insurance#GoalEstablishedCapacityLossHasPayout
итого: 7 проверено, 7 прошли, 0 не прошли, 0 не исполнены; код 0
```

After the edit, the tariff check fails and everything else survives:

```text
  ok   [kz.corpus.employee_accident_insurance#authored] tests/core.lawtest / EAI-EMPLOYER-MUST-INSURE
  FAIL [kz.corpus.employee_accident_insurance#authored] tests/core.lawtest / EAI-MINING-CLASS-22-PREMIUM
        truth_status == TRUE_ONLY: в документе NEITHER
  ok   [kz.corpus.employee_accident_insurance#authored] tests/core.lawtest / EAI-LOSS-THIRTY-QUALIFIES
  ok   [kz.corpus.employee_accident_insurance#authored] tests/core.lawtest / EAI-LOSS-TWENTY-NINE-IS-NOT-INSURER-PAYOUT
  ok   [kz.corpus.employee_accident_insurance#authored] tests/core.lawtest / EAI-SPECIAL-LATE-PAYMENT-PENALTY
  ok   [kz.corpus.employee_accident_insurance#authored] tests/goals.lawtest / GoalEstablishedCapacityLossHasPayout-world
  ok   [kz.corpus.employee_accident_insurance#authored] tests/goals.lawtest / urn:kz:corpus:clir:employee-accident-insurance#GoalEstablishedCapacityLossHasPayout
итого: 7 проверено, 6 прошли, 1 не прошли, 0 не исполнены; код 1
```

Surviving control case: the loss-thirty payout check still passes, proving the
edit moved only the tariff. The boundary pair, the penalty check, the employer
duty, and both property checks survive unchanged.

## Decision and scope impact

- EAI-D1 (tariff as twenty-two strict rules) reopens: the expected premium in
  the class twenty-two check must move with the rate.
- EAI-D2 (inclusive thirty boundary) and EAI-D3 (penalty without rounding
  policy) are untouched: their checks pass before and after.
- Scope is unchanged: the same four articles stay covered, no article added.