Positorium

A database for facts that disagree.

Positorium preserves conflicting claims instead of forcing them into one current value. Every assertion can retain its source, certainty, appearance time, and assertion time, so corrections never erase the evidence that came before.

It is an experimental embedded evidence database with an immutable posit model, the Traqula query language, an append-only native store, Python bindings, a trusted-local HTTP service, and an in-browser WASM testbed.

The repository is preparing 0.1.4-beta.2; the latest tagged release is 0.1.4-beta.1. Beta means the documented language, storage, transfer, and interface versions have explicit compatibility rules; it does not mean an Internet-facing or production-ready service.

Run the 60-second browser example · Get started · Browse all documentation

Python

The source tree contains an embedded Python package for CPython 3.9+ on Linux, macOS, and Windows. It needs no separate Positorium server. Until beta.2 is published to PyPI, install it from a source checkout with Rust available:

python -m pip install .

After beta.2 is published, the prerelease install will be:

python -m pip install --pre positorium

import positorium

with positorium.Database.memory() as database:
    result = database.execute_one(
        'add role name; add posit [{(+person, name)}, "Ada", @NOW]; '
        'search [{(?person, name)}, ?name, *] return ?person, ?name;'
    )
    print(result[0]["person"].text, result[0]["name"].text)

Use Database.open("positorium.store") for an append-only persistent store. Results retain each cell's kind and exact entered text. See the Python guide for typed parameters, Terrain, Pandas, exceptions, and lifecycle rules.

Why Positorium?

Most databases converge on one current value. Positorium preserves evidence:

• contradictory posits remain available instead of overwriting each other;
• expressed time precision is part of the stored fact;
• assertions record who ascertained a posit, with signed certainty and time;
• snapshots and in effect queries make resolution policy explicit; and
• exact entered literals survive native storage, HTTP, SSE, and WASM results.

This is useful for compliance evidence, investigations, conflicting master data, and other domains where evidence accumulates and is revised. Positorium can serve as a focused evidence layer alongside existing operational systems; it does not need to replace them.

Five-minute source checkout

Install rustup, then build and start the trusted-local server from the repository root:

cargo build --release --locked
./target/release/positorium

In another terminal, resolve or create one identity:

curl --fail-with-body --silent --show-error \
  http://127.0.0.1:8080/v1/query \
  -H 'content-type: application/json' \
  --data '{"traqula_version":1,"script":"add role name; search [{(?person, name), ...}, \"Ada\", *] return ?person or add posit [{(+person, name)}, \"Ada\", @NOW];","stream":false}'

The response should have "status":"ok" and one thing result cell. Stop the server with Ctrl-C. The default creates positorium.store and reopens it on the next start.

For release archives, checksum verification, Windows commands, persistence checks, backup, Query Studio setup, and troubleshooting, follow Getting started.

Beta boundaries

• The native server binds to 127.0.0.1 by default and has no authentication. Never expose it to an untrusted network.
• One process owns a store and executes scripts serially.
• The append-only store detects committed corruption but is not a tamper-proof audit log.
• Authentication, replication, distributed execution, and container packaging are outside the current beta.
• Independent contract versions are listed in Contracts.

Current capabilities

• Immutable Things, Roles, appearance sets, posits, and assertion envelopes
• Lossless literal tokens and precision-aware temporal relations
• Traqula joins, union, safe not exists, snapshots, typed predicates, in effect, parameters, distinctness, ordering, and limits
• Atomic durable mutation batches with deterministic replay and recovery
• Inspection, physical backup, logical export/import, and identity remapping
• Structured Rust, buffered HTTP, SSE, and WASM results
• Embedded Python 3.9+ bindings with structured lossless results
• Query Studio and authoritative Terrain structural reports

Documentation

The documentation index also links compatibility decisions, benchmarks, and maintainer specifications. The original paper, Modeling Conflicting, Unreliable, and Varying Information, provides additional background.

Development checks

The repository pins the stable Rust toolchain and runs native checks on Linux, macOS, and Windows plus a browser WASM suite.

cargo fmt --all -- --check
cargo clippy --all-targets --all-features -- -D warnings
cargo test --all-targets --all-features --no-fail-fast
cargo test --all-targets --no-default-features --no-fail-fast
node tests/terrain_client.test.js

See Extending Traqula before changing the language or synchronized editor grammar.

License

Dual-licensed under Apache 2.0 or MIT, at your option.

SPDX-License-Identifier: Apache-2.0 OR MIT