DavidEthanCarlisle

Objective

Turn an undifferentiated mass of documents into an evidence base that holds up.

Scope

Three stages on one corpus. MinusOne scans terabytes of storage, hashes every file with streaming SHA-256, and removes duplicates. C4 compiles what survives — ingest, chunk, entity extraction, TF-IDF embedding, UMAP projection, HDBSCAN clustering, hypergraph construction — into a navigable three-dimensional atlas, reading MinusOne's index directly so verified work is never repeated. Dates, amounts, names, case numbers, and organisations surface as typed entities. Attached material re-verifies as intact, modified, or missing, and case exports ship with a manifest and a checksum file.

Built for

Discovery review, investigative research, and any archive whose contents cannot be uploaded to someone else's infrastructure.

Objective

Make an assurance claim impossible to state unless it was actually produced.

Scope

A counterexample-driven loop over a write-ahead log. A bounded reference model explores the state space and emits a counterexample against a deliberately broken recovery policy; an adapter validates that trace and generates a Rust regression test from it; the defect is reproduced under an explicit feature flag; the corrected implementation is verified against the same test. Only then does the sealer emit a proof-carrying package. It fails closed when evidence is absent or unsuccessful, and the sealed artifact records its own limits — unsigned, unanchored, bounded — in the evidence itself.

Includes

TLA+ specification, deterministic bounded exploration, SHA-256 source and evidence manifests, optional Apalache and Kani targets that are never claimed unless separately recorded.

LTE — Lexical Traceability Engine

Sentence-level provenance for text archives and source trees. Deterministic SHA-256 anchors, token frequency and co-occurrence, local Merkle integrity seals, and a read-only localhost API.

QPKM

Knowledge management over ordinary Markdown vaults rather than a proprietary database. Tantivy full-text search, global knowledge graph, atomic saves, timestamped local backups, recoverable deletion.

FluxRadio

Local audio curation and static station publishing. SQLite-backed classification, standards-correct HLS export, and a self-contained player that runs on any static host.

Otherplace

Local-first AI desktop. Ollama chat with multi-model broadcast, provider adapters, a researcher/drafter/critic pipeline, and a spend dashboard.