01 / PROOF LABTelemetry
LOGVERITY
Telemetry economics and evidence control
Measure eligible work, defensible savings and records that must remain preserved.
INTERACTIVE RESEARCH / PUBLIC PROFILES
Proof Labs & assurance profiles.
Thirteen browsable demonstrations grouped by the industrial question they address. A public lab shows scoped behaviour; it does not certify a private asset or an external deployment.
02 / PROOF LABAdmission
T.A.R.T.A.R.U.S.
Stream work avoidance and exact-output reuse
Preserve each event while avoiding repeated transformations when the output can be reused safely.
03 / PROOF LABState
T.H.O.R.A.N.
State fencing and replay integrity
Guard duplicate actions, stale generations and ambiguous outcomes with explicit decision states.
04 / PROOF LABMemory
C.E.R.B.E.R.U.S.
Memory and allocation control
Expose allocation pressure and cost rather than hiding it behind average throughput.
05 / PROOF LABData path
C.Y.C.L.O.P.S.
Serialization and copy accounting
Locate the data movement and encoding operations that add hidden pipeline work.
06 / PROOF LABRecovery
N.E.M.E.S.I.S.
Replay and generation guard
Model stale replay, repeated events and generation mismatches at a guarded boundary.
07 / ASSURANCETiming
V.O.R.T.E.X.
Scheduling and jitter
Study scheduling variability and bounded real-time paths without universal latency claims.
08 / ASSURANCESensing
H.I.D.R.A.
Redundant-observation agreement
Study conflicting signals and rule-driven admissibility of sensor observations.
09 / ASSURANCESecurity
K.R.Y.P.T.O.S.
Filtering assurance
Demonstrate bounded input filtering and policy outcomes in a scoped XDP/eBPF-style model.
10 / ASSURANCEReliability
S.Y.N.A.P.S.
Invariants and watchdogs
Test detection, containment and controlled recovery of invariant failures.
11 / ASSURANCECorrelation
T.E.S.S.E.R.A.C.T.
Multi-stream event correlation
Make event sequence, causality and correlation assumptions inspectable.
12 / ASSURANCEI/O
U.B.I.Q.U.E.
Industrial I/O timing
Separate timing model evidence from calibrated external physical measurements.
13 / ASSURANCEAgreement
A.X.I.O.M.
Atomic agreement
Explore conflicting decisions and atomicity boundaries with explicit negative cases.
No demonstrators match this search.