T.E.S.S.E.R.A.C.T.
Represent gaps, repeated events and unresolved causal prerequisites without claiming global total order.
Extension of Event Replay and State Guard
What has actually been tested
Candidate against best known reference
Bounded candidate evaluation
Represent gaps, repeated events and unresolved causal prerequisites without claiming global total order.
Optimized incumbent
Optimized broker transactions and idempotency plus per-stream clocks and an external-effect oracle.
Interactive receipt verification
This browser only verifies precomputed synthetic evidence. It never runs private algorithms or interacts with real equipment.
Select one of four public reference scenarios.
Loading evidence…
Scenario evidence: four controlled reference cases
Synthetic reference illustrations only. No customer workload, physical actuator or operational network is simulated at real-world fidelity.
In-order transition
An expected next index is admitted in the synthetic stream.
Sequence gap
A discontinuity remains unresolved.
Causal dependency missing
The toy reference waits for declared prerequisites.
Duplicate transition
A previously seen position is held.
Portfolio relationship: Related existing product: Event Replay Guard. Related capabilities do not independently prove this new profile.
Evidence downloads
All samples are synthetic. No customer's data, private program source, driver code, bitstreams, secret thresholds or deployment details are published.
Industrial acceptance — eight gates
Next evidence needed: Paired multi-host reorder, crash/recovery, side effects and backpressure with production-tail distribution.
Diagnostic with a hard boundary
One approved non-production sample, one optimized comparator, up to 30 paired repetitions per supported scenario, written GO / NO-GO / INCONCLUSIVE. Two scheduled calls of 20 minutes each; everything else asynchronous.
Target seven business days from complete approved inputs; 50% at signature and 50% at delivery; taxes in signed quote. NO-GO is a complete result. No PoV, source transfer, support retainer or production modification included.
Request the technical diagnostic
Send only a business email, scale and environment. Never submit proprietary files through this form.
Security and physical evidence - thirteen Proof Labs
OWASP ZAP 2.17.0, seven completed passive spider scans. Recorded: 1 High (SHA-256 digits, false-positive candidate), 89 Medium (public CORS header observations), 217 Informational. Original findings retained; no active pentest certification.
OVHcloud Manager authenticated and FPGA Pi3 laboratory web page reports connected control service and power on. No new authenticated SSH/JTAG test, electrical timing or hardware NIC offload was run from this session. Earlier Linux reference tests are separate and narrowly scoped.
No private source, bitstreams, keys, customer traces or industrial control commands are published.