Vadik’s project desk

Open a project. Follow the work.

Open-source alpha Developer tools

Synrail

Evidence checks for coding agents.

Project notes Source code

THE FALSE-GREEN DEMORecorded walkthrough

Claim recorded

“Fixed add();
tests pass.”

Submitted evidencegrep found the fast-path line

A matching line of code doesn’t tell us whether the behavior works.

Verification failed

The test
still fails.

$ synrail verify
Verification unit: FAIL (exit 1)
$ synrail check
Synrail: Status: Verification Failed

Running the check exposes what the text search missed.

Accepted after repair

The repair passes
verification.

$ synrail verify
Verification unit: GREEN
$ synrail check
Synrail: Status: Accepted

The repaired behavior passes verification. The work can now be accepted.

Watch the original 0:08 ↗

Walk through the recorded example above. No commands run in your browser.Try it locally ↗

Latest project note15 Sep 2026Looking at what a pull request can change

Research implementation Onchain research

RHOOK

Replay execution after one changed input.

Project notes Source code

INSIDE A REPLAYConceptual model

Recorded sequence

Recomputed execution

X → X′

One declared intervention

The input changes here. The checkpoint and historical transaction order stay fixed.

Follow the execution3 / 5

This diagram explains the model; it does not run a blockchain replay.Reproduce the 50-block example ↗

Latest project note24 Sep 2026A reproducible replay on Robinhood Chain

UXmaxx 2026 Payments

OneLink Pay

Spending permissions with limits and a receipt.

Project notes Source code

A SPENDING PERMISSIONLocal illustration

Requested payment

0.20USDC

Move the amount across the permission’s limit.

Research expense card

Per-charge limit0.10 USDC

Your request0.20 USDC

Over the limit

This request would be rejected by the per-charge check.

Try the app’s spending check ↗View a verified run ↗

Illustrates one limit only. No wallet or payment; other mandate checks are outside this example.

View the application

UXmaxx 2026Encode / Particle NetworkMagic Labs Bonus Challenge winner

Turing Test 2026 AI & onchain systems

TuringVault

Proposals, checks, and execution records on Mantle.

Project notes Source code

FOLLOW THE DECISIONWorkflow guide

The TuringVault agent console, captured 29 September 2026.

Open full screenshot ↗

An analyst proposes an action.

The proposal becomes part of an inspectable decision trail, before anything executes.

Operator-funded demonstration on Mantle. No public deposits.Open TuringVault ↗

Mantle Turing Test2026Project Deployment Award & Demo Day

Built over time, from Telegram bots to agent tooling and onchain experiments.

Development notes ↗

Vadik’s project desk.

“Fixed add();tests pass.”

The teststill fails.

The repair passesverification.

Vadik’s project desk

“Fixed add();
tests pass.”

The test
still fails.

The repair passes
verification.