Guarantees

Français · Type: explanation + reference · Audience: author, admin · Context: Reality Bridge · Status: ready · Applies from: 4.2.5

The Reality Bridge, local profile (SQLite) · contract: stable · verified by CI (support matrix of 4.4.0, 2026-10-23): Node 22.13+ with node:sqlite, on Ubuntu; Chromium and WebKit end to end · automated checks: jobs reality, reality-xcheck; CI plan reality; 2 test files · people's passes: none · known limits: bridge-dedupe-retention, bridge-no-queue-for-connectors, bridge-tenant-isolation-scope, bridge-proof-scope

The Reality Bridge, distributed profile (Postgres) · contract: experimental · verified by CI (support matrix of 4.4.0, 2026-10-23): Postgres 16 in CI; The qualification profile: HTTPS, three instances (ops/qualify/) · automated checks: jobs bridge-postgres, deployment-smoke; CI plan reality; 1 test file · people's passes: bridge-postgres-https not run (#77) · known limits: bridge-dedupe-retention, bridge-no-queue-for-connectors, bridge-tenant-isolation-scope, bridge-proof-scope

The connectors (email, Telnet, SSH, Open Badges) · contract: experimental · verified by CI (support matrix of 4.4.0, 2026-10-23): Node 22 on Ubuntu (Telnet and SSH not on Windows) · automated checks: jobs connectors, connector-archive-e2e; CI plan reality; 3 test files · people's passes: connectors-real-security not run (#79) · known limits: bridge-dedupe-retention, bridge-no-queue-for-connectors, bridge-tenant-isolation-scope, bridge-proof-scope

What the Reality Bridge and the player promise about a signal: a duplicate, the order, a delivery repeated or replayed, a Bridge that is away or busy, two tenants side by side, and what a signal does to a game's progress and to its proof. Each answer is read from the current code and, where a test shows it, tied to that test. Each says where it stops.

At a glance

Duplicates

A connector gives each fact a deduplication key (dedupeKey): the email connector sha256('email:' + Message-ID), Telnet sha256('telnet:' + session + ':' + line), the demonstration webhook <source>:<id>. On POST /v1/signals the Bridge answers 202 the first time a key is seen for a player, and 200 with the stored signal and "duplicate": true for a key it already accepted: the same id, the same sequence, nothing written.

The lookup, the sequence and the write are one step. In one process, proposals for a player are taken one at a time (a lock per player); across processes, one database transaction does it, backed by unique constraints on (tenant, player, dedupe_key) and (tenant, player, sequence) (bridge/migrations/0001.up.sql). Two connectors, or two instances, proposing the same key at the same instant: one acceptance.

Guarantee · bridge-duplicate-200 · referenced · executed on aff6caab7514 · scope self-checked by the author (AI), not reviewed A signal proposed again with a dedupeKey the Bridge already accepted for that player is answered 200, with the first signal's sequence and "duplicate": true; the player receives it once.

Guarantee · bridge-dedupe-concurrent · referenced · executed on aff6caab7514 · scope self-checked by the author (AI), not reviewed Fifty proposals of one key at once give one acceptance and one id; a hundred distinct keys at once give the sequences 1 to 100, none shared.

