Engineering Note

LIBR tracing behaves like a deterministic ledger state machine.

Name: Exit Protocol
Author: Exit Protocol

The public artifact shows the core calculation model with synthetic data, same-day ordering modes, and regression tests.

Open Public Repo Read Methodology

traceable_after = min(
traceable_before,
account_balance_after
)

Why It Exists

A small artifact for technical review.

The full Exit Protocol product remains private. This public demo isolates one narrow claim: LIBR-style tracing can be represented as a reproducible calculation over an ordered ledger.

Dependency-Free Python

A compact calculator that can run without the Django application.

Synthetic Ledger

Public-safe CSV data designed to demonstrate depletion and non-replenishment.

Ordering Modes

Ledger, best-case, and worst-case ordering for same-day ambiguity.

Regression Tests

Tests for zero-balance depletion, multiple separate deposits, and the replenishment fallacy.

Run Locally

Inspect the calculation before inspecting the product.

git clone https://github.com/Vinaygond/libr-state-machine-demo.git
cd libr-state-machine-demo
python -m unittest discover -s tests
python libr.py examples/synthetic_ledger.csv --ordering worst_case

This artifact is not legal advice and does not make admissibility claims. It is a transparent calculation demo for technical feedback.