AI-Ascension
Proofabout 45 seconds

One gateway contract, replayed step by step.

An AI holds a lease that went stale. Without a fence, its next request would reach the game host. With this contract, the gateway denies it before any transport call happens. A person can read the exact line that decided.

DETERMINISTIC REPLAY · sts2-gateway@e7bce21 · not live Slay the Spire 2 compatibility confirmed in-memory tests unverified runtime

No account, no install, no credentials, no game files. Nothing on this page is transmitted anywhere.

Replay

Replay

Keyboard: Space run/pause · or J next · or K previous · R reset. Run advances one step every 5 seconds; with reduced motion it shows all seven at once.

Ready. Seven steps; press Run or Step.

    runs in this browser: 0 started · 0 completed

    The counter is stored only in this browser's local storage and never leaves it. There is no analytics, no cookie, and no request of any kind.

    Fixtureembedded inline

    Where the data comes from

    The seven steps are read from a JSON fixture embedded in this page. It is a byte-for-byte copy of recipes/gateway-lease-fence/fixture.json, the expected stdout of the cargo recipe.

    sha256 1115b6f6fab379ddf161614d783c65f92be11f2fbcfcc41d3b12fc648fa6695d

    Source tests, at the pinned commit: crates/gateway/tests/control_plane.rs. Every step links to the test it mirrors. To reproduce the trace yourself, run the recipe.

    Not proven

    What this does not prove

    • No live game: nothing here launches, patches, or connects to Slay the Spire 2 or any game process.
    • No listener: the gateway has no network listener or process supervisor at this commit.
    • No model: no model or provider is involved. Model cost: none.
    • No credentials: there is no authentication at an external boundary; no token or key exists in the proof.
    • The transport is a fake that counts calls. The only thing shown is that the fence and the byte limit decide before that fake is reached.

    Runtime, host, and game compatibility remain unverified.