Limit · bridge-dedupe-retention The Bridge recognises a key while it holds the signal. On the JSON-lines journal, compact drops acknowledged signals older than its retention (90 days by default; a player's last signal always stays): a key sent again after that is a new signal. A SQL store keeps every signal (it has no retention yet). The key is per player: the same key for two players makes two signals.

Order

Each player has its own sequence, contiguous from 1, drawn when the Bridge accepts a signal. The player reads signals by sequence (a stream or a fetch by cursor, both say each signal's sequence) and the engine applies them in that order: a signal that arrives ahead of a gap waits until the gap is filled, then the cursor moves over the contiguous run.

• The order is the Bridge's order of acceptance. A connector's occurredAt travels in the signal for information; it never reorders anything.
• There is no order between two players, nor between two tenants.
• With several instances, a signal accepted by one reaches a stream another holds, in order, once each.

Guarantee · bridge-sequences-contiguous · referenced · executed on aff6caab7514 · scope self-checked by the author (AI), not reviewed Whatever the interleaving of concurrent proposals and their repeats, a player's sequences are 1..n with no gap and no duplicate, and a dedupeKey is accepted once.

Delivery, acknowledgement and replay

Delivery is at least once, applied once. The player's transport keeps three cursors: received (the last sequence the Bridge sent), delivered (the last handed to the game) and durable (the last acknowledged, after the save). The client verifies a signal, hands it to the engine, waits for the save to be durable, and only then sends POST /v1/ack { through }. Every request to the Bridge, a poll or a reconnection, asks from the durable cursor: a signal handed over and not acknowledged (a refusal that may pass later, a save that failed, a crash before the acknowledgement) is delivered again, with a wait that grows up to a minute while nothing settles. Before 4.1.8 the transport asked from the delivered cursor.

The save keeps the last sequence received without a gap and the ids applied above it (GameState.reality, at most 1 024 above the cursor), so a signal delivered again is recognised and not applied twice. A signal is also an entry of the session, { external: { id, sequence, signal, source, receivedAt, playerId } }: npm run replay applies it offline, with no Bridge.

Guarantee · bridge-ack-after-durable-save · referenced · executed on aff6caab7514 · scope self-checked by the author (AI), not reviewed The client acknowledges a signal only after the save that holds it is durable, and only through the contiguous cursor.

Guarantee · bridge-resume-from-durable · referenced · executed on aff6caab7514 · scope self-checked by the author (AI), not reviewed In polling, a signal handed to the game and not acknowledged is asked for again from the acknowledged cursor.

Guarantee · bridge-session-replays-offline · referenced · executed on aff6caab7514 · scope self-checked by the author (AI), not reviewed A session with signals replays offline, with no Bridge, to the same state.

When the Bridge is busy or away

A connector sends a proposal whose answer was lost again with the same key: three tries in all by default, then a refusal it counts (timeout, unreachable). The email connector leaves a message unseen when the Bridge refused it for a reason that may pass, and reads it again at the next poll. On the player's side, a game offline or without a signal plays on, and what arrives later is applied when it arrives. An instance killed or crashed loses nothing: a transaction is committed or not there (tests/bridge-fanout.test.ts kills one instance of three during 1 000 proposals).

Guarantee · bridge-busy-503 · referenced · executed on aff6caab7514 · scope self-checked by the author (AI), not reviewed A SQLite store busy longer than its wait answers 503 with Retry-After: 1 within two seconds. Once the lock is free, the next proposal is accepted with sequence 1.

Limit · bridge-no-queue-for-connectors The Bridge does not hold a refused proposal for later: a 503 or a 429 is the connector's to send again. A connector's quota is counted per instance: with N instances, a connector may propose N times its quota.

Tenant isolation

A tenant is one operator's game in one environment, with its own Biscuit root, event key, operator token, quotas and revocations (Several tenants). On a server holding several:

• A request is resolved to its tenant by its Host (each tenant's hosts), or by X-Web-Scumm-Tenant when --tenant-header allows it, before anything is read; no tenant matches, a 404 tenant.
• Every row of the store carries its tenant, and every query filters on it.
• A connector's token is bound to its tenant (grant adds it), so a token of tenant A is refused by tenant B even when both were (wrongly) given one Biscuit root.
• A tenant of a shared deployment signs WorldSignalV2, which names its tenant: a signal of A presented to a player of B is refused audience-mismatch, even under one shared event key.

Guarantee · bridge-tenant-token-bound · referenced · executed on aff6caab7514 · scope self-checked by the author (AI), not reviewed A connector token bound to its tenant is refused by another tenant (403), even when both tenants share one Biscuit root.

Guarantee · bridge-tenant-routing · referenced · executed on aff6caab7514 · scope self-checked by the author (AI), not reviewed One server holding several tenants routes each request by Host, by the tenant header only when allowed, and answers 404 to a request that names no tenant it holds.

Limit · bridge-tenant-isolation-scope The isolation is in the Bridge's code, not in the database: there is no row-level security per tenant in Postgres, and a process serving several tenants holds every one's private keys (an instance compromised is every tenant's compromise: Security).

Effect on the game's progress

A signal reaches the game as the event of the same name, like a player's input:

• once (the default, true): its effect runs once per game, however many times it arrives. With once: false, each distinct signal from the Bridge runs it again; a repeated delivery of the same one never does.
• A signal that arrives while the game is busy (a dialogue, a cutscene, a minigame) waits for it.
• The first signal binds the save to its pseudonymous player (GameState.reality.playerId, the p-… the Bridge gave at pairing; never the capability). A save that reaches a device linked as someone else (imported from another device, or saved before an unlink and a new pairing) is a mismatch: nothing of it is applied or acknowledged, the game plays on, and the pause menu's World link offers to use this device's link with that save; its link state then starts over for this player (cursor 0), and the signals whose effect the save already has are not applied again. A delivery without a player binds nothing (4.4.0).
• The save and the session hold the player id, the cursor and the ids applied: never a token, an email, a message or a payload.

Guarantee · bridge-applied-once · referenced · executed on aff6caab7514 · scope self-checked by the author (AI), not reviewed The engine applies a declared signal once, records it in the session, and saves it with the state.

Guarantee · bridge-save-bound-to-player · referenced · executed on aff6caab7514 · scope self-checked by the author (AI), not reviewed The first delivery binds the save to its player; a delivery for another player is a mismatch and changes nothing.

Effect on the proof

A proof never assumes the outside cooperates. npm run solve:reality (part of npm run prove:game and of quest-n-click release) proves the game in three kinds of world:

1. closed: no signal at all; the game must be finishable through its fallbacks;
2. each scenario of games/<id>/reality/scenarios/*.json ({ "signals": ["mail.answer.wrong", "mail.answer.correct"] }), then each replay the connectors recorded (games/<id>/replays/*.json): those signals in that order, each able to arrive at any point after the one before; when the game has required signals, at least one scenario sends every one of them;
3. adversarial: any declared signal, at any point, again and again.

Each must be solved with no softlock and never truncated. The solver hands the engine the signal itself: no service is contacted. In the Studio's MCP, solve takes reality to try one world. npm run validate checks that a required signal's fallback names a rule; the content lint (npm run lint, in verify:game) checks that the closed witness plays it, and warns fallback-unplayed when the game finishes without the outside by another route (the fallback is declared on a rule nobody needs: declare the action the witness plays, or make the declared one the way through). How to read a solver's result in general: What the solver proves.

Guarantee · bridge-proof-closed · referenced · executed on aff6caab7514 · scope self-checked by the author (AI), not reviewed In the closed world the solver finishes the game through the fallback, never through a signal.

Guarantee · bridge-proof-adversarial · referenced · executed on aff6caab7514 · scope self-checked by the author (AI), not reviewed In the adversarial world, duplicates and every order of the declared signals never lose the game.

A speedrun's category says what it accepts from outside: forbidden (a signal in the run is reality-forbidden), recorded (each signal applied is kept with its signed JWS, its key id and its hash, and the verifier checks the signature with the Bridge's public keys, --keys or GET /v1/keys; no proof is missing-reality-proof) or live (the same proof, in a category of its own, since a live signal's latency and availability cannot be reproduced; without the keys the verifier cannot conclude, no-keyring). Details: Speedrun for authors.

Guarantee · bridge-speedrun-reality-proof · referenced · executed on aff6caab7514 · scope self-checked by the author (AI), not reviewed A run whose Reality proof is missing gets the code signal-missing, an altered one signal-signature, and one signed by another key the verdict missing-reality-proof. Without a keyring the verdict is inconclusive (no-keyring).

Limit · bridge-proof-scope The proof covers the signals the game declares, in any order and number. It says nothing of whether a connector will ever send one, nor of what a connector does with its input.

What the Bridge holds about a player

Per player: the playerId, the SHA-256 of its capability, its expiry, the session id, the origin it paired from. Per signal: its id, sequence, name, source, the connector's deduplication key, the hash of what the connector saw (evidenceHash), the times, the signed envelope and, since 4.1.2, the payload as accepted (to sign it again after a rotation): never a token, an email, a message or a badge. Pairing codes wait ten minutes: in memory on the journal (a restart forgets them), in the pairings table of a SQL store. The log (standard output) names events and pseudonymous ids, never a secret. Retention, export and deletion: Install and run the Bridge; everything a game, a Bridge and its connectors keep about a player: Privacy.

What is not guaranteed

• "Exactly once": never promised. Every hop may repeat; the guarantees above make a repeat harmless.
• The connectors and the distributed profile are experimental: no person has yet run a connector against a real email provider, a real badge or a terminal exposed on a network, nor the distributed profile behind a real domain for 24 to 48 hours (Stability and support).
• No row-level security per tenant in Postgres, no retention on a SQL store, no connector quota shared between instances.
• The reference Bridge is for a game, a developer, an event or a small studio's games; the protocol is what stays.

Edit the source of this page · Report an error