Skip to content
Tyche Institute

The Lab · gallery

Visuals

The Lab's interactive instruments in one place. Each runs entirely in the browser, self-contained, with no tracking and no external calls. Open any card to run it.

solution architecture · interactive

Accountable Agentic Action — the architecture

The whole picture on one page: an agent under a machine-readable mandate in the EU Digital Identity Wallet, a four-layer verifier, hardware-attested evidence, and the four-box accountability chain — layer by layer, on the EATF framework.

Open →

capture the flag · runs the real verifier

Break the verifier

Edit a signed Action Evidence Package and run the reference verifier in your browser — real SHA-256 and Ed25519. Make it say ALLOW for an action the mandate never authorised; you cannot, without the keys. Parity-tested against the Python verifier as a build gate.

Open →

interactive demo · EUDI wallet

The agent that cannot overspend

An AI assistant handed a wallet and a signed, capped permission slip — while a verifier makes it physically unable to overspend, be scammed, or have a payment tampered with. Four gates, in plain language.

Open →

interactive graph · NOMOS observatory

The EU Digital Acquis as One Graph

eIDAS 2.0, the AI Act, GDPR, implementing acts, ETSI/CEN standards and the EUDI architecture framework as segment-addressable nodes with typed cross-corpus edges. Public tier-0 teaser.

Open →

daily instrument · trust-hub watch

The Six Lists

A scheduled probe asks the EUDI trust hub's own interface, once a day, whether each of its six lists is published yet — and keeps every answer, with a countdown to 24 December 2026.

Open →

diagram · attestable agency

From presence to authority

Four rungs of machine-checkable legitimacy — bot-detection, hardware tokens, agent-legitimacy schemes, per-action evidence — and why the question worth defending climbs from presence to authority.

Open →

research snapshot · eIDAS 2.0

The certification asymmetry

Where Regulation (EU) 2024/1183 places assurance and where it does not: certified wallets, registered relying parties, and the state of six trust-hub lists on the measurement day, 5 August 2026.

Open →

talk · draft slides

Who Said the Agent Could Do That?

The talk deck: a correctly-signed action can still be an unauthorized action, and you can catch it. Built around the public MIT-licensed aep-sandbox. (Terminal-styled; opens as a slide deck.)

Open →

More context on each instrument, and the emerging research lines, on the Lab page.