Skip to content

The evidence, runnable

Five kits, written blind, that agree.

Each was written by an agent holding only the published documents and the verifier, and never another kit. Every kit passes the verifier alone, and every pair passes both ways. That is the claim the documents are complete, and you can run it yourself. None is a reference.

Write a kit
GoZigPythonJavaScriptRusta stranger
01

Five kits, one language each.

Each is one example among equals. None is a reference, a library or a product, and none is meant to be imported. Each kit's ANSWERS.md is its answer to every question of KIT-SPEC.md.

GoZigPythonJavaScriptRust
fiveFive kits. The wall and its gap are the same, because that is all Quo says. What lives inside is each house's own.

  • Go

    Go 1.27 · depends on the standard library

    Build
    tcp`, `http`, `ws
    Tests
    (cd go && go test ./...)
    Verifier
    node ../verifier/cli.js --cwd go -- go build -o stand .

    The source · Its answers

  • Zig

    Zig 0.16 · depends on the standard library and libc

    Build
    tcp
    Tests
    (cd zig && zig build test)
    Verifier
    node ../verifier/cli.js --cwd zig -- zig build

    The source · Its answers

  • Python

    Python 3.9 or later · depends on cryptography

    Build
    tcp`, `http
    Tests
    (cd python && python3 -m unittest discover -s tests)
    Verifier
    node ../verifier/cli.js --cwd python -- none

    The source · Its answers

  • JavaScript

    Node 24 · depends on Node's own modules

    Build
    tcp`, `http`, `ws
    Tests
    (cd javascript && npm test)
    Verifier
    node ../verifier/cli.js --cwd javascript -- none

    The source · Its answers

  • Rust

    Rust 1.98, edition 2021 · depends on the algorithms' crates

    Build
    tcp
    Tests
    (cd rust && cargo test)
    Verifier
    node ../verifier/cli.js --cwd rust -- cargo build

    The source · Its answers

A build runs inside the kit's own folder. The tests and the verifier run from the examples folder of the repository.

02

Any two, together.

Any two kits against each other, through the verifier's proxy:

node ../verifier/cli.js --two -- "$PWD/go/stand" -- "$PWD/rust/target/debug/stand"

Where two kits answer differently and still speak to each other, the difference is the kit's, and Quo allows it.

03

The world.

Eight scenes of the five kits speaking to each other, narrated: Alice and Bob, both ways, a ring through every kit, the mesh of every pair, a front desk on the zero head, a stranger trying every door, a reply lost on the way, and a card that says where, reached through its at over every carrier two kits share.

Every pair is a fold with a booth at each end, red where that house asks and purple where it answers, and the stranger trying every door holds only blank sheets.

node world.mjs

All of it at once, every build, test, verifier run, pair and the world:

node check.mjs
04

Necessary, never sufficient.

Every kit here passes the verifier alone, and every pair passes in both directions. That is necessary, and it says nothing about whether a kit is good.

Write a kitCheck a kit