Proof registry
Claims resolve to artifacts, scope, and verifier output.
Proof is organized as a receipt chain: measured artifact, SHA-256 manifest, ML-DSA-65 signature, verification path, and scope notes. Public preview materials show the verification workflow; sensitive corpora and full benchmark bundles are released through bounded diligence.
Public registry
Evidence status is visible before a call.
The decisive benchmark bundles are still gated when they include sensitive corpus, environment, or customer-diligence material. The schema, verifier pattern, and redacted proof bundle are public so reviewers can inspect the proof model first.
| Evidence | public status | full bundle | scope |
|---|---|---|---|
| HX-SDP 100M H100 | receipt preview public | full proof pack gated | 100M · 100% R@10 · 20.4 ms p50 |
| HX-Provenance sample | public redacted bundle | downloadable | manifest · schema · verifier skeleton · expected output |
| H100/B200 scale envelope | public table | methodology gated | 1B H100 / 2B B200 capacity rows |
| Embedding Atlas | public calibration summary | row artifacts gated | 71 classified rows · 5 physics compressed-certified |
| Vlasov-6D TSI | research receipt preview | full diagnostics gated | physics evidence; not HX-SDP product proof |
Receipt chain
Hash, sign, verify.
Every proof pack follows the same path from measured artifact to independently verifiable receipt.
artifact
benchmark output + environment
manifest
SHA-256 hash set
signature
ML-DSA-65 / FIPS 204
verify
third-party script + receipt
artifact hash set and corpus commitment
FIPS 204 Category 3 post-quantum signing
HX-SDP exact + standalone HX-Provenance
Evidence cards
Each evidence card states what is validated and what is bounded.
Technical diligence follows a visible path from claim to artifact, receipt, signature, and verification result.
100M H100 receipt
Signed100M · 100% · 20.4 ms
Public-facing exact-recall receipt preview for the H100 proof path. Full bundle is gated; a redacted sample proof bundle is public.
Scale envelope
Validated1B H100 · 2B B200
Measured synthetic low-rank scale-envelope runs show the single-GPU ceiling by precision tier. These are capacity measurements, not a blanket real-embedding deployment claim.
Embedding Atlas
Calibration71 rows · 7 models × 5 corpora
Model/corpus calibration matrix separates spectral structure from query-time retrieval behavior. TQ4 compressed certification remains the next phase.
HX-Provenance
SeparatedCPU-only proof service
Standalone attestation for compliance-oriented receipt verification, with HX-SDP preserving compatibility for existing exact-receipt consumers.
Verification example
Proof includes commands, not just badges.
The public sample bundle includes a manifest, schema, verifier skeleton, and expected output. Full benchmark bundles add corpus commitments, raw run artifacts, environment details, and detached signatures.
curl -O https://holonomx.com/proof-preview/hx-provenance-sample.zip
unzip hx-provenance-sample.zip
cd hx-provenance-sample
python verify_receipt.py
# expected
# manifest_sha256: verified
# schema: hx.provenance.receipt/v1.1 accepted
# signature: ML-DSA-65 / FIPS 204 Category 3 verified
# arithmetic_contract: IEEE 754 accepted
# result: PASSProduction verification checks full artifact hashes and detached signatures. The sample verifier demonstrates structure only.
Diligence packet
What a full proof pack contains.
A full packet includes manifest, receipt, detached signature, verifier script, expected output, benchmark methodology, environment matrix, limitation list, and artifact-hash inventory.