deos — live cards in a browser
Each tile is a live deos card. Open one and click an affordance — every click fires a real cap-gated verified turn over an executor running right here in the tab, and the bound field re-paints from the committed ledger.
CounterA deos-js counter card. Click +1 and the bound count advances — each click is a SetField + IncrementNonce verified turn over an in-tab executor, leaving a receipt.open the card ›Reflective InspectorA cockpit surface, in a tab. A focused cell's real moldable faces (state rows + affordances) render live; clicking tick/add/score fires a cap-gated verified turn and the bound field re-paints.open the card ›Tally BoardA table of named tallies, each a row with a live count and +1/−1 buttons. The full ViewNode layout vocabulary (Row + Table + a multi-affordance row); every click is a verified turn moving one tally.open the card ›KV-Store (service cell)A cell publishing a typed interface (put · delete · get). Clicking put/del routes the call through the verified DFA before it desugars to SetField effects — a real verified turn against the store, the monotone version bumping (a rollback is refused; get is a named OFE seam).open the card ›Trustless PortalThe dregg content gateway. The same card, served — but the page PROVES, in your browser and re-witnessing nothing, that it reflects a genuine verified cell. A light client checks the recursive STARK proof of the cell's whole finalized history right in the tab; until it attests, the content is marked the server's unverified claim.open the card ›Document CollaborationPijul, in a tab. Fork a document, diverge two authors, then stitch — the categorical pushout surfaces a first-class CONFLICT (both alternatives attributed side-by-side, held off-heap). Click to resolve and the merged document publishes to the doc-cell's umem-heap as a real verified turn — the boundary heap_root moves, a receipt is left.open the card ›My Dregg ComputerThe DreggNet management console as a portable card: your computers (status + uptime-budget gauge + wake/sleep/fork/explore/verify), your resident hermeses (receipts + mandate + budget), your $DREGG spend, and a verify-anything panel. One ViewNode model — native gpui, web, and the graphideOS phone are just walkers. Bake it with the console_bake example.open the card ›