1 / SPEC
Read
The normative core documents for TIM, Notary, Kernel, Settlers, and Policy Packs.
Neutral accountability layer · ARKY-TIM-v1
Arky
A public standard for action and verification across agents, money, chains, and machines.
Every action records who acted, on what evidence, under which policy, and what happened — as a signed, content-addressed receipt any system can replay.
What Arky is
A public protocol for accountable action.
A minimal record of who acted, on what evidence, under which policy, and what actually happened.
Five artifacts form one chain. Each is a signed, content-addressed document that references the one before it — so the whole sequence, from raw evidence to final receipt, can be replayed and verified independently. The right column is the exact algorithm each step is pinned to.
01TIMEvidenceSigned, content-addressed evidence: who, what, when.cid = multibase(multihash(sha2-256, JCS(body)))
02NotaryWitnessFixes time, order, and finality; optional chain or log anchor.merkle-sha256-v1 root · inclusion proof
03KernelPolicyDeterministic decision under declared policy packs.eval(assertions, policy) → allow / deny
04SettlerExecuteRuns a verb on a rail: bank, chain, or device.verb(idempotency-key) on rail
05XRReceiptSigned outcome tied to the decision, rail, and anchors.JWS Ed25519 · RFC 7797 b64:false
Conformance
Vectors over vibes.
Conformance is pass/fail, not marketing. The verifier recomputes content IDs, signatures, witnesses, Merkle roots, finality, and Settler transitions from inputs — then compares to each vector's expected output.
100/100published vectors passing
on the reference stack
on the reference stack
2independent implementations
TypeScript · Rust, cross-checked byte-for-byte
TypeScript · Rust, cross-checked byte-for-byte
L2core-loop coverage
production-ready manifests
production-ready manifests
TIMC1 canonicalize · C2 hash+sign · C3 cross-verify · T1 verify7+Pass
NotaryN1 witness · N2 anchor (Merkle/inclusion) · N3 finality depthN1–N3Pass
KernelK1 eval · K2 policy-aware · K3 orchestratedK1Pass
SettlersS1 basic · S2 idempotency/cascade · S3 compensation/transitionsS1–S3Pass
Ratificationformal TC vote to Stable · vectors + cross-check already hold—Pending
Adoption path
Read. Verify. Ship.
Technical adoption, not a signup. Validate artifacts locally, compare behavior against the vectors, then implement the loop in your stack against two executable reference anchors.
2 / VERIFY
Validate
Recompute every artifact locally and replay the published vectors against the Rust reference stack.
core-rs conformance
cargo test -p arky-core3 / IMPLEMENT
Build
Use the TypeScript and Rust reference packages as executable anchors for conformant behavior.
Adopters
One receipt language across industries.
Rail-agnostic and policy-aware — the same surface, adopted wherever an action needs proof.
AI and agents
Action records with cited evidence and declared policy.
Finance
Receipts that connect decisions to rails and outcomes.
Blockchain
Neutral verification without capture by any one chain.
Space and robotics
Trust under latency, offline verification, and delayed settlement.
Ready to adopt? Read the spec, replay the vectors, and ship conformance against two independent reference stacks.