# KORA First Paper Claim Boundary

## Approved Claims

KORA reduced model invocations by 80% in a reproducible deterministic-heavy benchmark workload.

KORA's local no-network validation examples show that KORA can measure avoided model-call events in synthetic workloads.

## Conditional Future Claims

After local model validation:

KORA reduced measured local model invocations by X% in a runtime-integrated local model validation workload.

After real provider validation:

KORA reduced measured provider model invocations by X% in a runtime-integrated validation workload using real model calls.

These conditional claims require reviewed workload definitions, commands, counters, reports, and claim language before use.

## Not Allowed Yet

- production cost reduction proof
- real API-cost reduction proof
- production benchmark proof
- energy reduction proof
- broad workload superiority
- production-proven claim

## Paper Language Rules

- Use "model invocations" instead of "cost" unless cost is actually measured.
- Use "synthetic workload" where applicable.
- Use "local/no-network validation" where applicable.
- Avoid "production" unless explicitly describing a non-claim or limitation.
- Avoid "API cost reduction" unless explicitly describing a non-claim or future evidence requirement.
- Avoid "energy reduction" unless explicitly describing a non-claim or future evidence requirement.
- Do not imply broad workload superiority from deterministic-heavy or customer-support synthetic results.
- Do not imply real provider validation from local/no-network examples.
