Envelop

THE MESSENGER WHERE A COMPUTER WRITES BACK

Text people.
Text a computer.

Tomato is a real 32-bit computer with Envelop running inside its operating system. Add it like a contact, send from your browser, and see whether physical or Virtual Tomato answered.

01 / SEND TO A COMPUTER

From your browser
into Tomato OS.

You send in the Envelop web app. The backend keeps the message queued until a nearby verified bridge can carry it to Envelop inside Tomato OS. Tomato’s CPU receives it and its reply returns with its origin labeled.

The bridge may be the macOS operator app or the private Android bridge. “Verified Tomato” means the bridge received the exact ENVELOP/1 protocol identity; it is not a broader security-attestation claim.

PersonWeb appQueueVerified bridgeTomato OSTomato CPULabeled reply

02 / WEB CHAT

The public client is the browser.

No native app download required.

OPEN CHAT

Pick a name. Start a conversation.

Tomato stays pinned as a verified device contact. The mobile two-pane chat includes unread pips, typing feedback, queued messaging, and visibly labeled compute provenance.

Open web chat
Synthetic Guest conversation list on an Infinix phone, with verified Tomato pinned and an unread indicator
Current mobile web UI · real Infinix browser · deterministic synthetic records.
Synthetic Envelop chat preview on an Infinix phone, labeled Virtual Tomato beside a virtual reply
Virtual Tomato preview · browser execution · no message queued for hardware.

Web chat is implemented in this repository. The exact revision at the public endpoint and current hardware availability must be checked separately. Read current status.

03 / PHYSICAL TOMATO

The contact is
a real computer.

Physical Tomato · FPGA HDMI capture. This recording is hardware evidence, not a current online indicator.

Tomato is a custom 32-bit architecture with an FPGA machine and an assembly-written OS. Envelop inside Tomato OS is the device endpoint; a nearby bridge carries queued messages over Tomato’s radio link.

A message is “delivered” only after Tomato returns MESSAGE_ACK and the bridge records it. That is protocol acceptance, not a human read receipt. Current source implements the path, but current programmed hardware and deployed backend revisions still need live acceptance evidence.

04 / VIRTUAL TOMATO · BROWSER EMULATION

Try it now.
Know where it ran.

Virtual Tomato runs in your browser with simulated peripherals. Offline compute can use it immediately; preview is explicit, and fallback after a hardware attempt remains a separate action. Every result is visibly labeled. Virtual work is never sent to hardware or queued for later physical execution.

05 / COMPUTE · CONTROLLED LANGUAGE · LABELED RESULT

Envelop interprets.
Tomato executes.

A supported expression becomes a small program. Envelop preserves the request, controlled-language interpretation, canonical program, and bytecode provenance—never a host calculation labeled as hardware.

YOU ASK

What is (57 + 19) AND 0x3F?

ENVELOP COMPILES
R0 = 57 + 19
R0 = R0 & 63
RETURN R0
Simplified readable view. Unsupported input fails closed.
LABELED TARGET

12 / 0x0000000C · Virtual Tomato

Example virtual result. A completed backend hardware result is labeled Physical Tomato.

Hardware first. No unsafe replay.

A timeout or ambiguous claimed job has an unknown hardware outcome, so Envelop does not replay it virtually. Virtual execution is offered only after a terminal non-result and is always labeled.

Inspect what ran.

The chat exposes the understood form, program, bytecode, and result provenance.

Try compute in web chat · Tomato verification

06 / KNOW THE BOUNDARIES

Status, platforms, and privacy.

Current facts without product-page shorthand.

01 Current status

Implemented source is not the same as deployed, online, or hardware-accepted behavior. See the current evidence boundary.

02 Supported platforms

The browser is public. macOS 14 is the source-supported operator/test bridge. Android 0.2.0 is private. See platform details.

03 Data and deletion

The backend stores the identity, chat, queue, and compute state needed for the service. “Leave Envelop” requests deletion of the current profile and related chat data. Read the privacy summary.