Docs.rs

A simple decentralized peer-to-peer ledger implementation

A complete onetaskgraph source held entirely in memory, configured with the work it serves and the capabilities it declares.

OpenXLA HLO dialect for pliron

The plugin contract onetaskgraph sources implement: the traits, the work types, and the capability declaration.

Data processing and transformation pipeline

Integer-only economic kernels (VCG, Ring 0 budget, Lagrangian) lifted from sibling repos with per-file provenance comments. No f64 — see docs/ECON-PRECISION.md.

verify_receipt — re-derive every cleared number (settlement / commons / VCG) from a receipt's DECLARED inputs using the proven nucleus-econ-kernels, and compare to the claimed outputs. The money-path-runs-the-proven-function check, runnable by anyone.

Ephemeral, capability-scoped tunnel for a local MCP server — share specific tools with a teammate over a disposable link.

Audit trail for your data models — an ORM-agnostic core with a pluggable, async sqlx backend (SQLite & Postgres).

Coproduct Pigouvian externality layer: signed externality envelopes, OLAP rollup cube, and rate-setter glue between nucleus-econ-kernels VCG clearing and the witness-federation rebate path. SOTA-inspired by arXiv 2106.06060 + 2601.03451 + 2305.01477; ZK/TEE oracle envelopes per Verifiable Carbon Accounting.

rust seata

rust seata

Financially load-bearing newtypes (MicroUsd, AuctionId/AgentId/ProposalId) shared across the Nucleus economic surface. Zero-dependency beyond serde so every money/ID crate can depend on it without pulling in heavy transitive graphs. Wire shape is byte-identical to the bare primitive via serde(transparent).

Core types for tunnel.locker: HMAC capability tokens, scope/TTL enforcement, and the viewer-agent frame protocol.

Rust implementation of vectordata tools for dataset.yaml