tokitai-operator 0.1.0

cff-version: 1.2.0
message: |
  If you use this software in a publication, please cite both the
  software and the corresponding paper (see preferred-citation below).
  The current manuscript route is the C10 package in
  docs/paper/contribution_map.md; this CITATION.cff is the
  machine-readable pointer for GitHub, Zenodo, and the JSC submission
  portal.
title: >-
  Tokitai Operator — certified valuation-sparse fixed-precision
  p-adic GEMM artifact
type: software
version: 0.1.0
date-released: 2026-06-05
license: Apache-2.0
license-url: https://www.apache.org/licenses/LICENSE-2.0
url: https://github.com/tokitai/tokitai-operator
repository-code: https://github.com/tokitai/tokitai-operator
repository-artifact: https://zenodo.org/record/tokitai-operator-0.1.0
keywords:
  - p-adic
  - valuation-skip
  - matmul
  - operator-library
  - proof-replay
  - sheaf
  - non-archimedean
  - rust
authors:
  - family-names: AUTHOR_FAMILY_NAME
    given-names: AUTHOR_GIVEN_NAMES
    affiliation: AUTHOR_AFFILIATION
    orcid: https://orcid.org/0000-0000-0000-0000
contact:
  - family-names: AUTHOR_FAMILY_NAME
    given-names: AUTHOR_GIVEN_NAMES
    email: author@example.com
preferred-citation:
  type: article
  title: >-
    Certified valuation-sparse fixed-precision p-adic GEMM:
    an operator-library artifact
  authors:
    - family-names: AUTHOR_FAMILY_NAME
      given-names: AUTHOR_GIVEN_NAMES
  journal: "Journal of Symbolic Computation (target venue, see docs/paper/jsc_submission_draft.md)"
  year: 2026
  volume: TBD
  issue: TBD
  pages: TBD
  doi: 10.0000/tokitai.tbd
  url: https://github.com/tokitai/tokitai-operator
notes: |
  AUTHOR placeholders must be filled in before submission. The DOI is
  a placeholder; the real DOI is assigned by the publisher on
  acceptance. The current claim boundary (see CLAIMS.md) has 7 of 8
  *claim_allowed flags set to false; this CITATION.cff is paper-
  submission metadata, not a claim that the project is ready for
  submission.