AIR
Proof Lab
StartEcosystem
Explore (579)Live Systems (52)Pricing
Log InGet API Key✓ Verify It Yourself
H33
H33 Portability Verifier · v0.1.0 · released 2026-06-04

Verify portable artifacts independently.

Bundle + Attestation + Submission + Verifier all agree. No H33 contact required.

A carrier, auditor, regulator, PE partner, or CISO downloads this binary, points it at an H33 enterprise bundle, and confirms the bundle replays to its SACRED state_id byte-identically — with no H33 contact, no database access, no vendor service call. The artifact survives us. "H33 issued the attestation. H33 is not required to verify the attestation."

Constitutional invariants this release embodies

Q0 — Who bears risk? Never H33. This binary bears the risk of verifier correctness — same input → same output, byte-identically. Nothing else.

Q0.5 — Who owns the decision? Always the decision owner. The verifier surfaces structural replay verdicts. It never judges whether a decision was wise, correct, fair, lawful, or compliant.

Verify in browser · No install required

Verify a bundle right now.

Drop an H33 evidence bundle below — or use the demo bundle claim_84711.json. The verifier runs entirely in your browser. No network call to H33. You should have a verdict in under 15 seconds.

Drop bundle here
Bundle anatomy

What's inside a portable artifact.

Click a node to highlight the matching block in the bundle JSON.

Portable Artifact
├── Bundle metadata
├── Claims (query, answer, decisions)
├── Signatures (ML-DSA · FALCON · SLH-DSA)
├── Anchor (chain · tx · block)
├── Metadata (corpus, model, authority)
└── Replay data (timestamp, profile, issuer)
Load a bundle above to see its JSON…
Tamper Challenge

Break the bundle five different ways.

Each button mutates one specific field. The verifier produces a different failure mode for each. People remember breaking things more than reading about them.

Trust Boundaries

Verify without H33.

Who needs to be reachable for a verification to succeed?

CUSTOMER                      H33                       INTERNET
   │                          │                          │
   ├── Bundle  ✓              ├── (offline)              ├── (optional)
   ├── Verifier ✓             │                          │      └── only for
   ├── Public keys ✓          │                          │          chain
   └── Conformance vectors ✓  │                          │          anchor
                              │                          │          fetch
   ─────────────────       ─────────────────     ─────────────────
   All required              NOT CONTACTED              Optional

   RESULT: Independent Verification

If H33 is offline, sanctioned, acquired, or sunset, this verification still succeeds. The bundle is the artifact. The verifier reads it. The conformance vectors prove the verifier behaves correctly. Anchor confirmation queries a public chain RPC — and that RPC can be operated by anyone, not just H33.

v0.1.0 release

PLATFORM aarch64-apple-darwin (macOS · Apple Silicon)
h33-independent-canonical-replay-v0.1.0-aarch64-apple-darwin
size1,149,600 bytes  ·  sha3-2564b7e3576b3756f54990853abc418b2473640a521d3541bb8b5dc9b180c194361
Binary ⬇
h33-verifier-source-v0.1.0.tar.gz
size55,283,352 bytes  ·  sha3-25698d4ce874bbace0b7e6fc04ef4d321a4730cbcc4eba252da36a8ecf6c89647a5
Source ⬇
{ }
release_manifest.json
all hashes · build environment · capabilities · v0.2 deferrals
Manifest ⬇
README.md
step-by-step instructions · quick-start commands · honest v0.1 caveats
README ⬇
example-output-claim-84711.json
verifier output captured against the canonical-continuity-tenant case · "PASS — H33 was removed from the process and the organization replayed identically"
Example ⬇

Verify a shipped enterprise bundle in five commands

1

Download the Portability Verifier + enterprise bundle

curl -O https://h33.ai/verifier/v0.1.0/h33-independent-canonical-replay-v0.1.0-aarch64-apple-darwin
curl -O https://h33.ai/workspace/portability/bundles/tenant_insurance_claim_44962d9b-25f5-5622-bd9a-98d5580bb8a2_enterprise_bundle.tar.gz
2

Confirm the binary's SHA3-256 matches the manifest

python3 -c "import hashlib; print(hashlib.sha3_256(open('h33-independent-canonical-replay-v0.1.0-aarch64-apple-darwin','rb').read()).hexdigest())"
# Expected: 4b7e3576b3756f54990853abc418b2473640a521d3541bb8b5dc9b180c194361
3

Walk the three-layer enterprise bundle extraction

