# Review record: kz.corpus.employee_accident_insurance 0.1.0

## Scope

Package kz.corpus.employee_accident_insurance, version 0.1.0, pinned to edition EAI_EDITION (label PINNED_UNOFFICIAL_COPY). Records read: scope card, source inventory, decision records EAI-D1 through EAI-D3, and the seven scenarios.

## Identity

Namespace urn:kz:corpus:clir:employee-accident-insurance; lock root content hash sha256:857647ad88ed96d916401cecebe83937704b79a647002b4586f7e2069c09b37b; edition EAI_EDITION at PINNED_UNOFFICIAL_COPY; tool `law` 0.1.0, semantics law.core/0.2, binary hash sha256:78dea06ce928547e87bd9875a2556cc663def37cbb78c8b04aa0da57839c95d7; suite tally seven of seven.

## Reviewers

Package author as committed in the corpus tree. Checking reviewer: an automated agent reading the pinned source text and running the tooling — this is an AGENT review. No human subject-matter approval exists; no expert, signature, or official check is claimed.

## Kind

Subject-matter review (rules against fragments, finding EAI-R1) plus automated checks (static check, full suite, pinning check). No separate engineering opinion is recorded here; the hand-over release decision re-runs the identifying commands.

## Method

Rules read against the pinned fragments article by article, with article nineteen read line by line against the payout rule; the static check run; the full scenario run; the lower-bound pair straddled from both sides (thirty qualifies, twenty-nine undecided).

## Findings

| ID | Statement | Grounds | Severity |
|---|---|---|---|
| EAI-R1 | the model covers only the insurer branch of article nineteen | article nineteen assigns losses five through twenty-nine to the employer; the suite is green while that branch is absent | high (missing branch on realistic inputs) |

## Disposition

Fix demonstrated in a review copy, not the package: one strict rule plus two probe checks, per the semantic review page — loss twenty established, loss four silent. The real package is untouched, so version 0.1.0 travels with EAI-R1 open. Confirming runs on the package itself: the static check reports OK and the scenario run reports seven checked, seven passed, zero failed. Remaining limits: four articles modeled, the rest of the act untouched; unofficial source standing; single tool release behind every result.

## Verdict

accept with recorded limits: EAI-R1 open — the employer branch for loss five through twenty-nine is unmodeled in 0.1.0. This verdict applies to package version 0.1.0, edition EAI_EDITION, and tool `law` 0.1.0 only; any edit to the model, the pins, or the tool reopens the review.