TimeLayer
ENGINEERING NOTES
Technical guides for builders
Practical guides for engineers building on TimeLayer — the receipt format, integrating notarization into your stack, and verifying receipts offline with the open-source verifier.
Developer guide
Receipt-Driven Architecture
A complete guide to building software that runs on cryptographic receipts instead of logs. Lifecycle, anatomy, quorum signatures, offline verification, design patterns, and migration path.
TL-Agent SDK
Rust SDK and CLI for AI agents — notarize actions, verify receipts offline, audit action chains. Download the binary or build from source.
Agent Builder
Visual builder in your cabinet — define an agent's actions and transitions, issue the receipts, and download the bundle. The bundle is what TL-Agent runs — locally or from an air-gapped USB.
AI Agent Integration
How to wire receipt notarization into an AI agent action loop — fail-closed patterns, receipt as a tamper-evident action log, what to include in the action hash.
Receipt Store Patterns
Database schema, filesystem layout, embedding receipts in documents, handing receipts to end-users, receipt indexing for audit queries.
Documents · engineering notes
TL-Agent — Engineering Note
What TL-Agent is and how to use it. Covers both usage modes — local bundle and air-gapped USB — the gate algorithm, bundle structure, 10 invariants, and honest framing of what it does not do.
Second Brain — Engineering Note
An open-source LLM knowledge base where every claim is anchored to its source and "verified" is a receipt over the current text — it falls off by itself when the text changes. The honest model, the Ingest/Verify/Audit cycle, and how to run it on your own machine.
Notarial Transport — Engineering Note
Why move a file through a notary instead of a plain pipe — a proof of integrity on every part, so a transfer is provably whole, in order, and tamper-evident, verifiable offline by the recipient. Purpose, threat model, and where it fits.
Notarial Messenger — Engineering Note
A messenger where every message is a receipt — built for corporate discussions and meetings where everyone stands behind their words (who said what, who was assigned which task), and for recorded statements that must stay tamper-evident as AI-generated video spreads. Purpose and use cases.
Speed Layer for On-chain Games
Using off-chain receipts to make every game move fast and provable — without paying gas — while the chain carries only what's worth money.
Examples: receipt-driven-examples — copy-me receipt-driven code patterns (Rust).
Developer path
- Get the verifier — download v2.0.0, then
chmod +x timelayer-verifier-*. - Verify a sample receipt —
git clone https://github.com/TimeLayer-OS/receipt-driven-examples && cd receipt-driven-examples && timelayer-verifier verify sample-receipt/cert.tlcert sample-receipt/bundle.tlbundle→VALID FINAL. - Copy a pattern — receipt-driven-examples:
cd rust && cargo run. - Gate agent actions — TL-Agent SDK:
tl-agent check ./agent-bundle action_read_files. - Build a knowledge base on receipts — Second Brain.