01What's gone, what survived
- H33, Inc.The company that built the platform. Wound down 2029.
- SCIF backendThe Rust services that signed and replayed events.
- Production databaseThe PostgreSQL cluster that stored canonical events.
- NetlifyCustomer dashboards, proof pages, demo URLs.
- Auth1The OAuth / Bearer issuer that minted 2026 credentials.
- AWS accountSCIF runtime, the database, S3 objects — all repossessed.
- KMS keysThe keys that wrapped the database + SecretsManager entries.
- Original signing keysML-DSA-65 + FALCON-512 + SLH-DSA-128f — live only in a decommissioned HSM.
- events.jsonCanonical event log for the tenant. 11 events, 5.2 KB.
- manifest.jsonTenant ID, root, target T, expected state_id, expected verdict.
- Verifier source / binary
h33-independent-canonical-replayat scif-backend SHA178bd2f08. - VERIFICATION-INSTRUCTIONS.mdOne-page reproduction guide; human-readable; format-drift resistant.
02The seven buyer pains this proof attacks
Auditors, insurers, regulators, PE firms, and Fortune 100 buyers don't wake up worrying about agent hierarchies. They worry about (and pay to eliminate) the following. Each row maps the pain to what this proof actually demonstrates.
state_id is the regulator's anchor — they don't have to trust the firm or H33; they run the verifier themselves on the evidence package.03The reconstruction (five state_ids · five matches)
The verifier was run under env -i (no PG credentials, no AWS keys, no H33 service variables) against five manifests covering the L5 time-travel snapshots. Every state_id matched the L5 published value byte-for-byte.
Per-T verifier reports (full JSON) are published in Proof #12's evidence directory.
04Strict wording — what this is and isn't
A staged scenario demonstrating that the L9 verifier produces byte-identical state_ids when every piece of H33 infrastructure is assumed absent. A buyer-facing reframing of Proof #12, using the same evidence package and verifier binary. Honest acknowledgment that the scenario is a thought experiment — H33 is not actually dead today. The reconstruction was performed in 2026 using a sanitized environment that simulated the vendor-absent state.
A new technical capability beyond Proof #12. A claim that any real customer has actually executed a reconstruction in a real vendor-death scenario yet — that's operator-side. A claim that the full ML-DSA-65 + FALCON-512 + SLH-DSA-128f signatures verify in v1 (see Proof #12's Honest Scope; L9.1 closes that gap).
What changes between Proof #12 and this proof: the audience, the vocabulary, the narrative, and the buyer-pain mapping. The underlying capability is identical and the same evidence package + verifier serve both. Two distinct proofs because two distinct buyer mental models.
05Why this proof exists separately
Auditors, insurers, regulators, PE firms, and enterprise architects don't wake up worrying about Rust linker scopes — the framing that led Proof #12. They wake up worrying about vendor risk and evidence loss. This proof is L9 dressed for that audience.
Eric's framing, June 2 2026:
"The thing I'd tell them now is: stop thinking in terms of proof numbers and think in terms of what an auditor, insurer, regulator, PE firm, or Fortune 100 buyer would pay to eliminate. Those buyers don't wake up worrying about agent hierarchies, ASL, replay engines. They worry about key-person risk, vendor risk, evidence loss, acquisition integration risk, audit cost, regulatory exposure, insurance claim disputes. L9 directly attacks vendor risk. That's why it's such a strong proof."
06Known limitations
- Same five limitations as Proof #12. Full PQ signature verification deferred to L9.1; verifier source currently in scif-backend (not yet a public sibling repo, L9.2); evidence package is small; no on-chain anchor verification in v1; Phase E signature-at-ingestion lock open.
- The scenario is a thought experiment in 2026. A real vendor-death reconstruction has not happened yet — when it does, this proof gets superseded by
first-real-vendor-death-reconstruction. - Evidence-package preservation is the buyer's responsibility. This proof demonstrates the verifier works; it does not yet operationalize how customers archive their evidence packages long-term. That's the Decision Survivability roadmap item.
07Where this proof sits
08Evidence appendix
| Field | Value |
|---|---|
| Demonstration tenant | tenant_time_travel_44962d9b-… (L5 — shared with Proof #12) |
| State_ids matched | 5 of 5 |
| Verifier binary | h33-independent-canonical-replay (scif-backend @ 178bd2f08) |
| Tarball | evidence-package.tar.gz (3.5 KB) |
| Verification instructions | VERIFICATION-INSTRUCTIONS.md |
| Technical sibling proof | Proof #12 — First Independent Replay |
| Source L5 proof | Proof #11 — First Time Travel Replay |
09Readiness determination
First Catastrophic Vendor Failure: PROVEN IN OPERATION as a scenario reconstruction — the L9 verifier produces byte-identical state_ids when run under a sanitized environment with no H33 infrastructure dependencies. The artifact this proof adds to the corpus is the buyer-facing framing.
What this unlocks: the conversation with auditors, insurers, regulators, PE firms, and Fortune 100 buyers can lead with vendor-failure scenarios, not with linker scopes. The framing that turns L9 from a technical capability into a board-level risk-elimination claim.
What this does not unlock: any new technical capability beyond Proof #12; a real vendor-death reconstruction (operator-side; the artifact is ready when the day comes).
Issued by H33, Inc. · Eric Beans, CEO · 2026-06-02
Independently reconstructable. Inputs: scif-backend @ 178bd2f08 · evidence-package.tar.gz · instructions.