chmod +x h33-independent-canonical-replay-v0.1.0-aarch64-apple-darwin
mkdir work && cd work
tar -xzf ../tenant_insurance_claim_*_enterprise_bundle.tar.gz
tar -xzf cases/claim-84711/submission.tar.gz -C cases/claim-84711/
tar -xzf cases/claim-84711/evidence_package.tar.gz -C cases/claim-84711/
4

Run the Portability Verifier

../h33-independent-canonical-replay-v0.1.0-aarch64-apple-darwin \
    --events-file cases/claim-84711/events.json \
    --manifest-file cases/claim-84711/manifest.json
5

Confirm the verdict

The verifier prints a JSON report. The two load-bearing fields:

"overall_pass": true
"determination": "PASS — H33 was removed from the process and the organization replayed identically."

If you see those two, you have independently verified the case. You did not contact H33 at any step. That is the property the entire Trustless Decision Attestation category rests on.

What the Portability Verifier verifies

Structural replay determinism. Five locked checks: policy_version_ref resolves · model_version_ref resolves · decision_lineage resolves · decisions made during active authority · state_id reproduces byte-identically. Plus per-event PQ signature verification (ML-DSA-65 + FALCON-512 + SLH-DSA-128f) with the --verify-signatures flag.

What the Portability Verifier does NOT verify · ever (Q0.5)

The verifier surfaces structural replay verdicts. It does not — and will never — surface judgments about whether a decision was wise · correct · fair · lawful · compliant · likely to hold up in court. Those judgments belong to carriers, auditors, regulators, and acquirers. The verifier provides the substrate; the judgment is theirs.

Honest v0.2 deferrals

Where this sits: independent Verification

Definition. The Portability Verifier is the reference actor of Verification — it independently renders the verdict on a portable artifact it did not produce, reproducing the bundle and validating its post-quantum signatures. It does not produce the evidence (that is H33-74), does not monitor a running estate over time (that is HATS), does not score control or software maturity (that is HICS), and does not govern the decision (that is Agent-008). It consumes an artifact and returns PASS or FAIL — nothing more.

Why it exists. A verdict is only trustworthy if the vendor can be absent. This tool exists so a carrier, auditor, regulator, or acquirer can download the artifact and reproduce the verdict with H33 not in the loop. When not to reach for it: to watch a system continuously over time use HATS; for a maturity score use HICS; to govern whether an action was authorized use Agent-008; to produce the portable evidence in the first place use H33-74.

What a passing verdict means — and does not. PASS means the artifact reproduces byte-identically and its signatures validate. It does not mean the underlying system is secure, the decision was correct or fair, or the environment is compliant or lawful. The three post-quantum families are an AND-gate: ML-DSA-65, FALCON-512, and SLH-DSA-SHA2-128f must all validate — two of three is a false grant. (ML-DSA / FIPS 204 and SLH-DSA / FIPS 205 are finalized; FALCON-512 is FN-DSA / FIPS 206, still a draft.)

FAQ

What does a passing verdict mean — and what does it NOT mean?
PASS means the artifact reproduces byte-identically and all three PQ signature families validate. It does not certify that the system is secure, that the decision was correct or fair, or that anything is compliant — that boundary is what makes an independent verdict meaningful.

Is the verifier independent of H33?
Yes. You download the binary (or run the in-browser check above) and point it at the bundle; H33 is not contacted. If H33 is offline, sanctioned, acquired, or sunset, verification still succeeds. Only an optional public-chain RPC lookup touches the network, and that RPC can be operated by anyone.

How is Verification different from HATS, HICS, and Agent-008?
Verification renders an independent verdict on an artifact that already exists. HATS records and monitors operational evidence over time; HICS scores maturity; Agent-008 governs the decision. This tool only reproduces and validates — it does not monitor, score, or govern.

Why must all three signature families validate?
The attestation is an AND-gate: ML-DSA-65 + FALCON-512 + SLH-DSA-SHA2-128f must all pass. Accepting on two of three would be a false grant, so the verifier refuses unless every family validates.

Can I make the verifier emit PASS on a bad bundle?
No — the verdict is derived from the bundle itself (recomputed hash, signature-family presence, corpus pin, authority binding). Use the Tamper Challenge above: any mutation flips the verdict to FAIL, and a real h33-verifier on a regulator's laptop would emit the identical FAIL.

Related in the Verification neighborhood

Verification (the owned capability — renders the independent verdict) · H33-74 (produces the portable evidence this tool verifies) · Verifier CLI · Portability Verifier · Survivability proof