01What was not available when the verifier ran
The verifier was invoked under env -i HOME=$HOME PATH=/usr/bin:/usr/local/bin:/opt/homebrew/bin — a sanitized environment with no DB credentials, no AWS keys, no H33 service variables. Its only inputs were two local files: events.json and a per-T manifest.json.
02Why the binary scope is the proof
The verifier is a Rust binary. Rust binaries can only call functions they import. Here are the verifier's complete use declarations:
use h33_xeon_api::agent_zero::astate_replay::{
replay_until, AuthEvent, ReplayConfidence, ReplayResult, ReplayVerdict,
};
use serde::{Deserialize, Serialize};
use std::path::PathBuf;
use std::process::ExitCode;
sqlx. No reqwest. No aws-sdk. No tokio runtime spinning up. No auth1. No h33_auth. The linker won't let it call something it doesn't import. That's the proof of independence — not a marketing claim, a structural fact verifiable by reading the binary's symbol table.02Five independent replays · five matches
Every state_id is byte-identical to the value L5 (First Time Travel Replay) originally published. The L5 source was running against the production database; this verifier was running against a local JSON file with the database offline. Same state_ids. That's the moat.
03The honest scope (v1 vs L9.1)
Every event parses · every event has a 148-hex signature · the replay engine reconstructs the snapshot byte-identically · the reconstructed state_id matches the manifest's expected value · the verdict matches.
Full ML-DSA-65 + FALCON-512 + SLH-DSA-128f signatures. The 148-hex on each event is a binding commitment (32-byte signing_message ‖ 42-byte CompactReceipt) — the receipt binds the message to a hash of the actual PQ signatures + public keys, but the full PQ signatures are not carried in the 148-hex. Without them, the verifier can confirm structure but not raw cryptography.
L9.1 closes that gap. It introduces a parallel full-signature archive alongside the canonical event log. When the archive is present, this same verifier checks every event's three PQ signatures independently against published public keys. The single failing check in the Replay Confidence Score (signatures_verified_at_replay) flips from ✗ Critical to ✓ Critical, and the score climbs from 72/100 to 100/100. v1 is the moat; v2 (L9.1) is the bolted titanium gate.
04The evidence package
| File | What / SHA-256 |
|---|---|
| evidence-package.tar.gz | 3.5 KB tarball · 39833b1c3d4c612646ec263d6032d5f75e85b116eefb148478908b2239663f32 |
| events.json | 11 canonical events for the L5 tenant · 14ebe6d22143e72d675ce7454c83371e6684f4c9b4009e1af7d6ed75732a9b1e |
| manifests/manifest_T5.json | replay at T = 1780440005000, expected 1890b20c…0025 |
| manifests/manifest_T6.json | replay at T = 1780440006000, expected 70fdc855…91e8 |
| manifests/manifest_T8.json | replay at T = 1780440008000, expected deb7f04a…eb60 |
| manifests/manifest_T10.json | replay at T = 1780440010000, expected b07974ae…cde50 |
| manifests/manifest_TInf.json | replay at T = 1800000000000, expected 0f0e51dd…0c97 |
| VERIFICATION-INSTRUCTIONS.md | Reproduce-yourself instructions |
05To reproduce yourself
- Clone
scif-backendat commit SHA178bd2f08. - Build:
cargo build --bin h33-independent-canonical-replay - Download evidence-package.tar.gz and extract.
- Run, optionally under
env -i:env -i HOME=$HOME PATH=/usr/bin:/usr/local/bin:/opt/homebrew/bin \ target/debug/h33-independent-canonical-replay \ --events-file evidence-package/events.json \ --manifest-file evidence-package/manifests/manifest_T10.json - Expect exit code
0andstate_id_comparison.matches: true. Repeat for the other four manifests.
06Why this changes the conversation
"The biggest remaining question isn't 'Can you replay?' — it's 'Can you replay if H33 disappears?' The day you demonstrate that, the conversation changes from software to infrastructure. That's the moment auditors, insurers, and regulators start viewing the system as evidence rather than as a vendor."
This proof earns that pivot. The verifier was a standalone Rust binary, reading two JSON files, with the database offline and the SCIF backend not consulted. The organization replayed identically. H33 was structurally absent from the process and the result was byte-for-byte the same.
07Known limitations
- Full PQ signature verification deferred to L9.1. Explained in section 03.
- The binary builds from scif-backend at SHA
178bd2f08. That repo isn't fully public yet. L9.2 follow-up forks the standalone verifier into a public sibling repo. - The evidence package is small. Real packages will carry hundreds or thousands of events plus the full-signature archive.
- No on-chain anchor verification in v1. H33-74 anchor verification is its own layer.
- AuthEvent.signature not verified at replay ingestion (Phase E lock; same as L5; closed in L9.1).
08Evidence appendix
| Field | Value |
|---|---|
| Demonstration tenant | tenant_time_travel_44962d9b-25f5-5622-bd9a-98d5580bb8a2 (L5) |
| Event count in package | 11 |
| Manifests verified | 5 (T5 / T6 / T8 / T10 / T∞) |
| State_ids matched | 5 of 5 (100%) |
| Verifier binary | h33-independent-canonical-replay (scif-backend @ 178bd2f08) |
| Verifier binary SHA-256 (local dev build) | fb8e2be10d844cad5067e93fb29a7a286ee8ef30ab9dacd5464a16da1898bcfe |
| Tarball | evidence-package.tar.gz (3.5 KB) |
| Tarball SHA-256 | 39833b1c3d4c612646ec263d6032d5f75e85b116eefb148478908b2239663f32 |
| Source L5 proof | first-time-travel-replay |
09Where this proof sits
10Readiness determination
First Independent Replay (L9, v1 structural): PROVEN IN OPERATION for one tenant, 11 events, 5 T-value snapshots, state_ids byte-identical to L5 published values, verifier run under sanitized environment with no DB/SCIF/network.
What this unlocks: the category claim — H33 is evidence, not a vendor. A regulator/insurer/auditor can run the verifier years from now without needing H33 present. The pricing conversation shifts from SaaS to infrastructure.
What this does not unlock: full PQ signature verification in v1 (L9.1); public buildability without scif-backend access (L9.2); any real customer running their own independent replay yet (the artifact is ready — operator action.)
Issued by H33, Inc. · Eric Beans, CEO · 2026-06-02
Independently reconstructable. Inputs: scif-backend @ 178bd2f08 · evidence-package.tar.gz · instructions.