Indivisa LLC

Distinct systems, one discipline.

Indivisa builds software for evidence integrity, exact mathematics and local-first data. Each product gives the same answer for the same input, keeps your data where it is, and says plainly what its answer does not show.

The SHA-256 fingerprint of the text drawn as 256 ticks: long for a 1 bit, short for a 0 bit. SHA-256 256 bits · computed locally

Type anything. Your browser computes its SHA-256 fingerprint and draws it: 256 ticks, one per bit. Nothing is sent anywhere. The same input always draws the same ring.

SHA-256: e63a43b74f7eb082c62689b487bf484fae73de6307d0cf469c699a3d2977d172

Four systems

Each one keeps something invariant.

  1. Hashit

    Deterministic evidence envelopes. Fingerprint exact bytes on the device that holds them, then verify integrity and time offline.

    Available

    Invariant Exact bytes to one Core ID

  2. WITNESS

    The evidence app. Fingerprint photos, video, audio or documents in the browser, keep one record, and check the files against it later.

    Available

    Invariant Your files to a record you keep

  3. CDERE

    Exact recognition and classification of second-order linear ODEs. It finds the classical equation hiding inside yours, and says when it cannot.

    Research

    Invariant An equation to its canonical form

  4. COBOL Bridge

    Local-first COBOL tooling. Deterministic ingestion of copybook-described mainframe data, with exact decimals and nothing sent over the network.

    In development

    Invariant Mainframe records to exact values, locally

The discipline underneath

01 Deterministic
Same input, same output, on any machine. Results can be recomputed by someone who does not trust us.
02 Local first
Content stays with whoever holds it. Indivisa's systems work on fingerprints and structure, not on copies of your data.
03 Limits stated
Every result says what it does not establish. A missing check is shown as missing, never hidden.
04 Checked from outside
Known answers from published standards and independent implementations, not only tests we wrote for ourselves.

Working on something that has to hold up?

Indivisa is a small company. Messages are read by the people who build the software.