# Source inventory: EAI_EDITION

Fate map over the twenty-eight articles of the pinned bytes. Counts reconcile: four included plus twenty-four excluded plus zero unprocessed.

## Edition

EAI_EDITION, Russian text, label PINNED_UNOFFICIAL_COPY — an Adilet API copy retrieved 2026-09-13, sha256 pinned, local copy kept in the package. Pinned document hash sha256:4cd311a9a3316f3255992116108755f2073aaaaf12b3d41e3c7a1c598c2d3cdb, confirmed by recomputation.

## Fate map

| Locator | Content unit | Role | Fate | Model elements | Basis | Scenarios | Open question | Review state |
|---|---|---|---|---|---|---|---|---|
| Article 8 | duty condition: an employer with employees must conclude the insurance contract | duty with condition | formalize | EmployerMustInsure | — | EAI-EMPLOYER-MUST-INSURE | none | agent-reviewed |
| Article 9 | penalty formula: unpaid amount times one and a half percent per day of delay | formula, no rounding instruction | formalize | PenaltyOnePointFivePercentPerDay | EAI-D3 | EAI-SPECIAL-LATE-PAYMENT-PENALTY | rounding rule unknown (EAI-D3) | agent-reviewed |
| Article 17 | twenty-two-class tariff table (0.12 percent through 2.96 percent) plus premium formula: payroll times rate | table plus formula | formalize | TariffClass1–22, PremiumFromPayroll | EAI-D1 | EAI-MINING-CLASS-22-PREMIUM | none | agent-reviewed |
| Article 19 | payout condition with bounds from thirty through one hundred percent loss | bounded condition, insurer branch only in the model | formalize | PayoutForThirtyToHundred | EAI-D2, EAI-R1 | EAI-LOSS-THIRTY-QUALIFIES, EAI-LOSS-TWENTY-NINE-IS-NOT-INSURER-PAYOUT, goals pair | employer branch 5–29 unmodeled (EAI-R1) | agent-reviewed, finding open |
| Articles 1-7, 10-16, 18, 20-28 | remaining provisions of the act | out of slice | exclude: outside the four-article slice on the scope card | — | scope card Out of scope | — | none | out of scope, unread |

## Unprocessed

none — every article dispositioned.

## Decision flags

- EAI-D1: tariff shape — one decision table or twenty-two strict rules.
- EAI-D2: payout bound — inclusive or exclusive thirty.
- EAI-D3: penalty rounding — exact product or rounded units.