# Decision record: EAI-D3 - penalty as exact product, no rounding

## Status

accepted

## Context

Article 9 sets the penalty at one and a half percent of the unpaid sum per day of delay — unpaid times 0.015 times days — with no rounding instruction anywhere in the article.

## Question

Round the penalty, and if so how?

## Options considered

- The exact product: compute unpaid times 0.015 times days and derive whatever amount results.
- Rounding to whole currency units: tidy answers, but the rule, the unit, and the half-way policy would all be authorial invention.

## Position

The exact product, with no rounding step.

## Justification

Any rounding rule would be authorial invention; the act states a plain product, and the package computes it exactly. Silence about rounding is a gap to record, not a license to invent.

## Distinguishing scenario

EAI-PENALTY-FRACTIONAL-EXACT: one hundred unpaid over one day yields exactly 1.5 KZT. Smuggle `round(…, 0, "HALF_UP")` into the rule on a scratch copy and exactly this probe fails (2 KZT derived where 1.5 is expected) while the round-figure check EAI-SPECIAL-LATE-PAYMENT-PENALTY still passes — the round figures alone never distinguished the positions, the fractional probe does.

## Assumptions

- Money multiplication by decimals is exact in the engine; no hidden rounding policy applies inside the product.
- Downstream readers accept unrounded amounts.

## Consequences

Downstream readers see unrounded amounts. If the act or a regulator instruction adds a rounding rule, this record reopens.

## Open questions

- Fractional payroll amounts are untested, and only one smuggled rounding mode (HALF_UP to whole units) was tried; other modes would need their own probes.

## Review

Agent-reviewed with the EAI dossier on the candidate snapshot: position stands, fractional tripwire confirmed by the smuggled-rounding mutant. No human subject-matter approval.