Coverage and costs

Preliminary audit—repair verification ongoing. All native paid attempts are terminal.

Sol supplied one full-paper assessment and sixteen local/prose assessments. Gemini supplied two local assessments; neither Gemini arbitration passed chronology validation. The two initial Opus requests and its arbitration exhausted their caps. No completed full-paper native Opus or Gemini assessment is claimed.

These totals include failed/invalid attempts at the frozen conservative native-batch token rates. They are usage estimates, not invoice reconciliation. External subscription-model analyses have unknown separate cost. No new inference was used to prepare this publication.

Per-attempt final outputs · Sanitized attempt ledger · Machine-readable coverage and costs.

The supplied edition is arXiv 1903.08467v5, with selected journal passages compared separately. The historical external-input cutoff remains 2019-06-20, not the date of this audit. Chronology-field checks do not certify all external theorem statements.