Provably Correct Stream Execution.
The world's first marketplace for formally verified data processors.
THE LAYERS
ARCHITECTURE
The Spec
A formal definition of game state and events. The source of truth for the entire pipeline. Games publish Bob specs; the ecosystem builds on them.
The Function
User-contributed logic written in Gaunt. Every function undergoes formal verification before it can touch a live stream. Amy functions transform raw data into actionable insights.
The API
A single POST endpoint to execute any verified function over any live stream, returning normalized results instantly. One interface, infinite combinations.
The Gaunt Compiler Guarantees
Mathematically Proven Correctness
Unlike traditional scripts, our processors are mathematically proven to:
- Always terminate — No infinite loops
- Have zero side-effects — No network/file system leaks
- Adhere strictly to schemas — Input/output contracts enforced by the compiler
This isn't runtime validation. It's compile-time proof. If it compiles, it's correct.
Why Verification Matters
In high-stakes environments—esports, wagering, competitive rankings—"close enough" isn't an option. A bug in a stat calculation can invalidate entire tournaments.
Formal verification provides a built-in audit trail. Every computation is traceable, reproducible, and provably free from nefarious side-effects.
Example Execution API Call
Execute any verified function over any live stream with a single POST request. The API handles authentication, stream resolution, and result normalization.
Execution API
POST api.dreamlands/execute
{
"function": "Lia.Community.Football.AverageYards",
"arguments": ["stream://football-game-001"]
}
// Response
{
"result": 4.7,
"execution_ms": 12
}Event Schemas: First-Class Data Structures
Dreamlands treats events as first-class data structures. Define your schema in Gaunt, and the compiler generates type-safe SDKs for every platform.
1. Define Events in Gaunt
module Tristan.Community.Tetris.Event;
obj GameOver is Event {
meta {
let String NormalName = "Game Over";
let Array[String, 1] NormalFieldNames =
Array[String, 1].new("Lines Cleared");
}
fields {
let Int32 lines_cleared = 0;
}
}Why Schema-First Matters
Strongly-Typed From Source to Subscriber
Gaunt schemas compile to type-safe SDKs in every supported language. Events are validated at compile time, not runtime. Subscribers get the same type safety. Breaking changes are caught before production.
Transparent and Auditable
Players see exactly what's being tracked. No hidden telemetry. Event definitions are public. Privacy by design, transparency by default.
Validated at the Edge
Events are validated before they leave the client. Malformed data never enters the stream. Integrity checking ensures subscribers get authentic, clean data from the source.
Platform Principles
SDK Generation & Supported Targets
Write Once, Deploy Everywhere
Define your event schema in Gaunt. Run the compiler. Get type-safe SDKs for every platform. The same events, the same type safety, across C++, C#, TypeScript, GameMaker, Lua, Node.js, and in the Browser.