System trust and customer-zero feed

We record our own operations on the log.

This page shows Hypereum's own signed operational receipts (deploys, migrations, key rotations, and policy updates); to search and browse individual receipts by sequence number or ID, see Log. Witness nodes w0..w2 in eu-frankfurt-1, ch-zurich-1, and ie-dublin-1 are operated by Hypereum. External witnesses: none yet.

Deploycz_deploy_01m67a0w

Customer-zero

Signer

T2 · hypereum-ops-release

Operation

Deployed receipts-service v2.0.0

Witnesses

w0..w2 operated by Hypereum · External witnesses: none yet

Verify a receipt Leaf #0

Migrationcz_migration_01m67a0x

Customer-zero

Signer

T2 · hypereum-db-migrator

Operation

Applied append-only log trigger migration 0042

Witnesses

w0..w2 operated by Hypereum · External witnesses: none yet

Verify a receipt Leaf #1

Key rotationcz_keyrot_01m67a0y

Customer-zero

Signer

T3 · hypereum-hsm-ceremony

Operation

Rotated log signing key in KMS/HSM

Witnesses

w0..w2 operated by Hypereum · External witnesses: none yet

Verify a receipt Recorded

Policycz_policy_01m67a0z

Customer-zero

Signer

T2 · hypereum-policy-officer

Operation

Published salted SHA-256 commitment disclosure policy

Witnesses

w0..w2 operated by Hypereum · External witnesses: none yet

Verify a receipt Recorded

Public OSS evidence and sha256 digests

Verified cryptography and model-checking artifacts.

Every cryptographic and model-checking claim on this site points to reproducible open-source artifacts in receipts-spec/ and receipts-verify/.

Item	Scope & Result	OSS Export Path	Verification Inputs
B6 · PASS	NIST FIPS 204 `ML-DSA-65` post-quantum signatures (implementation passes 180/180 ACVP test vectors; not enabled in `.hvr`)	`receipts-verify/vectors/acvp-mldsa65/run-acvp.mjs`	`sigGen-internalProjection.json`, `sigVer-internalProjection.json`
B7 · PASS	`BBS` selective disclosure (45/45 IETF BLS12-381-SHA-256 fixtures, `draft-irtf-cfrg-bbs-signatures-09`)	`receipts-verify/vectors/bbs-draft09/run-bbs-fixtures.mjs`	`10 keypair + 10 sign + 25 proof`
D1 · PASS	TLA+ `TLC` model checker on `HivemindReceipts.tla` and 6/6 killed mutant specifications	`receipts-spec/spec/HivemindReceipts.tla`	`receipts-spec/spec/HivemindReceipts.cfg`, `receipts-spec/spec/tlc-output.txt`, `receipts-spec/spec/mutants/`