Research

Public papers and reproducibility capsules behind the broader receipt program.

AIIR is the deployed OSS product surface. This page links the public Zenodo records that carry the formal model and cross-domain audit-capsule work around that product story.

Public scope. These links point only to public Zenodo records and public claim boundaries. They do not introduce private operator workflows, unpublished architecture, or hidden product surfaces.

Public papers

Inference Receipts: Lightweight Cryptographic Commitment Chains for Auditable Generative AI

This Zenodo record publishes the canonical public evidence capsule for inference receipts: manuscript, figures, benchmark summaries, example receipt chains, zero-dependency verification scripts, validation transcripts, checksum manifests, and the receipt that binds the capsule itself. The public claim boundary is narrow and explicit: model identity, sampling configuration, and emitted token or output payloads can be committed into low-cost, tamper-evident receipts under an honest-emitter trust model.

Current version DOI: 10.5281/zenodo.20010777
Stable DOI: 10.5281/zenodo.18888733
Record type: Preprint · Open Zenodo record →

Receipted Actions: A Reproducible Audit Capsule for Rewarded-Action Payout Adjudication

This Zenodo record packages a reproducible audit capsule for rewarded-action payout adjudication. The public surface combines a typed claim, evidence references, a machine-readable verdict, bundle-level receipt binding, an appeal path, a deterministic synthetic benchmark, a release-local validator, checksum manifests, and a receipt trail. The record is explicit about what it does not claim: no partner traffic, no hidden reviewer state machine, and no claim of live fraud lift or production transfer from the synthetic benchmark.

Current version DOI: 10.5281/zenodo.20008486
Stable DOI: 10.5281/zenodo.20008485
Record type: Publication · Open Zenodo record →

Version DOIs point to a specific published Zenodo record. Stable DOIs follow the full version line and resolve to the latest public version of the work.

Why This Page Exists

  • Formal model: the inference-receipts line carries the public security framing and reproducible evaluation capsule that standards and security-review readers expect.
  • Cross-domain generality: the receipted-actions line shows that the same receipt pattern generalizes beyond AI-assisted code to claim review and commercial adjudication.
  • Clear program boundaries: AIIR remains the shipped OSS product surface for authorship-level provenance, while these Zenodo records expose the public research foundation around it.

Continue with the product surfaces: Docs · Spec · Security · Trust