PACTVERITYSystem status

01 / Technology

Working system. Verifiable boundaries.

PactVerity's off-chain evidence stack is operational. Its public Solana sale and service-escrow audit candidates compile to SBF and load on an isolated local validator. The sale's purchase and rollback paths executed end to end; the escrow bootstrap was exercised only through an unsigned account-meta simulation with RPC signature verification disabled. Neither program is deployed to a public network.

Proof EngineOperationalSolana candidatesLocal runtime passedMainnet programsNot deployed
Metrics boundary:$25,000,000 is the default simulated nominal scenario. Actual PactVerity funds moved: $0. No TVL, revenue, customers, settlements or adoption are claimed.

01 / Live status

Check the technology now.

The status panel calls the deployed health endpoint and runs known-answer receipt and simulation self-tests. It is a point-in-time check, not an uptime history or service-level promise.

Current endpoint check
Checking…

Running the public known-answer self-test now.

Proof EngineOperational

Four deterministic evidence rules and portable SHA-256 receipts.

Receipt API betaChecking

Stateless creation and verification endpoints with no custody.

Scale simulatorOperational model

Reproducible synthetic scenarios using integer rules and hashes.

Solana audit candidatesLocal validation passed

Source, SBF hashes and isolated runtime evidence are public; no public-network program or sale is deployed.

02 / Scale simulator

$25 million, simulated in full view.

The default model evaluates 250,000 synthetic agreements and one million rule checks. Every input, result and digest is reproducible; no asset moves.

Deterministic inputs

Run the scale model.

Every run uses the same disclosed generator, fixed evidence thresholds and integer arithmetic. Change an input to create a new reproducible scenario.

Maximum 500,000 synthetic agreements. No wallet, SOL or blockchain transaction is used.

No result

The deterministic result will appear here.

03 / Operational surfaces

Four things anyone can inspect.

These are deployed capabilities, not customer or adoption claims.

01Live

Browser Proof Engine

Create, export, sign and re-verify deterministic service-evidence receipts without uploading raw output text.

Run the engine
02API

Receipt API beta

Submit caller-supplied JSON to stateless creation and verification endpoints with strict input limits and no custody.

Inspect API descriptor
03Schema

Public specifications

The receipt JSON Schema and OpenAPI description make the interface reviewable and integration-ready.

Open API specification
04Model

Deterministic stress testing

A seeded synthetic stream runs the same four rules at portfolio scale and publishes a scenario digest.

Run the model

04 / Solana audit candidate

Built and checked locally. Public-network deployment remains locked.

Selected Rust source files, reserved identities, SBF artifact hashes and a summary of local-validator checks are public. The binaries, runtime harness and raw execution log are not presently published. Devnet, independent audit and mainnet deployment remain required.

EscrowLocal

State machine compiled

The isolated-vault escrow candidate passed its SBF stack-frame gate and 9/9 state-model checks, loaded locally, and completed an unsigned bootstrap account-meta simulation with RPC signature verification disabled. It has never held public funds.

PVTYMainnet

Fixed supply finalized

Exactly 50,000,000 PVTY are live at the published mint. The treasury holds the full supply, and mint and freeze authorities are removed.

SaleLocal

Atomic paths executed

Local success and slippage-rollback paths passed. No buyer should send SOL: the unaudited program is not deployed and purchasing remains disabled.

Inspect source, hashes and the local-check summary

Build from the live interface

Integrate the receipt API beta.

Developer documentation