Research
Replayable evidence capsules with explicit claim boundaries. Published Zenodo-first with open DOIs, zero-dependency verification scripts, and checksum manifests.
How we publish
- Zenodo-first, with DOIs. Every capsule is a citable, versioned record. Version DOIs pin a specific release; stable DOIs follow the full version line.
- Explicit claim boundaries. Each record states what it shows and what it does not claim, in the same place.
- Pre-registered gates, honest failures. Monitoring studies declare their pass and fail thresholds up front. When a gate fails, the failure is published with its numbers.
- Deterministic replay. Capsules ship the scripts, manifests, and checksums needed to re-run the verification without contacting us.
- Verification independence. Records carry an AI-assistance statement and are structured so a reviewer can check the evidence without trusting the authorship pipeline.
Attestable AI
Receipts for what models say and what agents do. These capsules extend the same receipt primitive that ships in AIIR from source commits to model outputs and externally claimed actions.
Inference Receipts: Lightweight Cryptographic Commitment Chains for Auditable Generative AI
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.20012100
Stable DOI:
10.5281/zenodo.18888733
Record type: Preprint ·
Open Zenodo record →
Receipted Actions: A Reproducible Audit Capsule for Rewarded-Action Payout Adjudication
Reproducible audit capsule for rewarded-action payout adjudication, the trust problem underneath performance advertising and other rewarded-outcome systems. 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 →
Verified foundations
Evidence-first capsules in physics and mathematics. These records exist to demonstrate, on hard problems, the same publishing discipline the product line is built on.
The Exact Fourth-Vector Feasibility Wall of the Canonical MUB Triple in Dimension Six
An exact theorem on the smallest open case of the mutually unbiased bases problem, a question open since the 1980s. For the canonical MUB triple in dimension six, the maximum of the fourth-vector feasibility functional is exactly (88 + 3√6)/100, two-sided: an explicit algebraic witness attains it, and an exact certificate over algebraic number fields proves nothing exceeds it. Degree-4 and degree-6 sum-of-squares certificates are refuted exactly. The capsule ships a standalone, dependency-free verifier that re-checks the certificate without touching our pipeline. The record is explicit about its boundary: it pins the canonical triple, and it does not resolve the MUB(6) problem, which remains open.
Current version DOI:
10.5281/zenodo.20670934
Stable DOI:
10.5281/zenodo.20670933
Record type: Publication ·
Open Zenodo record →
An Evidence-First Reproducibility Capsule for NISQ Benchmarking
A reviewer-auditable evidence contract for benchmarking on today's quantum hardware: a preserved evaluation plan, content-addressed workload identity, job-level provenance, negative controls, and cross-backend analysis on real IBM Quantum hardware. The capsule binds plan, data, and analysis together so a reviewer can audit what was run, where, and under which assumptions.
Current version DOI:
10.5281/zenodo.19985231
Stable DOI:
10.5281/zenodo.19954163
Record type: Publication ·
Open Zenodo record →
Order-Dependent Breakdown of the Fricke–Vogt Invariant Under Higher-Order n-Bonacci Recursions
A pre-specified monitoring study of trace-map dynamics under higher-order recursions. Four of five public gates pass; the failing gate is reported as a failure, with its measured value against the declared threshold. The capsule ships its detection thresholds, replay scripts, and limits, and is explicit about what it does not establish.
Current version DOI:
10.5281/zenodo.18882505
Stable DOI:
10.5281/zenodo.18882504
Record type: Preprint ·
Open Zenodo record →
Map the wall with us
The published dimension-six result is also the first brick in a living, community defect atlas for mutually unbiased bases. The aim is to break a 40-year-hard problem into small, independently checkable pieces, label each piece's evidence level honestly, and let many people own parts of the map. It is the same discipline our products run on, applied to open mathematics in public.
The MUB(6) Wall Atlas
An open, machine-checkable defect atlas built on the published canonical-triple wall (max f = (88 + 3√6) / 100). Lay a brick: rerun a verifier, reproduce a result, formalize a lemma, map a failed extension, or break a claim. Evidence levels never label up, and a found break is a successful result, not an embarrassment. It does not solve MUB(6); it makes the wall mappable, and it credits the decades of prior work it stands on.
Receipted with AIIR. The atlas emits AIIR research-evidence receipts that bind each claim to its scope, artifacts, and verifier in a tamper-evident record. The evidence-first discipline behind our research runs on the same primitive we ship as a product.
Built on DOI: 10.5281/zenodo.20670933 · Contribute on GitHub →
What's next
Current work continues along the certified frontier in quantum information and adjacent verified-mathematics lanes. New capsules appear here when their public evidence boundary is complete: manuscript, replay scripts, manifests, and the explicit list of non-claims.
Version DOIs point to a specific published Zenodo record. Stable DOIs follow the full version line and resolve to the latest public version.
Questions about a capsule, or evaluating one of these lanes for a deployment? Write to noah@invariantsystems.io and say what you are trying to verify. We will be explicit about what is public today and what is not.
Last reviewed: 2026-06-14 · About Invariant Systems · Trust posture