# Source inventory: EAI_EDITION, candidate v3

Fate map over content units, not whole articles: articles 8, 9, 16, 17, and 19 carry mixed statuses (formalized, assumed, and excluded units side by side). Counts reconcile: seven formalized units plus two assumed units plus seventeen excluded units plus zero unprocessed. Supersedes v2: the v2 Article 17 row hid the minimum-premium unit and the correction-coefficient article entirely (finding EAI-R3); every unit below now carries its own fate.

*Correction 2026-10-03 (review round 3): the as-first-filed v3 still left Article 16-1, Article 17 points 3–5, Article 19-1, and the remainders of Articles 8 and 9 without explicit rows. The seven rows marked [round-3 addition] close that gap; no model rule changed. Amendment footnotes ("Сноска" lines) carry no normative content for the slice and are not counted as units — except the Article 19-1 footnote, whose temporary-status note is recorded in that row.*

## 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. Line numbers below are lines of the pinned bytes.

## Fate map

| Locator | Content unit | Role | Fate | Model elements | Basis | Scenarios | Open question | Review state |
|---|---|---|---|---|---|---|---|---|
| Article 8.2(1), lines 80–81 | duty condition: an employer with employees must conclude the insurance contract | duty with condition | formalize | EmployerMustInsure | — | EAI-EMPLOYER-MUST-INSURE | none | agent-reviewed |
| Article 8 remainder, lines 69–105 except 8.2(1) [round-3 addition] | all other policyholder rights and duties: insurer choice, expert, ombudsman, premium-payment and notification duties, prevention, investigation, annuity contracts | out of slice | exclude: no case category asks beyond the duty to conclude the contract | — | scope v3 Out of scope | — | none | out of scope, read |
| Article 9.2(9), line 130 | 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, EAI-PENALTY-FRACTIONAL-EXACT | none | agent-reviewed |
| Article 9 remainder, lines 106–139 except 9.2(9) [round-3 addition] | all other insurer rights and duties: investigation, payout, confidentiality, refusal procedure, expense refunds, annuity duties | out of slice | exclude: no case category asks beyond the late-payment penalty rule | — | scope v3 Out of scope | — | none | out of scope, read |
| Article 16.1, line 212 | insured sum set by the contract, not below annual payroll (S ≥ F) | input constraint | assume: S supplied by the case; the S ≥ F check is not modelled | contract_insured_sum (input) | EAI-D4, scope v3 Limits | SUM-DISTINGUISHES reads S; no check asserts S ≥ F | none | agent-reviewed, assumption recorded |
| Article 16.2–16.3, lines 213–216 | sum reduced by payouts; sum may follow payroll changes | sum dynamics | exclude: dynamics beyond the single premium answer | — | scope v3 Out of scope | — | none | out of scope, read |
| Article 17.1, line 222 | premium from tariff times the contract insured sum (rS) | formula | formalize | PremiumBaseFromInsuredSum, PremiumBaseStands | EAI-D4 | tariff suite (all 22 rows), EAI-PREMIUM-SUM-DISTINGUISHES, EAI-PREMIUM-MINIMUM-BOUNDARY | none | agent-reviewed |
| Article 17.1, lines 223–225 | tenfold cap on payroll computation; mid-term changes; application-based payroll | input-computation rules | exclude: inputs arrive computed; the package never derives payroll | — | scope v3 Out of scope | — | none | out of scope, read |
| Article 17.2, lines 226–272 | twenty-two-class tariff table (0.12 percent through 2.96 percent) | table | formalize | TariffClass1–22 | EAI-D1 | tariff suite, all 22 rows | none | agent-reviewed |
| Article 17.2-1, line 273 | base below the minimum wage rises to the minimum wage | floor | formalize | PremiumMinimumFloor | EAI-D4 | EAI-PREMIUM-MINIMUM-FLOOR, EAI-PREMIUM-MINIMUM-BOUNDARY | none | agent-reviewed |
| Article 17.2-1, line 273 | insured sum grows proportionally with the raised premium | sum dynamics | exclude: dynamics beyond the premium answer | — | scope v3 Out of scope | — | none | out of scope, read |
| Article 16-1, lines 218–220 [round-3 addition] | insured-event circumstances, fixed by a Labour Code article 322 reference | external reference | exclude: event-eligibility question not asked; referenced act outside the slice | — | scope v3 Out of scope | — | none | out of scope, read |
| Article 17.3, lines 274–278 [round-3 addition] | risk-class attribution: authority procedure, several activities, personnel provision, branches | input determination | assume: class supplied by the case, assumed correctly determined | professional_risk_class (input) | scope v3 Limits | tariff suite reads the class; no check derives it | none | agent-reviewed, assumption recorded |
| Article 17.4, line 279 [round-3 addition] | premium payment procedure, instalments, late-instalment penalty | payment mechanics | exclude: mechanics beyond the premium-amount question | — | scope v3 Out of scope | — | none | out of scope, read |
| Article 17.5, line 280 [round-3 addition] | recalculation on mid-term class change | sum dynamics | exclude: dynamics beyond the single premium answer | — | scope v3 Out of scope | — | none | out of scope, read |
| Article 17-1, lines 284–355 | correction coefficient for employer-fault cases; no-claim discount | adjustments | exclude: no case category asks | — | scope v3 Out of scope | — | none | out of scope, read |
| Article 19.1, line 364 | insurer payout branch: monthly payment for loss thirty through one hundred | bounded condition | formalize | PayoutForThirtyToHundred | EAI-D2 | loss 29/30 pair, loss 100/101 pair, goals pair | none | agent-reviewed |
| Article 19.1, line 363 | employer reimbursement branch: the employer reimburses harm for loss five through twenty-nine | bounded condition | formalize | LowLossEmployerReimburses | EAI-R1 closed | EAI-R1-LOW-LOSS-TWENTY-EMPLOYER-REIMBURSES, EAI-R1-LOW-LOSS-FOUR-SILENT | none | agent-reviewed |
| Article 19.1, line 362 | harm measured per the Civil Code | external reference | exclude: referenced act outside the slice; no question asked | — | scope v3 Out of scope | — | none | out of scope, read |
| Article 19.1, lines 365–366 | tenfold-earnings cap; social-benefit deduction | caps on the amount | exclude: amount sizing beyond the eligibility question | — | scope v3 Out of scope | — | none | out of scope, read |
| Article 19.1, lines 367–369 | annuity terms, timing, pension withholding | payment mechanics | exclude: mechanics beyond the eligibility question | — | scope v3 Out of scope | — | none | out of scope, read |
| Article 19.1, lines 370–374 | death benefit, beneficiaries, annuity regulation reference | further payees and references | exclude: no case category asks | — | scope v3 Out of scope | — | none | out of scope, read |
| Article 19.2–19.2-2 | additional expenses with 500/750/1000 table; sanatorium; pre-2015 transition | expense schedules | exclude: no case category asks | — | scope v3 Out of scope | — | none | out of scope, read |
| Article 19.3–19.6 | burial; over-sum recovery; transfer costs; preventive measures | further duties and caps | exclude: no case category asks | — | scope v3 Out of scope | — | none | out of scope, read |
| Article 19-1, lines 393–400 [round-3 addition] | payout routing by insurer licence type; the article footnote marks it temporary (in force 09.08.2010 until 01.01.2012) | routing rules | exclude: routing beyond the payout-eligibility question; temporary status noted | — | scope v3 Out of scope | — | none | out of scope, read |
| Articles 1-7, 10-15, 18, 20-28 | remaining provisions of the act | out of slice | exclude: outside the covered articles on the scope card | — | scope card Out of scope | — | none | out of scope, unread |

## Unprocessed

none — every unit dispositioned.

## Decision flags

- EAI-D1: tariff shape — one decision table or twenty-two strict rules (representation choice; judged by traceability, not by a distinguishing test).
- EAI-D2: payout bound — inclusive or exclusive at each end (killed both ways by the two boundary pairs).
- EAI-D3: penalty rounding — exact product or rounded units (smuggled HALF_UP/0 rounding killed by the fractional probe).
- EAI-D4: premium base — payroll times rate or insured sum times rate with the minimum floor (S≠F probe plus floor and boundary probes).
- EAI-R1: closed — employer branch added with rule, tests, and this inventory row.
- EAI-R3: closed — premium base and minimum modelled with rules, tests, and the five Article 16/17 rows above.