01 / Process intelligence
Delays, rework and handovers
We investigate how event records reveal bottlenecks, repeated work and handover delays. Processing time, recorded waiting and missing evidence describe different things. We keep those distinctions visible in the calculation and on the screen.
Read the Observatory measure definitions and worked examples.
02 / Formal methods & reproducibility
Verification and reproducible calculations
A convincing chart is not enough. We investigate formal verification of critical logic, type constraints and reproducible calculations. Peer-reviewed academic work provides the foundation; explicit assumptions and checkable results connect it to the software.
Reproduce a published sample finding with SQL. The sample lets you inspect the rule, its inputs and its result.
03 / Edge ML & computing
Local inference on constrained hardware
We investigate machine learning on ARM and other constrained devices. We compare accuracy, response time, memory use and CPU–GPU transfer costs to establish where local inference is useful and where the hardware gets in the way.
For Observatory, the practical question is whether an optional advisor can answer within a local device’s limits. AI access is separate from the deterministic analysis.
04 / Interactive systems
GPUs, input latency and simulation timing
A slow frame is a problem you can feel. We build games to find what holds modest GPUs back and work around it. Rendering, simulation and input compete for time and memory. The Observatory Reader faces those constraints too.
Play Rally Protocol for a working interactive example, or inspect the Reader screenshots.