Protocol frozen · Production-ready

Deterministic AI auditability.
Cryptographically verifiable.

TRI-SYNC is the portable, commercially-licensed Rust runtime that guarantees reproducible state, SHA-256 chained audit trails, and cloud-neutral execution for AI systems, regulated pipelines, and multi-tenant workflows.

Cross-language conformance root digest (SPEC Β§3.5)

768e154f65fb12f4419452ac76223006bf9097187294b0d9cec1260e22c664d3
63
Tests passing
0
CodeQL alerts
SHA-256
Every event chained
RFC 8785
Canonical JSON
v1.0.0
Wire format frozen

Built for auditability at every layer

Every guarantee is normative and cannot be broken without a major version bump.

πŸ”—

SHA-256 Digest Chain

Every event is self-hashed and linked to the previous via prev_digest. Tampering with any event invalidates all subsequent digests β€” instantly detectable.

♻️

Deterministic Replay

Identical ordered event logs produce byte-for-byte identical state on any conforming implementation β€” any machine, any OS, any time.

πŸ“¦

Binary State Map (BSM)

Big-endian, lexicographically ordered key-value store. The root digest is SHA-256 of the entire state β€” one hash proves nothing changed.

πŸ”

TICK_SEAL Checkpoints

At the end of every logical tick, a TICK_SEAL event records the root digest. Verifiable snapshots any downstream node can independently confirm.

🏒

Multi-Tenant Isolation

Namespace-prefixed keys. Cross-tenant reads and writes are protocol violations, detected and halted at runtime.

πŸ“

Canonical JSON (RFC 8785)

Sorted keys, no whitespace, lowercase \uXXXX escapes, no locale drift, no Unicode normalization. Same data always produces the same bytes.

πŸ”’

OS-Level File Locking

Every append acquires an exclusive advisory lock on a .lock sidecar file before any read-validate-write operation.

βš›οΈ

Transactional Writes

TransactionalStateMap provides mutex-guarded atomic batch mutations with automatic rollback on error.

🌐

Cloud-Neutral

Zero cloud dependencies. Runs on laptop, server, container, or embedded device. TypeScript and Rust reference implementations included.


From input to immutable audit trail

Every state transition follows the same deterministic path β€” guaranteed identical output for identical input.

1

Canonical JSON Encoding

Input serialized to RFC 8785 β€” sorted keys, no whitespace, deterministic byte sequence.

2

Binary State Map Write

Values stored in the BSM β€” big-endian, lexicographically ordered, type-tagged entries.

3

SHA-256 Digest Chain

Event is self-hashed. Its digest and the previous event's digest are chained.

4

Append-Only Event Log

Events written once, never modified. OS-locked, seq-tracked, tamper-evident.

5

Deterministic Replay

Any node reconstructs current state from genesis β€” no external coordination needed.

# Set your license key export TRISYNC_LICENSE_KEY=TRI-XXXXXXXX-XXXXXXXX-XXXXXXXX # Write a value tri-sync apply \ --log events.jsonl \ --namespace tenant-a \ --key job-status \ --value "running" \ --tick 1 # Verify and seal the audit trail tri-sync verify --log events.jsonl --seal # OK # events=2 # root_digest=768e154f...
Linux x86-64 Linux ARM64 macOS ARM64 macOS x86-64 Rust library TypeScript client Docker / Kubernetes Cloudflare Workers

Built for regulated environments

Finance

Auditable order books, settlement reconciliation, regulatory reporting with provable computation history.

Healthcare

HIPAA-compliant audit logs for clinical decision systems, AI diagnostic trails, patient state tracking.

Insurance

Deterministic claims processing, reproducible underwriting models, fraud detection audit chains.

Government

Tamper-proof record systems, verifiable ballot processing, regulatory compliance pipelines.

AI Platforms

Reproducible model inference logs, prompt-response audit trails, multi-agent deterministic state.

Legal / Compliance

Immutable evidence chains, e-discovery-ready audit logs, cross-border data provenance.


Simple, key-based activation

Pay once. Your license key is emailed instantly via Resend. Set one environment variable. Done.

Developer
Free / eval
Single developer, evaluation and non-production use.
  • 1 developer seat
  • Non-production only
  • All CLI features
  • Community support
Request eval key
Enterprise / OEM
Contact / custom
Unlimited seats, SLA support, redistribution rights.
  • Unlimited developer seats
  • Production + embedded use
  • OEM redistribution rights
  • SLA support
  • Custom contract terms
Contact us

After purchase your key (TRI-XXXXXXXX-XXXXXXXX-XXXXXXXX) arrives by email. Activate with: export TRISYNC_LICENSE_KEY=<your-key>


Validate your license key

Check key status

Enter your TRI-XXXXXXXX-XXXXXXXX-XXXXXXXX license key to confirm it's active.


Ready to add provable auditability?

63 tests. 0 CodeQL alerts. Wire format frozen. Production-ready today.