# Scope card: EAI accepted candidate, R3 premium base

Candidate eai-candidate: source snapshot 0.1.0 plus finding EAI-R1 fixed, finding EAI-R3 fixed, and the suite completed to thirty-seven checks. Snapshot id 7635d197162f485ca5befe613670b0a8febb07a1c610151601f9b45fc822ec78 (recompute per the candidate README; the pre-R3 snapshot was 8e3297de…fea912 over 14 files). Language 0.2, zero dependencies, explicit local imports. Supersedes scope v2: the premium branch now reads the contract insured sum.

## Question

What does an employer owe, and what does a worker receive, under the covered branches of five articles of the employer accident-insurance act? Asked by case handlers preparing employer duty, premium, payout, employer-reimbursement, and penalty answers. The premium answer is the Article 17 amount before Article 17-1 adjustments — for cases without such adjustments.

## Case categories

- Employers, varying by professional risk class (one through twenty-two), annual payroll, contract insured sum, and the applicable minimum wage.
- Workers, varying by capacity-loss percent and by overdue payment with days delayed.

## Applicability

Employers and workers under the Kazakh employer accident-insurance act, for cases dated within the pinned edition. Answers apply to the duty, premium, payout, employer-reimbursement, and penalty questions only; eligibility edges are the tariff table bounds and the two loss intervals below (see Limits).

## In scope

- Article 8 point 2(1), employer duty to insure: the duty rule establishes the duty for each employer with employees; every other provision of Article 8 is a named excluded unit (see Out of scope).
- Article 16 point 1, assumed input constraint: the insured sum arrives from the case with S at or above payroll assumed, not checked (see Limits).
- Article 17, tariff classes with premium: twenty-two strict tariff rules, the base rule (tariff times insured sum), and the two premium rules (base stands at or above the minimum wage, else the wage) — see EAI-D1 and EAI-D4.
- Article 19 point 1, insurer payout branch: payout for capacity loss from thirty through one hundred percent (pinned bytes, line 364).
- Article 19 point 1, employer reimbursement branch: the employer reimburses harm for capacity loss from five through twenty-nine percent (pinned bytes, line 363). Added by closing finding EAI-R1: the v1 card listed article 19 as covered while this adjacent branch had no rule, no test, and no recorded exclusion — a gap inside a promised article, not a reading dispute.
- Article 9 point 2(9), late-payment penalty: the penalty rule, unpaid times 0.015 times days, exact; every other provision of Article 9 is a named excluded unit (see Out of scope).

## Out of scope

- Articles 1 through 7, 10 through 15, 18, and 20 through 28: outside the covered slice. Each stays out because no case category in this package asks its question; revisit on scope widening.
- Article 8, all provisions except point 2(1): the remaining policyholder rights and duties. Named inventory unit with fate exclude (round-3 addition).
- Article 9, all provisions except point 2(9): the remaining insurer rights and duties. Named inventory unit with fate exclude (round-3 addition).
- Article 16-1, insured-event circumstances via the Labour Code reference: the event-eligibility question is not asked. Named inventory unit with fate exclude (round-3 addition).
- Article 16, sum dynamics: reduction by payouts and following payroll changes. Named inventory units with fate exclude.
- Article 17 point 1, input-computation sentences: the tenfold payroll cap, mid-term changes, application-based payroll. Inputs arrive computed; named inventory unit with fate exclude.
- Article 17 point 2-1, proportional sum increase: named inventory unit with fate exclude.
- Article 17 point 3, risk-class attribution: not excluded but assumed — the class arrives from the case (see Limits). Named inventory unit with fate assume (round-3 addition).
- Article 17 point 4, premium payment procedure and instalments: mechanics beyond the premium-amount question. Named inventory unit with fate exclude (round-3 addition).
- Article 17 point 5, mid-term recalculation: dynamics beyond the single premium answer. Named inventory unit with fate exclude (round-3 addition).
- Article 17-1, correction coefficient and no-claim discount: no case category asks. Named inventory unit with fate exclude.
- Article 19-1, payout routing by insurer licence type (source footnote marks the article temporary): routing beyond the payout-eligibility question. Named inventory unit with fate exclude (round-3 addition).
- Article 19, all other units: Civil Code measure reference, tenfold-earnings cap, social-benefit deduction, annuity terms and timing, pension-contribution withholding, death benefit, beneficiaries, additional expenses with the 500/750/1000 table, sanatorium reimbursement, the pre-2015 transitional rule, burial expenses, over-sum recovery, transfer costs, preventive-measures refund. Each is a named inventory unit with fate exclude and a stated basis — none is silently missing.

## Limits

- Tariff classes one through twenty-two only; no class outside the table is answered.
- Insurer payout only for loss from thirty through one hundred percent (see EAI-D2).
- Employer reimbursement only for loss from five through twenty-nine percent.
- Penalty exact with no rounding step (see EAI-D3).
- Premium answers assume S at or above payroll without checking: feeding an insured sum below payroll still computes. The minimum-wage figure is case input; no statutory value is pinned and no monthly-annual conversion is performed.
- Risk-class attribution (Article 17 point 3) is assumed correct case input: the package never derives the class from activities, branches, or personnel-provision contracts.
- Tool support is `law` 0.1.0 only: the debug 0.1.1 build answers NEITHER on all twenty-eight Money checks, so no verdict here covers it.

## Inputs

Per case, the package requires: the employment relation (who employs whom); the risk-class assignment per employer; the payroll figure per employer; the contract insured sum per employer; the minimum-wage figure; the loss percent per worker; the overdue amount with days delayed per worker. No answer derives without its inputs; missing inputs leave the question undecided, not denied. Payroll is carried by premium cases but no premium rule reads it since EAI-R3.

## Dependencies

none — the manifest declares zero dependencies, and the lock file carries empty dependency edges with an empty package list. Local imports inside the package are explicit.

## External data

All case input, never derived by the package; supplier is the case file (same items as Inputs above). External computations: none — every amount in the answers is computed by package rules from case facts.

## Human decisions

none — the package declares no open readings and no judgment calls. Confirmed by searching the package sources for interpretation, judgment, and closure policies (no matches) and by reading every suite origin (all case input).

## Provenance

Edition EAI_EDITION, label PINNED_UNOFFICIAL_COPY — an Adilet API copy retrieved 2026-09-13, sha256 pinned, local copy kept in the package.

## Readiness

Review may start when: the static check reports OK; the suite reports thirty-seven of thirty-seven on tool `law` 0.1.0 (both the published build, binary hash sha256:c56e69e761c20f9019753c4b22c9dc7e810e290512ac763d7bb89c69ef93210d, and the local build, sha256:78dea06ce928547e87bd9875a2556cc663def37cbb78c8b04aa0da57839c95d7); the snapshot id recomputes to the value above; this card, the v3 inventory, and decision records EAI-D1 through EAI-D4 are complete; open findings are listed on the review record (none answer-changing remains open).