# KORA First Paper Manuscript Bibliography Sync v0.1

Sync date: 2026-05-13

## Purpose

This sync checks manuscript references against the current preliminary BibTeX state before preparing a submission-candidate manuscript draft. It does not complete full BibTeX and does not make the paper submission-ready.

## Source Files Reviewed

- `docs/paper/kora-first-paper-manuscript-v0-3.md`
- `docs/paper/kora-first-paper-preliminary-bibtex-v0-1.md`
- `docs/paper/kora-first-paper-final-bibliography-claim-audit-v0-1.md`
- `docs/paper/kora-first-paper-submission-readiness-gate-v0-1.md`
- `docs/paper/kora-first-paper-final-blocked-metadata-review-v0-1.md`
- `docs/paper/kora-first-paper-citation-audit-v0-1.md`

## Manuscript Version Reviewed

- Reviewed manuscript: manuscript v0.3.
- Submission-candidate draft created from it: manuscript v0.4.

## Preliminary BibTeX State

- Preliminary BibTeX entries count: 16.
- Included ready records: `[R01]`, `[R06]`, `[R08]`, `[R11]`, `[R14]`, `[R21]`, `[R24]`.
- Included expanded candidate records: `[R03]`, `[R04]`, `[R05]`, `[R07]`, `[R09]`, `[R10]`, `[R12]`, `[R13]`, `[R16]`.
- Deferred records excluded: `[R17]`, `[R18]`.
- Still-not-eligible records excluded: `[R02]`, `[R15]`, `[R19]`, `[R20]`, `[R22]`, `[R23]`.

## Manuscript v0.3 Citation Scan

Manuscript v0.3 cites:

- `[R01]`
- `[R02]`
- `[R03]`
- `[R04]`
- `[R05]`
- `[R06]`
- `[R07]`
- `[R08]`
- `[R09]`
- `[R10]`
- `[R11]`
- `[R12]`
- `[R13]`

Records cited in manuscript v0.3 and present in preliminary BibTeX:

- `[R01]`, `[R03]`, `[R04]`, `[R05]`, `[R06]`, `[R07]`, `[R08]`, `[R09]`, `[R10]`, `[R11]`, `[R12]`, `[R13]`

Records cited in manuscript v0.3 and missing from preliminary BibTeX:

- `[R02]`

Preliminary BibTeX records unused in manuscript v0.3:

- `[R14]`, `[R16]`, `[R21]`, `[R24]`

Deferred or still-not-eligible records used in manuscript v0.3:

- `[R02]`

No BibTeX citation keys are used directly in manuscript v0.3.

## Mechanical Fixes Applied in Manuscript v0.4

- Removed `[R02]` related-work sentence from the LLM serving and inference systems section.
- Removed `[R02]` benchmark-methodology sentence from the benchmarking and artifact evaluation section.
- Removed the `[R02]` entry from the preliminary references section.
- Updated the manuscript version wording from v0.3 to v0.4 where the draft describes itself.
- Added wording that v0.4 is a submission-candidate draft synchronized to the current preliminary BibTeX state.
- Preserved the bounded 80% deterministic-heavy benchmark claim and all non-claim boundaries.

## Manuscript v0.4 Citation Scan

Manuscript v0.4 cites:

- `[R01]`
- `[R03]`
- `[R04]`
- `[R05]`
- `[R06]`
- `[R07]`
- `[R08]`
- `[R09]`
- `[R10]`
- `[R11]`
- `[R12]`
- `[R13]`

All manuscript v0.4 citations are present in preliminary BibTeX.

Preliminary BibTeX records unused in manuscript v0.4:

- `[R14]`, `[R16]`, `[R21]`, `[R24]`

Unused preliminary BibTeX records are not errors. They remain available for future manuscript integration or final bibliography decisions.

## Unresolved Blockers

- Full BibTeX remains incomplete.
- `[R02]` remains still-not-eligible until author-list and venue/status handling is resolved.
- `[R15]`, `[R19]`, `[R20]`, `[R22]`, and `[R23]` remain still-not-eligible.
- `[R17]` and `[R18]` remain deferred.
- Final citation style conversion from stable `[Rxx]` labels remains pending.
- Final manuscript-to-final-BibTeX synchronization remains pending after full BibTeX decisions.

## Status

Manuscript v0.4 is synchronized with current preliminary BibTeX for cited records. Full BibTeX remains incomplete, and the paper remains not submission-ready.
